<<>> <> <> <> <> <<>> <> DIRECTORY WorkerThreads; WorkerThreadsPrivate: CEDAR DEFINITIONS = { PoolRec: TYPE = RECORD [ limitCnt: INT ¬ 0, --in real number of processes executingCnt: INT ¬ 0, head: REF ActivityRec ¬ NIL, tail: REF ActivityRec ¬ NIL, initialPriority: CARD32 ¬ 0 ]; ActivityRec: TYPE = RECORD [ state: WorkerThreads.ActivityState ¬ queued, proc: PROC[REF], data: REF, next: REF ActivityRec, recheck: CONDITION, process: PROCESS ]; <<>> }.