On the limitation of the global time assumption in distributed systems

2005 ◽  
pp. 1-8 ◽  
Author(s):  
Uri Abraham ◽  
Shai Ben-David ◽  
Shlomo Moran
Keyword(s):  
Distributed Systems ◽  
Global Time

A NOTE ON LINEARIZABILITY AND THE GLOBAL TIME AXIOM

2003 ◽  
Vol 13 (01) ◽  
pp. 19-24 ◽  
Author(s):  
BERNADETTE CHARRON-BOST ◽  
ROBERT CORI
Keyword(s):  
Distributed Systems ◽  
Correctness Condition ◽  
Concurrent Objects ◽  
Global Time ◽  
Linearizable System ◽  
Made In

The assumption of the existence of global time, which significantly simplifies the analysis of distributed systems, is generally safe since most of the conclusions obtained under the global time axiom can be transferred to the frame where no such assumption is made. In this note, we show that the compositionality of the well-known correctness condition for concurrent objects called linearizability does not satisfy this simplification rule: we present a simple non-linearizable system composed of two objects which are individually linearizable.

Managing evolution in distributed systems

1989 ◽  
Vol 4 (6) ◽  
pp. 321 ◽  
Author(s):  
Jeff Kramer ◽  
Jeff Magee ◽  
Morris Sloman
Keyword(s):  
Distributed Systems

The use of GMB in the design of robust software for distributed systems

1989 ◽  
Vol 4 (5) ◽  
pp. 268 ◽  
Author(s):  
Geoffrey F. Carpenter ◽  
Andrew M. Tyrrell
Keyword(s):  
Distributed Systems
Sign in / Sign up

Export Citation Format

Share Document