The Theta-Model: Achieving synchrony without clocks

Distributed Computing

Volumn 22, Issue 1, 2009, Pages 29-47

  Widder, Josef ^a,b   Schmid, Ulrich ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^b ÉCOLE POLYTECHNIQUE   (France)

Author keywords

Clocks and time; Computing models; Fault tolerant distributed algorithms; Partially synchronous systems

Indexed keywords

CLOCKS; SYSTEM-ON-CHIP;

COMPUTING MODEL; CONSENSUS ALGORITHMS; FAULT-TOLERANT; GLOBAL STABILIZATION TIME; PERFORMANCE ANALYSIS; SYNCHRONOUS SYSTEM; SYNCHRONOUS SYSTEM MODELS; TRANSFORMATION TECHNIQUES;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 68849103645     PISSN: 01782770     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00446-009-0080-x     Document Type: Article

References (52)

1. Aguilera, M.K., Delporte-Gallet, C., Fauconnier, H., Toueg, S.: Stable leader election. In: DISC '01: Proceedings of the 15th International Conference on Distributed Computing, pp. 108-122. Springer, Berlin (2001)
2. Aguilera, M.K., Delporte-Gallet, C., Fauconnier, H., Toueg, S.: On implementing Omega with weak reliability and synchrony assumptions. In: Proceeding of the 22nd Annual ACM Symposium on Principles of Distributed Computing (PODC'03), pp. 306-314. ACM Press, New York (2003)
3. Aguilera, M.K., Delporte-Gallet, C., Fauconnier, H., Toueg, S.: Communication-efficient leader election and consensus with limited link synchrony. In: Proceedings of the 23th ACM Symposium on Principles of Distributed Computing (PODC'04), pp. 328-337. ACM Press, St. John's (2004)
4. Aguilera, M.K., Delporte-Gallet, C., Fauconnier, H., Toueg, S.: Consensus with byzantine failures and little system synchrony. In: Proceedings of the International Conference on Dependable Systems and Networks (DSN'06), pp. 147-155 (2006)
5. Albeseder, D.: Evaluation of message delay correlation in distributed systems. In: Proceedings of the Third Workshop on Intelligent Solutions for Embedded Systems. Hamburg, Germany (2005)
6. Ammar, Y., Buhrig, A., Marzencki, M., Charlot, B., Basrour, S., Matou, K., Renaudin, M.: Wireless sensor network node with asynchronous architecture and vibration harvesting micro power generator. In: sOc-EUSAI '05: Proceedings of the 2005 joint conference on Smart objects and ambient intelligence, pp. 287-292. ACM, New York (2005)
7. E. Anceaume A. Fernández A. Mostéfaoui G. Neiger M. Raynal 2004 A necessary and sufficient condition for transforming limited accuracy failure detectors J. Comput. Syst. Sci. 68 1 123 133
8. H. Attiya C. Dwork N. Lynch L. Stockmeyer 1994 Bounds on the time to reach agreement in the presence of timing uncertainty J. ACM (JACM) 41 1 122 152
9. J. Beauquier S. Kekkonen-Moneta 1997 Fault-tolerance and self-stabilization: impossibility results and solutions using self-stabilizing failure detectors Int. J. Syst. Sci. 28 11 1177 1187
10. Biely, M., Widder, J.: Optimal message-driven implementations of omega with mute processes. ACM Trans. Auton. Adaptive Syst. 4(1), Article 4, 22 pages (2009)
11. T.D. Chandra S. Toueg 1996 Unreliable failure detectors for reliable distributed systems J. ACM 43 2 225 267
12. F. Cristian C. Fetzer 1999 The timed asynchronous distributed system model IEEE Trans. Parallel Distrib. Syst. 10 6 642 657
13. D. Dolev C. Dwork L. Stockmeyer 1987 On the minimal synchronism needed for distributed consensus J. ACM 34 1 77 97
14. Dolev S.: Self-stabilization. MIT Press, Cambridge (2000)
15. C. Dwork N. Lynch L. Stockmeyer 1988 Consensus in the presence of partial synchrony J. ACM 35 2 288 323
16. J.C. Ebergen 1991 A formal approach to designing delay-insensitive circuits Distrib. Comput. 5 107 119
17. V. Ekanayake I. Clinton Kelly R. Manohar 2004 An ultra low-power processor for sensor networks SIGOPS Oper. Syst. Rev. 38 5 27 36
18. Ferringer, M., Fuchs, G., Steininger, A., Kempf, G.: VLSI implementation of a fault-tolerant distributed clock generation. IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT2006), pp. 563-571 (2006) (Pubitemid 351175427)
19. Fetzer, C., Schmid, U.: Brief announcement: On the possibility of consensus in asynchronous systems with finite average response times. In: Proceedings of the 23th ACM Symposium on Principles of Distributed Computing (PODC'04), p. 402. Boston, Massachusetts (2004)
20. Fetzer, C., Schmid, U., Sü ßkraut, M.: On the possibility of consensus in asynchronous systems with finite average response times. In: Proceedings of the 25th International Conference on Distributed Computing Systems (ICDCS'05), pp. 271-280. IEEE Computer Society, Washington (2005)
21. M.J. Fischer N.A. Lynch M.S. Paterson 1985 Impossibility of distributed consensus with one faulty process J. ACM 32 2 374 382
22. Fuegger, M., Schmid, U., Fuchs, G., Kempf, G.: Fault-tolerant distributed clock generation in VLSI systems-on-chip. In: Proceedings of the Sixth European Dependable Computing Conference (EDCC-6), pp. 87-96. IEEE Computer Society Press (2006) (Pubitemid 47159811)
23. Gafni, E.: Round-by-round fault detectors (extended abstract): unifying synchrony and asynchrony. In: Proceedings of the Seventeenth Annual ACM Symposium on Principles of Distributed Computing, pp. 143-152. ACM Press, Puerto Vallarta (1998)
24. J.F. Hermant G. Le Lann 2002 Fast asynchronous uniform consensus in real-time distributed systems IEEE Trans. Comput. 51 8 931 944
25. Hermant, J.F., Widder, J.: Implementing reliable distributed real-time systems with the Θ-model. In: Proceedings of the 9th International Conference on Principles of Distributed Systems (OPODIS 2005). LNCS, vol. 3974, pp. 334-350. Springer, Pisa (2005)
26. Hutle, M., Malkhi, D., Schmid, U., Zhou, L.: Brief announcement: Chasing the weakest system model for implementing omega and consensus. In: Proceedings Eighth International Symposium on Stabilization, Safety, and Security of Distributed Systems (formerly Symposium on Self-stabilizing Systems) (SSS 2006). LNCS, pp. 576-577. Springer, Dallas (2006)
27. Hutle, M., Malkhi, D., Schmid, U., Zhou, L.: Chasing the weakest system model for implementing omega and consensus. IEEE Trans. Dependable Secure Comput. (2009, to appear)
28. Hutle, M., Widder, J.: On the possibility and the impossibility of message-driven self-stabilizing failure detection. In: Proceedings of the Seventh International Symposium on Self Stabilizing Systems (SSS 2005), LNCS, vol. 3764, pp. 153-170. Springer, Barcelona (2005). Appeared also as brief announcement in Proceedings of the 24th ACM Symposium on Principles of Distributed Computing (PODC'05) (Pubitemid 43741500)
29. Hutle, M., Widder, J.: Self-stabilizing failure detector algorithms. In: Proc. IASTED International Conference on Parallel and Distributed Computing and Networks (PDCN'05), pp. 485-490. IASTED/ACTA Press, Innsbruck (2005)
30. L. Lamport R. Shostak M. Pease 1982 The Byzantine generals problem ACM Trans. Program. Lang. Syst. 4 3 382 401
31. Le Lann, G., Schmid, U.: How to implement a timer-free perfect failure detector in partially synchronous systems. Tech. Rep. 183/1-127, Department of Automation, Technische Universität Wien (2003) (Replaced by Research Report 28/2005, Institut für Technische Informatik, TU Wien, 2005)
32. J. Lundelius-Welch N.A. Lynch 1988 A new fault-tolerant algorithm for clock synchronization Inform. Comput. 77 1 1 36
33. Lynch N.: Distributed Algorithms. Morgan Kaufman Publishers, Inc., San Francisco (1996)
34. Malkhi, D., Oprea, F., Zhou, L.: Ω meets paxos: Leader election and stability without eventual timely links. In: Proceedings of the 19th Symposium on Distributed Computing (DISC'05). LNCS, vol. 3724, pp. 199-213. Springer, Cracow (2005)
35. Mostefaoui, A., Mourgaya, E., Raynal, M.: Asynchronous implementation of failure detectors. In: Proceedings of the International Conference on Dependable Systems and Networks (DSN'03). San Francisco, CA (2003)
36. Mostefaoui, A., Powell, D., Raynal, M.: A hybrid approach for building eventually accurate failure detectors. In: Proceedings of the 10th International Pacific Rim Dependable Computing Symposium (PRDC'04), pp. 57-65. IEEE Computer Society (2004)
37. Mostéfaoui, A., Raynal, M.: Solving consensus using chandra-toueg's unreliable failure detectors: A general quorum-based approach. In: Jayanti, P. (ed.) Distributed Computing: 13th International Symposium (DISC'99). Lecture Notes in Computer Science, vol. 1693, pp. 49-63. Springer-Verlag GmbH, Bratislava (1999)
38. Mostefaoui, A., Raynal, M., Travers, C.: Crash-resilient time-free eventual leadership. In: Proceedings of the 23rd IEEE Symposium on Reliable Distributed Systems (SRDS 2004), pp. 208-217. IEEE Computer Society (2004)
39. Parkes, S., Armbruster, P.: SpaceWire: a spacecraft onboard network for real-time communications. In: Proceedings 14th IEEE-NPSS Real Time Conference, pp. 6-10 (2005)
40. Ponzio, S.: The real-time cost of timing uncertainty: Consensus and failure detection. Master's thesis, Massachusetts Institute of Technology (1991)
41. Ponzio, S., Strong, R.: Semisynchrony and real time. In: Proceedings of the 6th International Workshop on Distributed Algorithms (WDAG'92), pp. 120-135. Haifa, Israel (1992)
42. Schmid, U., Fetzer, C.: Randomized asynchronous consensus with imperfect communications. In: 22nd Symposium on Reliable Distributed Systems (SRDS'03), pp. 361-370. Florence, Italy (2003)
43. Schmid, U., Steininger, A.: Dezentrale Fehlertolerante Taktgenerierung in VLSI Chips. Research Report 69/2004, Technische Universität Wien, Institut für Technische Informatik (2004). (Österr. Patentanmeldung A 1223/2004)
44. Schmid, U., Weiss, B., Rushby, J.: Formally verified byzantine agreement in presence of link faults. In: 22nd International Conference on Distributed Computing Systems (ICDCS'02), pp. 608-616. Vienna, Austria (2002)
45. T.K. Srikanth S. Toueg 1987 Optimal clock synchronization J. ACM 34 3 626 645
46. I.E. Sutherland J. Ebergen 2002 Computers without clocks Sci. Am. 287 2 62 69
47. P. Veríssimo A. Casimiro 2002 The timely computing base model and architecture IEEE Trans. Comput. 51 8 916 930
48. Vitányi, P.M.: Time-driven algorithms for distributed control. Report CS-R8510, C.W.I. (1985)
49. Widder, J.: Booting clock synchronization in partially synchronous systems. In: Proceedings of the 17th International Symposium on Distributed Computing (DISC'03), LNCS, vol. 2848, pp. 121-135. Springer, Sorrento (2003)
50. Widder, J.: Distributed computing in the presence of bounded asynchrony. Ph.D. thesis, Vienna University of Technology, Fakultät für Informatik (2004)
51. Widder, J., Le Lann, G., Schmid, U.: Failure detection with booting in partially synchronous systems. In: Proceedings of the 5th European Dependable Computing Conference (EDCC-5). LNCS, vol. 3463, pp. 20-37. Springer, Budapest (2005)
52. J. Widder U. Schmid 2007 Booting clock synchronization in partially synchronous systems with hybrid process and link failures Distrib. Comput. 20 2 115 140