ITR - Compiler analysis for portability across memory and consistency models

Java编程语言使编写多线程程序成为一种主流活动。微妙的问题出现在如何编译这些多线程程序，以便允许共同的编译器优化，同时确保一个线程中的操作被其他线程视为以合法的顺序发生，即遵循编程语言一致性模型。由于以前的语言要么没有定义内存模型，要么没有被广泛使用，而且由于多线程编程是由少数专家完成的，因此没有对内存模型的易用性和编译性之间的权衡进行广泛的研究。在这个项目中，我们正在构建一个编译器，它将接受编程语言内存模型定义、硬件一致性模型定义和应用程序作为输入。然后，编译器将优化应用程序，同时遵守内存和一致性模型的约束，允许研究易用性和编译之间的权衡。它还将允许研究新的内存模型，这将导致设计更容易使用的语言，这些语言可以有效地编译，并用于生产更健壮、更安全的软件。

The Java programming language made writing multi-threaded programs a mainstream activity. Subtle issues arise in how to compile these multi-threaded programs so that common compiler optimizations are allowed while simultaneously ensuring that actions in one thread are viewed by other threads as occurring in a legal order, i.e. one that follows the programming language consistency model. Because previous languages either did not define a memory model or were not widely used, and because multi-threaded programming was done by a small number of experts, the trade-offs between memory model ease-of-use and the ease of compilation were not extensively investigated. In this project, we are building a compiler that will accept as input a programming language memory model definition, a hardware consistency model definition, and an application program. The compiler will then optimize the application program while abiding by the constraints of both the memory and consistency model, allowing the trade-offs between ease of use and compilation to be studied. It will also allow new memory models to be investigated, which will lead to the design of easier to use languages that can be effectively compiled, and used to produce more robust, safer software.