DIRECTORY
Camelot,
CamelotRecoverable,
CountedVM,
File,
FileStream,
FS,
FSBackdoor,
IO,
Mach,
PBasics,
Process,
Rope,
YggDID,
YggDIDPrivate,
YggDIDMap,
YggDIDMapPrivate,
YggdrasilInit,
YggLock,
YggFixedNames,
YggEnvironment,
YggFile,
YggFileStream,
YggIndexMaint,
YggInternal,
YggMonitoringLog,
YggRep,
YggTransaction,
VM;
TestSupportImpl: CEDAR MONITOR
IMPORTS CamelotRecoverable, CountedVM, FS, PBasics, Process, YggdrasilInit, YggTransaction, VM
EXPORTS Camelot, Mach, YggdrasilInit, YggMonitoringLog

= BEGIN 
OPEN Camelot, Mach;
ROPE: TYPE = Rope.ROPE;


notice: PUBLIC YggMonitoringLog.ProcsRecord _ [];

DID: PUBLIC TYPE ~ REF DIDRep;
DIDRep: PUBLIC TYPE ~ YggDIDPrivate.DIDRep;

Document: TYPE = REF DocumentRep;
DocumentRep: PUBLIC TYPE = YggDIDMapPrivate.DocumentRep;



NextDID: DIDRep _ [33, 400];

KnownDIDs: LIST OF DIDStuff _ NIL;
NumberOfKnownDIDs: INT _ 0;
DIDStuff: TYPE = RECORD [
did: DID,
doc: Document,
contents: YggRep.TypedPrimitiveElement,
attributes: LIST OF YggRep.Attribute _ NIL
];
NextTransCount: CARD _ 10001;
BigRope: ROPE _ "Four score and seven years ago, our fathers brought forth on this continent a new nation, conceived in liberty, and dedicated to the proposition that all men are created equal.  Now we are engaged in a great blah blah blah";
LittleRopes: ARRAY [0..3) OF ROPE _ ["foo", "bar", "bleah"];

attrNameArray: ARRAY [0..8] OF ROPE _ ["attr0", "thisisattribute1", "two", "attribute three is fairly long", "but then again, attribute four is longer than three", "and attribute five is  longer than three and four together", "6", "sept", "eight"];
fieldNameArray: ARRAY [1..5] OF ROPE _ [NIL, "field2", "field3", "the name for field 4 is quite long", "field5"];
MachCall: PUBLIC SIGNAL [errorCode: msgReturnT, explanation: Rope.ROPE] = CODE;
MachAnomaly: PUBLIC SIGNAL [explanation: Rope.ROPE] = CODE; 

taskSelf: PUBLIC PROC RETURNS [targetTask: taskT] ~ {
targetTask _ [1];
};

taskNotify: PUBLIC PROC RETURNS [notifyPort: portT] ~ {
notifyPort _ [2];
};
vmAllocate: PUBLIC PROC [targetTask: vmTaskT, address: vmAddressT, size: vmSizeT, anywhere: BOOL,raiseSignal: BOOL] RETURNS [mappedAddress: vmAddressT _ 0, kernCode: kernReturnT _ -1] ~ TRUSTED {
interval: VM.Interval;
interval _ VM.Allocate[count: VM.PagesForBytes[size]];
mappedAddress _ LOOPHOLE[VM.AddressForPageNumber[interval.page]];
kernCode _ KernSuccess;
};
VMAllocList: LIST OF AllocItem _ NIL;
AllocItem: TYPE = RECORD [
offset: vmOffsetT,
size: vmSizeT,
mappedAddress: vmAddressT,
cvmHandle: CountedVM.Handle,
allocated: BOOL _ TRUE
];

