The Analysis, Measurement and Exploitation of Eager Evaluation in Imperative Instruction Streams

这项研究关注的是显着提高性能 传统语言的计算机， 并发性或并行性在输入代码中是显而易见的， 评价 早期求值是对过去的代码的有条件执行 条件分支，在分支执行之前。 具体 研究的目的是更全面地了解和 通过开发一个图形模型来描述渴望评价， 描述;测量性能增益和使用的资源， 典型的代码都是用急切的评估来执行的， 有意义的界限，并假设不同的架构或执行 机. 此外，开发新的机器， 将以有效的方式进行评价。 一个新颖方面 要遵循的一种方法是考虑静态指令 执行的流模型，其中代码按其存在的顺序排列 存储器，与动态或经典的指令流相反， 其中程序计数器遵循控制流。 的 将通过计算机进行测量和评估 代码执行的模拟，假设特定的硬件 适当地

This research is concerned with dramatically improving the performance of computing machines for traditional languages by increasing the concurrency or parallelism apparent in the input code via eager evaluation. Eager evaluation is the conditional execution of code past conditional branches, before the branches have executed. The specific objectives of the research are to more fully understand and characterize eager evaluation by developing a graph model for its description; measuring the performance gain and resources used when typical codes are executed with eager evaluation, both in an ideal sense to give bounds, and assuming different architectures or execution engines. Also, the development of novel machines to exploit eager evaluation in an efficient manner is to be pursued. One novel aspect of an approach to be followed is to consider the static instruction stream model of execution, in which the code is ordered as it exists in memory, as opposed to just the dynamic, or classic, instruction stream, in which the program counter follows the control flow. The measurements and evaluations to be made will be via computer simulations of the execution of the codes, assuming specific hardware as appropriate.