MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  1 Reflections on the Pentium Division Bug

Download:
Download as a PDF | Download as a PS
by Manuel Blum, Hal Wasserman, I. A Gentle, Introduction Result-checking
http://http.cs.berkeley.edu/~blum/pentium.ps
Add To MetaCart

Abstract:

We review the field of result-checking and suggest that it be extended to a methodology for enforcing hardware/software reliability. We thereby formulate a vision for "self-monitoring" hardware/software whose reliability is augmented through embedded suites of run-time correctness checkers. In particular, we suggest that embedded checkers and correctors may be employed to safeguard against arithmetic errors such as that which has bedeviled the Intel Pentium Microprocessor. We specify checkers and correctors suitable for monitoring the multiplication and division functionalities of an arbitrary arithmetic processor and seamlessly correcting erroneous output which may occur for any reason during the lifetime of the chip.

Citations

259 Designing programs that check their work – Blum, Kannan - 1989
233 Self-testing/correcting with applications to numerical problems – Blum, Luby, et al. - 1993
85 The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software – Butler, Finnelli - 1993
69 Software Reliability via RunTime Result-Checking – Wasserman, Blum - 1997
61 Self-testing/correcting for polynomials and for approximate functions – Gemmell, Lipton, et al. - 1991
50 Checking the correctness of memories – Blum, Evans, et al. - 1994
21 Checking Approximate Computations Over the Reals – Ar, Blum, et al. - 1993
21 On the robustness of functional equations – Rubinfeld - 1999
6 Error detection and correction in numerical computations by algebraic methods – Vainstein - 1991
5 Designing programs to check their work" manuscript – Blum - 1988
4 Program checkers: practical applications to real-time software," Test Facility Working Group Conf – Boettcher, Mellema - 1995
2 Fast probabilistic algorithms," Springer Verlag – Freivald - 1979
1 Fast probabilistic verification of number multiplication – Freivald - 1979
View or Download | Add to My Collection | Correct Errors