Formal Semantics for Expressing Optimism: The Meaning of HOPE (1995)
| Venue: | In Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computing |
| Citations: | 5 - 3 self |
BibTeX
@INPROCEEDINGS{Cowan95formalsemantics,
author = {Crispin Cowan and Hanan Lutfiyya},
title = {Formal Semantics for Expressing Optimism: The Meaning of HOPE},
booktitle = {In Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computing},
year = {1995},
pages = {164--173}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Optimism is a powerful technique for increasing concurrency. A program can increase concurrency by making an optimistic assumption about its future state, and verifying the assumption in parallel with computations based on the optimistic assumption. The use of optimism has been restricted to specialized systems due to the difficulty of writing and understanding optimistic programs. In this paper, we define optimism as any computation that uses rollback. We present a formal semantics for expressing optimism by defining operations for concurrent programs to specify which optimistic computations to roll back, while automating the dependency tracking. We prove that these semantics guarantee some intuitively desirable behaviors. Finally, we describe our programming language implementation based on the semantics. Keywords: optimism, semantics of optimism, concurrency, parallelism, distributed computing, rollback. 1 INTRODUCTION Distributed systems can improve program response time by prov...
