Demystifying Energy Consumption Dynamics in Transiently powered Computers
Demystifying Energy Consumption Dynamics in Transiently powered Computers
复制标题
揭秘瞬态供电计算机的能耗动态
DOI：
--
复制
发表时间：
2020
影响因子：
2
通讯作者：
L. Mottola
中科院分区：
文献类型：
--
作者：
Saad Ahmed;Muhammad Nawaz;A. Bakar;Naveed Anwar Bhatti;M. H. Alizai;Junaid Haroon Siddiqi;L. Mottola
瞬态供电计算机（tpc）是无电池物联网的基础，使用能量收集和小型电容器为其运行供电。这种电源的特点是电源电压的极端变化，因为电容器在收集能量时充电，在计算时放电。我们通过实验发现，这些变化会导致时钟速度和功耗的显著波动。这种看似微不足道的观察在现有文献中被忽视了。因此，系统以过于保守的方式设计和参数化，错过了许多优化。我们更愿意证明，准确地建立模型并具体地利用这些波动是可能的。我们推导了一个能量模型作为电源电压的函数，并证明了它在两种情况下的应用。首先，我们开发了编译时能量分析工具EPIC。我们用它来代替现有分析技术中的恒功率假设，为程序员提供最坏情况下程序能耗的准确信息。当将EPIC与现有的TPC系统支持一起使用时，运行时能源效率将得到显著提高，最终完成固定工作负载的时间将提高350%。此外，当将EPIC与现有调试工具一起使用时，它可以避免不必要的程序更改，从而降低能源效率。接下来，我们扩展MSPsim仿真器，并探索其在参数化不同的TPC系统支持中的使用。能源效率的改进可使完成固定工作量的时间加快1000%以上。
Transiently powered computers (TPCs) form the foundation of the battery-less Internet of Things, using energy harvesting and small capacitors to power their operation. This kind of power supply is characterized by extreme variations in supply voltage, as capacitors charge when harvesting energy and discharge when computing. We experimentally find that these variations cause marked fluctuations in clock speed and power consumption. Such a deceptively minor observation is overlooked in existing literature. Systems are thus designed and parameterized in overly conservative ways, missing on a number of optimizations. We rather demonstrate that it is possible to accurately model and concretely capitalize on these fluctuations. We derive an energy model as a function of supply voltage and prove its use in two settings. First, we develop EPIC, a compile-time energy analysis tool. We use it to substitute for the constant power assumption in existing analysis techniques, giving programmers accurate information on worst-case energy consumption of programs. When using EPIC with existing TPC system support, run-time energy efficiency drastically improves, eventually leading up to a 350% speedup in the time to complete a fixed workload. Further, when using EPIC with existing debugging tools, it avoids unnecessary program changes that hurt energy efficiency. Next, we extend the MSPsim emulator and explore its use in parameterizing a different TPC system support. The improvements in energy efficiency yield up to more than 1000% time speedup to complete a fixed workload.
基于任务的间歇性程序的终止检查和任务分解
DOI：
10.1145/3178372.3179525
发表时间：
2018
期刊：
Proceedings of the 27th International Conference on Compiler Construction
影响因子：
--
作者：
Colin, Alexei;Lucia, Brandon
通讯作者：
Lucia, Brandon
微型无电池传感器的真实模拟
DOI：
10.1145/2996884.2996889
发表时间：
2016
期刊：
Proceedings of the 4th International Workshop on Energy Harvesting and Energy-Neutral Sensing Systems
影响因子：
--
作者：
Furlong, Matthew;Hester, Josiah;Storer, Kevin;Sorber, Jacob
通讯作者：
Sorber, Jacob