| 1. |
- Brukman, Olga, et al.
(författare)
-
Self-stabilization from theory to practice
- 2008
-
Ingår i: Bulletin of the European Association for Theoretical Computer Science. - 0252-9742. ; 94:February 2007, s. 130-150
-
Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)
|
|
| 2. |
- Dolev, Shlomi, et al.
(författare)
-
When Consensus Meets Self-stabilization
- 2006
-
Ingår i: OPODIS / Alexander A. Shvartsman. - 3540499903 ; 4305, s. 45-63
-
Konferensbidrag (refereegranskat)abstract
- This paper presents a self-stabilizing failure detector, asynchronous consensus and replicated state-machine algorithm suite, the components of which can be started in an arbitrary state and converge to act as a virtual state-machine. Self-stabilizing algorithms can cope with transient faults. Transient faults can alter the system state to an arbitrary state and hence, cause a temporary violation of the safety property of the consensus. New requirements for consensus that fit the on-going nature of self-stabilizing algorithms are presented. The wait-free consensus (and the replicated state-machine) algorithm presented is a classic combination of a failure detector and a (memory bounded) rotating coordinator consensus that satisfy both eventual safety and eventual liveness. Several new techniques and paradigms are introduced. The bounded memory failure detector abstracts away synchronization assumptions using bounded heartbeat counters combined with a balance-unbalance mechanism. The practically infinite paradigm is introduced in the scope of self-stabilization, where an execution of, say, 264 sequential steps is regarded as (practically) infinite. Finally, we present the first self-stabilizing wait-free reset mechanism that ensures eventual safety and can be used in other scopes.
|
|
| 3. |
- Kyriazis, Dimosthenis, et al.
(författare)
-
High performance fault-tolerance for clouds
- 2016
-
Ingår i: 2015 IEEE Symposium on Computers and Communication (ISCC). - : IEEE. ; , s. 251-257
-
Konferensbidrag (refereegranskat)abstract
- Cloud computing and virtualized infrastructures are currently the baseline environments for the provision of services in different application domains. While the number of service consumers increasingly grows, service providers aim at exploiting infrastructures that enable non-disruptive service provisioning, thus minimizing or even eliminating downtime. Nonetheless, to achieve the latter current approaches are either application-specific or cost inefficient, requiring the use of dedicated hardware. In this paper we present the reference architecture of a fault-tolerance scheme, which not only enhances cloud environments with the aforementioned capabilities but also achieves high-performance as required by mission critical every day applications. To realize the proposed approach, a new paradigm for memory and I/O externalization and consolidation is introduced, while current implementation references are also provided.
|
|
