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.