

DIRECTORY
Druid,
DruidPrivate,
TargetArchitecture,
Breakpoint,
BreakWorldArchitecture,
UXProcs;

DruidImpl: CEDAR MONITOR
LOCKS megalith USING megalith: Megalith
IMPORTS Druid, Breakpoint, BreakWorldArchitecture, UXProcs
EXPORTS Druid 
~ {

Megalith: PUBLIC TYPE ~ REF MegalithRep м Druid.nullMegalith;
MegalithRep: PUBLIC TYPE ~ DruidPrivate.MegalithRep м DruidPrivate.nullMegalithRep;

Set: PUBLIC PROCEDURE [
address: BreakWorldArchitecture.Address,
monitored: BOOLEAN м FALSE] 
RETURNS [Druid.Megalith] ~ {
megalith: Druid.Megalith м NEW[MegalithRep м [
count: 0, break: Breakpoint.nullBreak, monitored: monitored]];
ProcToAddress: PROCEDURE [proc: SAFE PROCEDURE ANY RETURNS ANY] 
RETURNS [TargetArchitecture.Address] ~ {
cProc: UXProcs.CProc ~ UXProcs.FromCedarProc[proc: proc];
address: TargetArchitecture.Address ~ LOOPHOLE[cProc];

RETURN [address];
};
breakWorld: BreakWorldArchitecture.BreakWorld ~ 
BreakWorldArchitecture.BreakWorldFromBreakWorldAddress[address: address];
breakProcTargetAddress: TargetArchitecture.Address ~
ProcToAddress[proc: BreakProc];
breakProcWorldAddress: BreakWorldArchitecture.Address ~ 
BreakWorldArchitecture.NewAddress[
breakWorld: breakWorld, address: breakProcTargetAddress];
megalith.break м Breakpoint.SetBreakpoint[
address: address,
clientData: megalith,	-- anything useful to put here?
breakProc: breakProcWorldAddress,
breakData: LOOPHOLE[megalith]];
RETURN [megalith];
};

Clear: PUBLIC PROCEDURE [megalith: Druid.Megalith] RETURNS [] ~ {
MonitoredClear: ENTRY PROCEDURE [megalith: Druid.Megalith] RETURNS [] ~ {
ENABLE UNWIND => NULL;
UnmonitoredClear[megalith: megalith];
RETURN;
};
UnmonitoredClear: PROCEDURE [megalith: Druid.Megalith] RETURNS [] ~ {
IF megalith.IsActive[] THEN {
Breakpoint.ClearBreakpoint[break: megalith.break];
megalith.break м Breakpoint.nullBreak;
};
RETURN;
};
IF megalith # NIL THEN {
(IF megalith.monitored 
THEN MonitoredClear ELSE UnmonitoredClear)[megalith: megalith];
};
RETURN;
};
IsActive: PUBLIC PROCEDURE [megalith: Druid.Megalith] RETURNS [BOOLEAN] ~ {
RETURN [megalith # NIL AND megalith.break # Breakpoint.nullBreak];
};
Read: PUBLIC PROCEDURE [megalith: Druid.Megalith] RETURNS [CARD] ~ {
read: CARD м 0;

IF megalith.IsActive[] THEN {
read м megalith.count;
};
RETURN [read];
};
Zero: PUBLIC PROCEDURE [megalith: Druid.Megalith] RETURNS [CARD] ~ {
read: CARD м 0;
MonitoredZero: ENTRY PROCEDURE [megalith: Druid.Megalith] RETURNS [CARD] ~ {
ENABLE UNWIND => NULL;
read: CARD ~ UnmonitoredZero[megalith: megalith];

RETURN [read];
};
UnmonitoredZero: PROCEDURE [megalith: Druid.Megalith] RETURNS [CARD] ~ {
read: CARD м 0;

IF megalith.IsActive[] THEN {
read м megalith.count;
megalith.count м 0;
};
RETURN [read];
};

read м (IF megalith.monitored 
THEN MonitoredZero ELSE UnmonitoredZero)[megalith: megalith];
RETURN [read];
};
BreakProc: PRIVATE Breakpoint.BreakProcedure ~ {
ToRefAny: PROCEDURE [breakData: Breakpoint.BreakData] RETURNS [REF ANY] ~ {
refAny: REF ANY м NIL;
IsARefAny: PRIVATE PROCEDURE [data: CARD32] RETURNS [BOOLEAN] ~ {
RETURN [TRUE];
};

IF IsARefAny[breakData] THEN TRUSTED {
refAny м LOOPHOLE[breakData];
};
RETURN [refAny];
};
refData: REF ANY ~ ToRefAny[breakData: breakData];

WITH refData SELECT FROM
megalith: Megalith => {
MonitoredIncrement: ENTRY PROCEDURE [megalith: Druid.Megalith] ~ {
ENABLE UNWIND => NULL;
UnmonitoredIncrement[megalith: megalith];
RETURN;
};
UnmonitoredIncrement: PROCEDURE [megalith: Druid.Megalith] ~ {
megalith.count м megalith.count + 1;
RETURN;
};
(IF megalith.monitored 
THEN MonitoredIncrement ELSE UnmonitoredIncrement)[megalith: megalith];
};
ENDCASE => NULL;
RETURN;
};

}.
  4  DruidImpl.mesa
