TY - JOUR
T1 - Markov chain algorithms
T2 - A template for building future robust low-power systems
AU - Deka, Biplab
AU - Birklykke, Alex A.
AU - Duwe, Henry
AU - Mansinghka, Vikash K.
AU - Kumar, Rakesh
PY - 2014/6/28
Y1 - 2014/6/28
N2 - Although computational systems are looking towards post CMOS devices in the pursuit of lower power, the expected inherent unreliability of such devices makes it difficult to design robust systems without additional power overheads for guaranteeing robustness. As such, algorithmic structures with inherent ability to tolerate computational errors are of significant interest. We propose to cast applications as stochastic algorithms based on Markov chains (MCs) as such algorithms are both sufficiently general and tolerant to transition errors. We show with four example applications-Boolean satisfiability, sorting, low-density parity-check decoding and clustering- how applications can be cast as MC algorithms. Using algorithmic fault injection techniques, we demonstrate the robustness of these implementations to transition errors with high error rates. Based on these results, we make a case for using MCs as an algorithmic template for future robust low-power systems.
AB - Although computational systems are looking towards post CMOS devices in the pursuit of lower power, the expected inherent unreliability of such devices makes it difficult to design robust systems without additional power overheads for guaranteeing robustness. As such, algorithmic structures with inherent ability to tolerate computational errors are of significant interest. We propose to cast applications as stochastic algorithms based on Markov chains (MCs) as such algorithms are both sufficiently general and tolerant to transition errors. We show with four example applications-Boolean satisfiability, sorting, low-density parity-check decoding and clustering- how applications can be cast as MC algorithms. Using algorithmic fault injection techniques, we demonstrate the robustness of these implementations to transition errors with high error rates. Based on these results, we make a case for using MCs as an algorithmic template for future robust low-power systems.
KW - Algorithmic fault tolerance
KW - Error tolerance
KW - Markov chain
UR - http://www.scopus.com/inward/record.url?scp=84901630155&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84901630155&partnerID=8YFLogxK
U2 - 10.1098/rsta.2013.0277
DO - 10.1098/rsta.2013.0277
M3 - Article
C2 - 24842030
AN - SCOPUS:84901630155
SN - 1364-503X
VL - 372
JO - Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
JF - Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
IS - 2018
ER -