Computer Science – Distributed – Parallel – and Cluster Computing
Scientific paper
2012-02-09
Computer Science
Distributed, Parallel, and Cluster Computing
arXiv admin note: significant text overlap with arXiv:1105.4780
Scientific paper
We present concept and implementation of a self-stabilizing Byzantine fault-tolerant distributed clock generation scheme for multi-synchronous GALS architectures in critical applications. It combines a variant of a recently introduced self-stabilizing algorithm for generating low-frequency, low-accuracy synchronized pulses with a simple non-stabilizing high-frequency, high-accuracy clock synchronization algorithm. We provide thorough correctness proofs and a performance analysis, which use methods from fault-tolerant distributed computing research but also addresses hardware-related issues like metastability. The algorithm, which consists of several concurrent communicating asynchronous state machines, has been implemented in VHDL using Petrify in conjunction with some extensions, and synthetisized for an Altera Cyclone FPGA. An experimental validation of this prototype has been carried out to confirm the skew and clock frequency bounds predicted by the theoretical analysis, as well as the very short stabilization times (required for recovering after excessively many transient failures) achievable in practice.
Dolev Danny
Függer Matthias
Lenzen Christoph
Posch Markus
Schmid Ulrich
No associations
LandOfFree
FATAL+: A Self-Stabilizing Byzantine Fault-tolerant Clocking Scheme for SoCs does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with FATAL+: A Self-Stabilizing Byzantine Fault-tolerant Clocking Scheme for SoCs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and FATAL+: A Self-Stabilizing Byzantine Fault-tolerant Clocking Scheme for SoCs will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-156600