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.