递归函数中的 Cache

由于 FFP 表达式具有引用透明性,对于给定的表达式每次计算都得到同样的结果,所以每一个值只需计算一次.然而,由于 FFP 语言支持递归程序,FC-机在处理递归结点时需要拷贝代码,运行时很难检查共享计算,因此可能导致重复计算,为此人们提出了用“记忆函数”(memo function)来解决这一问题.本文主要介绍如何在 FC-机中,利用 Cache 来实现“记忆函数”。最后给出了性能分析和在FFP 系统上的实际测试结果。     

FP中并行粒度的研究

并行粒度是并行处理系统的关键问题之一。本文引入启发函数(Heuristic Function,简称HF)和加速因子的概念,并用一阶启发函数HF对FP中并行成分进行检测,以便得到一个较合适的并行粒度。