vmAllocateWithPager: PUBLIC ENTRY PROC [targetTask: vmTaskT, address: vmAddressT, size: vmSizeT, anywhere: BOOL, pagingObject: pagingObjectT, offset: vmOffsetT, raiseSignal: BOOL] RETURNS [mappedAddress: vmAddressT _ 0, kernCode: kernReturnT _ -1] ~ TRUSTED {
loai: LIST OF AllocItem;
cvmHandle: CountedVM.Handle;
pages: INT _ -1;
firstPage: INT _ -1;
FOR loai _ VMAllocList, loai.rest UNTIL loai = NIL DO
IF loai.first.offset > offset+size THEN LOOP;
IF offset > loai.first.offset+loai.first.size THEN LOOP;
IF loai.first.offset = offset AND loai.first.size = size THEN {
IF loai.first.allocated THEN ERROR;
EXIT;
};
ENDLOOP;
cvmHandle _ CountedVM.Allocate[words:size/BYTES[WORD]];
mappedAddress _ LOOPHOLE[cvmHandle.pointer];
pages _ FS.PagesForBytes[size];
IF INT[size] # FS.BytesForPages[pages] THEN ERROR;
firstPage _ FS.PagesForBytes[offset];
IF INT[offset] # FS.BytesForPages[firstPage] THEN ERROR;
IF loai = NIL THEN {
where: LONG POINTER _ LOOPHOLE[mappedAddress];
nWordsLeft: CARD32 _ size/PBasics.bytesPerWord;
WHILE nWordsLeft > 0 DO
fillThisTime: CARD32 _ MIN[nWordsLeft, 10000];
PBasics.Fill[where: where, nWords: fillThisTime, value: 0];
where _ where + fillThisTime * UNITS[PBasics.Word];
nWordsLeft _ nWordsLeft - fillThisTime;
ENDLOOP;
VMAllocList _ CONS[[offset: offset, size: size, mappedAddress: mappedAddress, cvmHandle: cvmHandle], VMAllocList];
}
 ELSE {
FS.Read[file: CamelotRecoverable.CamelotRecoverableFile, from: firstPage, nPages: pages, to: LOOPHOLE[mappedAddress]];
loai.first.allocated _ TRUE;
loai.first.mappedAddress _ mappedAddress;
loai.first.cvmHandle _ cvmHandle;
};
kernCode _ KernSuccess;
};
vmDeallocate: PUBLIC ENTRY PROC [targetTask: vmTaskT, address: vmAddressT, size: vmSizeT, raiseSignal: BOOL] RETURNS [kernCode: kernReturnT _ -1] ~ {
FOR loai: LIST OF AllocItem _ VMAllocList, loai.rest UNTIL loai = NIL DO
IF loai.first.mappedAddress = address THEN {
pages: INT _ -1;
firstPage: INT _ -1;
IF size # loai.first.size THEN ERROR;
pages _ FS.PagesForBytes[loai.first.size];
firstPage _ FS.PagesForBytes[loai.first.offset];
FS.Write[file: CamelotRecoverable.CamelotRecoverableFile, to: firstPage, nPages: pages, from: LOOPHOLE[address]];
loai.first.allocated _ FALSE;
loai.first.mappedAddress _ 0;
loai.first.cvmHandle _ NIL;
EXIT;
};
ENDLOOP;
};
msgSend: PUBLIC PROC [header: REF msgHeaderT, option: msgOptionT, timeout: INT, raiseSignal: BOOL] RETURNS [msgCode: msgReturnT _ -1] ~ {
ERROR;
};
msgReceive: PUBLIC PROC [header: REF msgHeaderT, option: msgOptionT, timeout: INT, raiseSignal: BOOL] RETURNS [msgCode: msgReturnT _ -1] ~ {
DO
Process.Pause[33];
ENDLOOP;
};
nameServerPort: PUBLIC PROC RETURNS [p: portT] ~ {
p _ [3];
};
MachPortsLookup: PUBLIC PROC [targetTask: taskT, raiseSignal: BOOL] RETURNS [intPortSet: portArrayT, intPortArrayCount: INT, kernCode: kernReturnT] ~ {
xPortArray: REF ARRAY[0..3] OF portT _ NEW[ARRAY[0..3] OF portT _ [[0], [1], [2], [3]]];
intPortArrayCount _ 4;
kernCode _ KernSuccess;
intPortSet _ LOOPHOLE[xPortArray];
};
nextPort: portT _ [10];
portAllocate: PUBLIC PROC [targetTask: taskT, raiseSignal: BOOL] RETURNS [newPort: portT, kernCode: kernReturnT _ -1] ~ TRUSTED {
nextPort _ [nextPort + 1];
newPort _ nextPort;
kernCode _ KernSuccess;

};
portRestrict: PUBLIC PROC [targetTask: taskT, port: portT, raiseSignal: BOOL] RETURNS [kernCode: kernReturnT _ -1] ~ {
kernCode _ KernSuccess;
};
portUnrestrict: PUBLIC PROC [targetTask: taskT, port: portT, raiseSignal: BOOL] RETURNS [kernCode: kernReturnT _ -1] ~ {
kernCode _ KernSuccess;
};

