TY - GEN
T1 - Minimizing faulty executions of distributed systems
AU - Scott, Colin
AU - Panda, Aurojit
AU - Brajkovic, Vjekoslav
AU - Necula, George
AU - Krishnamurthy, Arvind
AU - Shenker, Scott
PY - 2016/1/1
Y1 - 2016/1/1
N2 - When troubleshooting buggy executions of distributed systems, developers typically start by manually separating out events that are responsible for triggering the bug (signal) from those that are extraneous (noise). We present DEMi, a tool for automatically performing this minimization. We apply DEMi to buggy executions of two very different distributed systems, Raft and Spark, and find that it produces minimized executions that are between 1X and 4.6X the size of optimal executions.
AB - When troubleshooting buggy executions of distributed systems, developers typically start by manually separating out events that are responsible for triggering the bug (signal) from those that are extraneous (noise). We present DEMi, a tool for automatically performing this minimization. We apply DEMi to buggy executions of two very different distributed systems, Raft and Spark, and find that it produces minimized executions that are between 1X and 4.6X the size of optimal executions.
UR - http://www.scopus.com/inward/record.url?scp=84979937047&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84979937047&partnerID=8YFLogxK
M3 - Conference contribution
T3 - Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2016
SP - 291
EP - 309
BT - Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2016
PB - USENIX Association
T2 - 13th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2016
Y2 - 16 March 2016 through 18 March 2016
ER -