Polygraph: A Plug-n-Play Framework to Quantify Application Anomalies

Polygraph is a tool to quantify application anomalies attributed to violating atomicity, isolation, and linearizability properties of transactions. It is a plug-n-play framework that includes visualization tools to empower an experimentalist to (a) quickly incorporate Polygraph into an existing application or benchmark and (b) quantify the number of anomalies. We demonstrate Polygraph using existing benchmarks, including TPC-C, SEATS, TATP, YCSB, and BG. We highlight Polygraph as an on-line tool by showing it scales for almost all benchmarks to process their transaction log records faster than their rate of production.

Automated summary

Polygraph is a tool designed to quantify application anomalies caused by violating transaction properties. It is a plug-n-play framework with visualization tools for quick integration into existing applications and benchmark testing. Demonstrated using various benchmarks, Polygraph is highlighted as an online tool that scales efficiently for processing transaction logs faster than their production rate.