跨语言与同步计算模型
摘要：一种新颖的语言系统为标准形式和处理器网络计算模型提供了有前途的替代方案。与抽象机环境连接的相互链接共享子表达式，转移数据，并在数据流的并行评估中空间分配资源。引入了一种称为a-Ram家族的正式模型，旨在支持相互链接的编程语言（interlanguages）。与数据流、图重写和FPGA模型不同，a-Ram指令是位级的，并且在原地执行。它们支持顺序和并行语言，而不会产生图灵机和λ-演算相关的空间/时间开销，从而能够模拟大规模程序。一种名为Synchronic A-Ram的a-Ram模型的设备是完全连接的，并且比FPGA LUT（查找表）更简单。为Synchronic A-Ram开发了一种名为Space的相互语言的编译器。Space是MIMD、严格类型化和确定性的。除了内存分配和编译之外，模块是引用透明的。在高抽象级别上，模块呈现出一个状态转换系统，有助于验证。数据结构和并行迭代易于实现，并且对子进程的分配和数据传输到资源的分配是隐式的。Space指向了一种称为同步引擎的高度连接架构，其以GALS的方式扩展。同步引擎比系统阵列和图形处理器更通用，且绕过了多核相关的可编程性和冲突问题。
作者：Alexander Victor Berka
论文ID：1005.5183
分类：Programming Languages
分类简称：cs.PL
提交时间：2010-05-31