{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:35:06Z","timestamp":1750307706833,"version":"3.41.0"},"reference-count":37,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2008,11,1]],"date-time":"2008-11-01T00:00:00Z","timestamp":1225497600000},"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. Auton. Adapt. Syst."],"published-print":{"date-parts":[[2008,11]]},"abstract":"<jats:p>This work presents approaches for designing the input-output device management components of self-stabilizing operating systems. As an example, we demonstrate the nonstability of the ata standard protocol for storage devices. We state the requirements that an operating system and I\/O devices should satisfy in order to become self-stabilizing. Then we suggest two solutions to satisfy these requirements. The first uses leases to guarantee progress from the I\/O device side. The second assumes stabilization of the I\/O device, and uses snapshots to perform consistency checks. A device driver for a PC hard-disk, using the first solution, was implemented. By supplying an infrastructure for practical self-stabilizing systems, robust and dependable systems can be achieved.<\/jats:p>","DOI":"10.1145\/1452001.1452007","type":"journal-article","created":{"date-parts":[[2008,12,10]],"date-time":"2008-12-10T15:32:31Z","timestamp":1228923151000},"page":"1-29","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Self-stabilizing device drivers"],"prefix":"10.1145","volume":"3","author":[{"given":"Shlomi","family":"Dolev","sequence":"first","affiliation":[{"name":"Ben-Gurion University of the Negev, Beer-Sheva, Israel"}]},{"given":"Reuven","family":"Yagel","sequence":"additional","affiliation":[{"name":"Ben-Gurion University of the Negev, Beer-Sheva, Israel"}]}],"member":"320","published-online":{"date-parts":[[2008,12,12]]},"reference":[{"volume-title":"Proceedings of the USENIX Summer Conference. USENIX Association","author":"Accetta M.","key":"e_1_2_1_1_1","unstructured":"Accetta , M. , Baron , R. , Bolosky , W. , Golub , D. , Rashid , R. , Tevanian , A. , and Young , M . 1986. MACH: a new kernel foundation for UNIX development . In Proceedings of the USENIX Summer Conference. USENIX Association , Berkeley, CA, 93--112. Accetta, M., Baron, R., Bolosky, W., Golub, D., Rashid, R., Tevanian, A., and Young, M. 1986. MACH: a new kernel foundation for UNIX development. In Proceedings of the USENIX Summer Conference. USENIX Association, Berkeley, CA, 93--112."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1217935.1217943"},{"volume-title":"Proceedings of the 1st Workshop on Operating System and Architectural Support for On-Demand IT Infrastructure.","author":"Barham P.","key":"e_1_2_1_3_1","unstructured":"Barham , P. , Dragovich , B. , Fraser , K. , Hand , S. , Ho , A. , and Pratt , I . 2004. Safe hardware access with the Xen virtual machine monitor . In Proceedings of the 1st Workshop on Operating System and Architectural Support for On-Demand IT Infrastructure. Barham, P., Dragovich, B., Fraser, K., Hand, S., Ho, A., and Pratt, I. 2004. Safe hardware access with the Xen virtual machine monitor. In Proceedings of the 1st Workshop on Operating System and Architectural Support for On-Demand IT Infrastructure."},{"volume-title":"Proceedings of IEEE International Conference on Software-Science Technology &amp; Engineering (SwSTE). IEEE Computer Society","author":"Brukman O.","key":"e_1_2_1_4_1","unstructured":"Brukman , O. , Dolev , S. , and Kolodner , H . 2003. Self-stabilizing autonomic recoverer for eventual byzantine software . In Proceedings of IEEE International Conference on Software-Science Technology &amp; Engineering (SwSTE). IEEE Computer Society , Los Alamitos, CA. Brukman, O., Dolev, S., and Kolodner, H. 2003. Self-stabilizing autonomic recoverer for eventual byzantine software. In Proceedings of IEEE International Conference on Software-Science Technology &amp; Engineering (SwSTE). IEEE Computer Society, Los Alamitos, CA."},{"key":"e_1_2_1_5_1","unstructured":"Bochs. Bochs IA-32 Emulator Project. http:\/\/bochs.sourceforge.net\/  Bochs. Bochs IA-32 Emulator Project. http:\/\/bochs.sourceforge.net\/"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503274"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_37"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502042"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378811"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2006.61"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/11577327_6"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/361179.361202"},{"volume-title":"The MIT Press","author":"Dolev S.","key":"e_1_2_1_13_1","unstructured":"Dolev , S. 2000. Self-Stabilization , The MIT Press , Cambridge . Dolev, S. 2000. Self-Stabilization, The MIT Press, Cambridge."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/1018418.1019505"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/11577327_8"},{"key":"e_1_2_1_16_1","unstructured":"Hunt G. C. Larus J. R. Abadi M. Aiken M. Barham P. Fahndrich M. Hawblitzel C. Hodson O. Levi S. Murphy N. Steensgaard B. Tarditi D. Wobber T. and Zill B. 2005. An overview of the Singularity project Tech. rep. MSR-TR-2005-135 Microsoft Corporation Redmond WA.  Hunt G. C. Larus J. R. Abadi M. Aiken M. Barham P. Fahndrich M. Hawblitzel C. Hodson O. Levi S. Murphy N. Steensgaard B. Tarditi D. Wobber T. and Zill B. 2005. An overview of the Singularity project Tech. rep. MSR-TR-2005-135 Microsoft Corporation Redmond WA."},{"volume-title":"Proceedings of the 6th Symposium on Operating Systems Design and Implementation (OSDI). USENIX Association","author":"L\u00f6eser H. J.","key":"e_1_2_1_17_1","unstructured":"L\u00f6eser , H. J. , Mehnert , F. , Reuther , L. , Pohlack , M. , and Warg , A . 2004. An I\/O architecture for mikrokernel-based operating systems . In Proceedings of the 6th Symposium on Operating Systems Design and Implementation (OSDI). USENIX Association , Washington, DC. L\u00f6eser, H. J., Mehnert, F., Reuther, L., Pohlack, M., and Warg, A. 2004. An I\/O architecture for mikrokernel-based operating systems. In Proceedings of the 6th Symposium on Operating Systems Design and Implementation (OSDI). USENIX Association, Washington, DC."},{"key":"e_1_2_1_18_1","unstructured":"IBM. 2001. Autonomic computing initiative. http:\/\/www.research.ibm.com\/autonomic.  IBM. 2001. Autonomic computing initiative. http:\/\/www.research.ibm.com\/autonomic."},{"key":"e_1_2_1_19_1","unstructured":"Intel Corporation. 2007. The IA-32 Intel architecture software developer's manual. http:\/\/developer.intel.com\/design\/pentium4\/documentation.htm.  Intel Corporation. 2007. The IA-32 Intel architecture software developer's manual. http:\/\/developer.intel.com\/design\/pentium4\/documentation.htm."},{"key":"e_1_2_1_20_1","volume-title":"B","author":"Leslie B.","year":"2003","unstructured":"Leslie , B. and B. Heiser , B . 2003 . Towards untrusted device drivers. Tech. rep. UNSW-CSE-TR-0303, School of Computer Science and Engineering UNSW. Leslie, B. and B. Heiser, B. 2003. Towards untrusted device drivers. Tech. rep. UNSW-CSE-TR-0303, School of Computer Science and Engineering UNSW."},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133572.1133617"},{"volume-title":"Proceedings of the 6th Symposium on Operating Systems Design and Implementation (OSDI). USENIX Association","author":"LeVasseur J.","key":"e_1_2_1_22_1","unstructured":"LeVasseur , J. , Uhlig , V. , Stoess , J. , and G\u00f6tz , S . 2004. Unmodified device driver reuse and improved system dependability via virtual machines . In Proceedings of the 6th Symposium on Operating Systems Design and Implementation (OSDI). USENIX Association , Washington, DC. LeVasseur, J., Uhlig, V., Stoess, J., and G\u00f6tz, S. 2004. Unmodified device driver reuse and improved system dependability via virtual machines. In Proceedings of the 6th Symposium on Operating Systems Design and Implementation (OSDI). USENIX Association, Washington, DC."},{"volume-title":"Proceedings of the 36th Annual International Symposium on Microarchitecture (MICRO). IEEE Computer Society","author":"Mukherjee S. S.","key":"e_1_2_1_23_1","unstructured":"Mukherjee , S. S. , Weaver , C. , Emer , J. , Reinhardt , S. K. , and Austin , T . 2003. A systematic methodology to compute the architectural vulnerability factors for a high-performance microprocessor . In Proceedings of the 36th Annual International Symposium on Microarchitecture (MICRO). IEEE Computer Society , Washington, DC. Mukherjee, S. S., Weaver, C., Emer, J., Reinhardt, S. K., and Austin, T. 2003. A systematic methodology to compute the architectural vulnerability factors for a high-performance microprocessor. In Proceedings of the 36th Annual International Symposium on Microarchitecture (MICRO). IEEE Computer Society, Washington, DC."},{"key":"e_1_2_1_24_1","unstructured":"nasm. The netwide assembler. http:\/\/nasm.sourceforge.net.  nasm. The netwide assembler. http:\/\/nasm.sourceforge.net."},{"key":"e_1_2_1_25_1","unstructured":"Neumann P. G. Boyer R. S. Feiertag R. J. Levitt K. N. and Robinson L. 1980. A provably secure operating system: the system its applications and proofs Tech. rep. CSL-116 SRI International.  Neumann P. G. Boyer R. S. Feiertag R. J. Levitt K. N. and Robinson L. 1980. A provably secure operating system: the system its applications and proofs Tech. rep. CSL-116 SRI International."},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095830"},{"key":"e_1_2_1_27_1","unstructured":"Patterson D. Brown A. Broadwell P. Candea G. Chen M. Cutler J. Enriquez P. Fox A. Kiciman E. Merzbacher M. Oppenheimer D. Sastry N. Tetzlaff W. Traupman J. and Treuhaft N. 2002. Recovery oriented computing (ROC): motivation definition techniques and case studies. Tech. rep. UCB\/CSD-02-1175 UC Berkeley Computer Science Berkeley CA.   Patterson D. Brown A. Broadwell P. Candea G. Chen M. Cutler J. Enriquez P. Fox A. Kiciman E. Merzbacher M. Oppenheimer D. Sastry N. Tetzlaff W. Traupman J. and Treuhaft N. 2002. Recovery oriented computing (ROC): motivation definition techniques and case studies. Tech. rep. UCB\/CSD-02-1175 UC Berkeley Computer Science Berkeley CA."},{"volume-title":"Proceedings of the 6th ACM\/USENIX Symposium on Operating Systems Design and Implementation (ODSI). USENIX Association","author":"Swift M.","key":"e_1_2_1_29_1","unstructured":"Swift , M. , Annamalai , M. , Bershad , B. N. , and Levy , H. M . 2004. Recovering device drivers . In Proceedings of the 6th ACM\/USENIX Symposium on Operating Systems Design and Implementation (ODSI). USENIX Association , Washington, DC. Swift, M., Annamalai, M., Bershad, B. N., and Levy, H. M. 2004. Recovering device drivers. In Proceedings of the 6th ACM\/USENIX Symposium on Operating Systems Design and Implementation (ODSI). USENIX Association, Washington, DC."},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945466"},{"key":"e_1_2_1_31_1","unstructured":"Shapiro J. Doerrie M. S. Northup E. Sridhar S. and Miller M. 2005. Towards a verified general-purpose operating system kernel. http:\/\/www.coyotos.org.  Shapiro J. Doerrie M. S. Northup E. Sridhar S. and Miller M. 2005. Towards a verified general-purpose operating system kernel. http:\/\/www.coyotos.org."},{"key":"e_1_2_1_32_1","unstructured":"sos. http:\/\/www.cs.bgu.ac.il\/~yagel\/sos.  sos. http:\/\/www.cs.bgu.ac.il\/~yagel\/sos."},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1217935.1217941"},{"key":"e_1_2_1_34_1","unstructured":"sss. http:\/\/www.selfstabilization.org.  sss. http:\/\/www.selfstabilization.org."},{"key":"e_1_2_1_35_1","unstructured":"Sun Microsystems Inc. 2004. Predictive self-healing in the Solaris#8482; 10 operating system. White paper http:\/\/www.sun.com\/software\/solaris\/ds\/self_healing.pdf.  Sun Microsystems Inc. 2004. Predictive self-healing in the Solaris#8482; 10 operating system. White paper http:\/\/www.sun.com\/software\/solaris\/ds\/self_healing.pdf."},{"volume-title":"International Committee for Information Technology Standards. ATA Storage Interface - T13\/1532D","key":"e_1_2_1_36_1","unstructured":"T13. International Committee for Information Technology Standards. ATA Storage Interface - T13\/1532D Vol. 2 . Rev . 4a (working drafts). http:\/\/www.t13.org\/#Projects. T13. International Committee for Information Technology Standards. ATA Storage Interface - T13\/1532D Vol. 2. Rev. 4a (working drafts). http:\/\/www.t13.org\/#Projects."},{"key":"e_1_2_1_37_1","unstructured":"Tanenbaum A. S. and Woodhull A. S. 2006. Operating Systems Design and Implementation. 3rd Ed Prentice Hall.   Tanenbaum A. S. and Woodhull A. S. 2006. Operating Systems Design and Implementation. 3rd Ed Prentice Hall."},{"volume-title":"The Fluke device driver framework. Master's thesis","author":"Van Maren K. T.","key":"e_1_2_1_38_1","unstructured":"Van Maren , K. T. 1999. The Fluke device driver framework. Master's thesis , The University of Utah . Van Maren, K. T. 1999. The Fluke device driver framework. Master's thesis, The University of Utah."}],"container-title":["ACM Transactions on Autonomous and Adaptive Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1452001.1452007","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1452001.1452007","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:30:06Z","timestamp":1750253406000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1452001.1452007"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11]]},"references-count":37,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2008,11]]}},"alternative-id":["10.1145\/1452001.1452007"],"URL":"https:\/\/doi.org\/10.1145\/1452001.1452007","relation":{},"ISSN":["1556-4665","1556-4703"],"issn-type":[{"type":"print","value":"1556-4665"},{"type":"electronic","value":"1556-4703"}],"subject":[],"published":{"date-parts":[[2008,11]]},"assertion":[{"value":"2007-02-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2008-09-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2008-12-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}