•Two sets:
•Parallel set PS(f) ={(pf, ptid) | all threads with tid >= ptid in function pf is parallel with the running
thread of f}
•Children set CS(f)={fid | fid is the descendant of current
function }
•
•Operations:
•Spawn: Thread Tx of function Fi spawn function Fj
• Operations
on child Fj
•
•
•
• Operations
on parent Fi
•
•