SHF: Small: Collaborative Research: Static and Dynamic Analysis for Cooperative Concurrency

SHF：小型：协作研究：协作并发的静态和动态分析

• 批准号: 1116883
• 负责人: Cormac Flanagan
• 金额: $ 35.95万
• 依托单位: University of California-Santa Cruz
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2011
• 资助国家: 美国
• 起止时间: 2011-07-01 至 2015-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1116883&HistoricalAwards=false
• 关键词: SHF; Small; Collaborative; Research; Static

The widespread adoption of multicore processors requires multithreadedsoftware to exploit these hardware resources. Unfortunately, theconstruction and validation of reliable concurrent software currentlyrequires extraordinary effort, due to unanticipated interactionsbetween concurrent threads. Thus, developing better programmingtechniques and tools for concurrent programming is essential. Thisresearch develops a cooperative programming methodology formultithreaded software, based on the philosophy that all threadinterference must be explicitly documented via source-level "yield"annotations by the programmer.The project will investigate both static and dynamic checkingtechniques to verify the correctness of yield annotations. Onceverified, these annotations guarantee that code executed betweensuccessive yields is serializable and thus amenable to sequentialreasoning. Moreover, yield-free code is deterministic. Despiteprovided these strong safety guarantees, this methodology does notimpact program performance. The cooperative methodology provides arobust foundation for multithreaded software and can potentiallytransform the principles and practices of multithreaded softwareengineering. This work on cooperability will also provide researchopportunities for graduate and undergraduate students, and it willsupport endeavors to provide access to science education for allstudents.

多功能处理器的广泛采用需要多线程软件来利用这些硬件资源。 不幸的是，由于并发线程之间的意外交互作用，当前对可靠的并发软件的构建和验证当前​​非常努力。 因此，为并发编程开发更好的编程技术和工具至关重要。 本研究基于程序员必须通过源级别的“产量”注释明确记录所有线程处理的理念。 这些注释后，这些注释确保执行的代码可以序列化，因此可以与顺序策划进行序列化。 此外，无收益代码是确定性的。 尽管提供了这些强大的安全保证，但这种方法确实不会影响计划的性能。 合作方法论为多线程软件提供了基础，并且可以潜在地转换多线软件工程的原理和实践。 有关合作性的这项工作还将为研究生和本科生提供研究，并将努力为所有学生提供科学教育的访问权。