•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):
•