Abstract
Soft-errors are changes in memory value caused by cosmic rays. Decrease in computing features size, decrease in power usage and shorting the micro-cycle period, enhances the influence of soft-errors. Self-stabilizing systems is designed to be started in an arbitrary, possibly corrupted state, due to, say, soft errors, and to converge to a desired behavior. Self-stabilization is defined by the state space of the components, and essentially is a well founded, clearly defined, form of the terms: self-healing, automatic-recovery, automatic-repair, and autonomic-computing. To implement a self-stabilizing system one needs to ensure that the micro-processor that executes the program is self-stabilizing. The self-stabilizing microprocessor copes with any combination of soft errors, converging to perform fetch-decode-execute in fault free periods. Still, it is important that the micro-processor will avoid convergence periods as possible, by masking the effect of soft errors immediately. In this work we present design schemes for self-stabilizing microprocessor, and a new technique for analyzing the effect of soft errors. Previous schemes for analyzing the effect of soft errors were based on simulations. In contrast, our scheme computes lower bound on the micro-processor reliability and enables the micro-processor designer to evaluate the reliability of the design, and to identify reliability bottlenecks.
Partially supported by NSF Award CCR-0098305, IBM faculty award, STRIMM consortium, and Israel ministry of defense.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Dolev, S.: Self-Stabilization. MIT Press, Cambridge (2000)
Dolev, S., Herman, T.: Dijkstra’s Self-Stabilizing Algorithms in Unsuportive Environments. In: Datta, A.K., Herman, T. (eds.) WSS 2001. LNCS, vol. 2194, pp. 67–81. Springer, Heidelberg (2001)
Fox, A., Patterson, D.: Self-Repairing Computers. Scientific American (June 2003)
Hadjicostis, C.N.: Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems. Kluwer, Dordrecht (2002)
Hennessey, J.L., Patterson, D.A.: Computer Architecture: A Quantitative Approach. Morgan Kaufmann, San Francisco (2002)
iRoC Technologies RobanTM, white papers, http://www.iroctech.com
Kistler, M., Shivakumar, P., Alvisi, L., Burger, D., Keckler, S.: Modeling the effect of technology trends on the soft error rate of combinational logic. In: ICDSN. LNCS, vol. 72, pp. 216–226 (2002)
Parag, K.L.: Self-Checking and Fault-Tolerant Digital Design. Morgan Kaufmann, San Francisco (2001)
Lima, F., Rezgui, S., Carro, L., Velazco, R., Reis, R.: On the use of VHDL Simulation and Emulation to Derive Error Rates. In: Radiation Effects on Components and Systems Conference (RADECS), Grenoble, FRANCE (2001)
Murley, P.C., Srinivasan, G.R.: Soft-error Monte Carlo modeling program, SEMM. IBM Journal of Research and Development 40(1), 109–118 (1996)
von Neumann, J.: Probabilistic logics and the synthesis of reliable organisms from unreliable components. In: Shannon, C.E., McCarthy, J. (eds.) Automata Studies, pp. 329–378. Princeton University Press, Princeton (1956)
Normand, E.: Single Event Upset at Ground Level. IEEE Transactions on Nuclear Science 43, 2742–2751 (1996)
Patterson, D.: Recovery Oriented Computing, http://www.cs.berkeley.edu/
Pippenger, N.: On networks of noisy gates. In: Proc. of the 26th IEEE Symposium on Foundations of Computer Science, pp. 30–36 (1985)
Pippenger, N.: Analysis of error correction by majority voting. In: Advances in Computing Research, vol. 5, pp. 171–198. JAI Press (1989)
Reinhardt, S.K., Mukherjee, S.S.: Transient fault detection via simultaneous multithreading. In: ISCA, pp. 25–36 (2000)
Rotenberg, E.: AR-SMT: A microarchitectural approach to fault tolerance in microprocessors. In: Symposium on Fault-Tolerant Computing, pp. 84–91 (1999)
Tanenbaum, A.: Structured computer organization. Prentice-Hall, Englewood Cliffs (1984)
Vollmer, H.: Introduction to Circuit Complexity. Springer, Heidelberg (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dolev, S., Haviv, Y.A. (2004). Self-Stabilizing Microprocessor. In: Müller-Schloer, C., Ungerer, T., Bauer, B. (eds) Organic and Pervasive Computing – ARCS 2004. ARCS 2004. Lecture Notes in Computer Science, vol 2981. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24714-2_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-24714-2_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21238-6
Online ISBN: 978-3-540-24714-2
eBook Packages: Springer Book Archive