ArbiterNotes.tioga
Don Curry March 10, 1988 11:01:05 am PST
run ArbiterImpl ArbRandReq ArbGroupsImpl ArbQuickTests
← Atom.PutProp
[$FullARR, $ArbRandReqParam, NEW[Arbiter.ProbabilitiesRec ← [[1000,1000], 10000]]]
ArbRandReqSeed 0
← Arbiter.ArbNov87A ← FALSE;
run ArbiterImpl ArbRandReq ArbGroupsImpl ArbiterSchematicImpl ArbSimImpl ArbSysTests
← Arbiter.ArbNov87A ← FALSE;
← ArbSysTests.shouldMaskRev1Bug ← FALSE;
ArbiterSim
ArbiterSim +s
ArbRandReq
Arbiter.ArbRandReq: PROC [ pre: PRE ← DefaultPriority, prob: REF ← NIL ] RETURNS [ ct: CoreCreate.CellType
ArbiterImpl
Arbiter.ArbExceptDBusCodeCT: PUBLIC PROC RETURNS [ ct: CoreCreate.CellType ] = {
Arbiter.
ArbInFrameCT:
PUBLIC
PROC [arbNo:
INT ← 0, pra:
PRA ←
ALL[DefaultPriority]]
RETURNS [ ct: CoreCreate.CellType ] = {
Arbiter.ArbDBusCodeCT: PUBLIC PROC [arbNo: INT ← 0, pra: PRA ← ALL[DefaultPriority]] RETURNS [ ct: CoreCreate.CellType ]
ArbGroupsImpl
Arbiter.CreateSanity: PUBLIC PROC RETURNS [ct: CoreCreate.CellType]
Arbiter.CreateWireAnd: PUBLIC PROC RETURNS [ct: CoreCreate.CellType]
Arbiter.CreatePlural: PUBLIC PROC [ b: NAT ] RETURNS [ct: CoreCreate.CellType]
ArbiterSchematicImpl
Arbiter.SchematicCT: PROC [ cellName, designName: CoreCreate.ROPE ] RETURNS [ ct: CoreCreate.CellType]
Arbiter.ResetSchematicCT: PROC [ cellName: CoreCreate.ROPE]
ArbQuickTests
ArbDBus
LocalGrants
GlobalGrants
ArbSysTests
FullArbSysTest
SingleArbiterTest
SingleRequesterTest
Command ArbiterSim in
ArbSimImpl
Set up a simulation of 8 arbiters, each receiving random requests from 8 requesters. +s => use one schematic arbiter, +d => use the DBus to initialize the arbiters.
ArbSys has cellType
Arb0
ArbSysTests.GeneralArbSysTest should probably be collecting vectors
GeneralArbSysTest could have as arg:
simulation: Rosemary.Simulation
See: TestRose.Inverter2Test