Highly Concurrent Objects

高并发对象

• 批准号: 8906483
• 负责人: Jeannette Wing
• 金额: $ 31.9万
• 依托单位: Carnegie-Mellon University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1989
• 资助国家: 美国
• 起止时间: 1989-08-01 至 1993-01-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8906483&HistoricalAwards=false
• 关键词: Highly; Concurrent; Objects

A goal of this project is to develop a systematic understanding of the theory and practice of highly concurrent data objects. The need for such an understanding has become compelling as technological advances have made multiprocessor machines readily available. Despite impressive progress at the hardware level, there is little agreement on the relative merits of competing architectures, and it has often proved difficult to realize these machines' potential for parallelism. These difficulties are compounded when application requirements include fault-tolerance or real-time performance. The PI's prior work had made significant contributions to the theory of highly concurrent data structures by exploiting the theory of abstract data types to derive (1) impossibility results, showing that certain kinds of concurrency simply cannot be achieved with certain primitives; (2) new techniques for specifying and reasoning about the behavior of concurrent objects, and (3) synchronization algorithms permitting high degrees of concurrency never before achieved. The resulting theory has a rich mathematical structure, yielding a number of unexpected results with consequences for algorithm design, implications of these results are poorly understood. A principal objective of this project is to undertake experimental work to translate theoretical results into practice.

该项目的目标是系统地理解高度并发数据对象的理论和实践。 随着技术进步使多处理器机器变得容易使用，对这种理解的需求变得迫切。 尽管在硬件层面取得了令人印象深刻的进步，但对于竞争架构的相对优点却几乎没有达成一致，而且事实证明，要实现这些机器的并行潜力往往很困难。 当应用程序要求包括容错或实时性能时，这些困难会变得更加复杂。 PI 之前的工作对高并发数据结构理论做出了重大贡献，通过利用抽象数据类型理论推导出 (1) 不可能结果，表明某些类型的并发根本无法通过某些原语实现； (2) 用于指定和推理并发对象行为的新技术，以及 (3) 允许以前从未实现过的高度并发的同步算法。 由此产生的理论具有丰富的数学结构，产生了许多意想不到的结果，对算法设计产生了影响，但人们对这些结果的含义知之甚少。 该项目的主要目标是进行实验工作，将理论结果转化为实践。