1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
sequence 1
----------------------------------------
P0 P1
----------------------------------------
start
fetch_and_add a
start
fetch_and_add a
fetch_and_add b
----------------------------------------
sequence 2
----------------------------------------
P0 P1
----------------------------------------
start
start
fetch_and_add a
fetch_and_add a
fetch_and_add b
----------------------------------------
explored 2 interleavings and 9 states
----
(1,a,w),(0,a,w),(1,b,w)
(0,a,w),(1,a,w),(1,b,w)
----
|
