Show simple item record

dc.contributor.authorDolev, S.en
dc.contributor.authorGeorgiou, Chryssisen
dc.contributor.authorMarcoullis, Ioannisen
dc.contributor.authorSchiller, E. M.en
dc.contributor.editorPelc A.en
dc.contributor.editorSchwarzmann A.A.en
dc.creatorDolev, S.en
dc.creatorGeorgiou, Chryssisen
dc.creatorMarcoullis, Ioannisen
dc.creatorSchiller, E. M.en
dc.date.accessioned2019-11-13T10:39:57Z
dc.date.available2019-11-13T10:39:57Z
dc.date.issued2015
dc.identifier.issn0302-9743
dc.identifier.urihttp://gnosis.library.ucy.ac.cy/handle/7/53882
dc.description.abstractVirtual synchrony (VS) is an important abstraction that is proven to be extremely useful when implemented over asynchronous, typically large, message-passing distributed systems. Fault tolerant design is critical for the success of such implementations since large distributed systems can be highly available as long as they do not depend on the full operational status of every system participant. Self-stabilizing systems can tolerate transient faults that drive the system to an arbitrary unpredictable configuration. Such systems automatically regain consistency from any such configuration, and then produce the desired system behavior ensuring it for practically infinite number of successive steps, e.g., 264 steps. We present a new multi-purpose self-stabilizing counter algorithm establishing an efficient practically unbounded counter, that can directly yield a self-stabilizing Multiple-Writer Multiple-Reader (MWMR) register emulation. We use our counter algorithm, together with a selfstabilizing group membership and a self-stabilizing multicast service to devise the first practically stabilizing VS algorithm and a self-stabilizing VS-based emulation of state machine replication (SMR). As we base the SMR implementation on VS, rather than consensus, the system progresses in more extreme asynchronous settings in relation to consensusbased SMR. © Springer International Publishing Switzerland 2015.en
dc.source17th International Symposium on Stabilization, Safety and Security of Distributed Systems, SSS 2015en
dc.source.urihttps://www.scopus.com/inward/record.uri?eid=2-s2.0-84943651934&doi=10.1007%2f978-3-319-21741-3_17&partnerID=40&md5=7e098239dd439589e88174e61d32b298
dc.subjectAlgorithmsen
dc.subjectDistributed systemsen
dc.subjectFault tolerant computer systemsen
dc.subjectNetwork securityen
dc.subjectMessage passingen
dc.subjectStabilizationen
dc.subjectMulticast servicesen
dc.subjectState machine replicationen
dc.subjectVirtual synchronyen
dc.subjectFault tolerant designen
dc.subjectGroup membershipsen
dc.subjectMultiple writersen
dc.subjectSelf-stabilizing systemsen
dc.titleSelf-stabilizing virtual synchronyen
dc.typeinfo:eu-repo/semantics/article
dc.identifier.doi10.1007/978-3-319-21741-3_17
dc.description.volume9212
dc.description.startingpage248
dc.description.endingpage264
dc.author.faculty002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences
dc.author.departmentΤμήμα Πληροφορικής / Department of Computer Science
dc.type.uhtypeArticleen
dc.description.notes<p>Sponsors:en
dc.description.notesConference code: 138709en
dc.description.notesCited By :5</p>en
dc.source.abbreviationLect. Notes Comput. Sci.en
dc.contributor.orcidGeorgiou, Chryssis [0000-0003-4360-0260]
dc.contributor.orcidMarcoullis, Ioannis [0000-0001-7510-7927]
dc.gnosis.orcid0000-0003-4360-0260
dc.gnosis.orcid0000-0001-7510-7927


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record