CSR-AES: Collaborative Research: Behavior-Based Speculative Parallelization and Optimization on Desktop Multiprocessors

处理器技术向多核多处理器的持续转变为软件投机打开了新的机会，其中程序代码被投机地执行以提高速度，代价是必须监视错误，并且在错误发生时必须重新执行代码的风险。该项目开发了一种新的基于行为的方法，允许用户或分析工具基于有关程序代码和输入的部分信息并行化或优化程序。它主要开发了两种编程技术：面向行为的并行化（BOP），它推测地执行可能并行的区域，以及快速跟踪，它使用软件推测来支持使用不安全的优化代码。在过去的30年里，微处理器性能的指数级增长对科学、商业、政府和生活质量产生了不可估量的影响。在接下来的十年里，这场革命能否继续下去，很大程度上取决于处理器级的并行性。基于行为的软件推测有望提高现有的、顺序的软件和重用现有代码库的新软件的性能。它简化了并行化，从而提高了未来软件开发的生产力。该提案的结果将是一套通用软件的技术，以及将在可能的情况下过渡到工业合作伙伴的新工具，并将用于本科和研究生课程。

The on-going shift in processor technology to favor multicoremultiprocessors is opening new opportunities for software speculation,where program code is speculatively executed to improve speed at thecost of having to monitor for errors and the risk of having tore-execute code when an error happens.This project develops a new, behavior-based approach, which allows auser or a profiling tool to parallelize or optimize a program based onpartial information about the program code and the input. It mainlydevelops two programming techniques: Behavior-oriented parallelization(BOP), which speculatively executes possibly parallel regions, andFast track, which uses software speculation to support the use ofunsafely optimized code.The exponential increase in microprocessor performance over the past30 years has had incalculable impact on science, commerce, government,and quality of life. Continuing this revolution through the comingdecade will depend on a large degree of processor-level parallelism.Behavior-based oftware speculation promises to improve the performanceof existing, sequential software and of new software that reuses anexisting code base. It simplifies parallelization and should thusimprove the productivity of future software development. The outcomeof this proposal will be a suite of techniques for general-purposesoftware, and new tools that will be transitioned to industrialpartners wherever possible, and will be used in both undergraduate andgraduate courses.