DMSmallCacheModel.mesa
Written By: Pradeep Sindhu, August 19, 1985 4:57:12 pm PDT
Last Edited By: Pradeep Sindhu August 29, 1985 1:36:15 pm PDT
DIRECTORY
DM,
DMMBusModel,
DMPBusModel;
DMSmallCacheModel: CEDAR DEFINITIONS = BEGIN
Small Cache Related Types
CacheSpecific: TYPE = REF CacheSpecificRec;
CacheSpecificRec: TYPE = RECORD [
pbus: DM.Component ← NIL,
pbusOp: DMPBusModel.PCmdType ← NoOp,
mbus: DM.Component ← NIL,
mbusHasSC: BOOL ← TRUE,
nLines: LineName ← maxLines,
cam: CamType,
ram: RamType
];
maxLines: INT = 64;
CamType: TYPE = ARRAY LineName OF Line;
RamType: TYPE = ARRAY LineName OF DM.Word ← ALL [DM.ZerosWord];
LineName: TYPE = [1..maxLines];
Line: TYPE = RECORD [
va: DM.Word,
shared: BOOL,
master: BOOL,
valid: BOOL ← FALSE
];
The Small Cache Procedures
Create: PUBLIC PROC [pbus, mbus: DM.Component] RETURNS [cache: DM.Component];
END.