DIRECTORY
BasicTime USING [GMT, Now, nullGMT],
File USING [wordsPerPage],
MimZones USING [],
MobDefs USING [NullVersion, VersionStamp],
OSMiscOps USING [Address],
ProcessorFace USING [ProcessorID, processorID],
SafeStorage USING [GetSystemZone],
UnsafeStorage USING [GetSystemUZone],
VM USING [AddressForPageNumber, Free, Interval, PagesForWords, PageNumber, PageNumberForAddress, SimpleAllocate];
OSMiscOpsImpl: PROGRAM
IMPORTS BasicTime, ProcessorFace, SafeStorage, UnsafeStorage, VM
EXPORTS MimZones, OSMiscOps = {
OPEN OSMiscOps;

permZone: PUBLIC ZONE м SafeStorage.GetSystemZone[];

tempZone: PUBLIC ZONE м SafeStorage.GetSystemZone[];

permUZ: PUBLIC UNCOUNTED ZONE м UnsafeStorage.GetSystemUZone[];

tempUZ: PUBLIC UNCOUNTED ZONE м UnsafeStorage.GetSystemUZone[];

ResetTempZone: PUBLIC PROC = {};

RegisterForReset: PUBLIC PROC [resetProc: PROC] = {};

intervals: LIST OF VM.Interval м NIL;

Pages: PUBLIC PROC [n: CARD] RETURNS [base: Address] = {
IF n = 0
THEN base м NIL
ELSE {
interval: VM.Interval = VM.SimpleAllocate[n];
intervals м CONS[interval, intervals];
base м VM.AddressForPageNumber[interval.page];
};
};

FreePages: PUBLIC PROC [base: Address] = {
IF base # NIL THEN {
page: VM.PageNumber = VM.PageNumberForAddress[base];
last: LIST OF VM.Interval м NIL;
FOR list: LIST OF VM.Interval м intervals, list.rest UNTIL list = NIL DO
IF list.first.page = page THEN {
VM.Free[list.first];
IF last = NIL THEN intervals м list.rest ELSE last.rest м list.rest;
EXIT;
};
last м list;
ENDLOOP;
};
};

Units: PUBLIC PROC [nUnits: CARD] RETURNS [base: Address] = {
RETURN [Pages[VM.PagesForWords[nUnits]]];
};

FreeUnits: PUBLIC PROC [base: Address] = {
FreePages[base];
};

bytesPerFilePage: PUBLIC NAT м File.wordsPerPage*BYTES[WORD];


lastTime: BasicTime.GMT м BasicTime.nullGMT;

GenerateUniqueId: PUBLIC PROC RETURNS [MobDefs.VersionStamp] = {
stamp: MobDefs.VersionStamp м MobDefs.NullVersion;
id: ProcessorFace.ProcessorID м ProcessorFace.processorID;
time: BasicTime.GMT;
{
words: NAT = MIN[MobDefs.VersionStamp.WORDS, ProcessorFace.ProcessorID.WORDS];
Ptr: TYPE = POINTER TO ARRAY [0..words) OF WORD;
LOOPHOLE[@stamp, Ptr]н м LOOPHOLE[@id, Ptr]н;
};
DO
time м BasicTime.Now[];
IF lastTime = BasicTime.nullGMT OR time # lastTime THEN EXIT;
ENDLOOP;
lastTime м time;
stamp[1] м stamp[1] + LOOPHOLE[time, CARD];
RETURN [stamp];
};

WordPtr: TYPE = LONG POINTER TO WORD;
BlockPtr: TYPE = LONG POINTER TO Block;
Block: TYPE = ARRAY [0..8) OF WORD;
blockWords: NAT = Block.WORDS;
blockSize: NAT = Block.SIZE;

Copy: PUBLIC PROC [from: LONG POINTER, nwords: CARD, to: LONG POINTER] = {
IF nwords > CARD[INT.LAST] THEN ERROR; 
WHILE nwords >= blockWords DO
nwords м nwords - blockWords;
LOOPHOLE[to, BlockPtr]н м LOOPHOLE[from, BlockPtr]н;
to м to + blockSize;
from м from + blockSize;
ENDLOOP;
WHILE nwords # 0 DO
nwords м nwords - 1;
LOOPHOLE[to, WordPtr]н м LOOPHOLE[from, WordPtr]н;
to м to + WORD.SIZE;
from м from + WORD.SIZE;
ENDLOOP;
};

