权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

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)允许实现前所未有的高度并发的同步算法。由此产生的理论具有丰富的数学结构，产生了许多意想不到的结果，并对算法设计产生了影响，人们对这些结果的含义知之甚少。这个项目的一个主要目标是进行实验工作，将理论成果转化为实践。