Compiler, runtime and language techniques for the efficient use of multiprocessor systems

这项研究旨在研究和开发现代并发编程系统的编译器、运行时和语言改进。最近提出了许多新的编程语言修改，它们都是基于“事务性编程”作为一种范例。这些设计在提供的功能的种类和确切语义上各不相同，但都旨在改进编程实践，而对性能的影响尽可能小。我们的研究将对实现方面进行实际调查，开发适当的优化，并探索哪些功能可以实现可行，哪些功能将适合改进编程。此外，还将讨论超越事务性编程细节的并发编程的进一步优化，使我们的结果对各种新的和现有的并发语言设计有用。

This research is intended to investigate and develop compiler, runtime and language improvements for modern concurrent programming systems. Many new programming language modifications have recently been proposed based on "transactional programming" as a paradigm. These designs vary in the kind and in the exact semantics of the features provided, but all aim to improve programming practice with as little impact on performance as possible. Our research will perform a practical investigation into the implementation aspects, developing appropriate optimizations and exploring which features can be implemented feasibly and which will be suitable for improving programming. Further optimizations for concurrent programming that go beyond the specifics of transactional programming will also be covered, allowing our results to be useful for a wide variety of new and existing concurrent language designs.