Commit | Line | Data |
---|---|---|
0b55f123 | 1 | /* test execution priorities |
2 | run this as: | |
3 | spin -p -g priorities | |
4 | requires Spin Version 2.5 or later | |
5 | */ | |
6 | ||
7 | int a[5]; | |
8 | ||
9 | proctype A() | |
10 | { | |
11 | do | |
12 | :: printf("%d\n", _pid); a[_pid]++ | |
13 | od | |
14 | } | |
15 | ||
16 | init { | |
17 | atomic { | |
18 | run A() priority 1; | |
19 | run A() priority 2; | |
20 | run A() priority 3; | |
21 | run A() priority 4; | |
22 | } } |