write(T1, balx), read(T2, balx), write(T1, balx), commit(T2), abort(T1)
私は試験に向けて復習していますが、これらは私が模擬試験問題で調べてきた問題の 1 つです。
マーキング スキームによると、その答えはトランザクションがシリアライズ可能であるということです。しかし、私はその方法を理解していません。
T1 と T2 は、T1 が T2 を指し、次に先行グラフで T1 を指すため、サイクルにトラップされます。したがって、シリアライズ可能にはなりません。マーキングが間違っていますか、それともここに何か欠けていますか?