Research Initiation Program - Classifying Shared Objects by their Synchronization Power

研究启动计划 - 按同步能力对共享对象进行分类

• 批准号: 9410421
• 负责人: Prasad Jayanti
• 金额: $ 7.49万
• 依托单位: Dartmouth College
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1994
• 资助国家: 美国
• 起止时间: 1994-08-01 至 1998-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9410421&HistoricalAwards=false
• 关键词: Research; Initiation; Program; Classifying; Shared

9410421 Jayanti The main objective of this project is to obtain a classification of synchronization primitives in parallel processing systems, with the goal of reflecting the power and limitations of each primitive. The effectiveness of a parallel processing system to solve a computation depends to a large extent on the support for communication and synchronization among processes. In shared memory systems, higher level shared objects such as shared queues are implemented in software using shared hardware primitives like registers and test&set instructions. In fault- tolerant asynchronous systems, where processes progress at arbitrarily varying rates, such software implementations must guarantee that a process can complete successfully, regardless of how fast or slow the other processes are. It is known that hardware primitives vary widely in their ability to support such software implementations. The classification proposed in this research will bring out the capabilities and limitations of synchronization primitives. The classification will be useful to the designer of a multiprocessor in deciding which primitive to support in hardware. It will also be useful to the systems programmer in determining whether a high level object of interest (e.g., a queue that can be accessed concurrently by 100 processes) has a software implementation in a given system. ***

9410421 Jayanti 该项目的主要目标是获得并行处理系统中同步原语的分类，其目标是反映每个原语的功能和局限性。并行处理系统解决计算问题的有效性在很大程度上取决于对进程间通信和同步的支持。在共享内存系统中，更高级别的共享对象（例如共享队列）是使用共享硬件原语（例如寄存器和测试和设置指令）在软件中实现的。在容错异步系统中，进程以任意变化的速率进行，此类软件实现必须保证进程能够成功完成，无论其他进程有多快或多慢。众所周知，硬件原语在支持此类软件实现的能力方面差异很大。本研究中提出的分类将揭示同步原语的功能和局限性。该分类对于多处理器设计者决定硬件支持哪种原语很有用。它对于系统程序员确定感兴趣的高级对象（例如，可以由 100 个进程同时访问的队列）是否在给定系统中具有软件实现也很有用。 ***