Chain: Tasks and Channels for Reliable Intermittent Programs

Preview

Mehmet will present Chain: Tasks and Channels for Reliable Intermittent Programs by Alexei Colin and Brandon Lucia. This paper presents the Chain programming model to program low-power, energy-harvesting computing devices that have an intermittent power source. Chain is an extension of C programming language that allows a programmer to define tasks that can do computations and send data through channels. Chain guarantees forward progress at task granularity and absence of inconsistent states.