From static distributed systems to dynamic systems

Achour Mostefaoui, Michel Raynal, Corentin Travers, Stacy Patterson, Divyakant Agrawal, Amr El Abbadi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

41 Citations (Scopus)

Abstract

A noteworthy advance in distributed computing is due to the recent development of peer-to-peer systems. These systems are essentially dynamic in the sense that no process can get a global knowledge on the system structure. They mainly allow processes to look up for data that can be dynamically added/suppressed inpermanently evolving set of nodes. Although protocols have been developed for such dynamic systems, to our knowledge, up to date no computation model for dynamic systems has been proposed. Nevertheless, there is a strong demand for the definition of such models as soon as one wants to develop provably correct protocols suited to dynamic systems. This paper proposes a model for (a class of) dynamic systems. That dynamic model is defined by (1) a parameter (an integer denoted a) and (2) two basic communication abstractions (query-response and persistent reliable broadcast). The new parameter a is a threshold value introduced to capture the liveness part of the system (it is the counterpart of the minimal number of processes that do not crash in a static system). To show the relevance of the model, the paper adapts an eventual leader protocol designed for the static model, and proves that the resulting protocol is correct within the proposed dynamic model. In that sense, the paper has also a methodological flavor, as it shows that simple modifications to existing protocols can allow them to work in dynamic systems.

Original languageEnglish
Title of host publicationProceedings of the IEEE Symposium on Reliable Distributed Systems
Pages109-118
Number of pages10
DOIs
Publication statusPublished - 2005
Externally publishedYes
Event24th IEEE Symposium on Reliable Distributed Systems, SRDS 2005 - Orlando, FL, United States
Duration: 26 Oct 200528 Oct 2005

Other

Other24th IEEE Symposium on Reliable Distributed Systems, SRDS 2005
CountryUnited States
CityOrlando, FL
Period26/10/0528/10/05

Fingerprint

Dynamical systems
Dynamic models
Flavors
Distributed computer systems
Communication

Keywords

  • Communication abstraction
  • Dynamic system
  • Eventual stability condition
  • Peer-to-Peer system
  • Persistent reliable broadcast
  • Query-response pattern

ASJC Scopus subject areas

  • Hardware and Architecture

Cite this

Mostefaoui, A., Raynal, M., Travers, C., Patterson, S., Agrawal, D., & El Abbadi, A. (2005). From static distributed systems to dynamic systems. In Proceedings of the IEEE Symposium on Reliable Distributed Systems (pp. 109-118). [1541189] https://doi.org/10.1109/RELDIS.2005.19

From static distributed systems to dynamic systems. / Mostefaoui, Achour; Raynal, Michel; Travers, Corentin; Patterson, Stacy; Agrawal, Divyakant; El Abbadi, Amr.

Proceedings of the IEEE Symposium on Reliable Distributed Systems. 2005. p. 109-118 1541189.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Mostefaoui, A, Raynal, M, Travers, C, Patterson, S, Agrawal, D & El Abbadi, A 2005, From static distributed systems to dynamic systems. in Proceedings of the IEEE Symposium on Reliable Distributed Systems., 1541189, pp. 109-118, 24th IEEE Symposium on Reliable Distributed Systems, SRDS 2005, Orlando, FL, United States, 26/10/05. https://doi.org/10.1109/RELDIS.2005.19
Mostefaoui A, Raynal M, Travers C, Patterson S, Agrawal D, El Abbadi A. From static distributed systems to dynamic systems. In Proceedings of the IEEE Symposium on Reliable Distributed Systems. 2005. p. 109-118. 1541189 https://doi.org/10.1109/RELDIS.2005.19
Mostefaoui, Achour ; Raynal, Michel ; Travers, Corentin ; Patterson, Stacy ; Agrawal, Divyakant ; El Abbadi, Amr. / From static distributed systems to dynamic systems. Proceedings of the IEEE Symposium on Reliable Distributed Systems. 2005. pp. 109-118
@inproceedings{76668f15ec314b6b83827941d4d8d944,
title = "From static distributed systems to dynamic systems",
abstract = "A noteworthy advance in distributed computing is due to the recent development of peer-to-peer systems. These systems are essentially dynamic in the sense that no process can get a global knowledge on the system structure. They mainly allow processes to look up for data that can be dynamically added/suppressed inpermanently evolving set of nodes. Although protocols have been developed for such dynamic systems, to our knowledge, up to date no computation model for dynamic systems has been proposed. Nevertheless, there is a strong demand for the definition of such models as soon as one wants to develop provably correct protocols suited to dynamic systems. This paper proposes a model for (a class of) dynamic systems. That dynamic model is defined by (1) a parameter (an integer denoted a) and (2) two basic communication abstractions (query-response and persistent reliable broadcast). The new parameter a is a threshold value introduced to capture the liveness part of the system (it is the counterpart of the minimal number of processes that do not crash in a static system). To show the relevance of the model, the paper adapts an eventual leader protocol designed for the static model, and proves that the resulting protocol is correct within the proposed dynamic model. In that sense, the paper has also a methodological flavor, as it shows that simple modifications to existing protocols can allow them to work in dynamic systems.",
keywords = "Communication abstraction, Dynamic system, Eventual stability condition, Peer-to-Peer system, Persistent reliable broadcast, Query-response pattern",
author = "Achour Mostefaoui and Michel Raynal and Corentin Travers and Stacy Patterson and Divyakant Agrawal and {El Abbadi}, Amr",
year = "2005",
doi = "10.1109/RELDIS.2005.19",
language = "English",
pages = "109--118",
booktitle = "Proceedings of the IEEE Symposium on Reliable Distributed Systems",

}

