ProcessorFace.mesa
Copyright Ó 1985, 1986, 1991 by Xerox Corporation. All rights reserved.
Levin on April 21, 1983 11:29 am
Andrew Birrell, August 8, 1983 10:12 am
Russ Atkinson (RRA) February 27, 1985 7:57:48 pm PST
Bill Jackson (bj) October 14, 1986 6:14:58 pm PDT
Willie-sue, August 1, 1991 2:21 pm PDT
Doug Wyatt, December 11, 1986 11:05:13 am PST
JKF August 24, 1988 5:13:10 pm PDT
Carl Hauser, September 6, 1988 2:48:52 pm PDT
compared with:
[Huey: Osbu North]<APilot>12.2>Faces>Public>ProcessorFace.mesa
Processor ID
At any moment in time, no two processors will have the same processor id. The processor id remains constant as long as a system element remains running, but may change across system restarts. Programs should make no assumptions about the structure of a processor id.
ProcessorID: TYPE = HostNumbers.ProcessorID;
processorID:
READONLY ProcessorID;
Note: processorID=nullProcessorID indicates that the processor has not had a unique processor id assigned. This is likely to prevent many client systems (e.g. Pilot) from running.
ProcessorType: TYPE = MACHINE DEPENDENT {sun3(0), sun4(1), rs6000(2), decstation(3), (CARD.LAST)};
GetProcessorType:
PROC
RETURNS[ProcessorType];
GetProcessorTypeName:
PROC [ProcessorType]
RETURNS [
ATOM];
ProcessorTypeFromName:
PROC [
ATOM]
RETURNS [ProcessorType];
to allow for adding processor types; returns LAST[ProcessorType] if the name is unknown
LastProcessorType:
PROC
RETURNS[ProcessorType];
returns the last ProcessorType currently defined