The semantics of future and its use in program optimization
The semantics of future and its use in program optimization
复制标题
future 的语义及其在程序优化中的应用
DOI：
--
复制
发表时间：
1995
期刊：
影响因子：
--
通讯作者：
M. Felleisen
中科院分区：
文献类型：
--
作者：
C. Flanagan;M. Felleisen
MultiLisp的未来注释提供了一种简单的方法来驯服函数式程序的隐式并行性。过去关于未来的研究主要集中在执行问题上。在本文中，我们提出了一系列的操作语义的理想化的功能性语言的未来与不同程度的内涵。我们开发了一个基于集合的分析算法，从最内涵的语义，并使用该算法来执行程序上的触摸优化。Gambit编译器的实验表明，这种优化大大减少了程序的执行时间。
The future annotations of MultiLisp provide a simple method for taming the implicit parallelism of functional programs. Past research concerning futures has focused on implementation issues. In this paper, we present a series of operational semantics for an idealized functional language with futures with varying degrees of intensionality. We develop a set-based analysis algorithm from the most intensional semantics, and use that algorithm to perform touch optimization on programs. Experiments with the Gambit compiler indicates that this optimization substantially reduces program execution times.