{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T22:40:19Z","timestamp":1736635219952,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":49,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540374435"},{"type":"electronic","value":"9783540374459"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11818502_3","type":"book-chapter","created":{"date-parts":[[2006,10,3]],"date-time":"2006-10-03T13:19:21Z","timestamp":1159881561000},"page":"42-61","source":"Crossref","is-referenced-by-count":0,"title":["Exception Handling in the Choices Operating System"],"prefix":"10.1007","author":[{"given":"Francis M.","family":"David","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeffrey C.","family":"Carlyle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ellick M.","family":"Chan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David K.","family":"Raila","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roy H.","family":"Campbell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Randell, B.: Operating Systems: The Problems of Performance and Reliability. In: Proceedings of IFIP Congress, vol.\u00a071(1), pp. 281\u2013290 (1971)"},{"issue":"4","key":"3_CR2","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1145\/356678.356680","volume":"8","author":"P.J. Denning","year":"1976","unstructured":"Denning, P.J.: Fault Tolerant Operating Systems. ACM Comput. Surv.\u00a08(4), 359\u2013389 (1976)","journal-title":"ACM Comput. Surv."},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Lee, I., Iyer, R.K.: Faults, Symptoms, and Software Fault Tolerance in the Tandem GUARDIAN 1990 Operating System. In: FTCS, pp. 20\u201329 (1993)","DOI":"10.1109\/FTCS.1993.627304"},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1145\/945445.945466","volume-title":"Proceedings of the nineteenth ACM Symposium on Operating Systems Principles","author":"M.M. Swift","year":"2003","unstructured":"Swift, M.M., Bershad, B.N., Levy, H.M.: Improving the Reliability of Commodity Operating Systems. In: Proceedings of the nineteenth ACM Symposium on Operating Systems Principles, pp. 207\u2013222. ACM Press, New York (2003)"},{"key":"3_CR5","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., Treuhaft, N.: Recovery Oriented Computing (ROC): Motivation, Definition, Techniques, and Case Studies. Technical report, Berkeley, CA, USA (2002)"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Chou, A., Yang, J., Chelf, B., Hallem, S., Engler, D.R.: An Empirical Study of Operating System Errors. In: Symposium on Operating Systems Principles, pp. 73\u201388 (2001)","DOI":"10.1145\/502034.502042"},{"key":"3_CR7","unstructured":"Ganapathi, A.: Why Does Windows Crash? Technical Report UCB\/CSD-05-1393, EECS Department, University of California, Berkeley (2005)"},{"key":"3_CR8","unstructured":"Blue Screen, http:\/\/support.microsoft.com\/kb\/q129845\/"},{"issue":"1","key":"3_CR9","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A. Avizienis","year":"2004","unstructured":"Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.E.: Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Transactions on Dependable and Secure Computing\u00a01(1), 11\u201333 (2004)","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"key":"3_CR10","unstructured":"Candea, G., Kawamoto, S., Fujiki, Y., Friedman, G., Fox, A.: Microreboot \u2013 A Technique for Cheap Recovery. In: Symposium on Operating Systems Design and Implementation, San Francisco, CA (2004)"},{"key":"3_CR11","unstructured":"Demsky, B., Rinard, M.: Automatic Data Structure Repair for Self-Healing Systems. In: Proceedings of the First Workshop on Algorithms and Architectures for Self-Managed Systems, San Diego, California (2003)"},{"key":"3_CR12","unstructured":"Swift, M.M., Annamalai, M., Bershad, B.N., Levy, H.M.: Recovering Device Drivers. In: Symposium on Operating Systems Design and Implementation, pp. 1\u201316 (2004)"},{"issue":"3","key":"3_CR13","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/29321.29323","volume":"21","author":"R.H. Campbell","year":"1987","unstructured":"Campbell, R.H., Johnston, G.M., Russo, V.: Choices (Class Hierarchical Open Interface for Custom Embedded Systems). ACM Operating Systems Review\u00a021(3), 9\u201317 (1987)","journal-title":"ACM Operating Systems Review"},{"issue":"4","key":"3_CR14","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1109\/4434.895109","volume":"8","author":"C. Dinechin de","year":"2000","unstructured":"de Dinechin, C.: C++ Exception Handling. IEEE Concurrency\u00a08(4), 72\u201379 (2000)","journal-title":"IEEE Concurrency"},{"key":"3_CR15","unstructured":"Cameron, D., Faust, P., Lenkov, D., Mehta, M.: A Portable Implementation of C++ Exception Handling. In: USENIX C++ Conference, USENIX, pp. 225\u2013243 (1992)"},{"key":"3_CR16","unstructured":"Glyfason, H.I., Hjalmtysson, G.: Exceptional Kernel: Using C++ Exceptions in the Linux Kernel (2004)"},{"key":"3_CR17","unstructured":"Advantages of Exceptions, http:\/\/java.sun.com\/docs\/books\/tutorial\/essential\/exceptions\/advantages.html"},{"key":"3_CR18","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1109\/IWOOOS.1991.183016","volume-title":"Object-Orientation in Operating Systems","author":"R.H. Campbell","year":"1991","unstructured":"Campbell, R.H., Islam, N., Johnson, R., Kougiouris, P., Madany, P.: Choices, Frameworks and Refinement. In: Cabrera, L.-F., Russo, V., Shapiro, M. (eds.) Object-Orientation in Operating Systems, pp. 9\u201315. IEEE Computer Society Press, Los Alamitos (1991)"},{"key":"3_CR19","unstructured":"Russo, V.F., Madany, P.W., Campbell, R.H.: C++ and Operating Systems Performance a Case Study. In: USENIX C++ Conference, San Francisco, CA, pp. 103\u2013114 (1990)"},{"key":"3_CR20","unstructured":"Raila, D.: The Choices Object-oriented Operating System on the Sparc Architecture. Technical report, The University of Illinois at Urbana-Champaign (1992)"},{"key":"3_CR21","unstructured":"Lee, L.: PC-Choices Object-oriented Operating System. Technical report, The University of Illinois at Urbana-Champaign (1992)"},{"key":"3_CR22","unstructured":"Dike, J.: A user-mode port of the Linux kernel. In: Proceedings of the 4th Annual Linux Showcase and Conference, Atlanta, Georgia (2000)"},{"key":"3_CR23","unstructured":"Tan, S., Raila, D., Liao, W., Campbell, R.: Virtual Hardware for Operating System Development. Technical report, University of Illinois at Urbana- Champaign (1995)"},{"key":"3_CR24","unstructured":"Texas Instruments OMAP Platform, http:\/\/focus.ti.com\/omap\/docs\/omaphomepage.tsp"},{"key":"3_CR25","unstructured":"Bellard, F.: QEMU, a Fast and Portable Dynamic Translator. In: USENIX Annual Technical Conference, FREENIX Track (2005)"},{"key":"3_CR26","unstructured":"ARM Integrator Family, http:\/\/www.arm.com\/miscPDFs\/8877.pdf"},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"Qin, F., Tucek, J., Sundaresan, J., Zhou, Y.: Rx: Treating Bugs as Allergies - A Safe Method to Survive Software Failures. In: Symposium on Operating Systems Principles, pp. 235\u2013248 (2005)","DOI":"10.1145\/1095810.1095833"},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"Miller, R., Tripathi, A.: Issues with Exception Handling in Object-Oriented Systems. In: European Conference in Object-Oriented Computing (1997)","DOI":"10.1007\/BFb0053375"},{"key":"3_CR29","unstructured":"Tools Interface Standards: DWARF Debugging Information Format, http:\/\/www.arm.com\/pdfs\/TIS-DWARF2.pdf"},{"key":"3_CR30","unstructured":"Codesourcery, http:\/\/www.codesourcery.com"},{"key":"3_CR31","unstructured":"Exception Handling ABI for the ARMTMarchitecture, http:\/\/www.arm.com\/miscPDFs\/8034.pdf"},{"key":"3_CR32","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1109\/HOTOS.2001.990072","volume-title":"Proceedings of the Eighth Workshop on Hot Topics in Operating Systems","author":"G. Candea","year":"2001","unstructured":"Candea, G., Fox, A.: Recursive Restartability: Turning the Reboot Sledgehammer into a Scalpel. In: Proceedings of the Eighth Workshop on Hot Topics in Operating Systems, p. 125. IEEE Computer Society, Los Alamitos (2001)"},{"key":"3_CR33","unstructured":"Drew, S., Gouph, K., Ledermann, J.: Implementing zero overhead exception handling. Technical report, Queensland University of Technology (1995)"},{"issue":"8","key":"3_CR34","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/286385.286390","volume":"33","author":"J.L. Schilling","year":"1998","unstructured":"Schilling, J.L.: Optimizing away C++ exception handling. SIGPLAN Not.\u00a033(8), 40\u201347 (1998)","journal-title":"SIGPLAN Not."},{"key":"3_CR35","doi-asserted-by":"crossref","unstructured":"Thekkath, C.A., Levy, H.M.: Hardware and software support for efficient exception handling. In: Proceedings of the Sixth International Conference on Architectural Support for Programming Languages and Operating Systems, San Jose, California, pp. 110\u2013119 (1994)","DOI":"10.1145\/195473.195515"},{"key":"3_CR36","unstructured":"ISO 14882: C++ Programming Language, http:\/\/www.iso.ch\/"},{"key":"3_CR37","doi-asserted-by":"crossref","unstructured":"Bershad, B.N., Savage, S., Pardyak, P., Sirer, E.G., Fiuczynski, M., Becker, D., Eggers, S., Chambers, C.: Extensibility, Safety and Performance in the SPIN Operating System. In: 15th Symposium on Operating Systems Principles, Copper Mountain, Colorado, pp. 267\u2013284 (1995)","DOI":"10.1145\/224056.224077"},{"key":"3_CR38","unstructured":"Vinoski, S.: Distributed Object Computing with Corba. C++ Report Magazine (1993)"},{"key":"3_CR39","unstructured":"Microsoft .NET, http:\/\/www.microsoft.com\/net\/"},{"key":"3_CR40","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1109\/ISSRE.1996.558833","volume-title":"Proceedings of the The Seventh International Symposium on Software Reliability Engineering","author":"M.J. Katchabaw","year":"1996","unstructured":"Katchabaw, M.J., Lutfiyya, H.L., Marshall, A.D., Bauer, M.A.: Policy-driven fault management in distributed systems. In: Proceedings of the The Seventh International Symposium on Software Reliability Engineering, p. 236. IEEE Computer Society, Los Alamitos (1996)"},{"key":"3_CR41","unstructured":"Zeng, L., Lei, H., Jeng, J.J., Chung, J.Y., Benatallah, B.: Policy-Driven Exception-Management for Composite Web Services. In: Proceedings of the 7th IEEE International Conference on E-Commerce Technology, pp. 355\u2013363 (2005)"},{"key":"3_CR42","unstructured":"Torres-Pomales, W.: Software Fault Tolerance: A Tutorial. Technical Report NASA\/TM-2000-210616, NASA Langley Research Center (2000)"},{"key":"3_CR43","unstructured":"Gray, J.: Why do computers stop and what can be done about it? In: Proceedings of the 5th Symposium on Reliability in Distributed Software and Database Systems, pp. 3\u201312 (1986)"},{"key":"3_CR44","unstructured":"Rinard, M., Cadar, C., Dumitran, D., Roy, D.M., Leu, T., William, S., Beebee, J.: Enhancing Server Availability and Security Through Failure-Oblivious Computing. In: Symposium on Operating Systems Design and Implementation, pp. 303\u2013316 (2004)"},{"issue":"1","key":"3_CR45","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/225535.225538","volume":"14","author":"T.C. Bressoud","year":"1996","unstructured":"Bressoud, T.C., Schneider, F.B.: Hypervisor-based fault tolerance. ACM Trans. Comput. Syst.\u00a014(1), 80\u2013107 (1996)","journal-title":"ACM Trans. Comput. Syst."},{"key":"3_CR46","unstructured":"Sidiroglou, S., Locasto, M.E., Boyd, S.W., Keromytis, A.D.: Building a Reactive Immune System for Software Services. In: USENIX 2005 Annual Technical Conference (2005)"},{"key":"3_CR47","doi-asserted-by":"crossref","unstructured":"Randell, B.: System structure for software fault tolerance. In: Proceedings of the International Conference on Reliable Software, pp. 437\u2013449 (1975)","DOI":"10.1145\/800027.808467"},{"key":"3_CR48","doi-asserted-by":"crossref","unstructured":"Avizienis, A.: The N-Version Approach to Fault - Tolerant Systems. IEEE Transactions on Software Engineering, 1491\u20131501 (1985)","DOI":"10.1109\/TSE.1985.231893"},{"key":"3_CR49","doi-asserted-by":"crossref","unstructured":"Chandra, S., Chen, P.M.: The Impact of Recovery Mechanisms on the Likelihood of Saving Corrupted State. In: ISSRE, pp. 91\u2013101 (2002)","DOI":"10.1109\/ISSRE.2002.1173219"}],"container-title":["Lecture Notes in Computer Science","Advanced Topics in Exception Handling Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11818502_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T03:11:57Z","timestamp":1736565117000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11818502_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540374435","9783540374459"],"references-count":49,"URL":"https:\/\/doi.org\/10.1007\/11818502_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}