{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:35:04Z","timestamp":1750307704521,"version":"3.41.0"},"reference-count":30,"publisher":"Association for Computing Machinery (ACM)","issue":"6","license":[{"start":{"date-parts":[[2009,8,1]],"date-time":"2009-08-01T00:00:00Z","timestamp":1249084800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Program. Lang. Syst."],"published-print":{"date-parts":[[2009,8]]},"abstract":"<jats:p>Self-stabilization is an elegant approach for designing fault tolerant systems. A system is considered self-stabilizing if, starting in any state, it converges to the desired behavior. Self-stabilizing algorithms were designed for solving fundamental distributed tasks, such as leader election, token circulation and communication network protocols. The algorithms were expressed using guarded commands or pseudo-code. The realization of these algorithms requires the existence of a (self-stabilizing) infrastructure such as a self-stabilizing microprocessor and a self-stabilizing operating system for their execution. Moreover, the high-level description of the algorithms needs to be converted into machine language of the microprocessor. In this article, we present our design for a self-stabilization preserving compiler. The compiler we designed and implemented transforms programs written in a language similar to the abstract state machine (ASM). The compiler preserves the stabilization property of the high level program.<\/jats:p>","DOI":"10.1145\/1552309.1552312","type":"journal-article","created":{"date-parts":[[2009,8,24]],"date-time":"2009-08-24T14:08:31Z","timestamp":1251122911000},"page":"1-42","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Self-stabilization preserving compiler"],"prefix":"10.1145","volume":"31","author":[{"given":"Shlomi","family":"Dolev","sequence":"first","affiliation":[{"name":"Ben-Gurion University, Beer-Sheva, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yinnon","family":"Haviv","sequence":"additional","affiliation":[{"name":"Ben-Gurion University, Beer-Sheva, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mooly","family":"Sagiv","sequence":"additional","affiliation":[{"name":"Tel-Aviv University, Tel-Aviv, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,8,26]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"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.   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."},{"key":"e_1_2_1_2_1","unstructured":"Borger E. and Stark R. 2003. Abstract State Machines: A Method for High-Level System Design and Analysis. Springer-Verlag.   Borger E. and Stark R. 2003. Abstract State Machines: A Method for High-Level System Design and Analysis. Springer-Verlag."},{"volume-title":"Proceedings of the International Conference on Software Science Technology and Engineering. (SwSTE'03)","author":"Brukman O.","key":"e_1_2_1_3_1","unstructured":"Brukman , O. , Dolev , S. , and Kolodner , E. K . 2003. Self-stabilizing autonomic recoverer for eventual byzantine software . In Proceedings of the International Conference on Software Science Technology and Engineering. (SwSTE'03) . Brukman, O., Dolev, S., and Kolodner, E. K. 2003. Self-stabilizing autonomic recoverer for eventual byzantine software. In Proceedings of the International Conference on Software Science Technology and Engineering. (SwSTE'03)."},{"volume-title":"Proceedings of the International Conference on Distributed Computer Services (ICDCS). 589--597","author":"Demirbas M.","key":"e_1_2_1_4_1","unstructured":"Demirbas , M. and Arora , A . 2002. Convergence refinement . In Proceedings of the International Conference on Distributed Computer Services (ICDCS). 589--597 . Demirbas, M. and Arora, A. 2002. Convergence refinement. In Proceedings of the International Conference on Distributed Computer Services (ICDCS). 589--597."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/361179.361202"},{"key":"e_1_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Dolev S. 2000. Self-stabilization. MIT Press.   Dolev S. 2000. Self-stabilization. MIT Press.","DOI":"10.7551\/mitpress\/6156.001.0001"},{"key":"e_1_2_1_7_1","volume-title":"Proceedings of the International Conference on Architecture of Computing Systems (ARCS'04)","volume":"2981","author":"Dolev S.","unstructured":"Dolev , S. and Haviv , Y . 2004. Self-stabilizing microprocessor analyzing and overcoming soft-errors (extended abstract) . In Proceedings of the International Conference on Architecture of Computing Systems (ARCS'04) . Lecture Notes in Computer Science , vol. 2981 . Springer Verlag, 31--46. Dolev, S. and Haviv, Y. 2004. Self-stabilizing microprocessor analyzing and overcoming soft-errors (extended abstract). In Proceedings of the International Conference on Architecture of Computing Systems (ARCS'04). Lecture Notes in Computer Science, vol. 2981. Springer Verlag, 31--46."},{"key":"e_1_2_1_8_1","unstructured":"Dolev S. Haviv Y. and Sagiv M. 2008. Self-stabilization preserving compiler&amp;#8212;implementation and examples. Tech. rep. &amp;num;2008-01 Ben-Gurion University of the Negev Israel. http:\/\/www.cs.bgu.ac.il\/~frankel\/TechRep\/08-01\/index.html.  Dolev S. Haviv Y. and Sagiv M. 2008. Self-stabilization preserving compiler&amp;#8212;implementation and examples. Tech. rep. &amp;num;2008-01 Ben-Gurion University of the Negev Israel. http:\/\/www.cs.bgu.ac.il\/~frankel\/TechRep\/08-01\/index.html."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02278851"},{"volume-title":"Proceedings of the International Workshop on Self-Repairing and Self-Configurable Distributed Systems, (RCDS'02)","author":"Dolev S.","key":"e_1_2_1_10_1","unstructured":"Dolev , S. and Kat , R. I . 2002. &amp;#8220;self-stabilizing distributed file systems&amp;#8221; . In Proceedings of the International Workshop on Self-Repairing and Self-Configurable Distributed Systems, (RCDS'02) . 384--389. J. High Speed Netw., To appear. Dolev, S. and Kat, R. I. 2002. &amp;#8220;self-stabilizing distributed file systems&amp;#8221;. In Proceedings of the International Workshop on Self-Repairing and Self-Configurable Distributed Systems, (RCDS'02). 384--389. J. High Speed Netw., To appear."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1017460.1017463"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/1018418.1019505"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/11577327_8"},{"key":"e_1_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Fox A. and Patterson D. 2003. Self-repairing computers. Scientific American.  Fox A. and Patterson D. 2003. Self-repairing computers. Scientific American.","DOI":"10.1038\/scientificamerican0603-54"},{"volume-title":"Proceedings of the International Conference on Web-Based Support Systems (WSS). A. Arora, Ed. IEEE Computer Society, 48--53","author":"Gouda M. G.","key":"e_1_2_1_15_1","unstructured":"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 . 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."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/102243.102249"},{"volume-title":"Specification and Validation Methods, E. B&amp;#246;rger, Ed","author":"Gurevich Y.","key":"e_1_2_1_17_1","unstructured":"Gurevich , Y. 1994. Evolving algebras 1993: Lipari Guide . In Specification and Validation Methods, E. B&amp;#246;rger, Ed . Oxford University Press , 9--37. Gurevich, Y. 1994. Evolving algebras 1993: Lipari Guide. In Specification and Validation Methods, E. B&amp;#246;rger, Ed. Oxford University Press, 9--37."},{"volume-title":"Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems","author":"Hadjicostis C. N.","key":"e_1_2_1_18_1","unstructured":"Hadjicostis , C. N. 2001. Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems . Kluwer Academic Publishers , Norwell, MA . Hadjicostis, C. N. 2001. Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems. Kluwer Academic Publishers, Norwell, MA."},{"volume-title":"Proceedings of the 5th International Workshop on Self-Stabilizing Systems (WSS'01)","author":"Herman T.","key":"e_1_2_1_19_1","unstructured":"Herman , T. and Pirwani , I . 2001. A composite stabilizing data structure . In Proceedings of the 5th International Workshop on Self-Stabilizing Systems (WSS'01) . Springer-Verlag, 167--182. Herman, T. and Pirwani, I. 2001. A composite stabilizing data structure. In Proceedings of the 5th International Workshop on Self-Stabilizing Systems (WSS'01). Springer-Verlag, 167--182."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1160055"},{"key":"e_1_2_1_21_1","unstructured":"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.  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."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01786227"},{"volume-title":"Distributed Algorithms","author":"Lynch N. A.","key":"e_1_2_1_24_1","unstructured":"Lynch , N. A. 1996. Distributed Algorithms . Morgan Kaufmann Publishers Inc ., San Francisco, CA. Lynch, N. A. 1996. Distributed Algorithms. Morgan Kaufmann Publishers Inc., San Francisco, CA."},{"key":"e_1_2_1_25_1","unstructured":"McGuire T. M. and Gouda M. G. 2005. The Austin Protocol Compiler. Springer-Verlag.  McGuire T. M. and Gouda M. G. 2005. The Austin Protocol Compiler. Springer-Verlag."},{"key":"e_1_2_1_26_1","volume-title":"Proceedings of the International Symposium on Distributed Computing (DISC). P. Jayanti, Ed. Lecture Notes in Computer Science","volume":"1693","author":"Nesterenko M.","unstructured":"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. 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."},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/130063"},{"volume-title":"A Structural Approach to Operational Semantics. Tech. rep. DAIMI FN-19","author":"Plotkin G. D.","key":"e_1_2_1_28_1","unstructured":"Plotkin , G. D. 1981. A Structural Approach to Operational Semantics. Tech. rep. DAIMI FN-19 , University of Aarhus. Plotkin, G. D. 1981. A Structural Approach to Operational Semantics. Tech. rep. DAIMI FN-19, University of Aarhus."},{"volume-title":"Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN'02)","author":"Shivakumar P.","key":"e_1_2_1_29_1","unstructured":"Shivakumar , P. , Kistler , M. , Keckler , S. W. , Burger , D. , and Alvisi , L . 2002. Modeling the effect of technology trends on the soft error rate of combinational logic . In Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN'02) . IEEE Computer Society, 389--398. Shivakumar, P., Kistler, M., Keckler, S. W., Burger, D., and Alvisi, L. 2002. Modeling the effect of technology trends on the soft error rate of combinational logic. In Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN'02). IEEE Computer Society, 389--398."},{"key":"e_1_2_1_30_1","volume-title":"Structured Computer Organization","author":"Tanenbaum A. S.","unstructured":"Tanenbaum , A. S. 1989. Structured Computer Organization 3 rd Ed. Prentice-Hall, Inc. , Upper Saddle River, NJ. Tanenbaum, A. S. 1989. Structured Computer Organization 3rd Ed. Prentice-Hall, Inc., Upper Saddle River, NJ.","edition":"3"}],"container-title":["ACM Transactions on Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1552309.1552312","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1552309.1552312","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:30:04Z","timestamp":1750253404000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1552309.1552312"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8]]},"references-count":30,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2009,8]]}},"alternative-id":["10.1145\/1552309.1552312"],"URL":"https:\/\/doi.org\/10.1145\/1552309.1552312","relation":{},"ISSN":["0164-0925","1558-4593"],"issn-type":[{"type":"print","value":"0164-0925"},{"type":"electronic","value":"1558-4593"}],"subject":[],"published":{"date-parts":[[2009,8]]},"assertion":[{"value":"2006-02-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2009-02-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2009-08-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}