面向绿色未来的变频语义

本文描述了一种以能效为主要目标的 futures 操作语义。这项正在进行的工作基于一个见解：不同的线程可以通过以不同的“节奏”运行来协调，从而减少同步时间和由此产生的浪费性能耗。我们利用 futures 的几个固有特性来确定如何协调涉及线程的节奏。该语义受到计算机架构最新进展的启发，在这些架构中 CPU 核心的频率可以动态调整。这项工作迈出了第一步，朝着将变频直接建模为并发编程语言中基本语义特征的方向发展。