“《跨语言和同步计算模型报告》导论”。
摘要：一种新颖的语言系统产生了与标准形式和处理器网络模型相比有很大潜力的替代方案。与抽象机环境相互关联的一种互弦链接共享子表达式、传输数据和空间分配资源，以实现数据流的并行评估。介绍了一种称为a-Ram家族的形式模型，旨在支持互弦编程语言（互语言）。与数据流、图重写和FPGA模型不同，a-Ram指令是位级的，并且在原地执行。它们支持顺序和并行语言，没有与图灵机和λ演算相关的空间/时间开销，可以模拟大型程序。称为同步A-Ram的一个a-Ram模型的设备是完全连接的，比FPGA LUT简单。已开发了一个用于同步A-Ram的互语言编译器Space。Space是MIMD（多个指令多个数据）的、严格类型化的和确定性的。除了内存分配和编译以外，模块是引用透明的。在高抽象层面上，模块展现出状态转换系统，有助于验证。数据结构和并行迭代易于实现，并且子进程的分配和数据传输到资源都是隐式的。Space指向了称为同步引擎的高度连接的体系结构，比脉冲阵列和GPU更通用，并且绕过了与多核相关的可编程性和冲突问题。
作者：Alexander Victor Berka
论文ID：1005.4798
分类：Programming Languages
分类简称：cs.PL
提交时间：2010-07-30