PDF
开放获取
丰富的Wolski,大卫的端盖, ”使用一个函数式语言Compiler-Enforced缓存一致性”,科学的规划, 卷。5, 文章的ID537293年, 11 页面, 1996年。 https://doi.org/10.1155/1996/537293
使用一个函数式语言Compiler-Enforced缓存一致性
收到了
1995年4月19日
接受
1995年6月19日
文摘
硬件成本的缓存一致性,无论是执行延迟和运营成本,大量的可伸缩的系统。幸运的是,编译器生成的缓存管理可以减少项目序列化由于缓存的论点;增加执行性能;和减少并行系统的成本通过消除需要更昂贵的硬件支持。在本文中,我们利用剑麻函数式语言系统作为车辆实现自动进行调查,基于编译器的缓存管理。我们描述我们的实现IBM Power的剑麻/ 4。/ 4,可以作为一个产品,代表了早期尝试构建一个共享内存机器严格依赖于语言系统缓存一致性。我们讨论的问题与确定性系统上执行和程序正确性没有硬件连贯性,并演示如何剑麻(作为函数式语言)能够解决这些问题。
版权
版权©1996 Hindawi出版公司。这是一个开放的分布式下文章知识共享归属许可,它允许无限制的使用、分配和复制在任何媒介,提供最初的工作是正确引用。
