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.)