TY - GEN

T1 - From static distributed systems to dynamic systems

AU - Mostefaoui, Achour

AU - Raynal, Michel

AU - Travers, Corentin

AU - Patterson, Stacy

AU - Agrawal, Divyakant

AU - El Abbadi, Amr

PY - 2005

Y1 - 2005

N2 - A noteworthy advance in distributed computing is due to the recent development of peer-to-peer systems. These systems are essentially dynamic in the sense that no process can get a global knowledge on the system structure. They mainly allow processes to look up for data that can be dynamically added/suppressed inpermanently evolving set of nodes. Although protocols have been developed for such dynamic systems, to our knowledge, up to date no computation model for dynamic systems has been proposed. Nevertheless, there is a strong demand for the definition of such models as soon as one wants to develop provably correct protocols suited to dynamic systems. This paper proposes a model for (a class of) dynamic systems. That dynamic model is defined by (1) a parameter (an integer denoted a) and (2) two basic communication abstractions (query-response and persistent reliable broadcast). The new parameter a is a threshold value introduced to capture the liveness part of the system (it is the counterpart of the minimal number of processes that do not crash in a static system). To show the relevance of the model, the paper adapts an eventual leader protocol designed for the static model, and proves that the resulting protocol is correct within the proposed dynamic model. In that sense, the paper has also a methodological flavor, as it shows that simple modifications to existing protocols can allow them to work in dynamic systems.

AB - A noteworthy advance in distributed computing is due to the recent development of peer-to-peer systems. These systems are essentially dynamic in the sense that no process can get a global knowledge on the system structure. They mainly allow processes to look up for data that can be dynamically added/suppressed inpermanently evolving set of nodes. Although protocols have been developed for such dynamic systems, to our knowledge, up to date no computation model for dynamic systems has been proposed. Nevertheless, there is a strong demand for the definition of such models as soon as one wants to develop provably correct protocols suited to dynamic systems. This paper proposes a model for (a class of) dynamic systems. That dynamic model is defined by (1) a parameter (an integer denoted a) and (2) two basic communication abstractions (query-response and persistent reliable broadcast). The new parameter a is a threshold value introduced to capture the liveness part of the system (it is the counterpart of the minimal number of processes that do not crash in a static system). To show the relevance of the model, the paper adapts an eventual leader protocol designed for the static model, and proves that the resulting protocol is correct within the proposed dynamic model. In that sense, the paper has also a methodological flavor, as it shows that simple modifications to existing protocols can allow them to work in dynamic systems.

KW - Communication abstraction

KW - Dynamic system

KW - Eventual stability condition

KW - Peer-to-Peer system

KW - Persistent reliable broadcast

KW - Query-response pattern

UR - http://www.scopus.com/inward/record.url?scp=33749376260&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33749376260&partnerID=8YFLogxK

U2 - 10.1109/RELDIS.2005.19

DO - 10.1109/RELDIS.2005.19

M3 - Conference contribution

SP - 109

EP - 118

BT - Proceedings of the IEEE Symposium on Reliable Distributed Systems

ER -