Classification-Based Improvement of Application Robustness and Quality of Service in Probabilistic Computer Systems

Future semiconductors no longer guarantee permanent deterministic operation. They are expected to show probabilistic behavior due to lowered voltages and shrinking structures. Compared to radiation-induced errors, probabilistic systems face increased error frequencies leading to unexpected bit-flips. Approaches like probabilistic CMOS provide methods to control error distributions which reduce the error probability in more significant bits. However, instructions handling control flow or pointers still expect deterministic operation, thus requiring a classification to identify these instructions. We apply our transient error classification to probabilistic circuits using differing voltage distributions. Static analysis ensures that probabilistic effects only affect unreliable operations which accept a certain level of impreciseness, and that errors in probabilistic components will never propagate to critical operations. To evaluate, we analyze robustness and quality-of-service of an H.264 video decoder. Using classification results, we map unreliable arithmetic operations onto probabilistic components of a simulated ARM-based architecture, while the remaining operations use deterministic components.

[1]  Wolfgang Karl,et al.  Euro-Par 2000 Parallel Processing , 2000, Lecture Notes in Computer Science.

[2]  Brian Campbell,et al.  Amortised Memory Analysis Using the Depth of Data Structures , 2009, ESOP.

[3]  Lingamneni Avinash,et al.  Highly energy and performance efficient embedded computing through approximately correct arithmetic: a mathematical foundation and preliminary experimental validation , 2008, CASES '08.

[4]  Donald Yeung,et al.  Application-Level Correctness and its Impact on Fault Tolerance , 2007, 2007 IEEE 13th International Symposium on High Performance Computer Architecture.

[5]  Arindam Basu,et al.  Low Power Probabilistic Floating Point Multiplier Design , 2011, 2011 IEEE Computer Society Annual Symposium on VLSI.

[6]  Luca Benini,et al.  MPARM: Exploring the Multi-Processor SoC Design Space with SystemC , 2005, J. VLSI Signal Process..

[7]  Jens Palsberg,et al.  Inference of User-Defined Type Qualifiers and Qualifier Rules , 2006, ESOP.

[8]  Krishna V. Palem,et al.  Energy aware computing through probabilistic switching: a study of limits , 2005, IEEE Transactions on Computers.

[9]  Krishna V. Palem,et al.  Optimizing energy to minimize errors in dataflow graphs using approximate adders , 2010, CASES '10.

[10]  David Gregg,et al.  A stochastic bitwidth estimation technique for compact and low-power custom processors , 2008, TECS.

[11]  Trevor Mudge,et al.  Dynamic voltage scaling on a low-power microprocessor , 2001 .

[12]  Mark S. K. Lau,et al.  Error-Rate Prediction for Probabilistic Circuits with More General Structures , 2010 .

[13]  Krishna V. Palem,et al.  Energy aware algorithm design via probabilistic computing: from algorithms and models to Moore's law and novel (semiconductor) devices , 2003, CASES '03.

[14]  Michael Engel,et al.  Improving transient memory fault resilience of an H.264 decoder , 2010, 2010 8th IEEE Workshop on Embedded Systems for Real-Time Multimedia.

[15]  Bernd Becker,et al.  Low-Cost Hardening of Image Processing Applications Against Soft Errors , 2006, 2006 21st IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems.

[16]  Krishna V. Palem,et al.  An approach to energy-error tradeoffs in approximate ripple carry adders , 2011, IEEE/ACM International Symposium on Low Power Electronics and Design.

[17]  Arindam Basu,et al.  Modeling multi-output filtering effects in PCMOS , 2011, Proceedings of 2011 International Symposium on VLSI Design, Automation and Test.

[18]  Seth Copen Goldstein,et al.  BitValue Inference: Detecting and Exploiting Narrow Bitwidth Computations , 2000, Euro-Par.

[19]  Mark S. K. Lau,et al.  A More Precise Model of Noise Based PCMOS Errors , 2010, 2010 Fifth IEEE International Symposium on Electronic Design, Test & Applications.

[20]  Krishna V. Palem,et al.  Probabilistic arithmetic and energy efficient embedded signal processing , 2006, CASES '06.

[21]  Lap-Pui Chau,et al.  Low Power Motion Estimation with Probabilistic Computing , 2011, 2011 IEEE Computer Society Annual Symposium on VLSI.

[22]  Michael Engel,et al.  Unreliable yet useful - reliability annotations for data in cyber-physical systems , 2011, GI-Jahrestagung.

[23]  Mark Stephenson,et al.  Bidwidth analysis with application to silicon compilation , 2000, PLDI '00.

[24]  Alexander Aiken,et al.  A theory of type qualifiers , 1999, PLDI '99.

[25]  Lingamneni Avinash,et al.  Sustaining moore's law in embedded computing through probabilistic and approximate design: retrospects and prospects , 2009, CASES '09.

[26]  Dan Grossman,et al.  EnerJ: approximate data types for safe and general low-power computation , 2011, PLDI '11.