Speculations: providing fault-tolerance and recoverability in distributed environments
HOTDEP'06 Proceedings of the 2nd conference on Hot Topics in System Dependability - Volume 2
A theory of nested speculative execution
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
| Hi-index | 0.00 |
This thesis introduces a new programming model based on speculative execution and it examines the use of speculations, a form of distributed transactions, for improving the performance, reliability and fault tolerance of distributed systems. A speculation is defined as a computation that is based on an assumption that is not validated before the computation is started. If the assumption is later invalidated the computation is aborted and the state of the program is rolled back; if the assumption is validated, the results of the computation are committed. The primary difference between a speculation and a transaction is that a speculation is not isolated---for example, a speculative computation may send and receive messages, and it may modify shared objects. As a result, processes that share those objects may be absorbed into a speculation. The contributions presented in this thesis include: (1) the introduction of anew programming model based on speculations, (2) the definition of new speculative programming language constructs, (3) the formal specification of the semantics of various speculative execution models, including message passing and shared objects, (4) the implementation of speculations in the Linux kernel in a transparent manner, and (5) the design and implementation of components of a distributed filesystem that supports speculations and guarantees sequential consistency of concurrent accesses to files.