Functional programming 什么是FFP机器？

在R.Kent Dybvig的论文“Scheme的三个实现模型”中，他谈到了“FFP语言”和“FFP机器”。显然，FFP机器和多处理器上的字符串缩减之间存在某种关联

谷歌搜索并没有从解释或例子中发现太多东西

有人能解释一下这个话题吗？

---

谢谢。

正式的FP。类似于FP，但使用常规的无糖语法，对于机器执行，我只能提供给您

---

请看。

您遇到过这个问题吗？：

Kent Dybvig的顾问Gyula A.Mago于1987年在Mago和Stanat的《FFP机器：技术报告87-014》中发表了详细的描述

截至撰写本文时，PDF可在以下网站免费获取：

---

FFP机器是一种非常细粒度的并行计算机体系结构： 每个处理器拥有一个符号/原子/值。 它使用字符串简化计算模型，其中 找到最内部的函数应用程序，并将其替换为 等效结果（急切评估）。 如果结果在多个地方使用，则倾向于重新评估 而不是承担访问某些全球存储的成本 （但请参阅Mago在1982年函数式编程语言和计算机体系结构会议上发表的关于“复制操作数与复制结果”的论文，或者更好的是Mago的“FFP机器中的数据共享”）

保持FFP表达的L细胞减少 通过树状排列的T细胞进行交流。 请注意，IC基本上是二维的，带有接线， 电路可以在物理空间中朝着三维方向发展。 占据更高维度的互连网络 （如超立方体、欧米茄、榕树、星星等网络） 最终将无法接近其理论极限

这种通信网络是电路交换的，而不是分组交换的。 数据包不包含地址，不需要路由。 来自不同缩减的数据包不能满足，不能冲突 彼此之间也无法体验拥挤。 执行配置活动（称为“分区”） 在一次向上扫树，用一把 3位消息上的逻辑操作，留下“区域机器”， 创建每个应用程序最多只能推进一个可简化的应用程序。 虽然它在时间上是对数的， 由此产生的区域机器可以开始通信 在分割波后面以流水线方式， 实际上是要付出固定的时间惩罚。 （区域机器的拆卸在时间上仍然是对数成本）

单个缩减中的数据包应该而且必须满足 从而提供了一个经常有用的同步。 数据包序列在上升时被排序和组合 在区域内，从区域机器的根进行广播。 提供了并行前缀和并行后缀操作 减少区域交通，因为仍然存在潜在的瓶颈 在单个可还原应用程序中。 这是在不需要在中展示的情况下实现的 超级计算机（纽约大学的杰克（雅各布？）施瓦茨） 对于每个内存中单独的对数大小的缓存 通信节点。 每个T单元（内部树节点）只需要一个FIFO缓冲区 （用于效率）尺寸大于管道路径的 爬到树顶，然后再倒下来。 （后者是我的猜测，但似乎是合理的）。 因为树保持了从左到右的数据顺序 （与其他一些组合网络不同），该系统启用单元 以对数而非线性时间旋转数据， 避免机器根部可能出现的堵塞。 值得再次注意的是，一个区域内的平行度 这台机器独立于其他系统中的同时并行 区域机器，并提供给它的处理器数量

---

与操作数中的数据量成比例。

Um。是的，但我的ACM会员资格已过期，我无法下载。你用什么魔法创建了那个公共链接？无论如何，谢谢。这看起来不错。如果你…嗯…Bing“FFP机器”，第四个链接来自微软学术研究。我从那里获取了链接。我应该开始更多的链接。非常感谢你，b。这是“不能”还是“可以”？C“并发性”比“并行性”更好地描述这一点吗？提供良好通信的理论网络最终将花费至少n个时间的立方根，以在3空间中定位n个处理器。丹尼·希利斯（Danny Hillis）的连接机占用了两个机柜，每个机柜的背面都有一个6英寸的布线嵌套。要将处理器数量增加一倍，需要一根6英寸的电线连接两对机柜。对我来说（用于教学操作系统），“并发性”包括单个代理的操作交错（不产生加速），而“并行性”明确要求同时发生多个操作。