NDLI: From static distributed systems to dynamic systems

Content Provider	IEEE Xplore Digital Library
Author	Mostefaoui, A. Raynal, M. Travers, C. Patterson, S. Agrawal, Divyakant Abbadi, A.E.
Copyright Year	2005
Description	Author affiliation: IRISA, Rennes, France (Mostefaoui, A.; Raynal, M.; Travers, C.)
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 in a permanently 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 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.
Sponsorship	IEEE Comput. Soc. TC-MARCH ACM SIGMICRO
Starting Page	109
Ending Page	118
File Size	360641
Page Count	10
File Format	PDF
ISBN	076952463X
DOI	10.1109/RELDIS.2005.19
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2005-10-26
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Distributed computing Peer to peer computing Protocols Computational modeling Grid computing Broadcasting Power system modeling Computer science Computer crashes Stability Peer-to-Peer system. Communication abstraction Dynamic system Persistent reliable broadcast Query-response pattern eventual stability condition
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

From static distributed systems to dynamic systems: an approach for a first step

Reliable broadcast in a computational hybrid model with Byzantine faults, crashes, and recoveries

Communication Predicates: A High-Level Abstraction for Coping with Transient and Dynamic Faults

Reliable Message Broadcast Schemes in Distributed Agreement Protocols

Reliable broadcast in the crash-recovery model

Enabling Efficient Peer to Peer Resource Discovery in Dynamic Grids Using Variable Size Routing Indexes

Weakly-Persistent Causal Objects in Dynamic Distributed Systems

Hierarchical protocol for broadcast-type group communication

Dynamic Simulation for Grid Computing Systems

From static distributed systems to dynamic systems

Similar Documents

From static distributed systems to dynamic systems: an approach for a first step

Reliable broadcast in a computational hybrid model with Byzantine faults, crashes, and recoveries

Communication Predicates: A High-Level Abstraction for Coping with Transient and Dynamic Faults

Reliable Message Broadcast Schemes in Distributed Agreement Protocols

Reliable broadcast in the crash-recovery model

Enabling Efficient Peer to Peer Resource Discovery in Dynamic Grids Using Variable Size Routing Indexes

Weakly-Persistent Causal Objects in Dynamic Distributed Systems

Hierarchical protocol for broadcast-type group communication

Dynamic Simulation for Grid Computing Systems

From static distributed systems to dynamic systems