TaxDC: A Taxonomy of Non Deterministic Concurrency Bugs in Datacenter Distributed Systems
We present TaxDC, the largest and most comprehensive taxonomy of non deterministic concurrency bugs in distributed systems. We study 104 distributed concurrency (DC) bugs from four widely deployed cloud scale datacenter distributed systems, Cassandra, Hadoop MapReduce, HBase and ZooKeeper. We study DC bug characteristics along several axes of analysis such as the triggering timing condition and input preconditions, error and failure symptoms, and fix strategies, collectively stored as 2,083 classification labels in TaxDC database. We discuss how our study can open up many new research directions in combating DC bugs.
ASPLOS 2016