Untrue:用于 lisp 子集的无界并行图重写器引擎

不真实 无限期缩短这是一个用于类 lisp 语言的无界并行图重写器引擎。 这个想法很简单：每个计算“时钟”，所有准备重写的东西，都将被重写，例如(+ (+ 6 2) (* 3 4)) 将在 2 个时钟周期内进行评估。 工作图是“漂浮在真空中”，并且图的每个刻度节点都可以请求通过 beta 减少（访问内存）或 delta 减少（文字 ALU 操作）来减少。 在评估之后，您可以测量内存访问和内容，以了解使用的资源量，例如功能单元或生成的内存带宽。 地位 这个项目刚开始不久，但已经实施了以下内容： 首先将源解析为 AST，然后解析为具有附加元数据的应用表达式图 将执行分为两类：delta 和 beta 减少 delta 减少（alu 操作） 一些 beta 减少（条件 + 列表操作） 柯里化 为什么？ 我想知道不同程序有多少局部并行性，它们产生多大的内存带宽以及它们需要多少功能单元。 当