Randomization adaptive self-stabilization
- 57 Downloads
We present a scheme to convert self-stabilizing algorithms that use randomization during and following convergence to self-stabilizing algorithms that use randomization only during convergence. We thus reduce the number of random bits from an infinite number to an expected bounded number. The scheme is applicable to the cases in which there exits a local predicate for each node, such that global consistency is implied by the union of the local predicates. We demonstrate our scheme over the token circulation algorithm of Herman (Infor Process Lett 35:63–67, 1990) and the recent constant time Byzantine self-stabilizing clock synchronization algorithm by Ben-Or, Dolev and Hoch (Proceedings of the 27th Annual ACM SIGACT-SIGOPS symposium on principles of distributed computing, (PODC), 2008). The application of our scheme results in the first constant time Byzantine self-stabilizing clock synchronization algorithm that eventually stops using random bits.
Unable to display preview. Download preview PDF.
- 3.Anagnostou, E., El-Yaniv, R., Hadzilacos, V.: Memory adaptive self-stabilizing protocols (extended abstract). In: Proceedings of the 6th International Workshop on Distributed Algorithms (WDAG 1992), pp. 203–220 (1992)Google Scholar
- 4.Ben-Or, M., Dolev, D., Hoch, E.N.: Fast self-stabilizing byzantine tolerant digital clock synchronization. In: Proceedings of the 27th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, (PODC) (2008)Google Scholar
- 9.Dolev, S., Welch, J.: Self-stabilizing clock synchronization in the presence of byzantine faults. In: Proceedings of the 2nd Workshop on Self-Stabilizing Systems, UNLV, May 1995. [Also in Journal of the ACM 51(5), 780–799 Sep (2004)]Google Scholar
- 12.Michael, R.O., Lehmann, D.: The advantages of free choice: a symmetric and fully distributed solution for the dining philosophers problem. In: A Classical Mind: Essays in Honor of C. A. R. Hoare, Prentice-Hall International Series In Computer Science, pp. 333–352 (1994)Google Scholar