Fill: PUBLIC PROC [where: LONG POINTER, nWords: CARD, value: WORD] = {
IF nWords > CARD[INT.LAST] THEN ERROR; 
WHILE nWords >= blockWords DO
nWords м nWords - blockWords;
LOOPHOLE[where, BlockPtr]н м ALL[value];
where м where + blockSize;
ENDLOOP;
WHILE nWords # 0 DO
nWords м nWords - 1;
LOOPHOLE[where, WordPtr]н м value;
where м where + WORD.SIZE;
ENDLOOP;
};


stampElements: NAT = BITS[MobDefs.VersionStamp]/BITS[CARD32];
Stamp: PUBLIC TYPE = ARRAY [0..stampElements) OF CARD32;

TimeToStamp: PUBLIC PROC [time: MobDefs.VersionStamp] RETURNS [Stamp] = {
RETURN [time];
};

StampToTime: PUBLIC PROC [s: Stamp] RETURNS [MobDefs.VersionStamp] = {
RETURN [s];
};

AddStamps: PROC [s1, s2: Stamp] RETURNS [sum: Stamp] = {
carry: CARD32 м 0;
FOR i: NAT DECREASING IN [0..stampElements) DO
w1: CARD32 м s1[i];
w2: CARD32 м s2[i];
w: CARD32 м w1+w2+carry;
sum[i] м w;
IF w < w1 OR w < carry THEN carry м 1 ELSE carry м 0;
ENDLOOP;
IF carry = 1 THEN
FOR i: NAT DECREASING IN [0..stampElements) DO
w: CARD32 м sum[i]+1;
sum[i] м w;
IF w # 0 THEN EXIT;
ENDLOOP;
};

MergeStamps: PUBLIC PROC [sum, item: Stamp] RETURNS [Stamp] = {
RETURN [AddStamps[AddStamps[sum, sum], item]];
};

}.
   ╞  
OSMiscOpsImpl.mesa
Copyright ╙ 1986, 1988, 1991 by Xerox Corporation.  All rights reserved.
Satterthwaite, June 18, 1986 9:51:31 am PDT
Russ Atkinson (RRA) December 8, 1988 4:17:59 pm PST

exported to MimZones

Objects allocated from this zone are never freed.
(we should use GetPermanentZone sometime)
Objects allocated from this zone are freed at the end of every compilation.
(provided that the temp zone is UNCOUNTED)
Objects allocated from this zone are never freed.
Objects allocated from this zone are freed at the end of every compilation.
This proc is called to free all of the objects in the temp zone.
(provided that the temp zone is UNCOUNTED)
This proc is called to free all of the objects in the temp zone.
(provided that the temp zone is UNCOUNTED)
bulk free storage management

version stamp management
Word Copy & Fill operations

Assumes non-overlapping blocks

