一种面向自愈计算的OS体系架构的研究
|
摘要
传统OS的主要设计目标是为用户提供一个屏蔽各种硬件细节的虚拟机,从而导致OS过分层次化,造成OS重要的状态数据分散在OS的各层之中,使OS不能轻易地收集或修改自身的状态信息,最终增加了系统中错误诊断和错误恢复的难度。此外,传统的OS对上层面向自愈计算应用的支持不够,如:i.上层应用系统中的监控进程和该应用系统的普通进程均运行在同一权利级别下,造成监控进程不能便捷地实施监控。ii.监控进程本身行为的正确性一般由该监控进程开发者负责,缺乏运行时对监控进程本身行为的制约机制。
针对上述问题,本文提出了一种新的面向自愈计算的OS体系架构,该体系架构设计思想来源于章鱼和社会组织中权力的制约机制,在该体系架构下,系统中的所有重要状态均放在共享内存中集中统一管理。并且采用两层闭环反馈,由运行在高权力级别上的闭环反馈对运行在低权力级别上的闭环反馈进行监控。另外,该架构还引入了多监控进程,以对监控进程本身的行为进行一定程度的制约。最后,该架构通过一个来源于列车自动控制的原型系统进行了验证。
该架构主要的创新点在于:i.将OS和应用看成一个系统整体,并将该系统整体中的重要状态集中统一存放。ii.位于高权力级别的,并且相互之间存在制约的多监控进程对位于低权力级别的应用进程实施监控。
The primary design goal of traditional OS is to provide a virtual machine, which masks details of different kinds of hardware. This makes OS overly layered and the important states of OS are distributed into each layer of the system. Further more, it makes OS not easily to collect or modify its own state information and finally increases the difficulties of fault diagnosis and recovery in the system. In addition, traditional OS doesn’t give enough support for the application oriented self-healing computing. eg: i. Monitor processes, in the application system above OS, run at the same privilege level as the normal processes in the application system. This is unconvenient for monitoring. ii. The correctness of monitor process is normally guaranteed only by its developers, restrictive mechanisms at run-time lacked.
To these problems above, the dissertation proposes a new OS software architecture oriented self-healing computing. Its design idea originated from the octopus and the restrictive mechanisms among authorities in social organizations. This architecture manages the important states of the whole system centrally and adopts two layers of feedback closed loops. The feedback closed loops running on the higher privilege level monitor the ones running on the lower privilege level. Besides these, the architecture introduces multiple monitor processes to restrict the behaviors of monitor process to a certain extent. Finally, the architecture is verified through a prototype based on automatic control of train.
The major innovative features of the architecture are: i. Treat OS and the applications above as one whole system and store the important states of the whole system centrally. ii. Processes with higher privilege level, which restrict each other, monitor processes with lower privilege level.
针对上述问题,本文提出了一种新的面向自愈计算的OS体系架构,该体系架构设计思想来源于章鱼和社会组织中权力的制约机制,在该体系架构下,系统中的所有重要状态均放在共享内存中集中统一管理。并且采用两层闭环反馈,由运行在高权力级别上的闭环反馈对运行在低权力级别上的闭环反馈进行监控。另外,该架构还引入了多监控进程,以对监控进程本身的行为进行一定程度的制约。最后,该架构通过一个来源于列车自动控制的原型系统进行了验证。
该架构主要的创新点在于:i.将OS和应用看成一个系统整体,并将该系统整体中的重要状态集中统一存放。ii.位于高权力级别的,并且相互之间存在制约的多监控进程对位于低权力级别的应用进程实施监控。
The primary design goal of traditional OS is to provide a virtual machine, which masks details of different kinds of hardware. This makes OS overly layered and the important states of OS are distributed into each layer of the system. Further more, it makes OS not easily to collect or modify its own state information and finally increases the difficulties of fault diagnosis and recovery in the system. In addition, traditional OS doesn’t give enough support for the application oriented self-healing computing. eg: i. Monitor processes, in the application system above OS, run at the same privilege level as the normal processes in the application system. This is unconvenient for monitoring. ii. The correctness of monitor process is normally guaranteed only by its developers, restrictive mechanisms at run-time lacked.
To these problems above, the dissertation proposes a new OS software architecture oriented self-healing computing. Its design idea originated from the octopus and the restrictive mechanisms among authorities in social organizations. This architecture manages the important states of the whole system centrally and adopts two layers of feedback closed loops. The feedback closed loops running on the higher privilege level monitor the ones running on the lower privilege level. Besides these, the architecture introduces multiple monitor processes to restrict the behaviors of monitor process to a certain extent. Finally, the architecture is verified through a prototype based on automatic control of train.
The major innovative features of the architecture are: i. Treat OS and the applications above as one whole system and store the important states of the whole system centrally. ii. Processes with higher privilege level, which restrict each other, monitor processes with lower privilege level.
引文
[1] F. P. Brooks, Jr., The Mythical Man-Month: Essays on Software Engineering, Twentieth Anniversary Edition, Addison-Wesley Publishing Co., 1995, p226.
[2] D. A. Patterson, A. Brown, P. Broadwell 等, Recovery-Oriented Computing (ROC): Motivation, Definition, Techniques, and Case Studies, U.C. Berkeley Computer Science Technical Report, UCB//CSD-02-1175, 2002
[3] Ganek A G, Corbi T A, The dawning of the autonomic computing era. IBM Systems Journal, Special Issue on Autonomic Computing. 2003, Vol 42, No 1
[4] Andrew Hume, Operating System Reliability: Does Anyone Care Any More? 2003, http://www.usenix.org/events/hotos03/reports.html
[5] G. (John) Janakiraman, Jose Renato, Santos Dinesh 等 , Cruz: Application-Transparent Distributed Checkpoint-Restart on Standard Operating Systems, Proceedings of the 2005 International Conference on Dependable Systems and Networks, 2005
[6] J. Duell, P. Hargrove, E. Roman, The design and implementation of Berkeley Labs’ Linux checkpoint/restart, Berkeley LabTechnical Report(LBNL-54941), 2002
[7] Daniel Dvorak, Robert Rasmussen, Glenn Reeves 等, Software Architecture Themes in JPL’s Mission Data System,Proceedings of 2000 IEEE Aerospace Conference, 2000 年 3 月
[8] Andrew S.Tanenbaum, Albert S.Woodhull, 操作系统设计及实现设计及实现(第二版,影印),清华大学出版社,1997 年 9 月
[9] A. Avi?ienis, Jean-Claude Laprie, Brian Randell 等 , Basic Concepts and Taxonomy of Dependable and Secure Computing, IEEE Transactions on Dependable and Secure Computing, 2004, Vol.1, p11-33.
[10] Eric Raymond, The Cathedral & the Bazaar, O'Reilly Media, Inc., 2001
[11] Oriezy P, Gorlick M, Taylor R 等 , An Architecture-Based Approach to Self-Adaptive Software, IEEE Intelligent Systems, 1999年 6 月, vol.14(3), p54-62
[12] Garlan D, Cheng S, Schmerl B, Increasing System Dependability through Architecture-based Self-repair, Architecting Dependable Systems, Springer-Verlag, 2003
[13] Michael Stonebraker, Operating System Support for Database Management, Commun. ACM, 1981, vol.24, No.7.
[14] G. DENYS, A Survey of Customizability in Operating Systems Research, CSUR,2002
[15] W.H. Cheung, Anthony H.S. Loong,“Exploring Issues of Operating Systems Structuring: from Microkernel to Extensible Systems”,Operating Systems Review, 1995
[16] David Hulse, Alan Dearle, Trends in Operating System Design: Towards a Customisable Persistent Micro-Kernel,University of Stirling Report Pastel RT1R4. 1998
[17] HP Company, Overview of Server and Network Fault Tolerance, Availability Guide for Application Design, 第二章
[18] B. Randell, System Structures for Software Fault Tolerance, IEEE Trans. Software Eng. 1975 年 6 月, p220-232,
[19] Liming Chen, Avizienis A, N-version programming: a fault-tolerance approach to reliability of software operation, FTCS 1978,Reprinted by IEEE in 1995
[20] Laura L. Pullum, Software Fault Tolerance Techniques and Implementation, Artech House, 2001, p145
[21] Mary Shaw, "Self-Healing": Softening Precision to Avoid Brittleness, WOSS 2002
[22] Selvin George, David Evans, Lance Davidson, A Biologically Inspired Programming Model for Self-Healing Systems, Proceedings of the First ACM SIGSOFT Workshop on Self-Healing Systems, 2002
[23] David Garlan, Self Healing System, http://www-2.cs.cmu.edu/~garlan/17811/Lectures/01-Course-Intro.pdf
[24] Koopman P, Elements of the self-healing system problem space. Workshop on Architecting Dependable Systems, 2003 年 5 月
[25] 李航, 刘西洋, 陈平, 自愈系统构架构建方法研究, 系统工程与电子技术, 2007, Vol.29 No.2
[26] Patrick Regan, Scott Hamilton, NASA’s Mission Reliable, IEEE Computer Society, 2004
[27] Radhika Nagpal, Attila Kondacs, Catherine Chang, Programming Methodology for Biologically-Inspired Self-Assembling Systems, AAAI Symposium, 2003
[28] Hang Li, Xi-Yang Liu, Ping Chen, Octopus Architecture: A new attempt to achieve reliable OS, 5th Working IEEE/IFIP Conference on SoftwareArchitecture, 2005
[29] Tamir Y, Sequin C. H, Error recovery in multicomputers using global checkpoints, Proceedings of the international Conference on Parallel Processing, 1984, p32–41
[30] Chandy M, Lamport L, Distributed snapshots: Determining global states of distributed systems. ACM Trans. Comput. Syst.1985, vol.31, NO.1, p63–75.
[31] Richard P. Gabriel, The Rise of ''Worse is Better'', http://www.dreamsongs.com/WorseIsBetter.html
[32] Jean-Claude Laprie, Jean Arlat, Christian Beounes 等, Definition and analysis of hardware- and software- fault tolerant architectures, IEEE Computer, 1990年7月, p39-51
[33] Hector Garcia-Molina, K. Salem. “Main memory database systems: An Overview”. IEEE Transactions on Knowledge and Engineering, 1992 年 12 月, p509-516
[34] H.V. Jagadish, Daniel Lieuwen, Rajeev Rastogi 等,“Dali: A high performance main memory storage manager”, Proceedings of the 20th VLDB conference, 1994
[35] 李航,开放业务对象组织模型的研究,西安电子科技大学硕士学位论文,2002
[36] McKenney P. E, Slingwine. J, Efficient Kernel Memory Allocation on Shared Memory Multiprocessors, Proceedings of the Winter 1993 USENIX Technical Conference. 1993, p295-305
[37] Paul R.Wilson, Mark S. Johnstone, Michael Neely 等, Dynamic storage alocation a survey and critical review, Proceedings of International Workshop on Memory Management, 1995 年 9 月
[38] Hector Garcia-Molina, Jeffrey D.Ullman, Jennifer Widom, Database System Implementation, Prentice Hall, 1999
[39] Yossi Azar, Andrei Z. Broder, Anna R. Karlin 等, Balanced Allocations, SIAM J. COMPUT, 1999, vol29(1), p180-200
[40] 李航,郭敬林,刘西洋,陈平,Balls into Bins 分配器算法, 系统工程与电子技术, 2005,Vol.27
[41] Martin Raab, Angelika Steger, Balls into Bins-A Simple and Tight Analysis, LNCS Proceedings of RANDOM'98, 1998
[42] Philip A. Bernstein, Vassos Hadzilacos, Nathan Goodman, Concurrency Control and Recovery in Database Systems,Addison Wesley Publishing Company, 1987
[43] Jane W.S.Liu, Real-Time Systems(影印), 高等教育出版社, 2002
[44] Victor Winter, Raymond Berg, Jim Ringland, Bay Area Rapid Transit District Advance Automated Train Control System Case Study Description,http://faculty.ist.unomaha.edu/winter/publications/2001/Bay_Area_Rapid_Transit_District_Advanced_Automated_Train_Control_System_Case_Study_Description.pdf
[45] Randell, The evolution of the recovery block concept (ch 1) In: Lyu, Ed., Software Fault Tolerance, Wiley & Sons, 1995.
[46] Xu J, Randell B, Roll-forward error recovery in embedded real-time systems, Proceedings. 1996 International Conference on Parallel and Distributed Systems, 1996
[47] Chiu J. F, Ge-Ming Chiu, Placing forced checkpoints in distributed real-time embedded systems, Computing & Control Engineering Journal , 2002 年 8月,Vol.13 No.4, p197 -205
[48] B. Randell, System structures for software fault-tolerance. IEEE Trans. Software Eng, 1975 年 6 月, Vol.1, No. 2, 220-232.
[49] Anderson T, Barrett P.A, Balliwell, D.N 等, An Evaluation of Software Fault Tolerance in a Practical System, Fault-Tolerant Computing, Highlights from Twenty-Five Years., Twenty-Fifth International Symposium, 1995, p130
[50] Kent Wilken, John Pal Shen, Continuous Signature Monitoring: Low-Cost Concurrent Detection of Processor Control Errors, IEEE Transactions on Computer-Aided Design, 1988
[51] Lesile Lamport, P. M. Melliar-Smith, Synchronizing Clocks in the Presence of Faults, Journal of the ACM, 1985 年 1 月, vol 32, no 1, p 53-78
[52] Jie Xu, Brian Randell, Alexander Romanovsky, Fault Tolerance in Concurrent Object-Oriented Software through Coordinated Error Recovery, In Proceedings of the 25th International Symposium on Fault-Tolerant Computing (FTCS-25), Pasadena, California, USA, 1995
[53] A. Romanovsky, J. Xu, B. Randell, Exception Handling in Object-Oriented Real-Time Distributed Systems, First International Symposium on Object-Oriented Real-Time Distributed Computing, 1998
[54] Kiem-Phong Vo, Yi-Min Wang, Xept: A Software Instrumentation Method for Exception Handling, Eighth International Symposium on Software Reliability Engineering, 1997, p60-69
[55] Roger M. Kieckhafer, The MAFT Architecture for Distributed Fault Tolerance, IEEE Trans Computers, 1988, Vol.37 No.4, p398-405
[56] Avizienis A, Lyu M.R, Schutz W, In Search of Effective Diversity: A Six Language Study of Fault-Tolerant Flight Control Software, FTCS, 1988
[57] John C, Knight Nancy, G Leveson, A Reply to the Criticism of the Knight & Leveson Experiment, ACM SIGSOFT Software Engineering Notes, 1990, Vol. 15, No.1, p24
[58] Segall Z, Vrsalovic D, Siewiorek D 等, FIAT-fault injection based automated testing environment, Proc. 18 th Int. Symp. Fault - Tolerant Computing., 1988 年 6月, p102-107,.
[59] Meichen Hsueh, R.K. Iyer, Fault Injection Techniques and Tools, IEEE Computers, 1997, Vol. 30 No.4, p75-82
[60] Scott Dawson, Farnam Jahanian, Todd Mitton 等, Testing of Fault-Tolerant and Real-Time Distributed Systems via Protocol Fault Injection, FTCS, 1996
[61] Kopetz H, Grunsteidl G, TTP-a protocol for fault-tolerant real-time systems, IEEE Computer , 1994, Vol. 27 No. 1
[62] Mary Shaw, Beyond Objects: A Software Design Paradigm Based on Process Control. ACM Software Engineering Notes, January 1995, Vol 20, No 1
[63] Ioannis Georgiadis, Jeff Magee, Jeff Kramer, Self-Organising Software Architectures for Distributed Systems. Proceedings of the First ACM SIGSOFT Workshop on Self-Healing Systems, 2002
[64] Joao Pedro Sousa, David Garlan, Aura: an Architectural Framework for User Mobility in Ubiquitous Computing Environments, Proceedings of the 3rd Wroking IEEE/IFIP Conference on Software Architecture, 2002
[65] Rajesh Balan, Joao Pedro Sousa, M. Satyanarayanan, Meeting the Software Engineering Challenges of Adaptive Mobile Applications, Technical Report, CMU-CS-03-111, 2003
[66] Shankar R.Ponnekanti, Brian Lee, Armando Fox 等 , ICrafter: A Service Framework for Ubiquitous Computing Environments, LNCS, 2001, Vol.2201, p56-75
[67] Fabio Kon, Fabio Costa, Gordon Blair 等, Adaptive middleware: The case for reflective middleware, Communications of the ACM, 2002, Vol. 45, No. 6
[68] Loyall J, Schantz R, Zinky J 等, Comparing and contrasting adaptive middleware support in wide-area and embedded distributed object applications. 21st International Conference on Distributed Computing Systems, 2001, p625-634
[69] Narasimhan P, Moser L E, Melliar-Smith P M, Strong replica consistency for fault-tolerant CORBA applications. The Sixth International Workshop on Object-Oriented Real-Time Dependable Systems, 2001, p10-17
[70] Eyal de Lara, Dan S. Wallach, Willy Zwaenepoel , Position Summary:Architectures For Adaptation Systems, 2001 hot topics in OS conferences, 2001
[71] P Netinant, C A Constantinides, T Elrad, M. E. Fayad, Aspect-Oriented Frameworks: The Design of Adaptable Operating Systems, OOPSLA, 2000, p61-62
[72] George Candea, Armando Fox, Crash-Only Software, Proceedings of the 9th Workshop on Hot Topics in Operating Systems, 2003
[73] Peyman Oreizy, Nenad Medvidovic, Richard N. Taylor, Architecture-Based Runtime Software Evolution, the Proceedings of the International Conference on Software Engineering, 1998
[74] Jeff Magee, Naranker Dulay, Susan Eisenbach, Jeff Kramer, Specifying Distributed Software Architectures, Fifth European Software Engineering Conference. Barcelona, 1995
[75] Michael N. Huhns, Robust Software Via Agent-Based Redundancy, AAMAS’03, 2003
[76] Robert E. Smith, Nick Taylor, A Framework for Evolutionary Computation in Agent-Based Systems, Proceedings of the 1998 InternationalConference on Intelligent Systems, 1998, p221–224
[77] Guoqiang Zhong, Babak Hodjat, Tarek Helmy 等, Software Agent Evolution in Adaptive Agent Oriented Software Architecture, International Workshop on Principles of Software Evolution, 1999, p130-134
[78] M. Satyanarayanan, The Evolution of Coda, ACM Transactions on Computer Systems, 2002年5月, Vol. 20, No. 2,
[79] Walker, Murphy, Steinbok Robillard, Efficient Mapping of Software System Traces to Architectural Views. Proc. of CASCON, 2000 年 11 月
[80] Jonathan Aldrich, Craig Chambers, David Notkin, ArchJava: Connecting Software Architecture to Implementation, In proceedings of ICSE 2002, 2002
[81] Dan Dvorak, Robert Rasmussen of JPL,Overview and Tour of Mission Data System (MDS), A Goal- and State-based Architecture for Mission Systems, http://ses.gsfc.nasa.gov/ses_data_2002/020806_MDS.ppt
[82] Carsten Be, Marcelo Gz, Tales Heimfarth, (Re-) Configurable Real-Time Operating Systems and Their Applications, Proceedings of The Eighth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, 2003
[83] Daniel Dvorak, Greg Bollella, Tim Canham 等, Virgil Champlin, Project Golden Gate: Towards Real-Time Java in Space Missions, 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2004
[84] Greg Bollella, The Golden Gate Project: Real-Time Java in Space, http://www.cs.unc.edu/~baruah/Meetings/2002-RTSS/absBollela.html
[85] Brian Giovannoni, Golden Gate Project: RTSJ on a Mars Rover, http://www.opengroup.org/rtforum/uploads/40/2930/OpenGroup_Golden_Gate_May01-v05.pdf
[86] J.R.Jackson, Scheduling a Production Line to Minimize Maximum Tardiness, Research Report 43 Management Science Research Project, University of California, Los Angeles, 1955
[87] J.K.Lenstra, A.H.G. Rinnooy, Optimization and Approximation in Deterministic Sequencing and Scheduling: A Survey, Ann.Discrete Math.5, 1977,pp.287-326,
[88] Tobin J. Lehman, Bruce G. Lindsay, The Starburst Long Field Manager, Proceedings of the Fifteenth International Conference on Very Large Databases, 1989
[89] Michael J. Carey, David J. Dewitt, Daniel Frank 等, The Architecture of the EXODUS Extensible DBMS, Proceedings of the Twelfth International Conference on Very Large Data Bases, 1986, p52-65
[90] Tobin J. Lehman, Eugene J. Shekita, Luis-Felipe Cabrera, An Evaluation of Starburst’s Memory Resident Storage Component, IEEE Transactions on Knowledge and Data Engineering, 1992,Vol.4, No.6, p555-566
[91] O. Deux et al., The Story of O2, IEEE Transactions on Knowledge and Data Engineering 1990, Vol.2, No.1, p91-108
[92] Stonebraker M, Rowe L, Hirohama M, The Implementation of POSTGRES, IEEE Trans. on Knowledge and Data Engineering, 1990, Vol.2, No.1, p125-142
[93] Martin C, P. S. Narayan, B. Ozden 等, The Fellini Multimedia Storage Server, Multimedia Information Storage and Management, Kluwer, 1996. 第 5 章
[94] Shekita.E, Zwilling.M, Cricket: A Mapped, Persistent Object Store.” Persistent Object Systems. Morgan Kaufmann, 1990.
[95] S. White, D. DeWitt, QuickStore: A High Performance Mapped Object Store, Proc. ACM SIGMOD Conf., Minneapolis, MN, 1994
[96] Biliris A, The EOS Large Object Manager, Boston University, Computer Science TR 91-004, 1991 年 4 月
[97] V. Singhal, S. V. Kakkad, P. R. Wilson, Texas an efficient, portable persistent store, Proc. Fifth International Workshop on Persistent Object Systems, 1992
[98] Judith R. Davis, The TimesTen Main-Memory Data Manager: Meeting the Application Performance Challenge, Database Associates International, Inc. 1998
[99] Pyung-Chul Kim, Byung Gwan Jung, Moonja Kim, FLASH: A Main Memory Storage System, Korea Database Journal, 1995, Vol. 1, No. 2, p103-125.
[100] Yong Yuan, SMOS: A MEMORY-RESIDENT OBJECT STORE, http://homepage.cs.uri.edu/research/rtsorac/pubs/yong_thesis.pdf
[101] Uresh Vahalia(聊鸿斌等译), Unix 高级教程:系统技术内幕, 清华大学出版社, 1999
[102] W. Kim. Object-Oriented Databases: Definition and Research Directions, IEEE Transactions on Knowledge and Data Engineering, 1989, Vol4(3), p 327--341
[103] Avi Silberschatz, Henry F.Korth, S. Sudarshan, Database System Concepts, 3rd. McGraw-Hill, 1997
[104] P. Bohannon, R. Rastogi, S. Seshadri, The architecture of the dali main-memory storage manager, Multimedia Tools and Applications, 1997
[105] S. K.Cha, J. H. Park, B. D.Park, Xmas: An Extensible Main-Memory Storage System, Proceedings of the 1998 ACM SIGMOD International Conference on Management of Data, 1998, p. 578-580.
[106] Jonathan T. Ledlie, Damelo! An Explicitly Co-locating Web Cache File System, http://www.eecs.harvard.edu/~jonathan/wisc/mastersthesis/damelo.pdf, 2000.
[107] Michael J. Carey, David J. DeWitt, Goetz Graefe 等“The EXODUS Extensible DBMS Project: An Overview” Readings in Object-Orient Database Systems, S. Zdonik and D. Maier, eds., Morgan-Kaufman Publ. Co., 1989.
[108] Alex Delis, Vinay Kanitkar, George Kollios, Database Architecture, http://citeseer.nj.nec.com/delis98database.html, 1998
[109] A. Biliris, An efficient database storage structure for large dynamic objects, Proceedings of the Eighth International Conference on Data Engineering Tempe, Arizone, 1992, p301-308
[110] Douglas T. Ross, The AED free storage package, Communications of the ACM, 1967 年 8 月, Vol.10, No. 8
[111] Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides(李英军等译), “设计模式:可复用面向对象软件的基础”,机械工业出版社,2000。
[112] W. Richard Stevens(尤晋元等译), Unix 环境高级编程, 机械工业出版社,2000。
[113] W. Richard Stevens(杨继张等译), Unix 网络编程第二卷:进程间通信,清华大学出版社, 2000
[114] L. Rowe, M. Stonebraker, The POSTGRES Data Model In Proceedings of VLDB Conference, Brighton, England, 1987
[115] John L. Hennessy, David A. Patterson, Computer Architecture: A QuantitiativeApproach, 3rd, Morgan Kaufmann, 2003, p639
[116] Mayes, K.R, Trends in Operating Systems Towards Dynamic User-level Policy Provision, University of Manchester Computer Science Technical Report UMCS-93-9-1, 1993
[117] Friedrich LF, Stankovic J, Humphrey M 等 , A Survey of Configurable, Component-Based Operating Systems for Embedded Applications, IEEE Micro, 2001, Vol.21 No.3, p54-68.
[118] Maurice V. Wilkes, The long term future of operating systems, Communications of the ACM, 1992, Vol. 35, No.11
[119] Nayeem Islam, Roy H. Campbell, Latest Developments in OPERATING SYSTEMS, Communications of the ACM, 1996, Vol.39 No.9, p38-40
[120] Abraham Silberschatz, Peter Baer Galvin, Greg Gagne, Applied Operating System Concepts, Wiley, 2002
[121] Nancy G. Leveson, Clark S. Turner, An Investigation of the Therac-25 Accidents, IEEE Computer 1993, Vol.26 No.7 p18-41
[122] Liesbeth Steffens,Trends in Operating Systems Resource Management for Future CE Systems, First Wrokshop on Embedded Systems for Real-Time Multimedia, 2003
[123] D. Hamilton, Are We Answering the Right Research Questions for Commercial Operating Systems? , Fifth Workshop on Hot Topics in Operating Systems, 1995, p142
[124] Butler Lampson, Computer Systems Research: Past and Future, http://research.microsoft.com/lampson/Slides/ComputerSystemsResearch.pdf
[125] Michel Gien, Next Generation Operating Systems Architecture, Lecture Notes In Computer Science, 1991, Vol.563, p227-232
[126] Yanbing Li, Miodrag Potkonjak, Wayne Wolf, Real-Time Operating Systems for Embedded Computing, Proceedings of the 1997 International Conference on Computer Design, 1997
[127] Julie McCann, The Database Machine: Old Story, New Slant? , Proceedings of the 1st biennial conference on innovative data systems research, 2003
[128] Matthew J. Weinstein, Gerald J. Popek, Genesis: A Distributed Database Operating System, Proceedings of the 1985 ACM SIGMOD international conference on Management of data, 1985
[129] Gerhard Weikum, Pros and cons of operating system transactions for data base systems, Proceedings of 1986 ACM Fall joint computer conference, 1986, p1219 -1225
[130] Grant Wigley, David Kearney, The First Real Operating System for Reconfigurable Computers, IEEE Proceedings of the Sixth Australasian Computer Systems Architecture Conference, 2001
[131] MICHAEL W. SHAPIRO, SUN MICROSYSTEM,Self-Healing in Modern Operating Systems,ACM QUEUE, December/January 2004-2005
[132] SOLARIS 10 Fault Management Daemon Programmer's ReferenceManual, Sun Microsystems, Inc.2007.8
[133] Predictive Self-Healing/EFT Overview ,blogs.sun.com/andy/entry/predictive_self_healing_eft_overview,2005.6.13
[134] Richard McDougall, Jim Mauro,Solaris Internals: Solaris 10 and OpenSolaris Kernel Architecture, 2006.7.10
[135] Jim Mauro, Richard McDougall (冯锐等译)Solaris 内核结构,机械工业出版社,2001.9
[136] Predictive Self-Healing in the Solaris 10 Operating System A Technical Introduction, www.sun.com/software/whitepapers/solaris10/self_healing.pdf ,2004,6
[2] D. A. Patterson, A. Brown, P. Broadwell 等, Recovery-Oriented Computing (ROC): Motivation, Definition, Techniques, and Case Studies, U.C. Berkeley Computer Science Technical Report, UCB//CSD-02-1175, 2002
[3] Ganek A G, Corbi T A, The dawning of the autonomic computing era. IBM Systems Journal, Special Issue on Autonomic Computing. 2003, Vol 42, No 1
[4] Andrew Hume, Operating System Reliability: Does Anyone Care Any More? 2003, http://www.usenix.org/events/hotos03/reports.html
[5] G. (John) Janakiraman, Jose Renato, Santos Dinesh 等 , Cruz: Application-Transparent Distributed Checkpoint-Restart on Standard Operating Systems, Proceedings of the 2005 International Conference on Dependable Systems and Networks, 2005
[6] J. Duell, P. Hargrove, E. Roman, The design and implementation of Berkeley Labs’ Linux checkpoint/restart, Berkeley LabTechnical Report(LBNL-54941), 2002
[7] Daniel Dvorak, Robert Rasmussen, Glenn Reeves 等, Software Architecture Themes in JPL’s Mission Data System,Proceedings of 2000 IEEE Aerospace Conference, 2000 年 3 月
[8] Andrew S.Tanenbaum, Albert S.Woodhull, 操作系统设计及实现设计及实现(第二版,影印),清华大学出版社,1997 年 9 月
[9] A. Avi?ienis, Jean-Claude Laprie, Brian Randell 等 , Basic Concepts and Taxonomy of Dependable and Secure Computing, IEEE Transactions on Dependable and Secure Computing, 2004, Vol.1, p11-33.
[10] Eric Raymond, The Cathedral & the Bazaar, O'Reilly Media, Inc., 2001
[11] Oriezy P, Gorlick M, Taylor R 等 , An Architecture-Based Approach to Self-Adaptive Software, IEEE Intelligent Systems, 1999年 6 月, vol.14(3), p54-62
[12] Garlan D, Cheng S, Schmerl B, Increasing System Dependability through Architecture-based Self-repair, Architecting Dependable Systems, Springer-Verlag, 2003
[13] Michael Stonebraker, Operating System Support for Database Management, Commun. ACM, 1981, vol.24, No.7.
[14] G. DENYS, A Survey of Customizability in Operating Systems Research, CSUR,2002
[15] W.H. Cheung, Anthony H.S. Loong,“Exploring Issues of Operating Systems Structuring: from Microkernel to Extensible Systems”,Operating Systems Review, 1995
[16] David Hulse, Alan Dearle, Trends in Operating System Design: Towards a Customisable Persistent Micro-Kernel,University of Stirling Report Pastel RT1R4. 1998
[17] HP Company, Overview of Server and Network Fault Tolerance, Availability Guide for Application Design, 第二章
[18] B. Randell, System Structures for Software Fault Tolerance, IEEE Trans. Software Eng. 1975 年 6 月, p220-232,
[19] Liming Chen, Avizienis A, N-version programming: a fault-tolerance approach to reliability of software operation, FTCS 1978,Reprinted by IEEE in 1995
[20] Laura L. Pullum, Software Fault Tolerance Techniques and Implementation, Artech House, 2001, p145
[21] Mary Shaw, "Self-Healing": Softening Precision to Avoid Brittleness, WOSS 2002
[22] Selvin George, David Evans, Lance Davidson, A Biologically Inspired Programming Model for Self-Healing Systems, Proceedings of the First ACM SIGSOFT Workshop on Self-Healing Systems, 2002
[23] David Garlan, Self Healing System, http://www-2.cs.cmu.edu/~garlan/17811/Lectures/01-Course-Intro.pdf
[24] Koopman P, Elements of the self-healing system problem space. Workshop on Architecting Dependable Systems, 2003 年 5 月
[25] 李航, 刘西洋, 陈平, 自愈系统构架构建方法研究, 系统工程与电子技术, 2007, Vol.29 No.2
[26] Patrick Regan, Scott Hamilton, NASA’s Mission Reliable, IEEE Computer Society, 2004
[27] Radhika Nagpal, Attila Kondacs, Catherine Chang, Programming Methodology for Biologically-Inspired Self-Assembling Systems, AAAI Symposium, 2003
[28] Hang Li, Xi-Yang Liu, Ping Chen, Octopus Architecture: A new attempt to achieve reliable OS, 5th Working IEEE/IFIP Conference on SoftwareArchitecture, 2005
[29] Tamir Y, Sequin C. H, Error recovery in multicomputers using global checkpoints, Proceedings of the international Conference on Parallel Processing, 1984, p32–41
[30] Chandy M, Lamport L, Distributed snapshots: Determining global states of distributed systems. ACM Trans. Comput. Syst.1985, vol.31, NO.1, p63–75.
[31] Richard P. Gabriel, The Rise of ''Worse is Better'', http://www.dreamsongs.com/WorseIsBetter.html
[32] Jean-Claude Laprie, Jean Arlat, Christian Beounes 等, Definition and analysis of hardware- and software- fault tolerant architectures, IEEE Computer, 1990年7月, p39-51
[33] Hector Garcia-Molina, K. Salem. “Main memory database systems: An Overview”. IEEE Transactions on Knowledge and Engineering, 1992 年 12 月, p509-516
[34] H.V. Jagadish, Daniel Lieuwen, Rajeev Rastogi 等,“Dali: A high performance main memory storage manager”, Proceedings of the 20th VLDB conference, 1994
[35] 李航,开放业务对象组织模型的研究,西安电子科技大学硕士学位论文,2002
[36] McKenney P. E, Slingwine. J, Efficient Kernel Memory Allocation on Shared Memory Multiprocessors, Proceedings of the Winter 1993 USENIX Technical Conference. 1993, p295-305
[37] Paul R.Wilson, Mark S. Johnstone, Michael Neely 等, Dynamic storage alocation a survey and critical review, Proceedings of International Workshop on Memory Management, 1995 年 9 月
[38] Hector Garcia-Molina, Jeffrey D.Ullman, Jennifer Widom, Database System Implementation, Prentice Hall, 1999
[39] Yossi Azar, Andrei Z. Broder, Anna R. Karlin 等, Balanced Allocations, SIAM J. COMPUT, 1999, vol29(1), p180-200
[40] 李航,郭敬林,刘西洋,陈平,Balls into Bins 分配器算法, 系统工程与电子技术, 2005,Vol.27
[41] Martin Raab, Angelika Steger, Balls into Bins-A Simple and Tight Analysis, LNCS Proceedings of RANDOM'98, 1998
[42] Philip A. Bernstein, Vassos Hadzilacos, Nathan Goodman, Concurrency Control and Recovery in Database Systems,Addison Wesley Publishing Company, 1987
[43] Jane W.S.Liu, Real-Time Systems(影印), 高等教育出版社, 2002
[44] Victor Winter, Raymond Berg, Jim Ringland, Bay Area Rapid Transit District Advance Automated Train Control System Case Study Description,http://faculty.ist.unomaha.edu/winter/publications/2001/Bay_Area_Rapid_Transit_District_Advanced_Automated_Train_Control_System_Case_Study_Description.pdf
[45] Randell, The evolution of the recovery block concept (ch 1) In: Lyu, Ed., Software Fault Tolerance, Wiley & Sons, 1995.
[46] Xu J, Randell B, Roll-forward error recovery in embedded real-time systems, Proceedings. 1996 International Conference on Parallel and Distributed Systems, 1996
[47] Chiu J. F, Ge-Ming Chiu, Placing forced checkpoints in distributed real-time embedded systems, Computing & Control Engineering Journal , 2002 年 8月,Vol.13 No.4, p197 -205
[48] B. Randell, System structures for software fault-tolerance. IEEE Trans. Software Eng, 1975 年 6 月, Vol.1, No. 2, 220-232.
[49] Anderson T, Barrett P.A, Balliwell, D.N 等, An Evaluation of Software Fault Tolerance in a Practical System, Fault-Tolerant Computing, Highlights from Twenty-Five Years., Twenty-Fifth International Symposium, 1995, p130
[50] Kent Wilken, John Pal Shen, Continuous Signature Monitoring: Low-Cost Concurrent Detection of Processor Control Errors, IEEE Transactions on Computer-Aided Design, 1988
[51] Lesile Lamport, P. M. Melliar-Smith, Synchronizing Clocks in the Presence of Faults, Journal of the ACM, 1985 年 1 月, vol 32, no 1, p 53-78
[52] Jie Xu, Brian Randell, Alexander Romanovsky, Fault Tolerance in Concurrent Object-Oriented Software through Coordinated Error Recovery, In Proceedings of the 25th International Symposium on Fault-Tolerant Computing (FTCS-25), Pasadena, California, USA, 1995
[53] A. Romanovsky, J. Xu, B. Randell, Exception Handling in Object-Oriented Real-Time Distributed Systems, First International Symposium on Object-Oriented Real-Time Distributed Computing, 1998
[54] Kiem-Phong Vo, Yi-Min Wang, Xept: A Software Instrumentation Method for Exception Handling, Eighth International Symposium on Software Reliability Engineering, 1997, p60-69
[55] Roger M. Kieckhafer, The MAFT Architecture for Distributed Fault Tolerance, IEEE Trans Computers, 1988, Vol.37 No.4, p398-405
[56] Avizienis A, Lyu M.R, Schutz W, In Search of Effective Diversity: A Six Language Study of Fault-Tolerant Flight Control Software, FTCS, 1988
[57] John C, Knight Nancy, G Leveson, A Reply to the Criticism of the Knight & Leveson Experiment, ACM SIGSOFT Software Engineering Notes, 1990, Vol. 15, No.1, p24
[58] Segall Z, Vrsalovic D, Siewiorek D 等, FIAT-fault injection based automated testing environment, Proc. 18 th Int. Symp. Fault - Tolerant Computing., 1988 年 6月, p102-107,.
[59] Meichen Hsueh, R.K. Iyer, Fault Injection Techniques and Tools, IEEE Computers, 1997, Vol. 30 No.4, p75-82
[60] Scott Dawson, Farnam Jahanian, Todd Mitton 等, Testing of Fault-Tolerant and Real-Time Distributed Systems via Protocol Fault Injection, FTCS, 1996
[61] Kopetz H, Grunsteidl G, TTP-a protocol for fault-tolerant real-time systems, IEEE Computer , 1994, Vol. 27 No. 1
[62] Mary Shaw, Beyond Objects: A Software Design Paradigm Based on Process Control. ACM Software Engineering Notes, January 1995, Vol 20, No 1
[63] Ioannis Georgiadis, Jeff Magee, Jeff Kramer, Self-Organising Software Architectures for Distributed Systems. Proceedings of the First ACM SIGSOFT Workshop on Self-Healing Systems, 2002
[64] Joao Pedro Sousa, David Garlan, Aura: an Architectural Framework for User Mobility in Ubiquitous Computing Environments, Proceedings of the 3rd Wroking IEEE/IFIP Conference on Software Architecture, 2002
[65] Rajesh Balan, Joao Pedro Sousa, M. Satyanarayanan, Meeting the Software Engineering Challenges of Adaptive Mobile Applications, Technical Report, CMU-CS-03-111, 2003
[66] Shankar R.Ponnekanti, Brian Lee, Armando Fox 等 , ICrafter: A Service Framework for Ubiquitous Computing Environments, LNCS, 2001, Vol.2201, p56-75
[67] Fabio Kon, Fabio Costa, Gordon Blair 等, Adaptive middleware: The case for reflective middleware, Communications of the ACM, 2002, Vol. 45, No. 6
[68] Loyall J, Schantz R, Zinky J 等, Comparing and contrasting adaptive middleware support in wide-area and embedded distributed object applications. 21st International Conference on Distributed Computing Systems, 2001, p625-634
[69] Narasimhan P, Moser L E, Melliar-Smith P M, Strong replica consistency for fault-tolerant CORBA applications. The Sixth International Workshop on Object-Oriented Real-Time Dependable Systems, 2001, p10-17
[70] Eyal de Lara, Dan S. Wallach, Willy Zwaenepoel , Position Summary:Architectures For Adaptation Systems, 2001 hot topics in OS conferences, 2001
[71] P Netinant, C A Constantinides, T Elrad, M. E. Fayad, Aspect-Oriented Frameworks: The Design of Adaptable Operating Systems, OOPSLA, 2000, p61-62
[72] George Candea, Armando Fox, Crash-Only Software, Proceedings of the 9th Workshop on Hot Topics in Operating Systems, 2003
[73] Peyman Oreizy, Nenad Medvidovic, Richard N. Taylor, Architecture-Based Runtime Software Evolution, the Proceedings of the International Conference on Software Engineering, 1998
[74] Jeff Magee, Naranker Dulay, Susan Eisenbach, Jeff Kramer, Specifying Distributed Software Architectures, Fifth European Software Engineering Conference. Barcelona, 1995
[75] Michael N. Huhns, Robust Software Via Agent-Based Redundancy, AAMAS’03, 2003
[76] Robert E. Smith, Nick Taylor, A Framework for Evolutionary Computation in Agent-Based Systems, Proceedings of the 1998 InternationalConference on Intelligent Systems, 1998, p221–224
[77] Guoqiang Zhong, Babak Hodjat, Tarek Helmy 等, Software Agent Evolution in Adaptive Agent Oriented Software Architecture, International Workshop on Principles of Software Evolution, 1999, p130-134
[78] M. Satyanarayanan, The Evolution of Coda, ACM Transactions on Computer Systems, 2002年5月, Vol. 20, No. 2,
[79] Walker, Murphy, Steinbok Robillard, Efficient Mapping of Software System Traces to Architectural Views. Proc. of CASCON, 2000 年 11 月
[80] Jonathan Aldrich, Craig Chambers, David Notkin, ArchJava: Connecting Software Architecture to Implementation, In proceedings of ICSE 2002, 2002
[81] Dan Dvorak, Robert Rasmussen of JPL,Overview and Tour of Mission Data System (MDS), A Goal- and State-based Architecture for Mission Systems, http://ses.gsfc.nasa.gov/ses_data_2002/020806_MDS.ppt
[82] Carsten Be, Marcelo Gz, Tales Heimfarth, (Re-) Configurable Real-Time Operating Systems and Their Applications, Proceedings of The Eighth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, 2003
[83] Daniel Dvorak, Greg Bollella, Tim Canham 等, Virgil Champlin, Project Golden Gate: Towards Real-Time Java in Space Missions, 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2004
[84] Greg Bollella, The Golden Gate Project: Real-Time Java in Space, http://www.cs.unc.edu/~baruah/Meetings/2002-RTSS/absBollela.html
[85] Brian Giovannoni, Golden Gate Project: RTSJ on a Mars Rover, http://www.opengroup.org/rtforum/uploads/40/2930/OpenGroup_Golden_Gate_May01-v05.pdf
[86] J.R.Jackson, Scheduling a Production Line to Minimize Maximum Tardiness, Research Report 43 Management Science Research Project, University of California, Los Angeles, 1955
[87] J.K.Lenstra, A.H.G. Rinnooy, Optimization and Approximation in Deterministic Sequencing and Scheduling: A Survey, Ann.Discrete Math.5, 1977,pp.287-326,
[88] Tobin J. Lehman, Bruce G. Lindsay, The Starburst Long Field Manager, Proceedings of the Fifteenth International Conference on Very Large Databases, 1989
[89] Michael J. Carey, David J. Dewitt, Daniel Frank 等, The Architecture of the EXODUS Extensible DBMS, Proceedings of the Twelfth International Conference on Very Large Data Bases, 1986, p52-65
[90] Tobin J. Lehman, Eugene J. Shekita, Luis-Felipe Cabrera, An Evaluation of Starburst’s Memory Resident Storage Component, IEEE Transactions on Knowledge and Data Engineering, 1992,Vol.4, No.6, p555-566
[91] O. Deux et al., The Story of O2, IEEE Transactions on Knowledge and Data Engineering 1990, Vol.2, No.1, p91-108
[92] Stonebraker M, Rowe L, Hirohama M, The Implementation of POSTGRES, IEEE Trans. on Knowledge and Data Engineering, 1990, Vol.2, No.1, p125-142
[93] Martin C, P. S. Narayan, B. Ozden 等, The Fellini Multimedia Storage Server, Multimedia Information Storage and Management, Kluwer, 1996. 第 5 章
[94] Shekita.E, Zwilling.M, Cricket: A Mapped, Persistent Object Store.” Persistent Object Systems. Morgan Kaufmann, 1990.
[95] S. White, D. DeWitt, QuickStore: A High Performance Mapped Object Store, Proc. ACM SIGMOD Conf., Minneapolis, MN, 1994
[96] Biliris A, The EOS Large Object Manager, Boston University, Computer Science TR 91-004, 1991 年 4 月
[97] V. Singhal, S. V. Kakkad, P. R. Wilson, Texas an efficient, portable persistent store, Proc. Fifth International Workshop on Persistent Object Systems, 1992
[98] Judith R. Davis, The TimesTen Main-Memory Data Manager: Meeting the Application Performance Challenge, Database Associates International, Inc. 1998
[99] Pyung-Chul Kim, Byung Gwan Jung, Moonja Kim, FLASH: A Main Memory Storage System, Korea Database Journal, 1995, Vol. 1, No. 2, p103-125.
[100] Yong Yuan, SMOS: A MEMORY-RESIDENT OBJECT STORE, http://homepage.cs.uri.edu/research/rtsorac/pubs/yong_thesis.pdf
[101] Uresh Vahalia(聊鸿斌等译), Unix 高级教程:系统技术内幕, 清华大学出版社, 1999
[102] W. Kim. Object-Oriented Databases: Definition and Research Directions, IEEE Transactions on Knowledge and Data Engineering, 1989, Vol4(3), p 327--341
[103] Avi Silberschatz, Henry F.Korth, S. Sudarshan, Database System Concepts, 3rd. McGraw-Hill, 1997
[104] P. Bohannon, R. Rastogi, S. Seshadri, The architecture of the dali main-memory storage manager, Multimedia Tools and Applications, 1997
[105] S. K.Cha, J. H. Park, B. D.Park, Xmas: An Extensible Main-Memory Storage System, Proceedings of the 1998 ACM SIGMOD International Conference on Management of Data, 1998, p. 578-580.
[106] Jonathan T. Ledlie, Damelo! An Explicitly Co-locating Web Cache File System, http://www.eecs.harvard.edu/~jonathan/wisc/mastersthesis/damelo.pdf, 2000.
[107] Michael J. Carey, David J. DeWitt, Goetz Graefe 等“The EXODUS Extensible DBMS Project: An Overview” Readings in Object-Orient Database Systems, S. Zdonik and D. Maier, eds., Morgan-Kaufman Publ. Co., 1989.
[108] Alex Delis, Vinay Kanitkar, George Kollios, Database Architecture, http://citeseer.nj.nec.com/delis98database.html, 1998
[109] A. Biliris, An efficient database storage structure for large dynamic objects, Proceedings of the Eighth International Conference on Data Engineering Tempe, Arizone, 1992, p301-308
[110] Douglas T. Ross, The AED free storage package, Communications of the ACM, 1967 年 8 月, Vol.10, No. 8
[111] Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides(李英军等译), “设计模式:可复用面向对象软件的基础”,机械工业出版社,2000。
[112] W. Richard Stevens(尤晋元等译), Unix 环境高级编程, 机械工业出版社,2000。
[113] W. Richard Stevens(杨继张等译), Unix 网络编程第二卷:进程间通信,清华大学出版社, 2000
[114] L. Rowe, M. Stonebraker, The POSTGRES Data Model In Proceedings of VLDB Conference, Brighton, England, 1987
[115] John L. Hennessy, David A. Patterson, Computer Architecture: A QuantitiativeApproach, 3rd, Morgan Kaufmann, 2003, p639
[116] Mayes, K.R, Trends in Operating Systems Towards Dynamic User-level Policy Provision, University of Manchester Computer Science Technical Report UMCS-93-9-1, 1993
[117] Friedrich LF, Stankovic J, Humphrey M 等 , A Survey of Configurable, Component-Based Operating Systems for Embedded Applications, IEEE Micro, 2001, Vol.21 No.3, p54-68.
[118] Maurice V. Wilkes, The long term future of operating systems, Communications of the ACM, 1992, Vol. 35, No.11
[119] Nayeem Islam, Roy H. Campbell, Latest Developments in OPERATING SYSTEMS, Communications of the ACM, 1996, Vol.39 No.9, p38-40
[120] Abraham Silberschatz, Peter Baer Galvin, Greg Gagne, Applied Operating System Concepts, Wiley, 2002
[121] Nancy G. Leveson, Clark S. Turner, An Investigation of the Therac-25 Accidents, IEEE Computer 1993, Vol.26 No.7 p18-41
[122] Liesbeth Steffens,Trends in Operating Systems Resource Management for Future CE Systems, First Wrokshop on Embedded Systems for Real-Time Multimedia, 2003
[123] D. Hamilton, Are We Answering the Right Research Questions for Commercial Operating Systems? , Fifth Workshop on Hot Topics in Operating Systems, 1995, p142
[124] Butler Lampson, Computer Systems Research: Past and Future, http://research.microsoft.com/lampson/Slides/ComputerSystemsResearch.pdf
[125] Michel Gien, Next Generation Operating Systems Architecture, Lecture Notes In Computer Science, 1991, Vol.563, p227-232
[126] Yanbing Li, Miodrag Potkonjak, Wayne Wolf, Real-Time Operating Systems for Embedded Computing, Proceedings of the 1997 International Conference on Computer Design, 1997
[127] Julie McCann, The Database Machine: Old Story, New Slant? , Proceedings of the 1st biennial conference on innovative data systems research, 2003
[128] Matthew J. Weinstein, Gerald J. Popek, Genesis: A Distributed Database Operating System, Proceedings of the 1985 ACM SIGMOD international conference on Management of data, 1985
[129] Gerhard Weikum, Pros and cons of operating system transactions for data base systems, Proceedings of 1986 ACM Fall joint computer conference, 1986, p1219 -1225
[130] Grant Wigley, David Kearney, The First Real Operating System for Reconfigurable Computers, IEEE Proceedings of the Sixth Australasian Computer Systems Architecture Conference, 2001
[131] MICHAEL W. SHAPIRO, SUN MICROSYSTEM,Self-Healing in Modern Operating Systems,ACM QUEUE, December/January 2004-2005
[132] SOLARIS 10 Fault Management Daemon Programmer's ReferenceManual, Sun Microsystems, Inc.2007.8
[133] Predictive Self-Healing/EFT Overview ,blogs.sun.com/andy/entry/predictive_self_healing_eft_overview,2005.6.13
[134] Richard McDougall, Jim Mauro,Solaris Internals: Solaris 10 and OpenSolaris Kernel Architecture, 2006.7.10
[135] Jim Mauro, Richard McDougall (冯锐等译)Solaris 内核结构,机械工业出版社,2001.9
[136] Predictive Self-Healing in the Solaris 10 Operating System A Technical Introduction, www.sun.com/software/whitepapers/solaris10/self_healing.pdf ,2004,6