Detecting Isolation Bugs via Transaction Oracle Construction

[stonewhitener]

Metadata

• DOI: https://doi.org/10.1109/ICSE48619.2023.00101

Summary

分離性のバグを検出するためのオラクルの効率的な構築手法 Troc を提案．悲観的並行性制御を採用する製品を仮定し，競合する2つのトランザクションをクエリごとにインターリーブさせて実行し，期待する結果となっているかどうかを確認．MySQL や MariaDB，TiDB などで新たな分離性のバグを発見．