1 Hit in 3.3 sec

RegionTrack: A Trace-based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces [article]

Xiaoxue Ma, Shangru Wu, Ernest Pobee, Xiupei Mei, Hao Zhang, Bo Jiang, Wing-Kwong Chan
2020 arXiv   pre-print
We prove that RegionTrack is sound and complete in detecting both transactional atomicity violations and non-serializable traces.  ...  The empirical results confirm that RegionTrack precisely detected all those transactions which experienced transactional atomicity violations and identified all non-serializable traces.  ...  . □ Based on the above theorems, we prove the soundness and completeness of RegionTrack in reporting transactional atomicity violations and identifying non-serializable traces.  ... 
arXiv:2008.04479v2 fatcat:irgptfoscfe6rpcomm67fgoqre