绿色期货的变频语义
Variant-Frequency Semantics for Green Futures
摘要：
本文描述了一个操作语义的期货，与能源效率的主要目标。正在进行的工作是围绕这样一种认识而构建的：不同的线程可以通过以不同的“速度”运行来协调，从而可以减少同步时间和由此产生的浪费的能量消耗。我们利用期货的几个固有特性来确定如何协调涉及线程的速度。语义的灵感来自于计算机体系结构的最新进展，其中CPU核心的频率可以动态调整。这项工作是朝着一个方向的第一步，变异频率直接建模为并发程序设计语言的基本语义特征。
英文摘要：
This paper describes an operational semantics for futures, with the primary target on energy efficiency. The work in progress is built around an insight that different threads can coordinate by running at different "paces," so that the time for synchronization and the resulting wasteful energy consumption can be reduced. We exploit several inherent characteristics of futures to determine how the paces of involving threads can be coordinated. The semantics is inspired by recent advances in computer architectures, where the frequencies of CPU cores can be adjusted dynamically. The work is a first-step toward a direction where variant frequencies are directly modeled as an essential semantic feature in concurrent programming languages.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
