WorkerThreadsPrivate.mesa
Copyright Ó 1993 by Xerox Corporation. All rights reserved.
Created by Christian Jacobi, April 2, 1993
Christian Jacobi, April 13, 1993 11:39 am PDT
Very private interface to define opaque types of 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
];
}.