Fault-tolerant Distributed Reactive Programming
While advantages of reactive programming in software design are widely recognized, the lack of a suitable fault handling model hinders its adoption in distributed systems. In this paper, we present a novel approach to provide fault tolerance for distributed reactive programming. We extend the reactive runtime to automatically store and recover program state in the presence of failures, automatically update and share distributed parts of the state providing eventual consistency, and handle errors in a fine-grained manner when manual control is necessary. By leveraging the guarantees that the reactive programming paradigm provides, these mechanisms are provided to applications in a highly transparent way and with reasonable performance, as indicated by our experimental evaluation.
Thu 19 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
11:00 - 12:40 | Asynchrony and ConcurrencyECOOP Research Papers at Zurich II Chair(s): Todd Millstein University of California, Los Angeles | ||
11:00 25mResearch paper | Fault-tolerant Distributed Reactive Programming ECOOP Research Papers Ragnar Mogk Technische Universität Darmstadt, Lars Baumgärtner Philipps-Universität Marburg, Guido Salvaneschi TU Darmstadt, Bernd Freisleben Philipps-Universität Marburg, Mira Mezini TU Darmstadt DOI | ||
11:25 25mResearch paper | ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions ECOOP Research Papers Hiroaki Inoue Mitsubishi Electric Corporation, Japan, Tomoyuki Aotani Tokyo Institute of Technology, Atsushi Igarashi Kyoto University, Japan DOI | ||
11:50 25mResearch paper | Theory and Practice of Coroutines with Snapshots ECOOP Research Papers DOI | ||
12:15 25mResearch paper | A Concurrent Specification of POSIX File Systems ECOOP Research Papers Gian Ntzik Imperial College London, Pedro da Rocha Pinto Imperial College London, Julian Sutherland Imperial College London, Philippa Gardner Imperial College London DOI |