dc.contributor.author | Dolev, S. | en |
dc.contributor.author | Georgiou, Chryssis | en |
dc.contributor.author | Marcoullis, Ioannis | en |
dc.contributor.author | Schiller, E. M. | en |
dc.contributor.editor | El Abbadi A. | en |
dc.contributor.editor | Garbinato B. | en |
dc.creator | Dolev, S. | en |
dc.creator | Georgiou, Chryssis | en |
dc.creator | Marcoullis, Ioannis | en |
dc.creator | Schiller, E. M. | en |
dc.date.accessioned | 2019-11-13T10:39:57Z | |
dc.date.available | 2019-11-13T10:39:57Z | |
dc.date.issued | 2017 | |
dc.identifier.issn | 0302-9743 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/53881 | |
dc.description.abstract | Current reconfiguration techniques depend on starting the system in a consistent configuration, in which all participating entities are in a predefined state. Starting from that state, the system must preserve consistency as long as a predefined churn rate of processors joins and leaves is not violated, and unbounded storage is available. Many systems cannot control this churn rate and lack access to unbounded storage. System designers that neglect the outcome of violating the above assumptions may doom the system to exhibit illegal behaviors. We present the first automatically recovering reconfiguration scheme that recovers from transient faults, such as temporal violations of the above assumptions. Our self-stabilizing solutions regain safety automatically by assuming temporal access to reliable failure detectors (FDs). Once safety is established, the FD reliability is no longer needed. Still, liveness is conditioned by the FD’s unreliable signals. Our self-stabilizing reconfiguration techniques can serve as the basis for the implementation of several dynamic services over message passing systems. Examples include self-stabilizing reconfigurable virtual synchrony, extendable to a self-stabilizing reconfigurable state machine replication. © Springer International Publishing AG 2017. | en |
dc.source | 5th International Conference on Networked Systems, NETYS 2017 | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-85019673342&doi=10.1007%2f978-3-319-59647-1_5&partnerID=40&md5=f636073b336e85018806c27663b963c0 | |
dc.subject | Transient faults | en |
dc.subject | System designers | en |
dc.subject | Message passing | en |
dc.subject | Finite difference method | en |
dc.subject | Failure Detectors | en |
dc.subject | Message passing systems | en |
dc.subject | Reconfiguration schemes | en |
dc.subject | Stabilizing solutions | en |
dc.subject | State machine replication | en |
dc.subject | Virtual synchrony | en |
dc.title | Self-stabilizing reconfiguration | en |
dc.type | info:eu-repo/semantics/article | |
dc.identifier.doi | 10.1007/978-3-319-59647-1_5 | |
dc.description.volume | 10299 LNCS | en |
dc.description.startingpage | 51 | |
dc.description.endingpage | 68 | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Article | en |
dc.description.notes | <p>Sponsors: | en |
dc.description.notes | Conference code: 191949</p> | en |
dc.source.abbreviation | Lect. Notes Comput. Sci. | en |
dc.contributor.orcid | Georgiou, Chryssis [0000-0003-4360-0260] | |
dc.contributor.orcid | Marcoullis, Ioannis [0000-0001-7510-7927] | |
dc.gnosis.orcid | 0000-0003-4360-0260 | |
dc.gnosis.orcid | 0000-0001-7510-7927 | |