Delivering on the Promises of Software Transactions for Programming Languages

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

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.