Implementing a Regular Register in an Eventually Synchronous Distributed System Prone to Continuous Churn
Due to their capability to hide the complexity generated by the messages exchanged between processes, shared objects are one of the main abstractions provided to developers of distributed applications. Implementations of such objects, in modern distributed systems, have to take into account the fact...
Saved in:
Published in | IEEE transactions on parallel and distributed systems Vol. 23; no. 1; pp. 102 - 109 |
---|---|
Main Authors | , , |
Format | Journal Article |
Language | English |
Published |
New York
IEEE
01.01.2012
The Institute of Electrical and Electronics Engineers, Inc. (IEEE) |
Subjects | |
Online Access | Get full text |
Cover
Loading…
Abstract | Due to their capability to hide the complexity generated by the messages exchanged between processes, shared objects are one of the main abstractions provided to developers of distributed applications. Implementations of such objects, in modern distributed systems, have to take into account the fact that almost all services, implemented on top of distributed infrastructures, are no longer fully managed due to either their size or their maintenance cost. Therefore, these infrastructures exhibit several autonomic behaviors in order to, for example, tolerate failures and continuous arrival and departure of nodes (churn phenomenon). Among all the shared objects, the register object is a fundamental one. Several protocols have been proposed to build fault resilient registers on top of message-passing system, but, unfortunately, failures are not the only challenge in modern distributed systems and new issues arise in the presence of churn. This paper addresses the construction of a multiwriter/multireader regular register in an eventually synchronous distributed system affected by the continuous arrival/departure of participants. In particular, a general protocol implementing a regular register is proposed and feasibility conditions associated with the arrival and departure of the processes are given. The protocol is proved correct under the assumption that a constraint on the churn is satisfied. |
---|---|
AbstractList | Due to their capability to hide the complexity generated by the messages exchanged between processes, shared objects are one of the main abstractions provided to developers of distributed applications. Implementations of such objects, in modern distributed systems, have to take into account the fact that almost all services, implemented on top of distributed infrastructures, are no longer fully managed due to either their size or their maintenance cost. Therefore, these infrastructures exhibit several autonomic behaviors in order to, for example, tolerate failures and continuous arrival and departure of nodes (churn phenomenon). Among all the shared objects, the register object is a fundamental one. Several protocols have been proposed to build fault resilient registers on top of message-passing system, but, unfortunately, failures are not the only challenge in modern distributed systems and new issues arise in the presence of churn. This paper addresses the construction of a multiwriter/multireader regular register in an eventually synchronous distributed system affected by the continuous arrival/departure of participants. In particular, a general protocol implementing a regular register is proposed and feasibility conditions associated with the arrival and departure of the processes are given. The protocol is proved correct under the assumption that a constraint on the churn is satisfied. |
Author | Baldoni, R. Raynal, M. Bonomi, S. |
Author_xml | – sequence: 1 givenname: R. surname: Baldoni fullname: Baldoni, R. email: baldoni@dis.uniromal.it organization: Dipt. di Inf. Autom. e Gestionale Antonio Ruberti, Univ. degli Studi di Roma La Sapienza, Rome, Italy – sequence: 2 givenname: S. surname: Bonomi fullname: Bonomi, S. email: bonomi@dis.uniromal.it organization: Dipt. di Inf. Autom. e Gestionale Antonio Ruberti, Univ. degli Studi di Roma La Sapienza, Rome, Italy – sequence: 3 givenname: M. surname: Raynal fullname: Raynal, M. email: raynal@irisa.fr organization: IRISA, Univ. de Rennes 1, Rennes, France |
BookMark | eNo90M9LwzAUB_AgE9ymN29egmc786NpmqN0UwcDh5vnkKbp1tElM2mF_femTDy9x3sf3oPvBIysswaAe4xmGCPxvF3PNzOCMJ4JfgXGmLE8ITino9ijlCWCYHEDJiEcEMIpQ-kYNMvjqTVHY7vG7qCCn2bXt8oPtQmd8bCxUFm4-ImiV217hpuz1XvvrOsDnEfjm7LvTBXn0R_hOq4M7Bws3HCzH1ix7729Bde1aoO5-6tT8PW62BbvyerjbVm8rBJNctIltapKXtYZ41XOK1EKronARmlKKpTVNCtrxLRiuGRCcIN1yVNDsopzzUtR5XQKHi93T9599yZ08uDi-_hSCkw5yTEa0NMFae9C8KaWJ98clT9LjOSQpRyylEOWUvDIHy68Mcb8U8YppYzSX4EYc68 |
CODEN | ITDSEO |
CitedBy_id | crossref_primary_10_1016_j_ic_2022_104869 crossref_primary_10_1016_j_jcss_2015_11_002 crossref_primary_10_1016_j_tcs_2013_04_005 crossref_primary_10_1109_TPDS_2018_2867479 |
Cites_doi | 10.1145/200836.200869 10.1145/1711475.1711496 10.1145/1582716.1582726 10.1109/DSN.2003.1209936 10.1145/571825.571863 10.1109/TNET.2002.808407 10.1145/226643.226647 10.1007/s004460050050 10.1007/BF01786227 10.1109/SRDS.2008.19 10.1145/1328911.1328923 10.1145/42282.42283 10.1016/j.jpdc.2008.07.007 10.1109/RELDIS.2005.19 10.1109/ICDCS.2009.46 10.1109/IWQOS.2006.250446 10.1007/s10922-005-4441-x 10.1109/TPDS.2009.83 |
ContentType | Journal Article |
Copyright | Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Jan 2012 |
Copyright_xml | – notice: Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Jan 2012 |
DBID | 97E RIA RIE AAYXX CITATION 7SC 7SP 8FD JQ2 L7M L~C L~D |
DOI | 10.1109/TPDS.2011.97 |
DatabaseName | IEEE All-Society Periodicals Package (ASPP) 2005-present IEEE All-Society Periodicals Package (ASPP) 1998–Present IEEE Electronic Library (IEL) CrossRef Computer and Information Systems Abstracts Electronics & Communications Abstracts Technology Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional |
DatabaseTitle | CrossRef Technology Research Database Computer and Information Systems Abstracts – Academic Electronics & Communications Abstracts ProQuest Computer Science Collection Computer and Information Systems Abstracts Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Professional |
DatabaseTitleList | Technology Research Database |
Database_xml | – sequence: 1 dbid: RIE name: IEEE Electronic Library (IEL) url: https://proxy.k.utb.cz/login?url=https://ieeexplore.ieee.org/ sourceTypes: Publisher |
DeliveryMethod | fulltext_linktorsrc |
Discipline | Engineering Computer Science |
EISSN | 1558-2183 |
EndPage | 109 |
ExternalDocumentID | 2553146711 10_1109_TPDS_2011_97 5733353 |
Genre | orig-research |
GroupedDBID | --Z -~X .DC 0R~ 29I 4.4 5GY 5VS 6IK 97E AAJGR AASAJ AAYOK ABFSI ABQJQ ABVLG ACGFO ACIWK AENEX AETIX AI. AIBXA AKJIK ALLEH ALMA_UNASSIGNED_HOLDINGS ASUFR ATWAV BEFXN BFFAM BGNUA BKEBE BPEOZ CS3 DU5 E.L EBS EJD HZ~ H~9 ICLAB IEDLZ IFIPE IFJZH IPLJI JAVBF LAI M43 MS~ O9- OCL P2P PQQKQ RIA RIC RIE RIG RNI RNS RZB TN5 TWZ UHB VH1 XFK AAYXX CITATION 7SC 7SP 8FD JQ2 L7M L~C L~D |
ID | FETCH-LOGICAL-c282t-fadb7bf657d87d9b97c291eac32d06f36bf05ca51b5997e1cb74e26d77c7b9d83 |
IEDL.DBID | RIE |
ISSN | 1045-9219 |
IngestDate | Thu Oct 10 16:18:29 EDT 2024 Fri Aug 23 00:58:38 EDT 2024 Wed Jun 26 19:28:26 EDT 2024 |
IsPeerReviewed | true |
IsScholarly | true |
Issue | 1 |
Language | English |
LinkModel | DirectLink |
MergedId | FETCHMERGED-LOGICAL-c282t-fadb7bf657d87d9b97c291eac32d06f36bf05ca51b5997e1cb74e26d77c7b9d83 |
PQID | 913728108 |
PQPubID | 85437 |
PageCount | 8 |
ParticipantIDs | proquest_journals_913728108 crossref_primary_10_1109_TPDS_2011_97 ieee_primary_5733353 |
PublicationCentury | 2000 |
PublicationDate | 2012-Jan. 2012-01-00 20120101 |
PublicationDateYYYYMMDD | 2012-01-01 |
PublicationDate_xml | – month: 01 year: 2012 text: 2012-Jan. |
PublicationDecade | 2010 |
PublicationPlace | New York |
PublicationPlace_xml | – name: New York |
PublicationTitle | IEEE transactions on parallel and distributed systems |
PublicationTitleAbbrev | TPDS |
PublicationYear | 2012 |
Publisher | IEEE The Institute of Electrical and Electronics Engineers, Inc. (IEEE) |
Publisher_xml | – name: IEEE – name: The Institute of Electrical and Electronics Engineers, Inc. (IEEE) |
References | bibttd201201010227 bibttd201201010226 guha (bibttd201201010214) 2006 baldoni (bibttd20120101025) 2009 anderson (bibttd20120101022) 2010 godfrey (bibttd201201010213) 2006 kuhn (bibttd201201010216) 2005 merritt (bibttd201201010224) 2000 bibttd201201010220 bibttd201201010223 bibttd201201010222 bibttd20120101021 bibttd201201010215 lynch (bibttd201201010221) 2002 bibttd201201010218 bibttd20120101023 bibttd201201010217 bibttd201201010219 bibttd20120101028 bibttd20120101029 bibttd20120101024 bibttd20120101026 bibttd20120101027 shao (bibttd201201010225) 2003 friedman (bibttd201201010210) 2005 bibttd201201010212 bibttd201201010211 |
References_xml | – ident: bibttd20120101023 doi: 10.1145/200836.200869 – ident: bibttd20120101026 doi: 10.1145/1711475.1711496 – ident: bibttd20120101021 doi: 10.1145/1582716.1582726 – ident: bibttd201201010211 doi: 10.1109/DSN.2003.1209936 – ident: bibttd201201010219 doi: 10.1145/571825.571863 – ident: bibttd201201010220 doi: 10.1109/TNET.2002.808407 – start-page: 164 year: 2000 ident: bibttd201201010224 article-title: Computing with Infinitely Many Processes publication-title: Proc 14th Int'l Symp DIStributed Computing (DISC) contributor: fullname: merritt – ident: bibttd20120101027 doi: 10.1145/226643.226647 – start-page: 3 year: 2005 ident: bibttd201201010216 article-title: A Self-Repairing Peer-to-Peer System Resilient to Dynamic Adversarial Churn publication-title: Proc Fourth Int'l Workshop Peer-To-Peer Systems (IPTPS) contributor: fullname: kuhn – start-page: 147 year: 2006 ident: bibttd201201010213 article-title: Minimizing Churn in Distributed Systems publication-title: Proc Conf Applications Technologies Architectures and Protocols for Computer Comm (SIGCOMM) contributor: fullname: godfrey – start-page: 106 year: 2003 ident: bibttd201201010225 article-title: Multi-Writer Consistency Conditions for Shared Memory Objects publication-title: Proc 17th Int'l Symp Distributed Computing (DISC '03) contributor: fullname: shao – ident: bibttd201201010222 doi: 10.1007/s004460050050 – year: 2006 ident: bibttd201201010214 article-title: An Experimental Study of the Skype Peer-to-Peer VoIP System publication-title: Proc Int'l Workshop on Peer-to-Peer Systems (IPTPS) contributor: fullname: guha – ident: bibttd201201010218 doi: 10.1007/BF01786227 – start-page: 173 year: 2002 ident: bibttd201201010221 article-title: RAMBO: A Reconfigurable Atomic Memory Service for Dynamic Networks publication-title: Proc 16th Int'l Symp Distributed Computing (DISC '02) contributor: fullname: lynch – ident: bibttd201201010215 doi: 10.1109/SRDS.2008.19 – ident: bibttd201201010212 doi: 10.1145/1328911.1328923 – ident: bibttd20120101029 doi: 10.1145/42282.42283 – ident: bibttd20120101028 doi: 10.1016/j.jpdc.2008.07.007 – start-page: 15 year: 2009 ident: bibttd20120101025 article-title: Regular Register: An Implementation in a Churn Prone Environment publication-title: Proc 16th Int'l Colloquium on Structural Information and Comm Complexity (SIROCCO) contributor: fullname: baldoni – ident: bibttd201201010223 doi: 10.1109/RELDIS.2005.19 – ident: bibttd20120101024 doi: 10.1109/ICDCS.2009.46 – ident: bibttd201201010217 doi: 10.1109/IWQOS.2006.250446 – ident: bibttd201201010227 doi: 10.1007/s10922-005-4441-x – start-page: 73 year: 2005 ident: bibttd201201010210 article-title: Abstractions for Implementing Atomic Objects in Distributed Systems publication-title: Proc Ninth Int'l Conf Principles of Distributed Systems (PODC '05) contributor: fullname: friedman – year: 2010 ident: bibttd20120101022 article-title: What Consistency Does Your Key-Value Store Actually Provide? publication-title: Proc Sixth Workshop Hot Topics in System Dependability (HotDep) contributor: fullname: anderson – ident: bibttd201201010226 doi: 10.1109/TPDS.2009.83 |
SSID | ssj0014504 |
Score | 2.1243427 |
Snippet | Due to their capability to hide the complexity generated by the messages exchanged between processes, shared objects are one of the main abstractions provided... |
SourceID | proquest crossref ieee |
SourceType | Aggregation Database Publisher |
StartPage | 102 |
SubjectTerms | Buildings churn Computational modeling Computer crashes distributed algorithms dynamic distributed systems Maintenance engineering Peer to peer computing Protocols Registers Regular register Studies |
Title | Implementing a Regular Register in an Eventually Synchronous Distributed System Prone to Continuous Churn |
URI | https://ieeexplore.ieee.org/document/5733353 https://www.proquest.com/docview/913728108 |
Volume | 23 |
hasFullText | 1 |
inHoldings | 1 |
isFullTextHit | |
isPrint | |
link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV07T8MwED4VJhgoFBClgDzARorjPByPiIcQEgjxkNgiv4IqqhS1yVB-PT4nrRAwMCVSnMTy3dk--_P3ARwzJkJrWBq4OJJBHFrpQioLA22Mmx6oOFLaoy3u05uX-PY1ee3A6fIsjLXWg8_sEG_9Xr6Z6BqXys6Quy9KohVYyShrzmotdwzixEsFuuwiCYQLwyXIXZw9P1w-NWSdSO30bfjxeiq_OmE_slx34W5RpwZQ8j6sKzXUnz_oGv9b6U3YaKeY5LzxiS3o2LIH3YV8A2mjuQfr37gIt2HkeYI9eKh8I5I8epH6KV7RE6ZkVBJZkivER9ZyPJ6Tp3mpkVp3Us_IJfLvonSWNaQhQScP7pEl1YQgAdaorLEYak-VO_ByffV8cRO0OgyBdglZFRTSKK6KNOEm40YowTVaWOqIGZoWUaoKmmiZhCoRgttQKx5blhrONVfCZNEurJbul3tAYkGZFUwZndEYmfsj6XqMwlBmCkFt2oeThXnyj4ZuI_dpChU5mjFHM-aC92EbW3pZpm3kPgwWtszbWJzlIow4y0Ka7f_90gDW3FdZs65yAKvVtLaHbqZRqSPvYl-m3NLT |
link.rule.ids | 315,786,790,802,27955,27956,55107 |
linkProvider | IEEE |
linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1JT-swEB6xHOAd2BFl9QFupDjO4vj49ACVVQiKxC3yFlRRpU8lOcCvx-OkFQIOnBIpjmx5Zjwz9vj7AA4ZE6E1LA2cHckgDq10JpWFgTbGhQcqjpT21Ra3ae8xvnxKnmbgeHoXxlrri89sF1_9Wb4Z6Rq3yk4Quy9KolmYd36e8ua21vTMIE48WaDLL5JAOEOclrmLk_7d6UMD14ngTp8ckGdU-bYMe99yvgw3k1E1JSUv3bpSXf3-BbDxt8NegaU2yCR_G61YhRlbrsHyhMCBtPa8Bn8-oRGuw8AjBfvyofKZSHLvaerH-ERdGJNBSWRJzrBCspbD4Rt5eCs1guuO6ldyigi8SJ5lDWlg0Mmd-2RJNSIIgTUoa2yG7FPlBjyen_X_9YKWiSHQLiWrgkIaxVWRJtxk3AgluEYZSx0xQ9MiSlVBEy2TUCVCcBtqxWPLUsO55kqYLNqEudJ1uQUkFpRZwZTRGY0Ruz-Sbs0oDGWmENSmHTiaiCf_3wBu5D5RoSJHMeYoxlzwDqzjTE_btJPcgZ2JLPPWGl9zEUacZSHNtn_-6QAWev2b6_z64vZqBxZdD6zZZdmFuWpc2z0Xd1Rq36vbB-g81ic |
openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Implementing+a+Regular+Register+in+an+Eventually+Synchronous+Distributed+System+Prone+to+Continuous+Churn&rft.jtitle=IEEE+transactions+on+parallel+and+distributed+systems&rft.au=Baldoni%2C+Roberto&rft.au=Bonomi%2C+Silvia&rft.au=Raynal%2C+Michel&rft.date=2012-01-01&rft.pub=The+Institute+of+Electrical+and+Electronics+Engineers%2C+Inc.+%28IEEE%29&rft.issn=1045-9219&rft.eissn=1558-2183&rft.volume=23&rft.issue=1&rft.spage=102&rft_id=info:doi/10.1109%2FTPDS.2011.97&rft.externalDBID=NO_FULL_TEXT&rft.externalDocID=2553146711 |
thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1045-9219&client=summon |
thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1045-9219&client=summon |
thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1045-9219&client=summon |