Cache2.mesa
Copyright © 1986 by Xerox Corporation. All rights reserved.
McCreight, September 10, 1986 5:34:24 pm PDT
Curry, September 11, 1986 0:59:33 am PDT
Don Curry October 30, 1986 10:59:05 am PST
DIRECTORY CacheOps, Core, Dragon, Ports, Random;
Cache2: CEDAR DEFINITIONS
= BEGIN
PI: TYPE = {PhA, PhB, PData, PCmdA, PUserMode, PRejectB, PFaultB, ResetAB};
Cache: PUBLIC PROC [ vm: CacheOps.VirtualMemory, nLines: NAT ← CacheOps.StdLinesPerCache, skipRejects: BOOL ← FALSE ] RETURNS [ ct: Core.CellType ];
CacheState: TYPE = RECORD [
phALast: BOOL ← FALSE, -- hack to improve simulation performance
cache: CacheOps.Cache,
randomStream: Random.RandomStream,
cycleNo: INT ← 0,
skipRejects: BOOL ← FALSE,
rejectCycles: NAT ← 0,
cmdAB: Dragon.PBusCommands ← NoOp,
address, fetchData, storeDataBA: Dragon.HexWord ← 0,
cmdType: {noOp, reset, fetch, specialFetch, store, ioStore} ← noOp,
fault: Dragon.PBusFaults ← none,
firstBOfCmdBA: BOOL ← FALSE,
csPredicted, csNew: Dragon.HexWord ← 0
];
END.