Sciweavers

Share
SIROCCO
2004

Long-Lived Rambo: Trading Knowledge for Communication

8 years 9 months ago
Long-Lived Rambo: Trading Knowledge for Communication
Shareable data services providing consistency guarantees, such as atomicity (linearizability), make building distributed systems easier. However, combining linearizability with efficiency in practical algorithms is difficult. A reconfigurable linearizable data service, called Rambo, was developed by Lynch and Shvartsman. This service guarantees consistency under dynamic conditions involving asynchrony, message loss, node crashes, and new node arrivals. The specification riginal algorithm is given at an abstract level aimed at concise presentation and formal reasoning about correctness. The algorithm propagates information by means of gossip messages. If the service is in use for a long time, the size and the number of gossip messages may grow without bound. This paper presents a consistent data service for long-lived objects that improves on Rambo in two ways: it includes an incremental communication protocol and a leave service. The new protocol takes advantage of the local knowledge...
Chryssis Georgiou, Peter M. Musial, Alexander A. S
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2004
Where SIROCCO
Authors Chryssis Georgiou, Peter M. Musial, Alexander A. Shvartsman
Comments (0)
books