Slide 100
Slide 100 text
#JTF2019 #JTF2019_A
Σ = { Server : [], read: { 000, … }
A1: false, read: { 001, … }
A2: false, read: { 002, … } }
P = {
(042, A1, LockMsg),
}
T = [ ..., ]
Σ = { Server : [], read: { 000, … }
A1: false, read: { 001, … }
A2: false, read: { 002, … } }
P = {
(042, A1, LockMsg),
(042, A1, LockMsg),
}
T = [ ..., ]
Σ = { Server : []
A1: false
A2: false }
P = {
(A1, LockMsg),
}
T = [ ..., ]
重複ありの場合 重複なしの場合
unwrap はトレース T を保存