CAREER: Sparks: Coherence as an Abstract Type

职业：火花：作为抽象类型的连贯性

• 批准号: 9624803
• 负责人: Peter Keleher
• 金额: $ 20万
• 依托单位: University of Maryland, College Park
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1996
• 资助国家: 美国
• 起止时间: 1996-04-15 至 2001-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9624803&HistoricalAwards=false
• 关键词: CAREER; Sparks; Coherence; Abstract; Type

Software distributed shared memory (DSM) systems provide the abstraction of shared memory to networks of workstations and distributed memory machines, such as the Paragon, CM-5, or SP-2. Unfortunately, the latencies for global operations in either environment are several orders of magnitude more expensive than on tightly-coupled multiprocessors. The result is that current DSMs perform well for only a restricted class of applications. The Sparks project is designed to address this restriction by providing a protocol construction library that will allow DSM performance to be improved to within a few percent of tightly-coupled multiprocessors. Sparks' abstractions allow the design space of high-level synchronization operations to be explored cleanly and systematically, rather than in an ad hoc fashion. The emphasis is more on creating and investigating the abstractions that make a broad variety of optimizations possible, rather than on the individual optimizations themselves. However, the performance gains allowed by the synchronization types created via the Sparks library will be thoroughly quantified. The Sparks interface will be implemented in CVM, a new distributed shared memory system. In addition to providing support services to Sparks, CVM implements novel coherence protocols and multi- threading support. ***

软件分布式共享内存(DSM)系统将共享内存的抽象提供给工作站和分布式内存机网络，例如Paragon、CM-5或SP-2。不幸的是，在这两种环境中的全局操作的延迟都比在紧耦合的多处理器上高出几个数量级。其结果是，当前的DSM只对有限类别的应用程序运行良好。Spark项目旨在通过提供协议构造库来解决这一限制，该库将允许将DSM性能提高到紧耦合多处理器的几个百分点以内。SPAKS的抽象使得高级同步操作的设计空间可以被干净地和系统地探索，而不是以特殊的方式。重点更多地是创建和研究使各种优化成为可能的抽象，而不是单个优化本身。但是，通过Sparks库创建的同步类型所允许的性能收益将被彻底量化。Spark接口将在新的分布式共享内存系统CVM中实现。除了为Spark提供支持服务外，云服务器还实现了新颖的Coherence协议和多线程支持。***