netnameCheckIn: PUBLIC PROC [ServPort: portT, portName: Rope.ROPE, signature: portT, portId: portT, raiseSignal: BOOL] RETURNS [kernCode: kernReturnT] ~ {
kernCode _ KernSuccess;
};
DSInitialize: PUBLIC PROC [dsPort: portT, raiseSignal: BOOL] RETURNS [serverID: serverIdT, tsPort, mPort, sPort: portT, sharedMemAddr: vmAddressT, seqDescList: ListOfSegmentDesc _ NIL, seqPortList: ListOfPorts, kernCode: Mach.kernReturnT _ -1] ~ TRUSTED {
serverID _ [1989];
tsPort _ [4];
mPort _ [5];
sPort _ [6];
sharedMemAddr _ 0;
seqDescList _ LIST[[serverId: [1234], segmentId: [1066], logicalDisk: 'Z, unused: 'z, highSize: 0, lowSize: 40960000]];
seqPortList _ LIST[[7]];
kernCode _ KernSuccess;
};
DSPinObject: PUBLIC PROC [dsPort: portT, tid: tidT, optr: optrT, size: uInt, raiseSignal: BOOL] RETURNS [kernCode: Mach.kernReturnT _ -1] ~ {
kernCode _ KernSuccess;
};
DSLogNewValue: PUBLIC PROC [dsPort: portT, tid: tidT, optr: optrT, newValue: pointerT, newValueCnt: INT, raiseSignal: BOOL] RETURNS [kernCode: Mach.kernReturnT _ -1] ~ {
kernCode _ KernSuccess;
};
DSLogOldValueNewValue: PUBLIC PROC [dsPort: portT, tid: tidT, optr: optrT, oldValue: pointerT, oldValueCnt: INT, newValue: pointerT, newValueCnt: INT, raiseSignal: BOOL] RETURNS [kernCode: Mach.kernReturnT _ -1] ~ {
kernCode _ KernSuccess;
};
DSQInit: PUBLIC PROC [sharedMemAddr: Mach.vmAddressT] ~ {
};
TAAddApplication: PUBLIC PROC [tPort: portT, atPort: portT, authName: Rope.ROPE, raiseSignal: BOOL] RETURNS [applicationID: applicationIdT, taPort: portT, kernCode: Mach.kernReturnT _ -1] ~ TRUSTED {
kernCode _ KernSuccess;
};
TABegin: PUBLIC ENTRY PROC [taPort: portT, parentTid: tidT, transType: transactionTypeT, raiseSignal: BOOL] RETURNS [newTid: tidT, kernCode: Mach.kernReturnT _ -1] ~ TRUSTED {
newTid _ GetNextTrans[];
kernCode _ KernSuccess;
};
TAEnd: PUBLIC PROC [taPort: portT, tid: tidT, protocolType: protocolTypeT, raiseSignal: BOOL] RETURNS [timestamp: timestampT, status: INT, kernCode: Mach.kernReturnT _ -1] ~ TRUSTED {
transID: YggTransaction.TransID _ LOOPHOLE[tid];
status _ ErSuccess;
kernCode _ KernSuccess;
};
TAKill: PUBLIC PROC [taPort: portT, tid: tidT, status: INT, raiseSignal: BOOL] RETURNS [kernCode: Mach.kernReturnT _ -1] ~ TRUSTED {
transID: YggTransaction.TransID _ LOOPHOLE[tid];
YggTransaction.Suspend[transID, ErWaitingTransAborted];
kernCode _ KernSuccess;
};
CALookup: PUBLIC PROC [nameServerPort: Mach.portT, name: Rope.ROPE, site: Rope.ROPE, numberWanted: INT, maxSeconds: INT, raiseSignal: BOOL] RETURNS [portList: Mach.ListOfPorts, kernCode: Mach.kernReturnT] ~ {
portList _ LIST[[9]];
kernCode _ KernSuccess;
};

GetNextTrans: PROC RETURNS [transID: YggTransaction.TransID] ~ {
NextTransCount _ NextTransCount + 1;
transID _ [top: [lowTicker: NextTransCount], bottom: [lowTicker: NextTransCount]];
};
DoCommit: PROC [transID: YggTransaction.TransID, doCommit: BOOL] ~ {
[] _ YggTransaction.Finish[transID, IF doCommit THEN commit ELSE abort];
};
STServer: PUBLIC PROC [inMsg: REF Camelot.camlibSysReqMsgT, outMsg: REF Camelot.camlibSysRepMsgT] RETURNS [messageUnderstood: BOOL _ FALSE] ~ {
};
SRServer: PUBLIC PROC [inMsg: REF Camelot.camlibSysReqMsgT, outMsg: REF Camelot.camlibSysRepMsgT] RETURNS [messageUnderstood: BOOL _ FALSE] ~ {
};
ATServer: PUBLIC PROC [inMsg: REF Camelot.camlibSysReqMsgT, outMsg: REF Camelot.camlibSysRepMsgT] RETURNS [messageUnderstood: BOOL _ FALSE] ~ {
};

