-- RTProcessPrivate.Mesa
-- last edited September 9, 1982 10:33 am by Paul Rovner


DIRECTORY
  PSB USING[PsbIndex],
  RTProcess USING[Handle];

RTProcessPrivate: DEFINITIONS
= BEGIN OPEN PSB;

  MapRecord: TYPE = RECORD[map: SEQUENCE length: CARDINAL OF RTProcess.Handle];
  
  ProcessObject: TYPE = MONITORED RECORD[valid: BOOLEAN _ FALSE,
                                                        attachment: REF ANY _ NIL,
                                                        pageFaults: LONG INTEGER _ 0,
                                                        psbi: PsbIndex,
                                                        stopState: StopState _ stoppable,
                                                        resume: CONDITION];

  StopState: TYPE = {stoppable, stopping, stopped, unwinding, aborting};
  
        -- variables
  MapPSBIToHandle: REF MapRecord;
  
          -- PROCs

  NewCedarProcessRegistered: PROC[psbi: PsbIndex];
  InvalidateCedarProcess: PROC[psbi: PsbIndex];
  InvalidateFaultingCedarProcess: PROC[psbi: PsbIndex];
  
END.