| 1. |
- Ahmed, Saad, et al.
(författare)
-
Efficient intermittent computing with differential checkpointing
- 2019
-
Ingår i: Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES). - New York, NY, USA : Association for Computing Machinery. - 9781450367240 ; , s. 70-81
-
Konferensbidrag (refereegranskat)abstract
- Embedded devices running on ambient energy perform computations intermittently, depending upon energy availability. System support ensures forward progress of programs through state checkpointing in non-volatile memory. Checkpointing is, however, expensive in energy and adds to execution times. To reduce this overhead, we present DICE, a system design that efficiently achieves differential checkpointing in intermittent computing. Distinctive traits of DICE are its software-only nature and its ability to only operate in volatile main memory to determine differentials. DICE works with arbitrary programs using automatic code instrumentation, thus requiring no programmer intervention, and can be integrated with both reactive (Hibernus) or proactive (MementOS, HarvOS) checkpointing systems. By reducing the cost of checkpoints, performance markedly improves. For example, using DICE, Hibernus requires one order of magnitude shorter time to complete a fixed workload in real-world settings.
|
|
| 2. |
- Ahmed, Saad, et al.
(författare)
-
The betrayal of constant power × time : Finding the missing joules of transiently-powered computers
- 2019
-
Ingår i: Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES). - New York, NY, USA : Association for Computing Machinery. - 9781450367240 ; , s. 97-109
-
Konferensbidrag (refereegranskat)abstract
- Transiently-powered computers (TPCs) lay the basis for a battery-less Internet of Things, using energy harvesting and small capacitors to power their operation. This 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, which determine energy efficiency. We 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 develop EPIC, a compile-time energy analysis tool. We use EPIC 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, programmers avoid unnecessary program changes that hurt energy efficiency.
|
|
| 3. |
- Maioli, A., et al.
(författare)
-
On intermittence bugs in the battery-less internet of things (WIP paper)
- 2019
-
Ingår i: Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES). - New York, NY, USA : Association for Computing Machinery. - 9781450367240 ; , s. 203-207
-
Konferensbidrag (refereegranskat)abstract
- The resource-constrained devices of the battery-less Internet of Things are powered off energy harvesting and compute intermittently, as energy is available. Forward progress of programs is ensured by creating persistent state. Mixed-volatile platforms are thus an asset, as they map slices of the address space onto non-volatile memory. However, these platforms also possibly introduce intermittence bugs, where intermittent and continuous executions differ. Our ongoing work on intermittence bugs includes (i) an analysis that demonstrates their presence in settings that current literature overlooks; (ii) the design of efficient testing techniques to check their presence in arbitrary code, which would be otherwise prohibitive given the sheer number of different executions to check; (iii) the implementation of an offline tool called ScEpTIC that implements these techniques. ScEpTIC finds the same bugs as a brute-force approach, but is six orders of magnitude faster. © 2019 Copyright held by the owner/author(s).
|
|
