Last edited by
MBrown on January 30, 1984 10:04:27 am PST
Hauser, March 8, 1985 10:58:42 am PST
Carl Hauser, October 4, 1985 1:36:20 pm PDT
Bob Hagmann March 23, 1988 9:17:10 am PST
YggLogRep:
DEFINITIONS =
BEGIN
RecordID: TYPE = YggLog.RecordID;
RecordType: TYPE = YggLog.RecordType;
PageVersion: TYPE = [0..1];
Header:
TYPE =
MACHINE
DEPENDENT
RECORD [
valid: BOOL,
version: PageVersion,
hasContinuation: BOOL,
isContinuation: BOOL,
unused1: [0..7777B] ← 0,
unused2: CARD16 ← 0,
nWords:
INT
includes SIZE[Header] words for the header itself
];
A Header record with nWords=0 and arbitrary other values is used to terminate a page.
RecordTypeHeader:
TYPE =
MACHINE
DEPENDENT
RECORD [
pad: [0..1] ← 0,
type: RecordType ];
NoopRecord:
TYPE =
MACHINE
DEPENDENT
RECORD [
pad: [0..1] ← 0,
type: RecordType ← noop,
fillPage: ARRAY [0..fillCount) OF WORD ← ALL[0] ];
fillCount: CARDINAL = 512-SIZE[Header]-SIZE[RecordTypeHeader];
CheckpointCompleteRecord:
TYPE =
MACHINE
DEPENDENT
RECORD [
pad: [0..1] ← 0,
type: RecordType ← checkpointComplete,
thisRecordID: RecordID ← TRASH,
startAnalysisRecordID: RecordID,
keepRecordID: RecordID,
myFileStore: Rope.ROPE];
TransactionHeader:
TYPE =
MACHINE
DEPENDENT
RECORD [
pad: [0..1] ← 0,
type: RecordType,
transID: YggEnvironment.TransID ];
RestartRecord:
TYPE =
MACHINE
DEPENDENT
RECORD [
wordNumberForCheckpointCompleteRecord: YggEnvironment.WordNumber,
recordIDForCheckpointCompleteRecord: RecordID ];
written in restart file, not in log
END.