Delivering on the Promises of Software Transactions for Programming Languages

兑现编程语言软件交易的承诺

• 批准号: 0702226
• 负责人: Daniel Grossman
• 金额: $ 37.5万
• 依托单位: University of Washington
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2007
• 资助国家: 美国
• 起止时间: 2007-07-01 至 2011-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0702226&HistoricalAwards=false
• 关键词: Delivering; Promises; Software; Transactions; Programming

0702226Dan GrossmanUniversity of WashingtonDelivering on the Promises of Software Transactions for Programming LanguagesThis research focuses on how to integrate software transactions into the definition and implementation of modern programming languages.With small-scale parallel computers (also known as multicore architectures) becoming the norm, there is an urgent need for programming languages to provide programmers convenient mechanisms for exploiting parallelism. Software transactions are one such mechanism because they make it easier to synchronize computations executing in parallel. While they hold great promise, important questions of semantics and interaction with language-implementation technology have not been considered with sufficient precision. This research investigates the semantic questions via formal operational semantics, attacking questions regarding weak atomicity, open nesting, and interaction with code written in other languages. For implementation questions, a variety of static and dynamic optimizations are considered for identifying data that is not used within a software transaction or that is used by only one thread of computation at a time.

0702226丹·格罗斯曼华盛顿大学实现软件事务对编程语言的承诺这项研究的重点是如何将软件事务集成到现代编程语言的定义和实现中。随着小规模并行计算机（也称为多核架构）成为常态，迫切需要编程语言为程序员提供方便的机制来利用并行性。 软件事务就是这样一种机制，因为它们使并行执行的计算更容易同步。 虽然它们有很大的希望，但语义和与语言实现技术交互的重要问题还没有得到足够的精确考虑。 本研究通过形式化的操作语义来研究语义问题，攻击关于弱原子性、开放嵌套以及与其他语言编写的代码的交互的问题。 对于实现问题，考虑了各种静态和动态优化，以识别软件事务中未使用的数据或一次仅由一个计算线程使用的数据。