YggBuffManPrivate.mesa
Copyright © 1988 by Xerox Corporation. All rights reserved.
Bob Hagmann June 30, 1988 2:25:04 pm PDT
DIRECTORY
BasicTime USING[GMT, nullGMT],
YggDIDMap USING[Run],
YggFile USING[FileHandle];
YggBuffManPrivate: CEDAR DEFINITIONS =
BEGIN
Chunk:
TYPE =
RECORD [
useCount: NAT ← 0,
lastTouchTime: BasicTime.GMT ← BasicTime.nullGMT,
file: YggFile.FileHandle ← NIL, -- informative only
run: YggDIDMap.Run,
startAddress: LONG POINTER ← NIL,
lruListPrev: REF Chunk ← NIL,
lruListNext: REF Chunk ← NIL,
valid: BOOL ← FALSE
];
END.