DIRECTORY
Basics,
Camelot,
CamelotRecoverable,
ConstArith,
PBasics,
Process,
Rope,
SafeStorage,
YggdrasilInit,
YggEnvironment,
YggInternal,
YggLog,
YggLogBasic,
YggLogControl,
YggLogInline,
YggLogRep,
YggRecoveryPassProcs,
YggRestartFile,
YggTransaction;

YggLogImpl: CEDAR MONITOR
IMPORTS
CamelotRecoverable, ConstArith, Process, SafeStorage, YggdrasilInit, YggLog, YggLogBasic, YggLogInline, YggRestartFile, YggTransaction
EXPORTS
YggLog, YggLogControl =

BEGIN

FileStore: TYPE = YggEnvironment.FileStore;
TransID: TYPE = YggEnvironment.TransID;
nullTransID: TransID = YggEnvironment.nullTransID;
PageNumber: TYPE = YggEnvironment.PageNumber;
PageCount: TYPE = YggEnvironment.PageCount;
WordNumber: TYPE = YggLogBasic.WordNumber;
WordCount: TYPE = YggLogBasic.WordCount;
RecordID: TYPE = YggLog.RecordID;
nullRecordID: RecordID = YggLog.nullRecordID;
Block: TYPE = YggLog.Block;
RecordType: TYPE = YggLog.RecordType;
LogRecordPhaseType: TYPE = YggLog.LogRecordPhaseType;

ClientProgrammingError: ERROR = CODE;
InternalProgrammingError: ERROR = CODE;
WriteFailed: PUBLIC ERROR = CODE;


logDeviceCharacteristics: PUBLIC YggEnvironment.DeviceCharacteristics;
wordsPerPage: PUBLIC CARD;  -- words in a Log page
bytesPerPage: PUBLIC CARD;  -- bytes in a Log page

lastRecordWithUndo: RecordID _ nullRecordID;

WordsINWORDS: CARD = WORDS[CARD32];

Format: PUBLIC PROC [ ] = {
logSize: PageCount;
thisCheckpointBeginRecord: RecordID;
YggLogBasic.EstablishLogFile[];
logSize _ YggLogBasic.LogFileSize[];
logDeviceCharacteristics _ NEW[YggEnvironment.DeviceCharacteristicsRep _ [wordsPerPage: 1024/BYTES[WORD], bytesPerPage: 1024, logWordsPerPage: 8, logBytesPerPage: 10]];
wordsPerPage _ logDeviceCharacteristics.wordsPerPage;
bytesPerPage _ wordsPerPage * Basics.bytesPerWord;
YggLogBasic.OpenForPut[nextPage: 0, version: 0, nextRecord: nullRecordID];
YggLogBasic.Release[beforeRecord: nullRecordID];
YggLogBasic.Release[beforeRecord: WriteNoopRecords[logSize/2].followingRecord];
[] _ WriteNoopRecords[logSize - logSize/2];
thisCheckpointBeginRecord _ YggLogBasic.RecordIDOfNextPut[];
IF YggLogBasic.WordNumberFromRecordID[thisCheckpointBeginRecord] # YggLog.nullRecordID THEN
ERROR InternalProgrammingError;
YggLogBasic.Release[beforeRecord: thisCheckpointBeginRecord];
[] _ WriteCheckpointCompleteRecord[
startAnalysisRecord: thisCheckpointBeginRecord,
keepRecord: thisCheckpointBeginRecord,
length: SIZE[YggLogRep.CheckpointCompleteRecord]/WordsINWORDS  
];
YggLogBasic.CloseForPut[]; 
};

WriteNoopRecords: PUBLIC PROC [nPages: PageCount]
RETURNS [followingRecord: RecordID] = {
noopRecordBody: YggLogRep.NoopRecord _ [];
FOR page: PageCount _ 0, page+1 UNTIL page = nPages DO
TRUSTED{[followingRecord: followingRecord] _ YggLogBasic.Put[from:
[base: @noopRecordBody, length: SIZE[YggLogRep.NoopRecord]/SIZE[CARD32]], optr: [[0], 0, 0]];};
ENDLOOP;
RETURN [followingRecord];
};

WriteCheckpointCompleteRecord: PROC [
startAnalysisRecord, keepRecord: RecordID, length: INT]
RETURNS [thisRecord: RecordID] = {
checkpointCompleteRecordBody: YggLogRep.CheckpointCompleteRecord _
[startAnalysisRecordID: startAnalysisRecord, keepRecordID: keepRecord];
TRUSTED {
[thisRecord: thisRecord] _ YggLogBasic.Put[
from: [base: @checkpointCompleteRecordBody, length: length],
optr: [[0], 0, 0],
writeID: TRUE,
force: TRUE];
};
YggRestartFile.WriteRestartRecord[YggLogBasic.WordNumberFromRecordID[thisRecord], thisRecord];
};


