Self-stabilization preserving compiler

ACM Transactions on Programming Languages and Systems

Volumn 31, Issue 6, 2009, Pages

  Dolev, Shlomi ^a   Haviv, Yinnon ^a   Sagiv, Mooly ^b  

^a BEN GURION UNIVERSITY OF THE NEGEV   (Israel)

^b TEL AVIV UNIVERSITY   (Israel)

Author keywords

Abstract state machines; Compilers; Self stabilization

Indexed keywords

ABSTRACT STATE MACHINES; COMMUNICATION NETWORKS; COMPILERS; DISTRIBUTED TASKS; FAULT TOLERANT SYSTEMS; GUARDED COMMANDS; HIGH LEVEL DESCRIPTION; HIGH-LEVEL PROGRAM; LEADER ELECTION; MACHINE LANGUAGES; OPERATING SYSTEMS; PSEUDO-CODE; SELF-STABILIZATION; SELF-STABILIZING ALGORITHM; STABILIZATION PROPERTY; TOKEN CIRCULATION;

ABSTRACTING; ALGORITHMS; COMPUTER OPERATING SYSTEMS; CONTOUR FOLLOWERS; FAULT TOLERANT COMPUTER SYSTEMS; HIGH LEVEL LANGUAGES; LINGUISTICS; MICROPROCESSOR CHIPS; NETWORK PROTOCOLS; STABILIZATION;

PROGRAM COMPILERS;

EID: 70349745360     PISSN: 01640925     EISSN: 15584593     Source Type: Journal    
DOI: 10.1145/1552309.1552312     Document Type: Article

References (30)

1. Borger, E., Gurevich,Y., and Rosenzweig, D. 1995. The bakery algorithm: Yet another specification and verification. In Specification and Validation Methods, E. Borger Ed., 231-243.
2. Borger,E. and Stark, R. 2003. State Machines: A Method for High-Level System Design and Analysis. Springer-Verlag.
3. Brukman, O., Dolev,S., and Kolodner, E. K. 2003. Self-stabilizing autonomic recoverer for eventual byzantine sof tware. in Proceedings of the International Conference on Sof tware Science Technology and Engineering. (SwSTE'03).
4. Demirbas,M. and Arora, A. 2002. Convergence refinement. In Proceedings of the International Conference on Distributed Computer Services (ICDCS). 589-597.
5. Dijkstra,E.W. 1974. Self-stabilizing systems in spite of distributed control. Comm. ACM 11, 17, 643-644.
6. Dolev, S. 2000. Self-stabilization. MIT Press.
7. Dolev,S. and Haviv, Y. 2004. Self-stabilizing microprocessor analyzing and overcoming sof t- errors (extended abstract). In Proceedings of the International Conference on Architecture of Computing Systems (ABCS'04). Lecture Notes in Computer Science, vol.2981. Springer Verlag, 31-46.
8. Dolev, S., Haviv,Y., and Sagiv, M. 2008. Self-stabilization preserving compiler-implementa tion and examples. Tech. rep. 2008-2101, Ben-Gurion University of the Negev, Israel. http://www.cs.bgu.ac.il/~frankeVTechRep/08-01/ index.html.
9. Dolev, S., Israeli, A., and Moran, S. 1993. Self-stabilization of dynamic systems assuming only read/write atomicity. Distrib. Comput. 7, 1, 3-16.
10. Dolev,S. and Kat, R. I. 2002. "self-stabilizing distributed file systems". In Proceedings of the International Workshop on Self-Repairing and Self-Configurable Distributed Systems, (RCDS'02). 384-389. J. High Speed Netw., To appear.
11. Dolev,S. and Welch, J. L. 2004. Self-stabilizing clock synchronization in the presence of byzantine faults. J. ACM 51, 5, 780-799.
12. Dolev,S. and Yagel, R. 2004. "toward self-stabilizing operating systems". In Proceedings of the 2nd International Workshop on Self-Adaptive and Autonomic Computing Systems (SAACS'04). 684-688.
13. Dolev,S. and Yagel, R. 2005. Memory management for self-stabilizing operating systems. In Self-Stabilizing Systems, T. Herman and S. Tixeuil, Eds. Lecture Notes in Computer Science, vol.3764. Springer, 113-127.
14. Fox,A. and Patterson, D. 2003. Self-repairing computers. Scientific American.
15. Gouda, M.G. and Haddix, F. F. 1999. The alternator. In Proceedings of the International Conference on Web-Based Support Systems (WSS). A. Arora, Ed. IEEE Computer Society, 48-53.
16. Gouda,M.G., Howell,R.R., and Rosier, L. E. 1990. The instability of self-stabilization. Acta Inform. 27, 9, 697-724.
17. Gurevich, Y. 1994. Evolving algebras 1993: Lipari Guide. In Specification and Validation Meth- ods,E.Börger, Ed. Oxford University Press, 9-37.
18. Hadjicostis, C. N. 2001. Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems. Kluwer Academic Publishers, Norwell, MA.
19. Herman,T. andPirwani, I. 2001. A composite stabilizing data structure. In Proceedings of the 5th International Workshop on Self-Stabilizing Systems (WSS'01). Springer-Verlag, 167-182.
20. Kephart,J.O. and Chess, D. M. 2003. The vision of autonomic computing. Comput. 36,1, 41-50.
21. Lamport, L., Shostak, R., and Pease, M. 1995. The byzantine generals problem. In Advances in Ultra-Dependable Distributed Systems, N. Suri, C. J. Walter, and M. M. Hugue (Eds.), IEEE Computer Society Press.
22. Lamport, L. 1978. Time, clocks, and the ordering of events in a distributed system. Comm. ACM 21, 7, 558-565.
23. Lamport, L. 1986. On interprocess communication, part I: Basic formalism. Distrib. Comput. 1, 2, 77-85. (Pubitemid 17466384)
24. Lynch, N. A. 1996. Distributed Algorithms. Morgan Kaufmann Publishers Inc., San Francisco, CA.
25. McGuire,T.M. and Gouda, M. G. 2005. The Austin Protocol Compiler. Springer-Verlag.
26. Nesterenko,M. and Arora, A. 1999. Stabilization-preserving atomicity refinement. In Proceedings of the International Symposium on Distributed Computing (DISC). P. Jayanti, Ed. Lecture Notes in Computer Science, vol.1693. Springer, 254-268.
27. Perlman, R. 1992. Interconnections: Bridges and Routers. Addison Wesley Longman Publishing Co., Inc., Redwood City, CA.
28. Plotkin, G. D. 1981. A Structural Approach to Operational Semantics. Tech. rep. DAIMIFN-19, University of Aarhus.
29. Shivakumar, P., Kistler, M., Keckler,S.W., Burger,D., and Alvisi, L. 2002. Modeling the effect of technology trends on the sof t error rate of combinational logic. In Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN02). IEEE Computer Society, 389-398.
30. Tanenbaum, A. S. 1989. Structured Computer Organization 3rd Ed. Prentice-Hall, Inc., Upper Saddle River, NJ.