Title | ||
---|---|---|
A sound and complete reasoning system for asynchronous communication with shared futures. |
Abstract | ||
---|---|---|
Distributed and concurrent object-oriented systems are difficult to analyze due to the complexity of their concurrency, communication, and synchronization mechanisms. We consider the setting of concurrent objects communicating by asynchronous method calls. The future mechanism extends the traditional method call communication model by facilitating sharing of references to futures. By assigning method call result values to futures, third party objects may pick up these values. This may reduce the time spent waiting for replies in a distributed environment. However, futures add a level of complexity to program analysis, as the program semantics becomes more involved. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1016/j.jlamp.2014.03.003 | Journal of Logical and Algebraic Methods in Programming |
Keywords | Field | DocType |
Distributed systems,Compositional reasoning,Hoare Logic,Concurrent objects,Operational semantics,Communication history | Asynchronous communication,Distributed object,Operational semantics,Programming language,Concurrency,Futures contract,Computer science,Theoretical computer science,Models of communication,Asynchronous method invocation,Reasoning system | Journal |
Volume | Issue | ISSN |
83 | 5 | 2352-2208 |
Citations | PageRank | References |
8 | 0.50 | 19 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Crystal Chang Din | 1 | 82 | 7.87 |
Olaf Owe | 2 | 604 | 48.17 |