DiscoverWhereToStartAnalysisPass: PUBLIC PROC [errorOnBadCheckpoint: BOOL] RETURNS [
ok: BOOL, checkpointWord: WordNumber, checkpointRecord, startAnalysisRecord: RecordID] = {

CheckpointCompleteRecordFromWord: PROC [checkpointWord: WordNumber] RETURNS [
ok: BOOL, checkpointRecord, startAnalysisRecord: RecordID] = {
{
checkpointCompleteRecordBody: YggLogRep.CheckpointCompleteRecord;
notStartOfRecord: BOOL;
currentRecord: RecordID;
[notStartOfRecord: notStartOfRecord, currentRecord: currentRecord] _
YggLogBasic.OpenRecordStreamFromWord[checkpointWord ! YggLogBasic.InvalidPage =>
GOTO failReturn ];
IF notStartOfRecord THEN GOTO failReturn;
IF YggLogBasic.CheckCurrentRecord[].truncated THEN GOTO failReturn;
TRUSTED {
IF YggLogBasic.GetCurrentRecord[currentRecord, [base: @checkpointCompleteRecordBody,
length: SIZE[YggLogRep.CheckpointCompleteRecord]]].status = destinationFull OR
checkpointCompleteRecordBody.type # checkpointComplete THEN GOTO failReturn;
};
checkpointRecord _ checkpointCompleteRecordBody.thisRecordID;
startAnalysisRecord _ checkpointCompleteRecordBody.thisRecordID;
ok _ TRUE;
EXITS
failReturn => { ok _ FALSE };
};
YggLogBasic.CloseRecordStream[];
RETURN [ok, checkpointRecord, startAnalysisRecord];
};--CheckpointCompleteRecordFromWord

checkpointRecordFromRestartFile: RecordID;
[checkpointWord, checkpointRecordFromRestartFile] _
YggRestartFile.ReadRestartRecord[];
[ok, checkpointRecord, startAnalysisRecord] _
CheckpointCompleteRecordFromWord[checkpointWord];
IF errorOnBadCheckpoint AND (NOT ok OR checkpointRecord # checkpointRecordFromRestartFile) THEN ERROR;
RETURN [ok, checkpointWord, checkpointRecord, startAnalysisRecord];
};--DiscoverWhereToStartAnalysisPass

Recover: PUBLIC PROC [] = {

checkpointWord: WordNumber; checkpointRecord: RecordID;
startAnalysisRecord: RecordID;
ok: BOOL;

WHILE ~YggdrasilInit.ReadyForRecovery DO Process.Pause[Process.MsecToTicks[50]] ENDLOOP;
[] _ YggLogBasic.EstablishLogFile[];
[ok, checkpointWord, checkpointRecord, startAnalysisRecord] _
DiscoverWhereToStartAnalysisPass[TRUE];

AnalysisPass[checkpointWord, checkpointRecord, startAnalysisRecord];
YggLogBasic.Force[followingRecord: YggLogBasic.RecordIDOfNextPut[]];

UpdatePass[checkpointWord, checkpointRecord, startAnalysisRecord,
YggLogBasic.RecordIDOfNextPut[]];

[] _ Checkpoint[nullRecordID, nullRecordID];
YggLogBasic.AssertNormalOperation[];
CamelotRecoverable.CamelotRecoveryComplete[];
};--Recover

AnalysisPass: PROC [
checkpointWord: WordNumber, checkpointRecord, firstRecord: RecordID] = {
currentRecord, nextRecord: RecordID;
TurnOffCheckpointRegistration[];
{ notStartOfRecord: BOOL;
[notStartOfRecord: notStartOfRecord, currentRecord: currentRecord] _
YggLogBasic.OpenRecordStreamFromCheckpoint[checkpointWord: checkpointWord,
checkpointRecord: checkpointRecord, firstRecord: firstRecord];
IF notStartOfRecord THEN ERROR InternalProgrammingError;
};
DO
currentRecordType: RecordType _ PeekCurrentType[currentRecord]; -- no errors
analysisProc: YggLogControl.AnalysisProc;
IF currentRecordType IN AnalysisProcsIndex AND
(analysisProc _ analysisProcs[currentRecordType]) # NIL AND
NOT YggLogBasic.CheckCurrentRecord[].truncated THEN {
transID: TransID _ PeekCurrentTrans[currentRecord];
analysisProc[currentRecord, currentRecordType, transID];
};
{ endOfLog, truncatedRecord: BOOL;
[endOfLog: endOfLog, truncatedRecord: truncatedRecord, currentRecord: nextRecord] _
YggLogBasic.AdvanceRecordStream[];
IF truncatedRecord THEN NoteTruncatedRecord[currentRecord];
IF endOfLog THEN EXIT;
};
currentRecord _ nextRecord;
ENDLOOP;
IF NOT checkpointState.checkpointSeen THEN ERROR InternalProgrammingError;
{ nextPageToWrite: PageNumber;  versionOfNextPageToWrite: YggLogRep.PageVersion;
[nextPageToWrite, versionOfNextPageToWrite] _ YggLogBasic.GetCurrentPageAndVersion[];
YggLogBasic.CloseRecordStream[];
YggLogBasic.OpenForPut[nextPage: nextPageToWrite,
version: 1-versionOfNextPageToWrite, nextRecord: nextRecord];
YggLogBasic.Release[beforeRecord: checkpointState.keepRecord];
YggLogBasic.Force[followingRecord:
WriteNoopRecords[nPages: YggLogBasic.maxInvalidLogPages].followingRecord];
YggLogBasic.CloseForPut[];
YggLogBasic.OpenForPut[nextPage: nextPageToWrite,
version: versionOfNextPageToWrite, nextRecord: nextRecord]
};
};--AnalysisPass

RoundUpToPages: PROC [recordID: RecordID] RETURNS [RecordID] = {
words: CARDINAL = YggLogInline.WordInPageFromRecordID[recordID, YggLog.wordsPerPage];
RETURN [
IF words= 0 THEN recordID ELSE YggLogInline.AddC[recordID, YggLog.wordsPerPage-words]];
};

firstTruncatedRecord, lastTruncatedRecord: LIST OF RecordID _ NIL;

NoteTruncatedRecord: PROC [record: RecordID] = {
new: LIST OF RecordID _ CONS [first: record, rest: NIL];
IF lastTruncatedRecord # NIL THEN lastTruncatedRecord.rest _ new;
lastTruncatedRecord _ new;
IF firstTruncatedRecord = NIL THEN firstTruncatedRecord _ new;
};

CheckpointCompleteAnalysisProc: PROC [
record: RecordID, type: RecordType, trans: TransID] = TRUSTED {
checkpointCompleteRecordBody: YggLogRep.CheckpointCompleteRecord;
IF YggLogBasic.GetCurrentRecord[currentRecord: record, to:
[base: @checkpointCompleteRecordBody,
length: SIZE[YggLogRep.CheckpointCompleteRecord]]].status = destinationFull OR
checkpointCompleteRecordBody.type # checkpointComplete THEN ERROR;
checkpointState.keepRecord _ checkpointCompleteRecordBody.keepRecordID;
checkpointState.checkpointSeen _ TRUE;
};

CheckpointState: TYPE = RECORD [
checkpointSeen: BOOL _ FALSE,
keepRecord: RecordID
];
checkpointState: CheckpointState;

UpdatePass: PROC [checkpointWord: WordNumber,
checkpointRecord, firstRecord, nextRecordToWrite: RecordID] = {
currentTruncatedRecord: LIST OF RecordID _ firstTruncatedRecord;
notStartOfRecord: BOOL;
currentRecord: RecordID;
expectTruncatedRecord: BOOL;
TurnOffRecoveryRegistration[];
[notStartOfRecord: notStartOfRecord, currentRecord: currentRecord] _
YggLogBasic.OpenRecordStreamFromCheckpoint[checkpointWord: checkpointWord,
checkpointRecord: checkpointRecord, firstRecord: firstRecord];
IF notStartOfRecord THEN ERROR InternalProgrammingError;
DO
expectTruncatedRecord _ FALSE;
{
currentRecordType: RecordType;
recoveryProc: YggLog.RecoveryProc;
IF currentTruncatedRecord # NIL THEN TRUSTED {
SELECT ConstArith.Compare[currentRecord, currentTruncatedRecord.first] FROM
less => NULL;
equal => {
expectTruncatedRecord _ TRUE;
currentTruncatedRecord _ currentTruncatedRecord.rest;
GOTO GetNext };
greater => ERROR InternalProgrammingError;
ENDCASE => ERROR;
};
TRUSTED {
SELECT ConstArith.Compare[currentRecord, nextRecordToWrite] FROM
less => NULL;
equal => EXIT;
greater => ERROR InternalProgrammingError;
ENDCASE => ERROR;
};
IF (currentRecordType _ PeekCurrentType[currentRecord]) IN RecoveryProcsIndex AND
(recoveryProc _ recoveryProcs[currentRecordType]) # NIL THEN {
transID: TransID _ PeekCurrentTrans[currentRecord];
IF ~YggTransaction.IsNullTrans[transID] THEN {
s: YggTransaction.Outcome _ YggTransaction.StateDuringRecovery[transID];
recoveryProc[currentRecord, currentRecordType, transID, s];
};
};
GOTO GetNext;
EXITS
GetNext => {
endOfLog, truncatedRecord: BOOL;  nextRecord: RecordID;
[endOfLog: endOfLog, truncatedRecord: truncatedRecord, currentRecord: nextRecord] _
YggLogBasic.AdvanceRecordStream[];
IF endOfLog AND (nextRecord # nextRecordToWrite) OR
(truncatedRecord # expectTruncatedRecord) THEN ERROR InternalProgrammingError;
currentRecord _ nextRecord;
};
};
ENDLOOP;
};

PeekCurrentType: PUBLIC PROC [thisRecord: RecordID] RETURNS [recordType: RecordType] = {
recordTypeHeader: YggLogRep.TransactionHeader;  -- was RecordTypeHeader
status: YggLog.ReadProcStatus;
TRUSTED {[status: status] _ YggLogBasic.GetCurrentRecord[currentRecord: thisRecord,
to: [base: @recordTypeHeader, length: WORDS[CARD32]]]; };  -- size was YggLogRep.RecordTypeHeader.SIZE, but that is 1 and is a problem on the D-machines for PBasics.Copy
IF status = sourceExhausted THEN ERROR InternalProgrammingError;
RETURN [recordTypeHeader.type];
};

PeekCurrentTrans: PROC [thisRecord: RecordID] RETURNS [TransID] = {
transactionHeader: YggLogRep.TransactionHeader;
status: YggLog.ReadProcStatus;
TRUSTED {[status: status] _ YggLogBasic.GetCurrentRecord[currentRecord: thisRecord,
to: [base: @transactionHeader, length: YggLogRep.TransactionHeader.SIZE]]; };
IF status = sourceExhausted THEN RETURN [nullTransID]
ELSE RETURN [transactionHeader.transID];
};

PeekCurrentTransactionHeader: PUBLIC PROC [thisRecord: RecordID] RETURNS [YggLogRep.TransactionHeader] = {
transactionHeader: YggLogRep.TransactionHeader;
status: YggLog.ReadProcStatus;
TRUSTED {[status: status] _ YggLogBasic.GetCurrentRecord[currentRecord: thisRecord,
to: [base: @transactionHeader, length: YggLogRep.TransactionHeader.SIZE]]; };
IF status = sourceExhausted THEN RETURN [[0, noop, 0, nullTransID, [[0],0,0]]]
ELSE RETURN [transactionHeader];
};

ReadForRecovery: PUBLIC PROC [
thisRecord: RecordID, wordsToSkip: CARDINAL _ 0, to: Block]
RETURNS [status: YggLog.ReadProcStatus, wordsRead: CARDINAL] = {
IF wordsToSkip > LAST[CARDINAL] - SIZE[YggLogRep.TransactionHeader] THEN
wordsToSkip _ LAST[CARDINAL]
ELSE
wordsToSkip _ wordsToSkip + SIZE[YggLogRep.TransactionHeader];
TRUSTED {[status: status, wordsRead: wordsRead] _
YggLogBasic.GetCurrentRecord[currentRecord: thisRecord,
to: [base: NIL, length: wordsToSkip, rest: @to]]; };
wordsRead _ wordsRead - SIZE[YggLogRep.TransactionHeader];
};

LengthCutOff: CARD32 _ 10;
LastOffset: CARD32 _ 55;
LastWordCount: CARD _ 1066;
SameAgain: CARD _ 0;

Write: PUBLIC PROC [trans: YggEnvironment.TransID, logRecordPhaseType: LogRecordPhaseType, recordType: RecordType, optr: Camelot.optrT, 
recordData: Block, force: BOOL, writeID: BOOL ] RETURNS [thisRecord, followingRecord: RecordID, thisWordNumber: YggEnvironment.WordNumber] = {
recordThisAddress: ENTRY PROC ~ {
IF recordData.length >= LengthCutOff THEN {
IF optr.lowOffset = LastOffset AND recordData.length = LastWordCount THEN SameAgain _ SameAgain + 1;
};
LastOffset _ optr.lowOffset;
LastWordCount _ recordData.length;
};
recordHeader: YggLogRep.TransactionHeader _ [type: recordType, transID: trans, optr: optr];
recordThisAddress[];
TRUSTED {[thisRecord, followingRecord, thisWordNumber] _ YggLogBasic.Put[
from: [base: @recordHeader, length: WORDS[YggLogRep.TransactionHeader]/WordsINWORDS, rest: @recordData],
optr: optr,
force: force,
writeID: writeID]; };
IF logRecordPhaseType = undo OR logRecordPhaseType = redoUndo THEN lastRecordWithUndo _ thisRecord;
};

Force: PUBLIC PROC [followingRecord: RecordID] = {
IF followingRecord # nullRecordID THEN YggLogBasic.Force[followingRecord];
};



Read: PUBLIC PROC [
thisRecord: RecordID, wordsToSkip: CARDINAL, to: YggLog.Block]
RETURNS [status: YggLog.ReadProcStatus, wordsRead: CARDINAL] = {
IF wordsToSkip > LAST[CARDINAL] - SIZE[YggLogRep.TransactionHeader] THEN
wordsToSkip _ LAST[CARDINAL]
ELSE
wordsToSkip _ wordsToSkip + SIZE[YggLogRep.TransactionHeader];
TRUSTED {[status: status, wordsRead: wordsRead] _ YggLogBasic.Get[
thisRecord: thisRecord, to: [base: NIL, length: wordsToSkip, rest: @to]]; };
wordsRead _ wordsRead - SIZE[YggLogRep.TransactionHeader];
};

noMoreRecoveryRegistration: BOOL _ FALSE;

TurnOffRecoveryRegistration: ENTRY PROC [] = INLINE {
noMoreRecoveryRegistration _ TRUE;
};

RecoveryProcsIndex: TYPE = RecordType [noop .. reserved);
RecoveryProcsArray: TYPE = ARRAY RecoveryProcsIndex OF YggLog.RecoveryProc;
recoveryProcs: REF RecoveryProcsArray =
SafeStorage.GetSystemZone[].NEW[RecoveryProcsArray _ ALL [NIL]];

RegisterRecoveryProc: PUBLIC ENTRY PROC [
recordType: RecordType, recoveryProc: YggLog.RecoveryProc] = {
IF noMoreRecoveryRegistration THEN
RETURN WITH ERROR ClientProgrammingError;
IF recordType NOT IN RecoveryProcsIndex THEN 
RETURN WITH ERROR InternalProgrammingError;
recoveryProcs[recordType] _ recoveryProc;
};

noMoreCheckpointRegistration: BOOL _ FALSE;

TurnOffCheckpointRegistration: ENTRY PROC [] = INLINE {
noMoreCheckpointRegistration _ TRUE;
};

IsCheckpointProcCallable: ENTRY PROC [] RETURNS [BOOL] = INLINE {
RETURN [noMoreCheckpointRegistration];
};

AnalysisProcsIndex: TYPE = RecordType [noop .. writeBytes];
AnalysisProcsArray: TYPE = ARRAY AnalysisProcsIndex OF YggLogControl.AnalysisProc;
analysisProcs: REF AnalysisProcsArray =
SafeStorage.GetSystemZone[].NEW[AnalysisProcsArray _ ALL [NIL]];

RegisterAnalysisProc: PUBLIC ENTRY PROC [
recordType: RecordType, analysisProc: YggLogControl.AnalysisProc] = {
IF noMoreCheckpointRegistration THEN
RETURN WITH ERROR ClientProgrammingError;
IF recordType NOT IN AnalysisProcsIndex THEN 
RETURN WITH ERROR InternalProgrammingError;
analysisProcs[recordType] _ analysisProc;
};

checkpointProcs: ARRAY [0 .. maxCheckpointProcs) OF YggLogControl.CheckpointProc _ ALL [NIL];
maxCheckpointProcs: INT = 5;
nCheckpointProcs: INT [0 .. maxCheckpointProcs] _ 0;

RegisterCheckpointProc: PUBLIC ENTRY PROC [
checkpointProc: YggLogControl.CheckpointProc] = {
IF noMoreCheckpointRegistration THEN
RETURN WITH ERROR ClientProgrammingError;
IF nCheckpointProcs = maxCheckpointProcs THEN 
RETURN WITH ERROR InternalProgrammingError;
checkpointProcs[nCheckpointProcs] _ checkpointProc;
nCheckpointProcs _ nCheckpointProcs + 1;
};

ForkCheckpointYggDummyProcess: PUBLIC PROC [
wakeupPeriodInSeconds: NAT] = TRUSTED {
Process.Detach[FORK CheckpointYggDummyProcess[wakeupPeriodInSeconds]];
};

CheckpointYggDummyProcess: PROC [wakeupPeriodInSeconds: NAT] = {
keepRecord, startAnalysisRecord: RecordID _ nullRecordID;
Process.SetPriority[Process.priorityForeground];
DO
Process.Pause[Process.SecondsToTicks[wakeupPeriodInSeconds]];
[keepRecord, startAnalysisRecord] _
Checkpoint[keepRecord, startAnalysisRecord];
SafeStorage.ReclaimCollectibleObjects[suspendMe: TRUE, traceAndSweep: FALSE];
ENDLOOP;
};

Checkpoint: PROC [
previousKeepRecord, previousStartAnalysisRecord: RecordID]
RETURNS [keepRecord, startAnalysisRecord: RecordID] = {
differentRecordIDsSeen: BOOL _ FALSE;
NoticeDifferentRecordIDs: PROC [old, new: RecordID] = {
comp: PBasics.Comparison;
TRUSTED {comp _ ConstArith.Compare[old, new]; };
SELECT comp FROM
less => differentRecordIDsSeen _ TRUE;
greater => ERROR InternalProgrammingError;
ENDCASE;
};
keepRecord _ startAnalysisRecord _ YggLogBasic.RecordIDOfNextPut[];
IF NOT IsCheckpointProcCallable[] THEN ERROR InternalProgrammingError;
FOR i: INT [0 .. maxCheckpointProcs] IN [0 .. nCheckpointProcs) DO
thisKeepRecord, thisStartAnalysisRecord: RecordID;
[thisKeepRecord, thisStartAnalysisRecord] _ checkpointProcs[i][];
keepRecord _ YggLogInline.Min[thisKeepRecord, keepRecord];
startAnalysisRecord _ YggLogInline.Min[thisStartAnalysisRecord, startAnalysisRecord]
ENDLOOP;
NoticeDifferentRecordIDs[previousKeepRecord, keepRecord];
NoticeDifferentRecordIDs[previousStartAnalysisRecord, startAnalysisRecord];
IF differentRecordIDsSeen THEN {
[] _ WriteCheckpointCompleteRecord[
startAnalysisRecord: startAnalysisRecord,
keepRecord: keepRecord,
length: 128  -- fix this
];
YggLogBasic.Release[beforeRecord: keepRecord];
previousKeepRecord _ keepRecord;
previousStartAnalysisRecord _ startAnalysisRecord;
};
RETURN [keepRecord, startAnalysisRecord];
};

RegisterAnalysisProc[
recordType: checkpointComplete,
analysisProc: CheckpointCompleteAnalysisProc];


END.

tYggLogImpl.mesa
Copyright ำ 1987, 1988, 1989 by Xerox Corporation.  All rights reserved.
Derived from AlpineLogImpl
Last edited by
Bob Hagmann July 6, 1989 9:45:41 am PDT
Write a noop record on each page of the log file.  A noop record is precisely
one page long.
Write a CheckpointBegin record, then a CheckpointComplete record pointing
to it (and the restart record in the restart file).
If all has gone well, the CheckpointBegin record was written as first record on
page 0 of the log file.
This proc has a large frame.
This call waits both for a log force and for a restart file write before returning.
Returns ok = FALSE if any error detected.
YggRecoveryPassProcs.CalledBeforeAnalysisPass[];
YggRecoveryPassProcs.CalledAfterAnalysisPass[];
This writes log records.  To make them available for reading by the update
pass, they must be forced.
YggRecoveryPassProcs.CalledBeforeUpdatePass[];
YggRecoveryPassProcs.CalledAfterUpdatePass[];
Scans log, calling procs registered for analysis pass of recovery.
Analysis complete.  If no checkpoint seen, we are in big trouble.
Overwrite enough pages past the end to ensure that we see no inconsistency due
to out-of-order log page writes.  Then open log for writing at correct position.
We use this to find the keepRecord value in the LAST checkpoint record.
FilePageMgr.ForceOutEverything[];
This is a YggLog.ReadProc.
YggLog writing 
Exported to YggLog
YggLog reading
Exported to YggLog
Recovery procs
Exported to YggLog
Analysis procs, checkpoint procs
Exported to YggLogControl
Writes a checkpointCompleteRecord only if it contains a value different than
the previous checkpointCompleteRecord.
สB˜š
œ™Icodeš
œH™HK™—š
œ™K™'—˜š
ฯk	˜	Jš
œ˜J˜Jš
œ˜Jš
œ˜Jš
œ˜Jš
œ˜J˜Jš
œ˜Jš
œ˜Jš
œ˜Jš
œ˜Jš
œ˜Jš
œ˜Jš
œ˜Jš
œ
˜
Jš
œ
˜
Jš
œ˜Jš
œ˜Jš
œ˜J˜——šœ
˜š
˜Jš
Ϡ
˜†
—š
˜Jš
œ˜—J˜Jš
˜J˜Jšœœ˜+Jšœ	œ˜'Jš
œ2˜2Jšœœ˜-Jšœœ˜+Jšœœ˜*Jšœœ˜(Jšœ
œ˜!Jš
œ-˜-Jšœœ˜Jšœœ˜%Jšœœ˜5J˜Jšœœœ
˜%Jšœœœ
˜'Jšœ
œ
œœ
˜!J˜J˜Jšœœ&˜FJšœœ
œฯc˜2Jšœœ
œž˜2J˜Jš
œ,˜,J˜J˜#J˜šฯnœœ
œ˜J˜J˜$Jš
œ˜Jš
œ$˜$JšœœŠ
˜จ
Jš
œ5˜5Jš
œ2˜2Jš
œM™MJš
œ™Jš
œJ˜JJš
œ0˜0Jš
œO˜OJ˜+Jš
œI™IJš
œ3™3Jš
œ<˜<Jš
œO™OJš
œ™šœU˜[Jšœ˜—Jš
œ=˜=˜#J˜/J˜&Jš
œ?˜?J˜—Jš
œ˜J˜J˜—šŸœœ
œ˜1Jšœ ˜'Jš
œ™Jš
œ*˜*šœœ˜6šœ;˜BJšœ œœ
œ˜_—Jšœ
˜—Jšœ˜J˜J˜—šŸœœ˜%Jšœ3œ
˜7Jšœ˜"Jš
œS™Sš
œB˜BJ˜G—šœ˜	Jšœ…
œ	œ˜˜
J˜—Jš
œ^˜^J˜——J˜˜šŸ œœœ˜TJšœœR˜ZJ˜šŸ œœœ˜MJšœœ6˜>š
œ)™)J˜
Jš
œA˜AJšœœ
˜J˜˜Dš
œP˜PJšœ˜——Jšœœ
œ˜)Jšœ,œ
œ˜Cš
	˜	šœR˜TJšœœ@˜NJšœ7œ
