Fault-tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation

Details Fault-tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation Fault-tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation

2011-05-24

arxiv.org/abs/1105.4780v3

Computer Science

Distributed, Parallel, and Cluster Computing

52 pages, 7 figures, extended abstract published at SSS 2011

Scientific paper

Today's hardware technology presents a new challenge in designing robust systems. Deep submicron VLSI technology introduced transient and permanent faults that were never considered in low-level system designs in the past. Still, robustness of that part of the system is crucial and needs to be guaranteed for any successful product. Distributed systems, on the other hand, have been dealing with similar issues for decades. However, neither the basic abstractions nor the complexity of contemporary fault-tolerant distributed algorithms match the peculiarities of hardware implementations. This paper is intended to be part of an attempt striving to overcome this gap between theory and practice for the clock synchronization problem. Solving this task sufficiently well will allow to build a very robust high-precision clocking system for hardware designs like systems-on-chips in critical applications. As our first building block, we describe and prove correct a novel Byzantine fault-tolerant self-stabilizing pulse synchronization protocol, which can be implemented using standard asynchronous digital logic. Despite the strict limitations introduced by hardware designs, it offers optimal resilience and smaller complexity than all existing protocols.

Affiliated with

Also associated with

No associations

Rating

Fault-tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation 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 Fault-tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Fault-tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-515947