|
|
|
|
|
|
|
|
|
| Sync:
Function Fi executes sync |
||||||||
| PS(Fi)=PS(Fi)-CS(Fi) |
||||||||
| Return:
Function Fj returns to Function Fi |
||||||||
| CS(Fi) = CS(Fi) + CS(Fj) |
||||||||
| Release PS(Fj) and CS(Fj) |
||||||||
| Concurrency
Test: |
||||||||
| Check if (fx, tx) is parallel with the
current running thread |
||||||||
| (fc, tc): |
||||||||
