Arbiter:
CEDAR
DEFINITIONS
= BEGIN
maxArbiters: NAT = 8;
Arbiters: TYPE = [0..maxArbiters);
OtherArbiters:
TYPE = [0..maxArbiters-1);
There are up to eight arbiters in a Dragon system.
maxDevices: NAT = 8;
Devices:
TYPE = [0..maxDevices);
And each arbiter connects to up to eight requesting devices.
Priority:
TYPE = [0..8) ← 7;
0 is best-priority
HoldPriority: Priority = 2;
If 2 is the best-priority request, then no grant is made.
NoRequestPriority: Priority = 7;
PacketLength: TYPE = MACHINE DEPENDENT {short2(0), long5(1)} ← short2;
DevPortParams:
TYPE =
RECORD [
priority: Priority ← 7,
length: PacketLength ← short2
];
DevReqType: TYPE = MACHINE DEPENDENT {L(0), H(1)} ← L;
DevReqCode: TYPE = MACHINE DEPENDENT {release(0), seize(1), reqL(2), reqH(3)} ← release;
ReqCount: TYPE = [0..6] ← 0;
ArbParams: TYPE = REF ArbParamsRec ← NIL;
ArbParamsRec:
TYPE =
RECORD [
whoAmI: Arbiters ← 0,
ports: ARRAY Devices OF ARRAY DevReqType OF DevPortParams
];
RequesterStateRec:
TYPE =
RECORD [
probs: REF ProbabilitiesRec ← NIL,
state: REF ← NIL
];
ProbabilitiesRec:
TYPE =
RECORD [
-- one in x
request: ARRAY DevReqType OF INT ← ALL[100],
hold: INT ← 1000
];
DSerialOut: NAT = 0; -- DBus wire indexes
DSerialIn: NAT = 1;
nDReset: NAT = 2;
nDFreeze: NAT = 3;
DExecute: NAT = 4;
DAddress: NAT = 5;
DShiftCK: NAT = 6;
PriorityRecLen: NAT = 9;
PriorityRec:
TYPE =
MACHINE
DEPENDENT
RECORD [
unused (0: 0..6): [0..128) ← 0,
hiP (0: 7..9): [0..8) ← 0,
hiLong (0: 10..10): BOOL ← FALSE,
loP (0: 11..13): [0..8) ← 0,
loLong (0: 14..14): BOOL ← FALSE,
nFIFOEna (0: 15..15): BOOL ← FALSE
];
DBusInitList: TYPE = LIST OF REF ANY ← NIL;
DBusInitItem:
TYPE =
RECORD [
addr: BitOps.BitWord ← 0,
offset: NAT ← 0,
containerWidth: NAT ← BitOps.bitsPerDWord,
container: BitOps.BitDWord
];
ArbExceptDBusCodeCT: PROC RETURNS [ ct: CoreCreate.CellType ];
ArbDBusCodeCT: PROC RETURNS [ ct: CoreCreate.CellType ];
SchematicCT:
PROC [ cellName, designName: CoreCreate.
ROPE ]
RETURNS [ ct: CoreCreate.CellType ];
ResetSchematicCT: PROC [ cellName: CoreCreate.ROPE ];
SimplestArbCT:
PROC
RETURNS [ ct: CoreCreate.CellType ];
Returns a single arbiter with two random request ports and the rest free
This will be used by other folks trying to simulate their stuff.
SimplestArbInit: PROC [cellType: CoreCreate.CellType, p: Ports.Port, Eval: PROC [memory: BOOL ← TRUE], dBusInit: DBusInitList ← NIL ];
CreateSanity:
PROC
RETURNS [ ct: CoreCreate.CellType ];
sanity check for not more than one grant, etc.
ArbRandReq: PROC RETURNS [ ct: CoreCreate.CellType ];
END.