The Community for Technology Leaders
RSS Icon
Issue No.02 - March/April (2012 vol.9)
pp: 275-288
Shlomi Dolev , Ben Gurion University, Beer-Sheva
Yinnon Haviv , Ben Gurion University, Beer-Sheva
In this work, we suggest hardware and software components that enable the creation of a self-stabilizing os/vmm on top of an off-the-shelf, nonself-stabilizing processor. A simple "watchdog” hardware that is called a periodic reset monitor (prm) provides a basic solution. The solution is extended to stabilization enabling hardware (seh) which removes any real time requirement from the os/vmm. A stabilization enabling system that extends the seh with software components provides the user (an os/vmm designer) with a self-stabilizing processor abstraction. The method uses only a modest addition of hardware, which is external to the microprocessor. We demonstrate our approach on the XScale core by Intel. Moreover, we suggest methods for the adaptation of existing system code (e.g., code for operating systems) to be self-stabilizing. One method allows capturing and enforcing the configuration used by the program, thus reducing the work of the self-stabilizing algorithm designer to considering only the dynamic (nonconfigurational) parts of the state. Another method is suggested for ensuring that, eventually, addresses of branch commands are examined using a sanity check segment. This method is then used to ensure that a sanity check is performed before critical operations. One application of the latter method is for enforcing a full separation of components in the system
Computer systems organization, performance of systems, fault tolerance, reliability, availability, and serviceability, self-stabilization, virtualization.
Shlomi Dolev, Yinnon Haviv, "Stabilization Enabling Technology", IEEE Transactions on Dependable and Secure Computing, vol.9, no. 2, pp. 275-288, March/April 2012, doi:10.1109/TDSC.2011.60
[1] O. Brukman and S. Dolev, “Recovery Oriented Programming,” Proc. Eighth Int'l Conf. Stabilization, Safety, and Security of Distributed Systems (SSS '06), 2006.
[2] O. Brukman and S. Dolev, “Recovery Oriented Programming,” Technical Report 2006-06, Dept. of Computer Science, Ben-Gurion Univ. of the Negev, Israel, 2006.
[3] O. Brukman, S. Dolev, and E.K. Kolodner, “Self-Stabilizing Autonomic Recoverer for Eventual Byzantine Software,” Proc. IEEE Int'l Conf. Software: Science Technology and Conference (SwSTE '03), Nov. 2003.
[4] S. Dolev and R. Yagel, “Memory Management for Self-Stabilizing Operating Systems,” Proc. Seventh Symp. Self-Stabilizing Systems, pp. 113-127, 2005.
[5] S. Dolev, Self-Stabilization. MIT Press, Mar. 2000.
[6] S. Dolev and Y.A. Haviv, “Self-Stabilizing Microprocessor: Analyzing and Overcoming Soft Errors,” IEEE Trans. Computers, vol. 55, no. 4, pp. 385-399, Apr. 2006.
[7] S. Dolev, Y.A. Haviv, and M. Sagiv, “Self-Stabilization Preserving Compiler,” Proc. Seventh Int'l Symp. Self-Stabilizing Systems, pp. 81-95, 2005.
[8] S. Dolev, E. Kranakis, and D. Krizanc, “Baked-Potato Routing,” J. Algorithms, vol. 30, no. 2, pp. 379-399, 1999.
[9] J. Hill, R. Szewczyk, A. Woo, S. Hollar, D. Culler, and K. Pister, “System Architecture Directions for Networked Sensors,” SIGPLAN Notices, vol. 35, no. 11, pp. 93-104, 2000.
[10] Intel, Intel 80200 Processor Based on Intel XScale Microarchitecture, , 2000.
[11] Intel, Intel XScale Core, Developer's Manual, com/design/intelxscale 273473.htm, 2004.
[12] D. Seal, ARM Architecture Reference Manual. Addison-Wesley Longman Publishing Co., Inc., 2000.
[13] IEEE CS, IEEE Standard Test Access Port and Boundary-Scan Architecture-IEEE Std 1149.1, http:/, 2001.
[14] A.S. Tanenbaum, Structured Computer Organization, third ed. Prentice-Hall, Inc., 1989.
[15] Xen Community, The Open Source Code of XEN, http://www. xensource.comxen/, 2006.
4 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool