PELCR公司

PELCR,最优lambda微积分归约的并行环境。在本文中,我们提出了一个在并行(或分布式)计算系统上支持Lévy最优归约的环境的实现。在与Lamping相似的方法中,我们的工作基于一种称为有向虚约简的图约简技术,它实际上是Danos-Regnier虚约简的一个限制。这个环境,我们称之为PELCR(最优lambda演算约简的并行环境),依赖于一种定向虚拟约简策略,即半燃烧。在开发PELCR时,我们同时采用了消息聚合技术(允许减少通信开销)和在处理器之间动态分配源于负载的公平策略。我们还提出了一个实验研究,证明了PELCR在执行归约时能够充分利用λ项固有的并行性。我们展示了PELCR如何在上一代多处理器计算系统上实现70-80%的理想加速。最后一点要说明的是,软件模块是用C语言开发的,并使用标准的消息传递接口,即MPI,从而使PELCR本身成为一个高度可移植的软件包。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换