Init: PROC = {
YggdrasilInit.RecoveryComplete[];
};

Init[];

END.

0TestSupportImpl.mesa
Copyright Ó 1988, 1989 by Xerox Corporation.  All rights reserved.
Bob Hagmann March 15, 1989 3:23:57 pm PST
Exported junk
Global data 

Exported task procedures
get my task
get my notify port (task_notify)


Exported virtual memory procedures
Grab some VM.

Map some externally backed memory into VM.
interval: VM.Interval;
interval _ VM.Allocate[count: VM.PagesForBytes[size]];

Unmap some externally backed memory into VM, whether externally backed or not.
TRUSTED{VM.Free[interval: loai.first.interval];};
REPEAT FINISHED => ERROR;
Exported message procedures
send a message


Receive a message.
Modifies the header!

Exported port procedures
get my port to the name server  (name_server_port)

get my port to the service port  (service_port)

send a message


restricts port so that msgReceive must be used the port number, not PortDefault

unrestricts port so that PortDefault to msgReceive can receive from this port

Netname
"check in a name into the local name space"

Exported recoverable storage management procedures
Initialize the data server.

Pin an object in preparation for modification.

Send a new value of an object to the log.

Send a new value of an object to the log.

Send a new value of an object to the log.



Exported transaction management procedures
Initialize an application to the transaction manager.

Start a new transaction.

Try to commit a transaction.
DoCommit[transID, TRUE];

Try to abort a transaction.
DoCommit[transID, FALSE];

Name server

Lookup for applications.

Local procs 

YggdrasilInit


Initialization

