dc.contributor.author | Dolev, Shlomi | en |
dc.contributor.author | Georgiou, Chryssis | en |
dc.contributor.author | Marcoullis, Ioannis | en |
dc.contributor.author | Schiller, Elad M. | en |
dc.creator | Dolev, Shlomi | en |
dc.creator | Georgiou, Chryssis | en |
dc.creator | Marcoullis, Ioannis | en |
dc.creator | Schiller, Elad M. | en |
dc.date.accessioned | 2021-01-22T10:47:50Z | |
dc.date.available | 2021-01-22T10:47:50Z | |
dc.date.issued | 2018 | |
dc.identifier.issn | 0022-0000 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/62458 | |
dc.description.abstract | The virtual synchrony abstraction was proven to be extremely useful for asynchronous, large-scale, message-passing distributed systems. Self-stabilizing systems can automatically regain consistency after the occurrence of transient faults. We present the first practically-self-stabilizing virtual synchrony algorithm that uses a new counter algorithm that establishes an efficient practically unbounded counter, which in turn can be directly used for emulating a self-stabilizing Multiple-Writer Multiple-Reader (MWMR). Other self-stabilizing services include membership, multicast, and replicated state machine (RSM) emulation. As we base the latter on virtual synchrony, rather than consensus, the system can progress in more extreme asynchronous executions than consensus-based RSM emulations. | en |
dc.language.iso | en | en |
dc.source | Journal of Computer and System Sciences | en |
dc.source.uri | http://www.sciencedirect.com/science/article/pii/S002200001830432X | |
dc.title | Practically-self-stabilizing virtual synchrony | en |
dc.type | info:eu-repo/semantics/article | |
dc.identifier.doi | 10.1016/j.jcss.2018.04.003 | |
dc.description.volume | 96 | |
dc.description.startingpage | 50 | |
dc.description.endingpage | 73 | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Article | en |
dc.source.abbreviation | Journal of Computer and System Sciences | 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 | |