Speculative execution in a distributed file system
ACM Transactions on Computer Systems (TOCS)
Experiences with client-based speculative remote display
ATC'08 USENIX 2008 Annual Technical Conference on Annual Technical Conference
A theory of nested speculative execution
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Operating system support for application-specific speculation
Proceedings of the sixth conference on Computer systems
Hi-index | 0.00 |
Interprocess communication (IPC) is ubiquitous in today's computing world. One of the simplest mechanisms forIPC is shared memory.We present system that enhancesthe System V IPC API to support distributed shared memory(DSM) by using speculations. Speculations provide performance improvements by enabling rollback of overly optimistic speculative executions. This paper describes speculative total order communication protocol, speculativesequential consistency model, and a speculative distributedlocking mechanism. All these are supported by a mathematical model showing the advantages of speculative executionover traditional execution.Our DSM system is part of the Mojave system, whichconsists of compiler and the extensions of the operatingsystem designed to support speculations and process migration. The goal of our system is to provide simpler programming paradigm for designers of distributed systems.