�Êm˜š
œ™Icodeš
œB™BKš
œ)™)K˜š
Ïk	˜	Kš
œ˜Kš
œ˜Kš
œ
˜
Kš
œ˜Kš
œ˜Kš
œ˜Kš
œ˜Kš�œ
˜Kš
œ˜Kš
œ˜Kš
œ˜Kš
œ˜Kš
œ˜Kš
œ˜Kš
œ
˜
Kš
œ˜Kš
œ˜Kš
œ˜Kš
œ˜Kš
œ˜Kš
œ˜Kš
œ˜Kš
œ˜Kš
œ˜Kš
œ˜Kš
œ˜Kš
œ˜Kš
œ˜——
headšœ�œ
�˜Kš�œW˜^Kš�œ/˜6K˜Kšœ�˜Kš�œ˜Kš�œ
�œ
˜K˜—™
K˜Kšœ�œ#˜1K˜Kš�œ�œ�œ˜Kšœ�œ
�œ˜+K˜Kšœ
�œ�œ
˜!Kšœ
�œ
�œ ˜8K˜K˜—™K˜Kš
œ˜K˜Kšœ�œ
�œ�œ
˜"Kš
œ˜˜K˜	K˜Kš
œ'˜'Kšœ�œ
�œ˜*K˜—Kš
œ˜Kšœ	�œä
˜ñ
Kšœ
�œ�œ
�œ˜<K˜Kšœ�œ�œ
�œÕ
˜ø
Kšœ�œ�œ
�œM˜qK™—š
œ™Kš
Ïnœ�œ
�œ+�œ�œ
˜OKšžœ�œ
�œ�œ�œ
Ïb
˜<K˜šŸœ�œ
�œ
�œ˜5Kš
œ™Kš
œ˜K˜K˜—šŸ
œ�œ
�œ
�œ˜7Kš
œ ™ Kš
œ˜K˜K™K™——š
œ"™"šŸ
œ�œ
�œE�œ�œ�œ?�œ˜Ã
Kšœ
�œ
™
Kšœ
�œ
˜Kšœ�œ�œ˜6Kšœ�œ&˜AKš
œ˜K˜K™—Kšžœ�œ
�œ˜%šœ�œ�œ˜Kš
œ˜Kš
œ˜Kš
œ˜Kš
œ˜Kš
œ˜K˜K˜—šŸœ�œ
�
œE�œ?�œ�œ?�œ˜ƒKšœ'�œ
™*Kšœ�œ
�œ˜Kšœ
�œ
™K˜Kšœ�œ˜Kšœ�œ˜š�œ�œ�œ
�˜5Kš�œ!�œ
�œ
˜-Kš�œ,�œ
�œ
˜8š�œ�œ�œ˜?Kš�œ�œ
�œ
˜#Kš�œ
˜K˜—Kš�œ
˜—Kšœ*�œ
�œ˜7Kšœ�œ�œ™6Kš
œ,˜,Kšœ�œ˜Kš�œ
�œ�œ
�œ
˜2Kšœ�œ˜%Kš�œ�œ�œ
�œ
˜8š
œ˜Kšœ�œ
�œ�œ˜.Kšœ�œ˜/š
œ˜Kšœ�œ˜.Kš
œ;˜;Kšœ�œ˜3Kš
œ'˜'K˜—Kšœ�œ`˜rK˜
—š
œ˜Kš�œ[�œ˜vKš
œ˜Kš
œ)˜)Kš
œ!˜!K˜—Kš
œ˜K˜K™—šŸœ�œH�œ�œ!˜•
Kš
œN™Nš�œ�œ
�œ$�œ�œ
�˜Hš�œ$�œ˜,Kšœ�œ˜Kšœ�œ˜Kš
œ%˜%Kšœ�œ ˜*Kšœ�œ"˜0Kš�œ\�œ˜qKš�
œ
žœ"™1Kš
œ˜Kš
œ˜Kš
œ˜K˜K˜—K™Kš�œ
˜—K˜——š
œ™šŸœ�œ
�œ
�œ*�œ�œ�œ˜‰
Kš
œ™K˜K˜K™K™—šŸ
œ�œ
�œ
�œ*�œ�œ�œ˜Œ
Kš
œ™Kš
œ™š
�˜K˜Kš�œ
˜—K˜K™——š
œ™šŸœ�œ
�œ˜2Kš
œ2™2K˜K˜K™—šžœ�œ
�œ"�œ�œ-�œ˜—
Kš
œ/™/Kš
œX˜XKš
œ˜Kš
œ˜Kš
œ"˜"K˜K™—Kš
œ˜šŸœ�œ
�œ"�œ�œ0�œ˜�
Kš
œ™Kš
œ˜Kš
œ˜Kš
œ˜K˜K˜K™K™—šŸœ�œ/�œ�œ!˜vK™OKš
œ˜K˜K™—šŸœ�œ/�œ�œ!˜xK™MKš
œ˜K˜K™K˜——™šŸœ�œ
�œ"�œ0�œ�œ˜š
K™+Kš
œ˜K˜K™——š
œ2™2šžœ�œ
�œ�œ�œ²
�œ˜ÿ
Kš
œ™Kš
œ˜Kš
œ
˜
Kš
œ˜Kš
œ˜Kš
œ˜Kšœ`�
œ˜wKš
œ˜Kš
œ˜K˜K™—š
žœ�œ
�œB�œ�œ&˜�
Kš
œ.™.Kš
œ˜K˜K™—šž
œ�œ
�œJ�œ�œ�œ&˜©
Kš
œ)™)Kš
œ˜K˜K™—š
žœ�œ
�œ‚
�œ�œ&˜×
Kš
œ)™)Kš
œ˜K˜K™—šžœ�œ
�œ%˜9Kš
œ)™)K˜K™K™K™——š
œ*™*šžœ�œ.�œ�œ�œS�œ˜Ç
Kš
œ5™5Kš
œ˜K˜K™—šžœ�œ
�
œL�œ�œ3�œ˜¯
Kš
œ™Kš
œ˜Kš
œ˜K˜K™—šžœ�œ
�œF�œ�œ!�œ%�œ˜·
Kš
œ™Kš
œ0˜0Kš
œ™Kš
œ˜Kš
œ˜K˜K™—šžœ�œ$�œ�œ�œ%�œ˜„
Kš
œ™Kš
œ0˜0Kš
œ7˜7Kš
œ™Kš
œ˜K˜K™——™K™šžœ�œ)�œ
�œ�œ�œ�œ�œ=˜Ð
Kš
œ™Kš
œ˜Kš
œ˜K˜—K™—™K˜
unitšžœ�œ
�œ&˜@Kš
œ$˜$Kš
œR˜RK˜—šžœ�œ6˜DKš
œH˜HK˜—K™—™
K™šÐbnœ�œ	�œ#�œ�œ�œ�œ˜�
K˜—š œ�œ	�œ#�œ�œ�œ�œ˜�
K˜—šžœ�œ	�œ#�œ�œ�œ�œ˜�
K˜—K™—™K˜šžœ�œ˜Kš
œ!˜!K˜K˜—K˜—K˜Kš�œ
˜K™J˜—…—%F6ã