Highly Concurrent Objects

该项目的目标是系统地了解 高度并发数据对象的理论和实践。 需要 随着技术的进步， 已经使得多处理器机器变得容易获得。 尽管 虽然在硬件方面取得了令人印象深刻的进展，但在以下方面几乎没有达成一致意见： 竞争体系结构的相对优点，并且经常被证明 很难实现这些机器的并行潜力。 这些 当应用程序要求包括 容错或实时性能。 私家侦探之前的工作 对高度并发数据理论的重大贡献 结构，利用抽象数据类型的理论， (1)不可能的结果，表明某些类型的并发 某些原语根本无法实现;（2）新技术 用于指定和推理并发对象的行为， 以及（3）允许高度同步的同步算法。 以前从未实现过的并发。 由此产生的理论具有丰富的 数学结构，产生了一些意想不到的结果， 算法设计的后果，这些结果的影响是 不太了解。 该项目的一个主要目标是 进行实验工作，将理论成果转化为 实践

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.