YggWorkerLogWatchdogImpl.mesa
Copyright Ó 1985, 1988 by Xerox Corporation. All rights reserved.
Monitor controlling access to Worker log watchdog process.
Last edited by
MBrown on April 3, 1983 9:09 am
Hauser, March 8, 1985 11:16:27 am PST
Bob Hagmann May 2, 1988 3:48:56 pm PDT
DIRECTORY
YggDummyProcess,
YggWorkerInternal;
YggWorkerLogWatchdogImpl:
CEDAR MONITOR
IMPORTS
YggDummyProcess,
YggWorkerInternal
EXPORTS
YggWorkerInternal
= BEGIN
watchdogRunning: BOOL ← FALSE;
oldWorkerPresent: CONDITION;
NotifyLogWatchdog:
PUBLIC
ENTRY
PROC [] = {
IF
NOT watchdogRunning
THEN TRUSTED {
YggDummyProcess.Detach[FORK YggWorkerInternal.WorkerLogWatchdogProcess[]];
watchdogRunning ← TRUE;
}
ELSE NOTIFY oldWorkerPresent;
};
WaitForNotify:
PUBLIC
ENTRY
PROC [] = {
WAIT oldWorkerPresent;
};
END.--WorkerLogWatchdogImpl
CHANGE LOG
Created by MBrown on April 3, 1983 9:07 am
Hauser, March 8, 1985 11:16:08 am PST
Nodified, added copyright.