Sciweavers

9 search results - page 1 / 2
» Safe and Reliable Use of Concurrency in Multi-Threaded Share...
Sort
View
SEW
2005
IEEE
13 years 10 months ago
Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory Systems
R. E. Kurt Stirewalt, Reimer Behrends, Laura K. Di...
FTCS
1997
115views more  FTCS 1997»
13 years 6 months ago
Robust Emulation of Shared Memory Using Dynamic Quorum-Acknowledged Broadcasts
This paper presents robust emulation of multi-writer/multi-reader registers in message-passing systems using dynamic quorum con gurations. In addition to processor and link failur...
Nancy A. Lynch, Alexander A. Shvartsman
PPDP
2005
Springer
13 years 10 months ago
Isolation-only transactions by typing and versioning
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...
Pawel T. Wojciechowski
SOSP
2007
ACM
14 years 1 months ago
Sinfonia: a new paradigm for building scalable distributed systems
We propose a new paradigm for building scalable distributed systems. Our approach does not require dealing with message-passing protocols—a major complication in existing distri...
Marcos Kawazoe Aguilera, Arif Merchant, Mehul A. S...
TLDI
2009
ACM
155views Formal Methods» more  TLDI 2009»
14 years 1 months ago
Opis: reliable distributed systems in OCaml
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
Pierre-Évariste Dagand, Dejan Kostic, Vikto...