new version stamp operations
Ripple the carry through (1s complement addition)
Э╩Ў  ХNewlineDelimiter
Ц(cedarcode) styleЩ headЪЬЩIcodeЪЬ
╧eЬ=ЩHLЪ╧y+Щ+LЩ3LЩ Ъ╧k	Ш	LЪЬ
ЯЬЯЬШ$LЪЬЯЬШLЪЬ	ЯЬШLЪЬЯЬШ*LЪЬ
ЯЬШLЪЬЯЬШ/LЪЬЯЬШ"LЪЬЯЬШ%LЪЯЬЯЬiШqЧЧЪ╧nЬЯШLЪЯЬ5ЯШ@LЪЯЬШLЪЯЬШLШ ЧЩLЩ ЪЬ
ЯЬЯЬШ4Щ1JЪЬ)Щ)ЧLШ ЧЪЬ
ЯЬЯЬШ4ЩKJЪЬ Я	ЬЩ*ЧLШ ЧЪЬЯЬЯ	ЬЯЬ"Ш?JЩ1LШ ЧЪЬЯЬЯ	ЬЯЬ"Ш?JЩKLШ ЧЪаЬЯЬЯЬШ Щ@JЪЬ Я	ЬЩ*ЧLШ ЧЪаЬЯЬЯЬЯЬШ5Щ@JЪЬ Я	ЬЩ*ЧLШ ЧЧЪЬЩLЩ LЪ	ЬЯЬЯЬЯЬЯЬШ%LШ Ъ
аЬЯЬЯЬЯЬЯЬШ8ЪЯЬШLЪЯЬЯШЪЯЬШLЪЬ
ЯЬЯЬШ-LЪЬЯЬШ&LЪЬЯЬ%Ш.LЪЬШЧЧLЪЬШLШ ЧЪа	ЬЯЬЯЬШ*ЪЯЬЯЬЯЬШLЪЬЯЬЯЬШ4LЪ	ЬЯЬЯЬЯЬЯЬШ ЪЯЬЯЬЯЬЯЬ!ЯЬЯЬЯШHЪЯЬЯЬШ LЪЯЬШLЪЯЬЯЬЯЬЯЬШDLЪЯЬШLЪЬШЧLЪЬШLЪЯЬШЧLШЧLЪЬШLШ ЧЪ
аЬЯЬЯЬ
ЯЬЯЬШ=LЪЯЬЯЬШ)LШLШ ЧЪа	ЬЯЬЯЬШ*LЪЬШLШLШ ЧЪ	ЬЯЬЯЬЯЬЯЬШ=Ш LШ ЧЧЧLЪЬЩШ LЪЬЯЬШ,LШ ЪаЬЯЬЯЬЯЬШ@LЪЬ2Ш2LЪЬ:Ш:LЪЬЯЬШШLЪ	ЬЯЬЯЬЯЬЯЬШNLЪЬЯЬЯЬЯЬЯЬЯЬЯЬШ0LЪЯЬЯЬШ-LШЧЪЯШLШLЪЯЬЯЬЯЬЯЬШ=LЪЯЬШЧLШLЪЬЯЬЯЬШ+LЪЯЬ	ШLЪЬШLШ ЧЧЩLЩ LЪЬ	ЯЬЯЬЯЬЯЬЯЬШ%LЪ	Ь
ЯЬЯЬЯЬЯЬШ'LЪ	ЬЯЬЯЬЯЬЯЬШ#LЪЬЯЬ	ЯЬШLЪЬЯЬ	ЯЬШLШ ЪаЬЯЬЯЬЯЬЯЬ
ЯЬЯЬЯЬШJLЩLЪЯЬ
ЯЬЯЬЯЬЯЬЯЬШ'ЪЯЬЯШLЪЬШLЪЯЬЯЬШ4LЪЬШLЪЬШLЪЯЬШЧЪЯЬЯШLЪЬШLЪЯЬЯЬШ2LЪЬ
ЯЬЯЬШLЪЬЯЬЯЬШLЪЯЬШЧLШLШ ЧЪаЬЯЬЯЬ	ЯЬЯЬ
ЯЬ	ЯЬШFLЪЯЬ
ЯЬЯЬЯЬЯЬЯЬШ'ЪЯЬЯШLЪЬШLЪЯЬЯЬШ(LЪЬШLЪЯЬШЧЪЯЬЯШLЪЬШLЪЯЬШ"LЪЬЯЬЯЬШLЪЯЬШЧLШLШ ЧLЩ ЧLЪЬЩШ LЪ	ЬЯЬЯЬЯЬЯЬШ=LЪЬЯЬЯЬЯЬЯЬЯЬШ8LШ ЪаЬЯЬЯЬЯЬШILЪЯЬШLЪЬШLШ ЧЪаЬЯЬЯЬЯЬШFLЪЯЬШLЪЬШLШ ЧЪа	ЬЯЬЯЬШ8LЪЬЯЬШЪ	ЯЬЯЬЯ
ЬЯЬЯШ.LЪЬЯЬ	ШLЪЬЯЬ	ШLЪЬЯЬШLЪЬШLЪ
ЯЬЯЬЯЬЯЬЯЬШ5LЪЯЬШЧЪЯЬЯШLЩ1Ъ	ЯЬЯЬЯ
ЬЯЬЯШ.LЪЬЯЬШLЪЬШLЪЯЬЯЬЯЬШLЪЯЬШЧЧLЪЬШLШ ЧЪаЬЯЬЯЬЯЬШ?LЪЯЬ(Ш.LЪЬШLШ ЧЧLШЧ ЕЧ    *  ц  