source:
vis_dev/vis-2.1/examples/treearbiter/8-arbit.fair
@
11
Last change on this file since 11 was 11, checked in by , 13 years ago | |
---|---|
File size: 246 bytes |
Line | |
---|---|
1 | # G1.P1 doesnt lock the token forever |
2 | !(G1.P1.procState=lock); |
3 | |
4 | !(G1.P2.procState=lock); |
5 | |
6 | !(G1.P3.procState=lock); |
7 | |
8 | !(G1.P4.procState=lock); |
9 | |
10 | !(G2.P1.procState=lock); |
11 | |
12 | !(G2.P2.procState=lock); |
13 | |
14 | !(G2.P3.procState=lock); |
15 | |
16 | !(G2.P4.procState=lock); |
17 |
Note: See TracBrowser
for help on using the repository browser.