Copyright ╙ 1990, 1992 by Xerox Corporation.  All rights reserved.
Peter B. Kessler, August 7, 1990 11:00 am PDT
Sets a counting breakpoint at the given address.
If monitored, then changes to the megalith are monitored, else not.
Clears the given counting break.

Checks whether the given megalith is active.

Reads the counter in the given counting break.

Zeroes the counter in the given counting break.

PROCEDURE [breakData: BreakData] RETURNS []
Hans says he'll include this procedure in the next storage allocator package.  For now ...
 Э╩K  Ц(cedarcode) styleХNewlineDelimiter
Ш codeЪЬЩKЪЬ
╧eЬ7ЩBKЩ-ЧШ Ъ╧k	Ш	KЪЬШKШKШKЪЬШKЪЬШKЪЬШKШ ЧЧunitЪ╨ln	ЬЮЬЮШKЪЮЬ
ЮЬШ'KЪЮЬ3Ш:KЪЮЬШKЪЬШKШ ЪЬ
ЮЬЮЬЮЬ"Ш=KЪЬЮЬЮЬ;ШSKШ ЧЪ╧nЬЮЬЮ	Ь7ЮЬЮЬЮЬШzKЩ0KЪЬCЩCЪЬЮЬШ.KЪЬ>Ш>ЧЪаЬЮ	ЬЮЬЮ	ЬЮЬЮЬЮЬЮЬ!ШiKШ9KЪЬ&ЮЬШ6KШ KЪЮЬШKШЧШ0KЪЬIШIЧШ4KЪЬШЧШ8Ш"KШ9ЧЧШ*KЪЬШKЪЬ╧cШ5KЪЬ!Ш!KЪЬЮЬШЧKЪЮЬШKШЧKШ ЪаЬЮЬЮ	ЬЮЬШAKЩ ЪаЬЮЬЮ	ЬЮЬШIKЪЮЬЮЬЮЬШKЪЬ%Ш%KЪЮЬШKШЧЪаЬЮ	ЬЮЬШEЪЮЬЮЬШKШ2KШ&KШЧKЪЮЬШKШЧЪЮЬЮЬЮЬШЪЮЬШKЪЮЬЮЬЮЬШ?ЧKШЧKЪЮЬШKШKЩ ЧЪ
аЬЮЬЮ	ЬЮЬЮЬШKKЩ,KЪЮЬЮЬЮЬ(ШBKШKЩ ЧЪ
аЬЮЬЮ	ЬЮЬЮЬШDKЩ.KЪЬЮЬШKШ ЪЮЬЮЬШKШKШЧKЪЮЬШKШKЩ ЧЪ
аЬЮЬЮ	ЬЮЬЮЬШDKЩ/KЪЬЮЬШЪ
аЬЮЬЮ	ЬЮЬЮЬШLKЪЮЬЮЬЮЬШKЪЬЮЬ'Ш1KШ KЪЮЬШKШЧЪаЬЮ	ЬЮЬЮЬШHKЪЬЮЬШKШ ЪЮЬЮЬШKШKШKШЧKЪЮЬШKШЧKШ ЪЬЮЬШKЪЮЬЮЬ&Ш=ЧKЪЮЬШKШKЩ ЧЪа	ЬЮЬШ0KЪЮ	ЬЮЬЩ+Ъ
аЬЮ	Ь#ЮЬЮЬЮЬШKKЪЬЮЬЮЬЮЬШЪа	ЬЮЬЮ	ЬЮЬЮЬЮЬШAKЩZKЪЮЬЮЬШKШKШ ЧЪЮЬЮЬЮЬШ&KЪЬ	ЮЬШKШЧKЪЮЬ
ШKШЧKЪЬ	ЮЬЮЬ"Ш2KШ ЪЮЬ	ЮЬЮШШЪаЬЮЬЮ	ЬШBKЪЮЬЮЬЮЬШKШ)KЪЮЬШKШЧЪаЬЮ	ЬШ>KШ$KЪЮЬШKШЧЪЬЮЬШKЪЮЬЮЬ+ШGЧKШЧKЪЮЬЮЬШЧKЪЮЬШKШKШ ЧLШЧЧ ЕЧ    4  │  