予測可能な弱隔離データストアアプリケーションの非直列化動作の検出

IsoPredict は、観察された直列化実行から、弱隔離下での非直列化実行を予測する動的予測的解析手法を提案する。IsoPredict は、実行の実現可能性、非直列化、弱隔離レベルを表すSMT制約を生成し、SMTソルバを使用して解決することで、非直列化実行を見つける。