-- ProcessPriorities.mesa (edited January 29, 1981 by Knutsen)

-- If a process runs at priorityFrameFault, it must either: (a) not take frame faults, page faults, or write faults; or (b) have a state vector allocated for itself at that priority level.

-- If a process runs at the same priority as any process which is involved in satisfying page faults {priorityPageFaultLow, priorityPageFaultHigh, priorityRealTime}, it must either: (a) not take page faults or write faults; or (b) have a state vector allocated for itself at that priority level.

-- If a process runs at the same priority as any process which is involved in satisfying write faults {priorityPageFaultLow, priorityPageFaultHigh, priorityRealTime}, it must either: (a) not take write faults; or (b) have a state vector allocated for itself at that priority level.

-- (State vector allocation is specified in the bootmesa file or by StartPilot command).

DIRECTORY

Process USING [Priority];

ProcessPriorities: DEFINITIONS =

BEGIN

priorityLowest: Process.Priority = 0; -- reserved for performance monitoring idle process.

priorityClientLow: Process.Priority = 1; -- for client background processes.

priorityClient: Process.Priority = 2; -- for client main processing.

priorityClientHigh: Process.Priority = 3; -- for client foreground processes.

priorityPageFaultLow: Process.Priority = 4; -- for Pilot page fault handling processes (see note above).

priorityPageFaultHigh: Process.Priority = 5; -- for Pilot page fault handling processes (see note above).

priorityRealTime: Process.Priority = 6; -- for real-time device processes (see note above).

priorityFrameFault: Process.Priority = 7; -- for Pilot frame fault handler process (see note above).

diskInterruptPriority: Process.Priority = priorityRealTime;

END.

LOG

February 19, 1979 5:41 PMHorsleyCreated file.

January 19, 1981 2:25 PMKnutsenAdded priority*.

January 29, 1981 12:41 PMKnutsenChanges priority* to their correct values.