previous | start | next

Trace Violating Progress

Threaed 0        Thread 1          turn
                                     0
0)
1)
2)-------------->0)
                 1)
                 1)
                 1)
2)<--------------1)
3)
4)                                   1  
0)                                   
5)-(finished)--->1)
                 1)
                 2)
                 3)
                 4)                  0
                 0)
                 1)
                 1)
                 1)
                 1) (stuck forever; no thread in its c.s.)



previous | start | next