œ˜L—J˜—J˜=J˜@Jšœœ
˜
š
˜Jšœœ˜—J˜—Jš
œ ˜ Jšœ-˜3Jšœž"˜$J˜—J˜*˜3Jš
œ#˜#—˜-J˜1—Jš
œ	œœ5œ
œ
˜fJšœ=˜CJšœž"˜$J˜—šŸœœ
œ˜J˜J˜7J˜˜	J˜—Kšœ!œ(œ
˜XJš
œ$˜$˜=J˜'J˜—Jš
œ0™0J˜Dš
œ/™/Jš
œJ™JJš
œ™—Jš
œD˜DJ˜Jš
œ.™.˜AJš
œ!˜!—Jš
œ-™-J˜J˜,Jš
œ$˜$Jš
œ-˜-Jšœž	˜J˜—šŸœœ˜J˜HJš
œB™BJ˜$J˜ šœœ
˜˜DJš
œJ˜JJ˜>—Jšœœ
œ˜8J˜—š
˜Jšœ@ž˜LJš
œ)˜)šœœ˜.Jšœ4œ
˜;šœ,œ˜5J˜3J˜8J˜——šœœ
˜"˜SJš
œ"˜"—Jšœœ$˜;Jšœ
œ
œ
˜J˜—J˜Jšœ
˜—Jš
œA™AJšœ
œ œ
œ˜JJš
œN™NJš
œP™Pš
œP˜PJš
œU˜UJš
œ ˜ š
œ1˜1J˜=—Jš
œ>˜>š
œ"˜"Jš
œJ˜J—Jš
œ˜š
œ1˜1J˜:—J˜—Jšœž˜J˜—šŸœœœ˜@JšœœF˜Ušœ˜Jšœ
œ
œ9˜W—J˜J˜—Jšœ+œ
œœ
˜BJ˜šŸœœ˜0Jš	œœ
œœœ˜8Jšœœ
œ ˜AJ˜Jšœœ
œ˜>J˜J˜—šŸœœ˜&J˜?Jš
œG™GJš
œA˜Ašœ8˜:˜%Jšœœ@˜N—Jšœ7œ
œ
˜B—J˜GJšœ!œ
˜&J˜J˜—šœœœ˜ Jšœœœ
˜J˜J˜—J˜!J˜šŸ
œœ˜-J˜?Jšœœ
œ!˜@Jšœœ
˜J˜Jšœœ
˜J˜˜DJš
œJ˜JJ˜>—Jšœœ
œ˜8š
˜Jšœœ
˜J˜
J˜Jš
œ"˜"šœœ
˜.šœA˜KJšœœ
˜
˜
Jšœœ
˜J˜5Jšœ˜—Jšœœ˜*Jšœœ
˜—J˜—š
	˜	šœ6˜@Jšœœ
