I will introduce power failure immunity (PFI), an essential program execution property for energy harvesting systems to achieve efficient intermittent computation. PFI ensures program code regions never fail more than once i.e., at most single in-region outage, during intermittent computation as if they are immunized after the first power outage. To enforce PFI automatically for such batteryless systems that use a tiny energy buffer instead, its compiler-directed enforcement is going to be presented. The compiler leverages a precise static analysis to partition the program into recoverable regions with the energy buffer size in mind so that their execution can be completed—using the full energy buffered in a single charge cycle—regardless of program execution paths. In this way, no matter how unstable the energy harvesting source is, no region fails more than once. In the virtue of PFI, I will also present ROCKCLIMB, a high-performance and rollback-free intermittent computation scheme. It guarantees that PFI-enforced regions never fail, i.e., there is no in-region outage at all. To achieve this, ROCKCLIMB checks if the fully buffered energy is secured at each region boundary. If it is not secured, ROCKCLIMB waits until the energy buffer is fully charged, before executing the following region. In particular, the rollback-free nature of ROCKCLIMB obviates the need to log memory writes—required for rollback recovery—since no region is power-interrupted. As a result, PFI+ROCKCLIMB achieves rollback-free and memory-log-free intermittent computation, ensuring forward execution progress and maximizing it even in the presence of frequent power outages. The real board experiments demonstrate that PFI+ROCKCLIMB outperforms the state-of-the-art work by 5%—550% on average in various energy harvesting conditions.

Changhee Jung is an Associate Professor of Computer Science at Purdue University. He received his PhD degree in Computer Science from Georgia Tech in 2013. His research interests are in compilers and computer architecture, with an emphasis on performance, reliability, and security. His work has appeared in top conferences such as MICRO, PLDI, ASPLOS, SC, and USENIX Security. He received the NSF Career Award, AMD/Google Faculty Research Awards, and the Silver Prize in the SAMSUNG HumanTech Thesis Competition. Recently, he was inducted into MICRO Hall of Fame (2021).