基于事务性执行的投机并行多线程软件模拟

Software Simulation of Speculative Parallel Threading Using Transactional Execution

基于事务性执行的投机并行多线程是一种适合未来多核微处理器架构的新型并行程序设计和编译技术.但在此基础上的并行程序执行过程更为复杂,程序执行过程的模拟成为关键问题之一.本文提出利用二进制代码级动态插桩技术对投机并行多线程程序进行功能性模拟,设计并实现了完整的软件平台,可精确地模拟和监控并行程序的线程级投机执行过程,检测访存冲突,从而实现投机并行多线程的语义.该软件平台同时可以作为进一步研究投机多线程并行程序真实执行过程的基础,并有效支持投机并行多线程编译器的设计和分析.

Speculative Parallel Threading using Transactional Execution （SPT/TX） is a promising parallel programming/compiling technique for the future multi-core microprocessor architectures. However,the execution of parallel programs based on SPT/TX is complicated ;the simulation of program execution became a key problem. This paper makes use of binary-level dynamic instrumentation techniques to perform functional simulation of SPT/TX programs. A complete software platform is designed and implemented to accurately simulate and monitor the thread-level speculation of parallel programs, as well as detect memory access conflictions,thus implement the semantics of SPT/TX. The software platform can also serve as a basis for further study of the real execution behavior of SPT/TX programs ,and effectively support the design and analysis of SPT/TX compilers.