˜
Jšœ	œ
˜Jšœœ˜*Jšœœ
˜—J˜—šœ6œ˜QJšœ4œ
œ˜>J˜3šœ(œ˜.Jš
œH˜HJ˜;J˜—J˜—Jšœ	˜
š
˜˜Jšœœ˜7˜SJš
œ"˜"——šœ
œ"˜3Jšœ*œ
œ˜N—J˜J˜—J˜Jšœ
˜—J™!J˜J˜—šŸœœœ˜XJš
œG˜GJš
œ˜šœL˜SJšœ&œ
œ	žn˜ฉ
—Jšœœ
œ˜@Jšœ˜J˜J˜—šŸœœœ˜CJš
œ/˜/Jš
œ˜š
œS˜SJšœCœ˜M—Jšœœ
œ˜5Jšœ
œ˜(J˜J˜—šŸœœœ"˜jJš
œ/˜/Jš
œ˜š
œS˜SJšœCœ˜M—Jšœœ
œ'˜NJšœ
œ˜ J˜J˜—šŸœœ
œ˜Jšœ#œ˜;Jšœ,œ˜@Jš
œ™š	œœ
œœ˜HJšœœ
œ
˜—š
˜Jšœœ˜>—˜1š
œ7˜7Jšœœ&˜4——Jšœœ˜:J˜——
headš
œ™Jš
œ™J˜Jšœœ˜Jšœœ˜Jšœœ˜Jšœœ˜J˜šŸœœ
œ‘
œ	œœW˜—˜!š
œ+˜+Jš
œd˜dJ˜—Jš
œ˜Jš
œ"˜"J˜—Jš
œ[˜[J˜Jšœgœo˜โ
Jšœœœ!˜cJ˜J˜—šŸœœ
œ ˜2Jšœ œ$˜JJ˜J˜J˜——š
œ™Jš
œ™J˜šŸœœ
œ˜Jšœ#œ˜>Jšœ,œ˜@š	œœ
œœ˜HJšœœ
œ
˜—š
˜Jšœœ˜>—šœ;˜BJšœ#œ&˜L—Jšœœ˜:J˜——š
œ™Jš
œ™J˜Jšœœœ
˜)J˜šŸœœ
œœ˜5Jšœœ
˜"J˜J˜—Jšœœ!˜9Jšœœœœ˜Kšœœ˜'Jšœœœœ˜@J˜—šŸœœ
œ
œ˜)Jš
œ>˜>šœ˜"Jšœ
œ
œ˜)—šœœ
œœ
˜-Jšœ
œ
œ˜+—J˜)J˜——š
œ ™ Jš
œ™J˜Jšœœœ
˜+J˜šŸœœ
œœ˜7Jšœœ
˜$J˜J˜—šŸœœ
œœœœ˜AJšœ ˜&J˜J˜—Jšœœ#˜;Jšœœœœ˜Ršœœ˜'Jšœœœœ˜@J˜—šŸœœ
œ
œ˜)Jš
œE˜Ešœ˜$Jšœ
œ
œ˜)—šœœ
œœ
˜-Jšœ
œ
œ˜+—J˜)J˜J˜—Jš	œœœ œœ˜]Jšœœ˜Jšœœ˜4J˜šŸœœ
œ
œ˜+Jš
œ1˜1šœ˜$Jšœ
œ
œ˜)—šœ'œ
˜.Jšœ
œ
œ˜+—J˜3J˜(J˜J˜—šŸœœ
œ˜,Jšœœœ˜'Jšœœ3˜FJ˜J˜—šŸœœœ˜@J˜9Jš
œ0˜0š
˜Jš
œ=˜=˜#J˜,—Jšœ1œœ˜MJšœ
˜—J˜J˜—šŸ
œœ˜J˜:Jšœ0˜7Jš
œL™LJš
œ&™&Jšœœœ
˜%šŸœœ˜7Jš
œ˜Jšœ)˜0šœ˜Jšœ!œ
˜&Jšœœ˜*Jšœ
˜—J˜—Jš
œC˜CJšœ
œœ
œ˜Fšœœœ˜BJ˜2J˜AJš
œ:˜:Jš
œT˜TJšœ
˜—J˜9J˜Kšœœ˜ ˜#J˜)J˜Jšœ
ž˜J˜—Jš
œ.˜.J˜ J˜2J˜—Jšœ#˜)J˜J˜—˜J˜J˜.J˜—J˜Jšœ
˜J˜——…—Hา`ˆ