CISE Next Generation Software: Software Systems: Compiling for Speculative Distributed Microarchitectures

EIA-9974976 Purdue UniversityEigenmann，Rudolf编译器的投机分布式微体系结构这个项目介绍了一种新的编译器范例称为保守假设自由编译，它打破了保守编译时假设的障碍，这是当前编译器最严重的限制之一。 新的范例是由新兴的投机，分布式微架构。 在拟议的项目中，PI将为这种架构实现一个完整的编译器系统。 这项工作将补充已经进行的普渡复用架构项目正在调查的相同的PI。普渡复用相结合的趋势，增加片上集成与积极的投机指令执行。 它的分布式单芯片微体系结构将传统的多处理器线程级并行性与当今激进的超标量处理器的推测执行相结合。 编译器从顺序程序生成线程，这些线程不一定是独立的，并且硬件通过推测和回滚机制在线程间控制/数据依赖性的情况下保证正确性。 通过提供对线程级推测的支持，硬件减轻了编译器保证线程间独立性的负担，从而实现了我们的保守假设自由编译范式。 我们的编译器将通过新的分析和新的转换推测性地并行化非数值应用程序的未开发领域。 我们的编译器将紧密结合技术，利用并行级和线程级并行。

EIA-9974976Purdue UniversityEigenmann, RudolfCompiling for Speculative Distributed MicroarchitecturesThis project introduces a novel compiler paradigm called conservative-assumption-free compilation, which breaks the barrier of a conservative compile-time assumption, one of the most severe limitations of current generation of compilers. The new paradigm is enabled by emerging speculative, distributed microarchitechtures. In the proposed project the PIs will implement a full compiler system for such architectures. The effort will complement the already-onging Purdue Multiplex architecture project being investigated by the same PIs.Purdue Multiplex combines trends of increasing on-chip integration with aggressive speculative instruction execution. Its distributed, single-chip microarchitecture integrates conventional multiprocessor thread-level parallelism with speculative execution of today's aggressive superscalar processors. The compiler generates threads, which are not necessarily independent, from a sequential program and the hardware guarantees correctness in case of inter-thread control/data dependencies via speculation and rollback mechanisms. By providing support for thread-level speculation, the hardware relieves the compiler of the burden of guaranteeing inter-thread independence, enabling our conservative-assumption-free compilation paradigm. Our compiler will speculatively parallelize the unexplored domain of non-numeric applications via new analyses and novel transformations. Our compiler will tightly integrate techniques to exploit both instruction-level and thread-level parallelism.