ThinkMind // DEPEND 2011, The Fourth International Conference on Dependability // View article depend_2011_2_10_40004

Download full article

Dependable Ordering Policies for Distributed Consistent Systems

Authors:
Matei Dobrescu
Manuela Stoian
Cosmin Leoveanu

Keywords: temporal ordering; distributed systems; causal consistency; events structure; clock-vectors

Abstract:
A distributed system can be characterized by the fact that the global state is distributed and that a common time base does not exist. A linearly ordered structure of time is not always adequate for distributed systems and many authors have adopted a generalized non-standard model of time which consists of vectors of clocks. The paper present an improved algorithm where these clock-vectors are partially ordered and form a lattice. By using timestamps and a simple clock update mechanism the structure of causality is represented in an isomorphic way and the causal consistency is obtained. Finally, is presented the implementation of this new algorithm which allow to compute a consistent global snapshot of a distributed system for replicated services, where messages may be received out of order.

Pages: 30 to 36

Copyright: Copyright (c) IARIA, 2011

Publication date: August 21, 2011

Published in: conference

ISBN: 978-1-61208-149-6

Location: Nice/Saint Laurent du Var, France

Dates: from August 21, 2011 to August 27, 2011