DIRECTORY
Basics USING [Card32FromF, Card16FromH, FFromCard32, FWORD, HFromCard16, HWORD],
BasicTime USING [GetClockPulses, MicrosecondsToPulses, Pulses],
CrRPC USING [BeginErrorProc, BeginRejectProc, BeginReturnProc, BulkDataCheckAbortProc, BulkDataSink, BulkDataSource, BulkDataValueProc, BulkDataXferProc, CallContinuationProc, CallProc, ContinuationProc, Error, ErrorReason, GetBulkDataXferProcProc, GetCard16, GetHWord, Handle, invalidArgument, noSuchProcedure, noSuchProgram, noSuchVersion, Object, ProcsObject, PutBulkDataXferProcProc, PutCard16, ReadBulkDataStreamProc, ServerProc, SetContinuationProc, SetParametersProc, WriteBulkDataSegmentProc],
CrRPCBackdoor USING [AbortHdr, AbortMsgHdr, abortMsgHdrBytes, abortMsgType, BulkDataDescriptorType, CallHdr, CallMsgHdr, callMsgHdrBytes, callMsgType, courierVersionNum, CreateClientHandleProc, CreateListenerProc, LookUpServerProc, MsgHdr, --msgHdrBytes,-- NewClientObject, RegisterCreateClientHandleProc, RegisterCreateListenerProc, RejectHdr, RejectMsgHdr, rejectMsgHdrBytes, rejectMsgType, RenewClientObject, ReturnHdr, ReturnMsgHdr, returnMsgHdrBytes, returnMsgType, SessionHdr, sessionHdrBytes],
IO USING [CharsAvail, Close, EndOf, EndOfStream, Error, GetBlock, PutBlock, PutFR1, STREAM, UnsafeBlock, UnsafeGetBlock, UnsafePutBlock],
Process USING [Detach, Pause, SecondsToTicks, Ticks],
RefText USING [ObtainScratch, ReleaseScratch],
Rope USING [ROPE],
RuntimeError USING [BoundsFault],
XNS USING [Address, Socket, unknownSocket],
XNSSPPTypes USING [bulkDataSST, defaultSST, endReplySST, endSST, SubSequenceType],
XNSStream USING [ConnectionClosed, Create, CreateListener, FlushInput, GetStatus, Listener, ListenerProc, SendAttention, SendClose, SendCloseReply, SendEndOfMessage, SendNow, SetSSType, State, SubSequenceType, Timeout, waitForever],
XNSWKS USING [courier];

CrRPCSPPImpl: CEDAR MONITOR
IMPORTS Basics, BasicTime, CrRPC, CrRPCBackdoor, IO, Process, RefText, RuntimeError, XNSStream
~ {

FWORD: TYPE ~ Basics.FWORD;
HWORD: TYPE ~ Basics.HWORD;

STREAM: TYPE ~ IO.STREAM;


FfC: PROC [c: CARD32] RETURNS [FWORD] ~ INLINE {
RETURN [Basics.FFromCard32[c]] };
HfC: PROC [c: CARD16] RETURNS [HWORD] ~ INLINE {
RETURN [Basics.HFromCard16[c]] };
CfF: PROC [f: FWORD] RETURNS [CARD32] ~ INLINE {
RETURN [Basics.Card32FromF[f]] };
CfH: PROC [h: HWORD] RETURNS [CARD16] ~ INLINE {
RETURN [Basics.Card16FromH[h]] };

Handle: TYPE ~ CrRPC.Handle;


MyCharsAvail: PROC [self: STREAM, wait: BOOL ¬ FALSE] RETURNS [n: INT] ~ INLINE {
IF (n ¬ IO.CharsAvail[self, wait]) # 0 THEN IF IO.EndOf[self] THEN n ¬ 0 };
DataHandle: TYPE ~ REF DataObject;
DataObject: TYPE ~ RECORD [
next: DataHandle ¬ NIL,
handle: Handle ¬ NIL,
lastUsed: BasicTime.Pulses,
stream: IO.STREAM ¬ NIL,
inputFlushNeeded: BOOL ¬ FALSE,
remote: XNS.Address,
sendBulkData: CrRPC.BulkDataXferProc ¬ NIL, -- for client handles
recvBulkData: CrRPC.BulkDataXferProc ¬ NIL, -- for client handles
continuation: CrRPC.ContinuationProc ¬ NIL, -- for server handles
continuationClientData: REF -- for server handles
];

theClientProcs: REF CrRPC.ProcsObject
~ NEW[ CrRPC.ProcsObject ¬ [
destroy~CheckInToCache,
setParameters~SetParameters,
call~Call,
getBulkDataSource~ErrorGetBulkDataSource,
getBulkDataSink~ErrorGetBulkDataSink,
putBulkDataSource~PutBulkDataSource,
putBulkDataSink~PutBulkDataSink,
readBulkDataStream~ReadBulkDataStream,
writeBulkDataSegment~WriteBulkDataSegment,
callContinuation~CallContinuation,
setContinuation~ErrorSetContinuation,
finalize~Finalize
]
];

theServerProcs: REF CrRPC.ProcsObject
~ NEW[ CrRPC.ProcsObject ¬ [
destroy~CheckInToCache,
setParameters~SetParameters,
call~ErrorCall,
getBulkDataSource~GetBulkDataSource,
getBulkDataSink~GetBulkDataSink,
putBulkDataSource~ErrorPutBulkDataSource,
putBulkDataSink~ErrorPutBulkDataSink,
readBulkDataStream~ReadBulkDataStream,
writeBulkDataSegment~WriteBulkDataSegment,
callContinuation~ErrorCallContinuation,
setContinuation~SetContinuation,
finalize~ErrorFinalize
]
];

alwaysSmashTheSocket: BOOL ¬ FALSE;

SetParameters: CrRPC.SetParametersProc
~ {
dH: DataHandle ~ NARROW[h.data];
hNew ¬ h;
SELECT op FROM
$GetRemote => result ¬ NEW[XNS.Address ¬ dH.remote];
ENDCASE => ERROR CrRPC.Error[h, unknownOperation, NIL];
};

ErrorCall: CrRPC.CallProc ~ {
ERROR CrRPC.Error[h, notClientHandle, "call using server handle"] };

Call: CrRPC.CallProc
~ {
dH: DataHandle ~ NARROW[h.data];

ConnectToServer: PROC ~ {
sessionHdrOut: CrRPCBackdoor.SessionHdr ¬ [
lowVersion~HfC[CrRPCBackdoor.courierVersionNum - 1],
highVersion~HfC[CrRPCBackdoor.courierVersionNum]];
sessionHdrIn: CrRPCBackdoor.SessionHdr;
nRead: NAT;
IF dH.stream # NIL THEN ERROR;
dH.stream ¬ XNSStream.Create[remote~dH.remote,
getTimeout~XNSStream.waitForever, putTimeout~XNSStream.waitForever];
TRUSTED {
IO.UnsafePutBlock[self~dH.stream, block~[base~LOOPHOLE[LONG[@sessionHdrOut]], startIndex~0, count~CrRPCBackdoor.sessionHdrBytes]] };
XNSStream.SendNow[dH.stream];
TRUSTED {
nRead ¬ IO.UnsafeGetBlock[self~dH.stream, block~[base~LOOPHOLE[LONG[@sessionHdrIn]], startIndex~0, count~CrRPCBackdoor.sessionHdrBytes]] };
dH.inputFlushNeeded ¬ FALSE; -- ???? Is there EOM on version number pair ????
IF (nRead # CrRPCBackdoor.sessionHdrBytes)
OR (CfH[sessionHdrIn.lowVersion] > CrRPCBackdoor.courierVersionNum)
OR (CfH[sessionHdrIn.highVersion] < CrRPCBackdoor.courierVersionNum) THEN {
SendCloseStream[dH];
ERROR CrRPC.Error[h, courierVersionMismatch, "Courier version error"];
};
};

SendCallMsg: PROC ~ {
callMsgHdr: CrRPCBackdoor.CallMsgHdr ¬ [
msgHdr~[msgType~CrRPCBackdoor.callMsgType],
callHdr~[
tID~[0, 0],
pgmNum~FfC[remotePgm],
pgmVersion~HfC[remotePgmVersion],
procNum~HfC[remoteProc]
]
];
TRUSTED {
IO.UnsafePutBlock[self~dH.stream, block~[base~LOOPHOLE[LONG[@callMsgHdr]], startIndex~0, count~CrRPCBackdoor.callMsgHdrBytes]] };
IF putArgs # NIL THEN putArgs[h, dH.stream];
XNSStream.SendEndOfMessage[dH.stream];
};

ReadResultMsg: PROC ~ {
msgType: HWORD ¬ CrRPC.GetHWord[dH.stream];
SELECT msgType FROM
CrRPCBackdoor.rejectMsgType => {
rejectReason: CARDINAL;
[] ¬ CrRPC.GetHWord[dH.stream];
rejectReason ¬ CrRPC.GetCard16[dH.stream];
[] ¬ AdvanceInput[h~h, wait~FALSE];
ERROR CrRPC.Error[h,
(SELECT rejectReason FROM
CrRPC.noSuchProgram => rejectedNoSuchProgram,
CrRPC.noSuchVersion => rejectedNoSuchVersion,
CrRPC.noSuchProcedure => rejectedNoSuchProcedure,
CrRPC.invalidArgument => rejectedInvalidArgument,
ENDCASE => rejectedUnspecified),
"rejected"];
};
CrRPCBackdoor.returnMsgType => {
[] ¬ CrRPC.GetHWord[dH.stream];
IF getResults # NIL THEN getResults[h, dH.stream];
[] ¬ AdvanceInput[h~h, wait~FALSE];
};
CrRPCBackdoor.abortMsgType => {
errNum: CARDINAL;
[] ¬ CrRPC.GetHWord[dH.stream];
errNum ¬ CrRPC.GetCard16[dH.stream];
IF getError # NIL THEN getError[h, dH.stream, errNum];
[] ¬ AdvanceInput[h~h, wait~FALSE];
ERROR CrRPC.Error[h, remoteError, "unexpected remote error"] };
ENDCASE => {
SendCloseStream[dH];
ERROR CrRPC.Error[h, protocolError, "bad msgType in response"] };
};

ClientRdySysRecv: PROC ~ {
state: XNSStream.State;
sst: XNSStream.SubSequenceType;
DO
[state, sst] ¬ AdvanceInput[h~h, wait~TRUE];
IF state = open THEN EXIT;
[] ¬ XNSStream.GetStatus[self~dH.stream, reset~TRUE];
ENDLOOP;
IF sst # 0 THEN {
SmashStream[dH];
ERROR CrRPC.Error[h, protocolError, "sys sst # 0"] };
dH.inputFlushNeeded ¬ TRUE;
};

ClientRdyBDTSend: PROC RETURNS [ok: BOOL] ~ {
state: XNSStream.State;
sst: XNSStream.SubSequenceType;
[state, sst] ¬ AdvanceInput[h~h, wait~FALSE];
SELECT state FROM
open => {
ok ¬ (MyCharsAvail[self~dH.stream, wait~FALSE] = 0) };
attention => {
ok ¬ TRUE };
ENDCASE => ERROR;
};

ClientRdyBDTRecv: PROC RETURNS [ok: BOOL] ~ {
state: XNSStream.State;
sst: XNSStream.SubSequenceType;
[state, sst] ¬ AdvanceInput[h~h, wait~TRUE];
SELECT state FROM
open, endOfMessage => {
ok ¬ (sst # 0);
dH.inputFlushNeeded ¬ ok };
attention => {
ok ¬ TRUE };
ENDCASE => ERROR;
};

CheckAbortRecv: CrRPC.BulkDataCheckAbortProc ~ {
[] ¬ IO.CharsAvail[self~dH.stream, wait~TRUE]; -- MyCharsAvail not needed here!
RETURN [ XNSStream.GetStatus[self~dH.stream, reset~FALSE].state = attention ] };

CheckAbortSend: CrRPC.BulkDataCheckAbortProc ~ {
RETURN[ (XNSStream.GetStatus[self~dH.stream, reset~FALSE].state # open)
OR (MyCharsAvail[self~dH.stream, wait~FALSE] > 0) ] };


BEGIN

dH.sendBulkData ¬ NIL;
dH.recvBulkData ¬ NIL;

BEGIN
IF dH.stream # NIL THEN {
ENABLE XNSStream.ConnectionClosed, CrRPC.Error, IO.Error => {
SmashStream[dH];
CONTINUE };
[] ¬ AdvanceInput[h~h, wait~FALSE]; -- check for close
SendCallMsg[];
GOTO Done };
{ -- dH.stream = NIL --
ENABLE {
XNSStream.ConnectionClosed => {
SmashStream[dH];
ERROR CrRPC.Error[h, communicationFailure, IO.PutFR1["Stream failure: %g", [rope[text]]]] };
IO.Error => {
SmashStream[dH];
ERROR CrRPC.Error[h, communicationFailure, "IO.Error"] };
};
ConnectToServer[];
SendCallMsg[];
GOTO Done };
EXITS
Done => NULL;
END;


BEGIN
ENABLE {
XNSStream.ConnectionClosed => {
SmashStream[dH];
ERROR CrRPC.Error[h, communicationFailure, IO.PutFR1["Stream failure: %g", [rope[text]]]] };
IO.Error => {
SmashStream[dH];
ERROR CrRPC.Error[h, communicationFailure, "IO.Error"] };
};
SELECT TRUE FROM

(dH.sendBulkData # NIL) => {
IF ClientRdyBDTSend[].ok THEN {
XNSStream.SetSSType[dH.stream, XNSSPPTypes.bulkDataSST];
IF dH.sendBulkData[h, dH.stream, CheckAbortSend].abort
THEN XNSStream.SendAttention[dH.stream, 1] -- ???? Define 1 ????
ELSE XNSStream.SendEndOfMessage[dH.stream];
XNSStream.SetSSType[dH.stream, XNSSPPTypes.defaultSST];
};
};

(dH.recvBulkData # NIL) => {
ENABLE {
IO.EndOfStream => {
SendCloseStream[dH];
ERROR CrRPC.Error[h, bulkDataError, "end of stream"] };
RuntimeError.BoundsFault => {
SendCloseStream[dH];
ERROR CrRPC.Error[h, bulkDataError, "bulk data value bounds fault"] };
};
IF ClientRdyBDTRecv[].ok THEN {
IF dH.recvBulkData[h, dH.stream, CheckAbortRecv].abort
THEN XNSStream.SendAttention[dH.stream, 1]; -- ???? Define 1 ????
};
};

ENDCASE => {
NULL;
};

{
ENABLE {
IO.EndOfStream => {
SendCloseStream[dH];
ERROR CrRPC.Error[h, resultsError, "end of stream"] };
RuntimeError.BoundsFault => {
SendCloseStream[dH];
ERROR CrRPC.Error[h, resultsError, "result value bounds fault"] };
};
ClientRdySysRecv[];
ReadResultMsg[];
};

END;

END;

}; -- of Call


ServerRdySysRecv: PROC [h: Handle] ~ {
dH: DataHandle ~ NARROW[h.data];
state: XNSStream.State;
sst: XNSStream.SubSequenceType;
DO
[state, sst] ¬ AdvanceInput[h~h, wait~TRUE];
IF state = open THEN EXIT;
[] ¬ XNSStream.GetStatus[self~dH.stream, reset~TRUE];
ENDLOOP;
IF sst # 0 THEN ERROR CrRPC.Error[h, protocolError, "sys sst # 0"];
dH.inputFlushNeeded ¬ TRUE;
};

ServerRdyBDTRecv: PROC [h: Handle] ~ {
dH: DataHandle ~ NARROW[h.data];
state: XNSStream.State;
sst: XNSStream.SubSequenceType;
[state, sst] ¬ AdvanceInput[h~h, wait~TRUE];
SELECT state FROM
open, endOfMessage => {
IF sst = 0 THEN ERROR CrRPC.Error[h, protocolError, "missing bulk data"];
dH.inputFlushNeeded ¬ TRUE };
attention => {
NULL };
ENDCASE => ERROR;
};

ServerRdyBDTSend: PROC [h: Handle] ~ {
dH: DataHandle ~ NARROW[h.data];
state: XNSStream.State;
sst: XNSStream.SubSequenceType;
[state, sst] ¬ AdvanceInput[h~h, wait~FALSE];
SELECT state FROM
open => {
IF MyCharsAvail[self~dH.stream, wait~FALSE] # 0 THEN
ERROR CrRPC.Error[h, protocolError, "client send to bdt source"];
};
attention => {
NULL };
ENDCASE => ERROR;
};

BeginReturn: CrRPC.BeginReturnProc
~ {
dH: DataHandle ~ NARROW[h.data];
returnMsgHdr: CrRPCBackdoor.ReturnMsgHdr ¬ [
msgHdr~[msgType~CrRPCBackdoor.returnMsgType],
returnHdr~[tID~[hi~0, lo~0]]
];
TRUSTED {
IO.UnsafePutBlock[self~dH.stream, block~[base~LOOPHOLE[LONG[@returnMsgHdr]], startIndex~0, count~CrRPCBackdoor.returnMsgHdrBytes]] };
};

BeginError: CrRPC.BeginErrorProc
~{
dH: DataHandle ~ NARROW[h.data];
abortMsgHdr: CrRPCBackdoor.AbortMsgHdr ¬ [
msgHdr~[msgType~CrRPCBackdoor.abortMsgType],
abortHdr~[tID~[0,0], errNum~HfC[errNum]]
];
TRUSTED {
IO.UnsafePutBlock[self~dH.stream, block~[base~LOOPHOLE[LONG[@abortMsgHdr]], startIndex~0, count~CrRPCBackdoor.abortMsgHdrBytes]] };
};

BeginReject: CrRPC.BeginRejectProc
~ {
dH: DataHandle ~ NARROW[h.data];
rejectMsgHdr: CrRPCBackdoor.RejectMsgHdr ¬ [
msgHdr~[msgType~CrRPCBackdoor.rejectMsgType],
rejectHdr~[tID~[0,0], rejectReason~HfC[rejectReason]]
];
TRUSTED {
IO.UnsafePutBlock[self~dH.stream, block~[base~LOOPHOLE[LONG[@rejectMsgHdr]], startIndex~0, count~CrRPCBackdoor.rejectMsgHdrBytes]] };
};

ListenerProc: XNSStream.ListenerProc
~ {
sessionHdr: CrRPCBackdoor.SessionHdr;
callMsgHdr: CrRPCBackdoor.CallMsgHdr;
desiredPgm: CARD32;
desiredPgmVersion: CARD16;
desiredProc: CARD16;
serverProc: CrRPC.ServerProc;
nBytes: INT;
h: Handle;
dH: DataHandle;

BEGIN
ENABLE {
XNSStream.ConnectionClosed => GOTO Out;
CrRPC.Error, IO.Error, XNSStream.Timeout, RuntimeError.BoundsFault => GOTO Close;
};

TRUSTED {
nBytes ¬ IO.UnsafeGetBlock[stream, [base~LOOPHOLE[LONG[@sessionHdr]],  count~CrRPCBackdoor.sessionHdrBytes]]};
IF nBytes # CrRPCBackdoor.sessionHdrBytes THEN GOTO Close;
IF (CfH[sessionHdr.lowVersion] > CrRPCBackdoor.courierVersionNum)
OR (CfH[sessionHdr.highVersion] < CrRPCBackdoor.courierVersionNum) THEN {
GOTO Close };
sessionHdr.lowVersion ¬ sessionHdr.highVersion ¬ HfC[CrRPCBackdoor.courierVersionNum];
TRUSTED { IO.UnsafePutBlock[stream,
[base~LOOPHOLE[LONG[@sessionHdr]], count~CrRPCBackdoor.sessionHdrBytes]] };
XNSStream.SendNow[stream];

dH ¬ NEW[DataObject ¬ [lastUsed~, stream~stream, remote~remote]];
h ¬ NEW[CrRPC.Object ¬ [class~$SPP, kind~server, procs~theServerProcs, data~dH, clientData~NIL]];

DO
ServerRdySysRecv[h];
TRUSTED { nBytes ¬ IO.UnsafeGetBlock[stream,
[base~LOOPHOLE[LONG[@callMsgHdr]], startIndex~0, count~CrRPCBackdoor.callMsgHdrBytes]]};
IF (nBytes # CrRPCBackdoor.callMsgHdrBytes)
OR (callMsgHdr.msgHdr.msgType # CrRPCBackdoor.callMsgType) THEN {
GOTO Close };
desiredPgm ¬ CfF[callMsgHdr.callHdr.pgmNum];
desiredPgmVersion ¬ CfH[callMsgHdr.callHdr.pgmVersion];
desiredProc ¬ CfH[callMsgHdr.callHdr.procNum];

serverProc ¬ CrRPCBackdoor.LookUpServerProc[desiredPgm, desiredPgmVersion];
SELECT serverProc FROM
NIL => -- Don't have server, reject the call -- {
rejectMsgHdr: CrRPCBackdoor.RejectMsgHdr ¬ [
msgHdr~[msgType~CrRPCBackdoor.rejectMsgType],
rejectHdr~[tID~[0,0], rejectReason~HfC[CrRPC.noSuchProgram]]
];
TRUSTED { IO.UnsafePutBlock[stream,
[base~LOOPHOLE[LONG[@rejectMsgHdr]], startIndex~0, count~CrRPCBackdoor.rejectMsgHdrBytes]] };
XNSStream.SendEndOfMessage[stream] };
ENDCASE => -- Serve the call -- {
serverProc[h, stream, desiredPgm, desiredPgmVersion, desiredProc, BeginReturn, BeginError, BeginReject];
IF dH.stream = NIL THEN GOTO Smashed; -- client caught error
XNSStream.SendEndOfMessage[stream];
IF dH.continuation # NIL THEN {
newStream: IO.STREAM
¬ dH.continuation[dH.stream, dH.continuationClientData];
IF newStream = NIL THEN GOTO Closed;
IF newStream # dH.stream THEN GOTO Smashed;
};
};

ENDLOOP;
END;

EXITS
Close => {
[] ¬ XNSStream.SendClose[stream
! XNSStream.ConnectionClosed => CONTINUE];
IO.Close[self~stream, abort~TRUE];
};
Out => {
IO.Close[self~stream, abort~TRUE];
};
Closed, Smashed => NULL;
};

ListenerValue: TYPE ~ REF ListenerValueObject;
ListenerValueObject: TYPE ~ RECORD [
next: ListenerValue,
socket: XNS.Socket,
listener: XNSStream.Listener
];
listeners: ListenerValue ¬ NIL;

CreateListener: ENTRY CrRPCBackdoor.CreateListenerProc
~ {
newListener: XNSStream.Listener;
socket: XNS.Socket ¬ XNS.unknownSocket;
IF local # NIL THEN WITH local SELECT FROM
rA: REF XNS.Address => socket ¬ rA.socket;
rS: REF XNS.Socket => socket ¬ rS­;
ENDCASE => ERROR CrRPC.Error[NIL, addressInappropriateForClass, NIL];
IF socket = XNS.unknownSocket THEN socket ¬ XNSWKS.courier;
FOR p: ListenerValue ¬ listeners, p.next WHILE p # NIL DO
IF p.socket = socket THEN RETURN;
ENDLOOP;
newListener ¬ XNSStream.CreateListener[socket~socket, worker~ListenerProc,
getTimeout~XNSStream.waitForever, putTimeout~XNSStream.waitForever];
listeners ¬ NEW[ListenerValueObject ¬
[next~listeners, socket~socket, listener~newListener]];
};
AdvanceInput: PROC [h: Handle, wait: BOOL ¬ FALSE]
RETURNS [state: XNSStream.State, ssType: XNSStream.SubSequenceType] ~ {
dH: DataHandle ~ NARROW[h.data];
sawBreak: BOOL ¬ FALSE;
IF dH.inputFlushNeeded THEN {
[] ¬ XNSStream.FlushInput[self~dH.stream, wait~TRUE];
dH.inputFlushNeeded ¬ FALSE };
DO
[state~state, ssType~ssType] ¬ XNSStream.GetStatus[self~dH.stream, reset~FALSE];
IF (ssType = XNSSPPTypes.endSST) OR (ssType = XNSSPPTypes.endReplySST) THEN {
ReplyCloseStream[dH];
ERROR CrRPC.Error[h, protocolError, "remote close"] };
SELECT state FROM
open => {
IF NOT wait THEN RETURN;
IF MyCharsAvail[self~dH.stream, wait~TRUE] > 0 THEN RETURN;
LOOP };
attention => RETURN;
endOfMessage => {
IF sawBreak THEN RETURN;
sawBreak ¬ TRUE };
ssTypeChange => {
sawBreak ¬ TRUE };
ENDCASE => ERROR;
[] ¬ XNSStream.GetStatus[self~dH.stream, reset~TRUE];
ENDLOOP;
};

SmashStream: PROC [dH: DataHandle] ~ {
IF dH.stream # NIL THEN {
IO.Close[self~dH.stream, abort~TRUE];
dH.stream ¬ NIL };
};

SendCloseStream: PROC [dH: DataHandle] ~ {
IF dH.stream # NIL THEN {
[] ¬ XNSStream.SendClose[dH.stream
! XNSStream.ConnectionClosed => CONTINUE];
IO.Close[self~dH.stream, abort~TRUE];
dH.stream ¬ NIL };
};

ReplyCloseStream: PROC [dH: DataHandle] ~ {
IF dH.stream # NIL THEN {
[] ¬ XNSStream.SendCloseReply[dH.stream
! XNSStream.ConnectionClosed, XNSStream.Timeout => CONTINUE];
IO.Close[self~dH.stream, abort~TRUE];
dH.stream ¬ NIL };
};

ErrorPutBulkDataSource: CrRPC.PutBulkDataXferProcProc
~ { ERROR CrRPC.Error[h, notClientHandle, "putBDTSource on server handle"] };

PutBulkDataSource: CrRPC.PutBulkDataXferProcProc
~ {
dH: DataHandle ~ NARROW[h.data];
IF proc = NIL
THEN {
CrRPC.PutCard16[s, ORD[CrRPCBackdoor.BulkDataDescriptorType.null]] }
ELSE {
CrRPC.PutCard16[s, ORD[CrRPCBackdoor.BulkDataDescriptorType.immediate]];
TRUSTED { dH.sendBulkData ¬ proc }};
};

ErrorPutBulkDataSink: CrRPC.PutBulkDataXferProcProc
~ { ERROR CrRPC.Error[h, notClientHandle, "putBDTSink on server handle"] };

PutBulkDataSink: CrRPC.PutBulkDataXferProcProc
~ {
dH: DataHandle ~ NARROW[h.data];
IF proc = NIL
THEN {
CrRPC.PutCard16[s, ORD[CrRPCBackdoor.BulkDataDescriptorType.null]] }
ELSE {
CrRPC.PutCard16[s, ORD[CrRPCBackdoor.BulkDataDescriptorType.immediate]];
TRUSTED { dH.recvBulkData ¬ proc }};
};

ErrorGetBulkDataSource: PROC [h: Handle, s: STREAM]
RETURNS[bulkDataSource: CrRPC.BulkDataSource] ~ {
ERROR CrRPC.Error[h, notServerHandle, "GetBDTSource on client handle"] };

GetBulkDataSource: PROC [h: Handle, s: STREAM]
RETURNS[bulkDataSource: CrRPC.BulkDataSource] ~ {
dH: DataHandle ~ NARROW[h.data];
typeCode: CARDINAL;
typeCode ¬ CrRPC.GetCard16[s];
SELECT typeCode FROM
ORD[CrRPCBackdoor.BulkDataDescriptorType.null] => {
bulkDataSource ¬ NIL };
ORD[CrRPCBackdoor.BulkDataDescriptorType.immediate] => TRUSTED {
bulkDataSource ¬ ServerRecvBulkData };
ORD[CrRPCBackdoor.BulkDataDescriptorType.active],
ORD[CrRPCBackdoor.BulkDataDescriptorType.passive] => {
ERROR CrRPC.Error[h, notImplemented, "no third party bulk data"] };
ENDCASE => {
ERROR CrRPC.Error[h, protocolError, "bad bulkDataSource type"] };
};

ServerRecvBulkData: CrRPC.BulkDataXferProc
~ {
dH: DataHandle ~ NARROW[h.data];
bufSize: NAT ~ 1024;
b: REF TEXT ~ RefText.ObtainScratch[bufSize];
nBytes: INT;
state: XNSStream.State;
ssType: XNSSPPTypes.SubSequenceType;
abort ¬ FALSE;
ServerRdyBDTRecv[h];
DO
SELECT nBytes ¬ IO.GetBlock[self~dH.stream, block~b] FROM
0 => {
[state~state, ssType~ssType] ¬ XNSStream.GetStatus[dH.stream, TRUE];
SELECT state FROM
attention => { abort ¬ TRUE; EXIT };
endOfMessage => { dH.inputFlushNeeded ¬ FALSE; EXIT };
ssTypeChange => SELECT ssType FROM
0 => ERROR CrRPC.Error[h, protocolError, "bdt no eom"];
XNSSPPTypes.endSST, XNSSPPTypes.endReplySST =>
ERROR CrRPC.Error[h, remoteClose, "remote close"];
ENDCASE => NULL; -- ???? is this an error ????
open => NULL;
ENDCASE => ERROR;
};
ENDCASE => {
IO.PutBlock[self~s, block~b, count~nBytes];
};
IF checkAbort[h].abort THEN {
XNSStream.SendAttention[dH.stream, 1]; -- Define 1 ????
EXIT };
ENDLOOP;
RefText.ReleaseScratch[b];
};

ErrorGetBulkDataSink: PROC [h: Handle, s: STREAM]
RETURNS[bulkDataSink: CrRPC.BulkDataSink] ~ {
ERROR CrRPC.Error[h, notServerHandle, "GetBDTSink on client handle"] };

GetBulkDataSink: PROC [h: Handle, s: STREAM]
RETURNS[bulkDataSink: CrRPC.BulkDataSink] ~ {
dH: DataHandle ~ NARROW[h.data];
typeCode: CARDINAL;
typeCode ¬ CrRPC.GetCard16[s];
SELECT typeCode FROM
ORD[CrRPCBackdoor.BulkDataDescriptorType.null] => {
bulkDataSink ¬ NIL };
ORD[CrRPCBackdoor.BulkDataDescriptorType.immediate] => TRUSTED {
bulkDataSink ¬ ServerSendBulkData };
ORD[CrRPCBackdoor.BulkDataDescriptorType.active],
ORD[CrRPCBackdoor.BulkDataDescriptorType.passive] => {
ERROR CrRPC.Error[h, notImplemented, "no third party bulk data"] };
ENDCASE => {
ERROR CrRPC.Error[h, protocolError, "bad bulkDataSink type"] };
};

ServerSendBulkData: CrRPC.BulkDataXferProc
~ {
dH: DataHandle ~ NARROW[h.data];
bufSize: NAT ~ 1024;
b: REF TEXT ~ RefText.ObtainScratch[bufSize];
nBytes: INT;
state: XNSStream.State;
ssType: XNSSPPTypes.SubSequenceType;
abort ¬ FALSE;
ServerRdyBDTSend[h];
XNSStream.SetSSType[self~dH.stream, ssType~XNSSPPTypes.bulkDataSST];
{
DO
[state~state, ssType~ssType] ¬ XNSStream.GetStatus[dH.stream, FALSE];
SELECT state FROM
open => NULL;
attention, endOfMessage, ssTypeChange => {
abort ¬ TRUE;
GOTO FinishWithEOM };
ENDCASE => ERROR;
IF checkAbort[h].abort THEN {
GOTO FinishWithAttention };
SELECT nBytes ¬ IO.GetBlock[self~s, block~b] FROM
0 => {
GOTO FinishWithEOM };
ENDCASE => {
IO.PutBlock[self~dH.stream, block~b, count~nBytes];
};
ENDLOOP;
EXITS
FinishWithAttention =>
XNSStream.SendAttention[dH.stream, 1]; -- Define 1 ????
FinishWithEOM =>
XNSStream.SendEndOfMessage[dH.stream];
};
RefText.ReleaseScratch[b];
XNSStream.SetSSType[self~dH.stream, ssType~XNSSPPTypes.defaultSST];
};

nextSegment: CARD16 ~ 0;
lastSegment: CARD16 ~ 1;

ReadBulkDataStream: CrRPC.ReadBulkDataStreamProc
~ {
ENABLE {
XNSStream.ConnectionClosed => {
ERROR CrRPC.Error[NIL, communicationFailure, IO.PutFR1["Stream failure: %g", [rope[text]]]] };
IO.Error, IO.EndOfStream => {
ERROR CrRPC.Error[NIL, communicationFailure, "IO.Error"] };
RuntimeError.BoundsFault =>
ERROR CrRPC.Error[NIL, bulkDataError, "bulk data value bounds fault"];
};
segmentKind: CARD16;
len: CARD16;
DO
IF checkAbort[h] THEN RETURN[FALSE];
segmentKind ¬ CrRPC.GetCard16[s];
len ¬ CrRPC.GetCard16[s];
THROUGH [1..len] DO
IF checkAbort[h] THEN RETURN[FALSE];
IF readValue[s].abort THEN RETURN[TRUE];
ENDLOOP;
IF segmentKind = lastSegment THEN RETURN[FALSE];
ENDLOOP;
};

WriteBulkDataSegment: CrRPC.WriteBulkDataSegmentProc
~ {
ENABLE {
XNSStream.ConnectionClosed => {
ERROR CrRPC.Error[NIL, communicationFailure, IO.PutFR1["Stream failure: %g", [rope[text]]]] };
IO.Error, IO.EndOfStream => {
ERROR CrRPC.Error[NIL, communicationFailure, "IO.Error"] };
RuntimeError.BoundsFault =>
ERROR CrRPC.Error[NIL, bulkDataError, "bulk data value bounds fault"];
};
CrRPC.PutCard16[s, (IF n > 0 THEN nextSegment ELSE lastSegment)];
CrRPC.PutCard16[s, n];
abort ¬ heAborted ¬ FALSE;
THROUGH [1..n] DO
IF checkAbort[h] THEN { heAborted ¬ TRUE; RETURN };
IF writeValue[s].abort THEN { abort ¬ TRUE; RETURN };
ENDLOOP;
};
ErrorCallContinuation: CrRPC.CallContinuationProc ~ {
ERROR CrRPC.Error[h, notClientHandle, "CallContinuation on server handle"] };

CallContinuation: CrRPC.CallContinuationProc
~ {
dH: DataHandle ~ NARROW[h.data];
newStream: IO.STREAM;
{ 
ENABLE {
XNSStream.Timeout => {
SmashStream[dH];
ERROR CrRPC.Error[h, communicationFailure, "Stream timeout"] };
XNSStream.ConnectionClosed => {
SmashStream[dH];
ERROR CrRPC.Error[h, communicationFailure, IO.PutFR1["Stream failure: %g", [rope[text]]]] };
IO.Error, IO.EndOfStream => {
SmashStream[dH];
ERROR CrRPC.Error[h, communicationFailure, "IO.Error"] };
RuntimeError.BoundsFault =>
ERROR CrRPC.Error[NIL, bulkDataError, "bulk data value bounds fault"];
};
newStream ¬ (IF proc # NIL THEN proc[dH.stream, clientData] ELSE dH.stream);
};
IF (newStream # NIL) AND (newStream # dH.stream) THEN
ERROR CrRPC.Error[NIL, notImplemented, NIL];
dH.stream ¬ newStream;
};

ErrorSetContinuation: CrRPC.SetContinuationProc ~ {
ERROR CrRPC.Error[h, notServerHandle, "SetContinuation on client handle"] };

SetContinuation: CrRPC.SetContinuationProc
~ {
dH: DataHandle ~ NARROW[h.data];
TRUSTED { dH.continuation ¬ proc };
dH.continuationClientData ¬ clientData };

cache: DataHandle ¬ NIL;
cachePulseOut: BasicTime.Pulses ~ BasicTime.MicrosecondsToPulses[8 * 1000000];
cacheSweepInterval: Process.Ticks ~ Process.SecondsToTicks[8];

PulsesSince: PROC [then: BasicTime.Pulses] RETURNS [BasicTime.Pulses] ~ {
RETURN [ BasicTime.GetClockPulses[] - then ] };

CheckOutFromCache: ENTRY PROC [remote: XNS.Address] RETURNS [h: Handle ¬ NIL] ~ {
dH: DataHandle ¬ cache;
prevH: DataHandle ¬ NIL;
WHILE dH # NIL DO
IF dH.remote = remote THEN {
IF prevH = NIL THEN cache ¬ dH.next ELSE prevH.next ¬ dH.next;
h ¬ dH.handle;
dH.handle ¬ NIL; -- for finalization
dH.lastUsed ¬ BasicTime.GetClockPulses[];
EXIT };
prevH ¬ dH;  dH ¬ dH.next;
ENDLOOP;
};

CheckInToCache: ENTRY PROC [h: Handle] ~ {
dH: DataHandle ¬ NARROW[h.data];
dH.handle ¬ h;
dH.lastUsed ¬ BasicTime.GetClockPulses[];
dH.next ¬ cache;
cache ¬ dH };

CacheSweeper: PROC ~ {
GetDeadHandles: ENTRY PROC RETURNS [deadList: DataHandle ¬ NIL] ~ {
dH, newCache, newCacheTail: DataHandle ¬ NIL;
WHILE cache # NIL DO
dH ¬ cache;  cache ¬ cache.next;
IF PulsesSince[dH.lastUsed] <= cachePulseOut
THEN -- add to new cache -- {
dH.next ¬ NIL;
IF newCacheTail = NIL THEN newCache ¬ dH ELSE newCacheTail.next ¬ dH;
newCacheTail ¬ dH }
ELSE -- add to dead list -- {
dH.next ¬ deadList;
deadList ¬ dH };
ENDLOOP;
cache ¬ newCache;
};
DestroyDeadHandles: PROC [deadList: DataHandle] ~ {
dH: DataHandle;
WHILE deadList # NIL DO
dH ¬ deadList;  deadList ¬ dH.next;
BuryDeadHandle[dH.handle];
ENDLOOP;
};
DO
DestroyDeadHandles[ GetDeadHandles[] ];
Process.Pause[ cacheSweepInterval ];
ENDLOOP;
};

BuryDeadHandle: PROC [h: Handle] ~ {
dH: DataHandle ~ NARROW[h.data];
dH.handle ¬ NIL; -- break cycle for GC
SendCloseStream[dH];
h.data ¬ NIL };
ErrorFinalize: PROC [h: Handle] ~ { ERROR };

Finalize: PROC [h: Handle] ~ {
dH: DataHandle ~ NARROW[h.data];
IF dH = NIL THEN -- handle is already dead -- RETURN;
IF PulsesSince[dH.lastUsed] <= cachePulseOut THEN {
CrRPCBackdoor.RenewClientObject[h];
CheckInToCache[h];
RETURN };
BuryDeadHandle[h];
};

CreateClientHandle: CrRPCBackdoor.CreateClientHandleProc
~ {
handle: Handle;
dH: DataHandle;
addr: XNS.Address;
IF remote = NIL THEN
ERROR CrRPC.Error[NIL, addressInappropriateForClass, "missing remote address"];
WITH remote SELECT FROM
rA: REF XNS.Address => addr ¬ rA­;
ENDCASE => ERROR CrRPC.Error[NIL, addressInappropriateForClass, NIL];
IF ( alwaysSmashTheSocket ) OR ( addr.socket = XNS.unknownSocket )
THEN addr.socket ¬ XNSWKS.courier;
handle ¬ CheckOutFromCache[addr];
IF handle = NIL THEN {
dH ¬ NEW[DataObject ¬ [lastUsed~BasicTime.GetClockPulses[], remote~addr]];
handle ¬ CrRPCBackdoor.NewClientObject[class~$SPP, procs~theClientProcs, data~dH];
};
RETURN [handle];
};
CrRPCBackdoor.RegisterCreateClientHandleProc[$SPP, CreateClientHandle];
CrRPCBackdoor.RegisterCreateListenerProc[$SPP, CreateListener];
TRUSTED { Process.Detach[ FORK CacheSweeper[] ] };
}.


Ά
CrRPCSPPImpl.mesa
Copyright Σ 1986, 1988, 1989, 1991 by Xerox Corporation.  All rights reserved.
Demers, August 31, 1988 2:24:34 pm PDT
Willie-Sue, January 3, 1989 3:21:26 pm PST
Tim Diebert: June 8, 1989 5:23:42 pm PDT

Courier runtime support for SPP transport.

Copied Types and Constants
CharsAvail Hack
The "official" semantics of IO.CharsAvail is "the number of times IO.GetChar could be called without blocking", whence IO.CharsAvail must return a nonzero value at end of stream.  This code was written assuming CharsAvail is 0 at end of stream.  This ought to be fixed, but it's a bit subtle.
Handle Objects
Variables
Parameters
Class-specific operations:
$GetRemote returns a REF to the XNS.Address of the remote site associated with this handle.  (Works for either client or server handles).
[h: Handle, op: ATOM, argument: REF] RETURNS [hNew: Handle, result: REF]
Client Call
Notes:
Before raising CrRPC.Error[h, ...] require that the stream NARROW[h.data].stream be in a reasonable state (possibly NIL).
The ONLY (expected) error that may be passed to clients is CrRPC.Error  stream class-specific errors MUST be caught here.
We catch RuntimeError.BoundsFault on read operations, because that could be raised by any getResults or getBulkData proc, and catching it here enables us to fix up the state of the transport stream.
[h: Handle, remotePgm: CARD32, remotePgmVersion: CARD16, remoteProc: CARD16, putArgs: PutArgsProc, getResults: GetResultsProc, getError: GetErrorProc]
Connect to the remote server.  If the connect fails, dH.stream will be left NIL.
The version-number pair is deliberately set to include more than one version so the server will be forced to return his version number pair immediately.
ERRORS: XNSStream.ConnectionClosed, CrRPC.Error, IO.Error.
Send the call message.
ERRORS: XNSStream.ConnectionClosed, IO.Error
ERRORS: CrRPC.Error, XNSStream.ConnectionClosed, IO.Error, IO.EndOfStream
Prepare to receive a system message.  Leave dH.inputFlushNeeded = TRUE.
ERRORS: CrRPC.Error, XNSStream.ConnectionClosed (from AdvanceInput, GetStatus)
???? SAME AS ServerRdySysRecv! ????
Prepare to send bulk data  (try to) check whether the other side has sent us a reject / abort message, closed the stream, etc.  In the normal case nothing arrives on the stream.  If data arrives, it's a reject message from the other end, and the bulk data transfer should not be attempted.  If an attention arrives, it's an abort request from the other end, so we let the bulk data transfer proceed (only to be aborted immediately).
ERRORS: CrRPC.Error, XNSStream.ConnectionClosed (from AdvanceInput, CharsAvail)
Prepare to receive bulk data  (try to) check whether the other side has sent us a reject / abort message, closed the stream, etc.  In the normal case bulk data arrives on the stream.
ERRORS: CrRPC.Error, XNSStream.ConnectionClosed (from AdvanceInput)
Logic of Courier call begins here:
At this point we have an open connection to the server and a call message has been sent successfully.
Bulk data transfer from client to server.
Bulk data transfer from server to client.
There's bulk data (or an attention) in the stream.
No bulk data transfer in either direction.
[] _ AdvanceInput[h~h, wait~FALSE]; -- done by ReadResultMsg
Server Process
Notes:
Any ERROR  CrRPC.Error, XNSStream.ConnectionClosed, IO.Error, IO.EndOfStream, RuntimeError.BoundsFault  eventually causes the transport to be discarded without attempting to serve any more calls on it.
Prepare to receive a system message.  Leave dH.inputFlushNeeded = TRUE.
ERRORS: CrRPC.Error, XNSStream.ConnectionClosed
Prepare to receive bulk data  (try to) check whether the other side has sent us anything besides bulk data  closed the stream, etc.  In the normal case bulk data arrives on the stream.
ERRORS: CrRPC.Error, XNSStream.ConnectionClosed
Prepare to send bulk data  (try to) check whether the other side has closed the stream or aborted the transfer.  In the normal case nothing arrives on the stream.  If an attention arrives, it's an abort request from the other end, so we let the bulk data transfer proceed (only to be aborted immediately).
ERRORS: CrRPC.Error, XNSStream.ConnectionClosed
[h: Handle]
ERRORS: XNSStream.ConnectionClosed, IO.Error
[h: Handle, errNum: CARDINAL]
ERRORS: XNSStream.ConnectionClosed, IO.Error
[h: Handle, rejectReason: CARDINAL]
ERRORS: XNSStream.ConnectionClosed, IO.Error
[stream: IO.STREAM, remote: XNS.Address]
Exchange version numbers
Create server handle
Process calls until timeout or unrecoverable error
Get message; make sure it's a call, get desired program, version and proc number
[local: CrRPC.RefAddress]
I/O and Marshalling
Advance input stream to next significant piece of input, checking for remote close and flushing unread input if needed.
ERRORS: XNSStream.ConnectionClosed, CrRPC.Error
ERRORS: none.
ERRORS: none.
ERRORS: none.
[h: Handle, s: STREAM, proc: BulkDataXferProc]
[h: Handle, s: STREAM, proc: BulkDataXferProc]
[h: Handle, s: STREAM, proc: BulkDataXferProc]
[h: Handle, s: STREAM, proc: BulkDataXferProc]
[h: Handle, s: IO.STREAM, checkAbort: BulkDataCheckAbortProc]
RETURNS [abort: BOOL]
[h: Handle, s: IO.STREAM, checkAbort: BulkDataCheckAbortProc]
RETURNS [abort: BOOL]
Check for abort from other side
Check for abort from this side
Copy a block of data
Bulk Data Streams
[h: Handle, s: STREAM, checkAbort: BulkDataCheckAbortProc, readValue: BulkDataValueProc] RETURNS [abort: BOOL]
[h: Handle, s: STREAM, checkAbort: BulkDataCheckAbortProc, writeValue: BulkDataValueProc, n: CARDINAL] RETURNS [abort: BOOL, heAborted: BOOL]
Continuations
[h: Handle, proc: ContinuationProc, clientData: REF]
[h: Handle, proc: ContinuationProc, clientData: REF]
Cache of Handles
We maintain a cache of recently used client handles with their transport intact.  If a handle isn't used for awhile, it times out, the transport is closed and the handle destroyed.
Handle Creation and Destruction
A client has dropped the handle h, which is guaranteed not to be in the cache.
[remote: CrRPC.RefAddress] RETURNS [Handle]

Κ ”•NewlineDelimiter

–
(cedarcode) style™š
œ™Icodešœ
Οe
œC™NK™&K™*K™(K™K™*K™—š
Οk	˜	Kšœžœ)žœžœ˜PKšœ
žœ0˜?Kšœžœκ˜υKšœžœα˜τKšžœ
žœLžœ/˜‰
Kšœžœ(˜5Kšœžœ!˜.Kšœžœžœ˜Kšœ
žœ˜!Kšžœ
žœ"˜+KšœžœA˜RKšœ
žœΩ
˜θ
Kšžœ
žœ˜K˜—šΡblnœžœ
ž˜Kšžœ*žœ+˜^Kš
œ˜K˜
head™Kšžœžœ
žœ
˜Kšžœžœ
žœ
˜K˜Kšžœžœžœ
žœ
˜K˜K˜šΟnœžœžœžœžœžœ˜0Kšžœ˜!—š œžœžœžœžœžœ˜0Kšžœ˜!—š œžœžœžœžœžœ˜0Kšžœ˜!—š œžœžœžœžœžœ˜0Kšžœ˜!K˜—Kšœžœ˜K˜—™K™€K˜š œžœžœžœžœžœžœžœ˜QKšžœžœžœ
žœ
žœ
žœ	˜K——™Kšœžœžœ˜"šœžœžœ˜Kšœžœ
˜Kšœžœ
˜K˜Kšœžœ
žœžœ
˜Kšœžœžœ
˜Kšœžœ	˜Kšœ'žœΟc˜AKšœ'žœ‘˜AKšœ'žœ‘˜AKšœžœ
‘˜1Kš
œ˜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š
œ˜K˜——™	Kšœžœžœ
˜#—™
™Kš
œ‰
™‰
K˜—š 
œ˜&Kš	œžœžœžœžœ
™HK˜Kšœžœ	˜ K˜	šžœž˜Kšœžœ
žœ˜4Kšžœžœ"žœ˜7—K˜——™™K™yK™zK™Ζ
—K˜š 	œ˜Kšžœ?˜DK˜—š œ˜Kš
œ–
™–
K˜Kšœžœ	˜ K˜š œžœ˜J™PJ™˜
J™:K˜“
Kš
œ'˜'Kšœžœ
˜Kšžœ
žœ
žœ
žœ
˜K˜sšžœ˜	Kšžœ,žœ
žœI˜„
—K˜šžœ˜	Kšœžœ,žœ
žœH˜‹
—Kšœžœ‘0˜Mšžœ)žœBžœCžœ˜Ί
Kš
œ˜KšžœA˜FK˜—K˜K˜—š œžœ˜J™Jš
œ,™,˜(Kš
œ+˜+š
œ	˜	K˜K˜Kš
œ!˜!K˜K˜
—K˜—šžœ˜	Kšžœ,žœ
žœF˜
—Kšžœžœ
žœ˜,K˜&K˜K˜—š 
œžœ˜Jš
œI™IKšœ	žœ˜+šžœ	ž˜š
œ ˜ Kšœžœ
˜K˜K˜*Kšœžœ˜#šžœ˜šœ
žœž˜Kš
œ-˜-Kš
œ-˜-Kš
œ1˜1Kš
œ1˜1Kšžœ˜ —Kš
œ˜—Kš
œ˜—š
œ ˜ K˜Kšžœžœ
žœ˜2Kšœžœ˜#K˜—š
œ˜Kšœžœ
˜K˜K˜$Kšžœžœ
žœ ˜6Kšœžœ˜#Kšžœ:˜?—šžœ˜Kš
œ˜Kšžœ<˜A——K˜K˜—š œžœ˜JšœBž™GJš
œN™NJš
œ#™#K˜Kš
œ˜š
ž˜Kšœ&žœ˜,Kšžœžœ
žœ
˜Kšœ/žœ˜5Kšžœ
˜—šžœ	žœ˜K˜Kšžœ0˜5—Kšœžœ
˜K˜K˜—š œžœ
žœžœ˜-J™±Jš
œO™OK˜Kš
œ˜Kšœ&žœ˜-šžœž˜š
œ	˜	Kšœ(žœ	˜6—š
œ˜Kšœžœ˜—Kšžœžœ
˜—K˜K˜—š œžœ
žœžœ˜-J™·
Jš
œC™CK˜Kš
œ˜Kšœ&žœ˜,šžœž˜š
œ˜K˜K˜—š
œ˜Kšœžœ˜—Kšžœžœ
˜—K˜K˜—š œ"˜0Kšœžœ!žœ‘ ˜OKšžœ-žœ˜PK˜—š œ"˜0Kšžœ-žœžœ$žœ˜~K˜—K™"K˜š
ž˜K˜Kšœžœ
˜Kšœžœ
˜K˜š
ž˜šžœ
žœ
žœ˜šžœ*žœ˜=K˜Kšžœ˜—Kšœžœ‘˜6Kš
œ˜Kšžœ˜—šœ‘˜šžœ˜š
œ˜K˜Kšžœ&žœ/˜\—šžœ˜
K˜Kšžœ4˜9—K˜—K˜K˜Kšžœ˜—š
ž˜Kšœžœ
˜
—Kšžœ
˜—K˜K™eK˜š
ž˜šžœ˜š
œ˜K˜Kšžœ&žœ/˜\—šžœ˜
K˜Kšžœ4˜9—K˜—šžœ
žœ
ž˜K˜šž
œžœ˜J™)šžœžœ˜Kš
œ8˜8šžœ4˜6Kšžœ'‘˜@Kšžœ'˜+—Kš
œ7˜7K˜—K˜K˜—šœžœ˜J™)šžœ˜šžœ˜K˜Kšžœ2˜7—š
œ˜K˜KšžœA˜F—K˜—šžœžœ˜K™2šžœ4˜6Kšžœ(‘˜A—K˜—K˜K˜—šžœ˜J™*Kšžœ
˜Kš
œ˜——K˜˜
šžœ˜šžœ˜K˜Kšžœ1˜6—š
œ˜K˜Kšžœ=˜B—K˜—K˜K˜Jšœžœ‘™<K˜—K˜Kšžœ
˜—K˜šžœ
˜K˜——Kšœ‘
˜
K˜——™™J™Λ
K˜—š œžœ˜&JšœBž™GJš
œ/™/Kšœžœ	˜ K˜Kš
œ˜š
ž˜Kšœ&žœ˜,Kšžœžœ
žœ
˜Kšœ/žœ˜5Kšžœ
˜—Kšžœ	žœ
žœ.˜CKšœžœ
˜K˜K˜—š œžœ˜&J™Ί
Jš
œ/™/Kšœžœ	˜ K˜Kš
œ˜Kšœ&žœ˜,šžœž˜š
œ˜Kšžœ	žœ
žœ4˜IKšœžœ˜—š
œ˜Kšžœ˜—Kšžœžœ
˜—K˜K˜—š œžœ˜&J™²Jš
œ/™/Kšœžœ	˜ K˜Kš
œ˜Kšœ&žœ˜-šžœž˜š
œ	˜	šžœ#žœž˜4Kšžœ<˜A—K˜—š
œ˜Kšžœ˜—Kšžœžœ
˜—K˜K˜—š œ˜"K™K˜Kš
œ,™,Kšœžœ	˜ ˜,Kš
œ-˜-Kš
œ˜K˜—šžœ˜	Kšžœ,žœ
žœJ˜…
—K˜K˜—š 
œ˜ Kšœžœ
™K˜Kš
œ,™,Kšœžœ	˜ ˜*Kš
œ,˜,Kš
œ(˜(K˜—šžœ˜	Kšžœ,žœ
žœH˜ƒ
—K˜—K˜š œ˜"Kšœžœ
™#K˜Kš
œ,™,Kšœžœ	˜ ˜,Kš
œ-˜-Kš
œ5˜5K˜—šžœ˜	Kšžœ,žœ
žœJ˜…
—K˜K˜—š œ˜$Kšœ	žœ
žœ
žœ	™(K˜Kš
œ%˜%Kš
œ%˜%Kšœžœ
˜Kšœžœ
˜Kšœ
žœ
˜K˜Kšœžœ
˜Kš
œ
˜
K˜K˜š
ž˜šžœ˜Kšœžœ˜'Kšœ
žœ7žœ˜QK˜—K˜™šžœ˜	Kšœ	žœžœ
žœ8˜n—Kšžœ(žœ
žœ˜:šžœ@žœAžœ˜‹
Kšžœ	˜
—K˜VKšžœžœžœ
žœ8˜o˜K˜——™Kšœžœ9˜AKšœžœTžœ˜aK˜—™2š
ž˜™PK˜Kšžœžœžœ
žœE˜…
šžœ*žœ9žœ˜mKšžœ	˜
—K˜,K˜7K˜.K˜—K˜Kšžœž˜šžœ‘(œ˜1˜,Kš
œ-˜-Kš
œ<˜<K˜—Kšžœžœžœ
žœJ˜
K˜%—šžœ‘œ˜!Kš
œh˜hKš	žœ
žœ
žœ
žœ
‘˜<K˜#šžœžœ
žœ˜Kšœžœ
žœ9˜MKšžœ
žœ
žœ
žœ˜$Kšžœžœ
žœ	˜+Kš
œ˜—K˜—K˜—Kšžœ
˜——Kšžœ
˜K˜—š
ž˜š
œ
˜
Kšœ@žœ˜JKšžœžœ˜"K˜—˜Kšžœžœ˜"K˜—Kšœžœ
˜—K˜K˜—Kšœžœžœ˜.šœžœžœ˜$Kš
œ˜Kšœžœ˜K˜K˜—šœžœ
˜K˜—š œžœ!˜6Kš
œ™Kš
œ˜K˜ Kšœžœ
žœ˜'šžœ	žœ
žœ
žœžœ
ž˜*Kšœžœ
žœ˜*Kšœžœ
žœ˜#Kšžœžœ
žœ žœ˜E—Kšžœ
žœžœ
žœ	˜;šžœ&žœžœ
ž˜9Kšžœžœ
žœ
˜!Kšžœ
˜—K˜
KšœžœN˜]K˜——™š
 œžœžœžœžœ@˜zK™wKš
œ/™/Kšœžœ	˜ Kšœ
žœžœ
˜šžœžœ˜Kšœ/žœ˜5Kšœžœ˜—š
ž˜KšœIžœ˜Pšžœžœ$žœ˜MK˜Kšžœ1˜6—šžœž˜š
œ	˜	Kšžœ
žœžœ
žœ
˜Kšžœ#žœžœ
žœ
˜;Kšžœ˜—Kšœ
žœ
˜š
œ˜Kšžœ
žœ
žœ
˜Kšœžœ˜—š
œ˜Kšœžœ˜—Kšžœžœ
˜—Kšœ/žœ˜5Kšžœ
˜—K˜K˜—š œžœ˜&Jšžœ™
šžœ
žœ
žœ˜Kšžœžœ˜%Kšœžœ˜—K˜K˜—š œžœ˜*J™
šžœ
žœ
žœ˜˜"Kšœ žœ˜*—Kšžœžœ˜%Kšœžœ˜—K˜K˜—š œžœ˜+J™
šžœ
žœ
žœ˜˜'Kšœ3žœ˜=—Kšžœžœ˜%Kšœžœ˜—K˜K˜—š œ˜5Kšœžœ™.KšœžœD˜MK˜—š œ˜0Kšœžœ™.Kš
œ˜Kšœžœ	˜ šžœž˜
šžœ˜Kšœžœ.˜D—šžœ˜Kšœžœ2˜HKšžœ˜$——Kš
œ˜K˜—š œ˜3Kšœžœ™.KšœžœB˜KK˜—š œ˜.Kšœžœ™.Kš
œ˜Kšœžœ	˜ šžœž˜
šžœ˜Kšœžœ.˜D—šžœ˜Kšœžœ2˜HKšžœ˜$——Kš
œ˜K˜—š œžœžœžœ*˜eKšžœD˜IK˜—š œžœžœžœ*˜`Kšœžœ	˜ Kšœ
žœ
˜K˜šžœ
ž˜šžœ0˜3Kšœžœ˜—šžœ4žœ˜@K˜&—šžœ/žœ3˜hKšžœ>˜C—šžœ˜Kšžœ<˜A——Kš
œ˜K˜—š œ˜*Kš	œžœ
žœ&žœ	žœ
™SK˜Kšœžœ	˜ Kšœ	žœ˜Kšœžœ
žœ"˜-Kšœžœ
˜K˜Kš
œ$˜$Kšœžœ
˜K˜š
ž˜šžœ
žœ#ž˜9˜Kšœ>žœ˜Dšžœž˜Kšœžœžœ˜$Kšœ(žœžœ˜6šœžœž˜"Kšœžœ-˜7š
œ.˜.Kšžœ-˜2—Kšžœžœ‘˜.—Kšœžœ
˜
Kšžœžœ
˜—K˜—šžœ˜Kšžœ)˜+K˜——šžœžœ˜Kšœ'‘˜7Kšžœ˜—Kšžœ
˜—K˜Kš
œ˜K˜—š œžœžœžœ&˜_KšžœB˜GK˜—š œžœžœžœ&˜ZKšœžœ	˜ Kšœ
žœ
˜K˜šžœ
ž˜šžœ0˜3Kšœžœ˜—šžœ4žœ˜@K˜$—šžœ/žœ3˜hKšžœ>˜C—šžœ˜Kšžœ:˜?——Kš
œ˜K˜—š œ˜*Kš	œžœ
žœ&žœ	žœ
™SK˜Kšœžœ	˜ Kšœ	žœ˜Kšœžœ
žœ"˜-Kšœžœ
˜K˜Kš
œ$˜$Kšœžœ
˜K˜Kš
œD˜D˜
š
ž˜™Kšœ>žœ˜Ešžœž˜Kšœžœ
˜
š
œ*˜*Kšœžœ
˜
Kšžœ˜—Kšžœžœ
˜——™šžœžœ˜Kšžœ˜——™šžœ
žœž˜1˜Kšžœ˜—šžœ˜Kšžœ1˜3K˜———Kšžœ
˜—š
ž˜˜Kšœ'‘˜7—˜Kš
œ&˜&——K˜—K˜Kš
œC˜CKš
œ˜K˜——™Kšœ
žœ˜Kšœ
žœ˜K˜š œ˜0KšœžœDžœ	žœ
™nK˜šžœ
ž
˜š
œ˜Kšžœ
žœžœ/˜^—šžœžœ˜Kšžœ
žœ&˜;—˜Kšžœ
žœ1˜F—K˜—Kšœ
žœ
˜Kšœžœ
˜š
ž˜Kšžœžœ
žœ
žœ˜$K˜!K˜šžœ
ž˜Kšžœžœ
žœ
žœ˜$Kšžœžœ
žœ
žœ˜(Kšžœ
˜—Kšžœžœ
žœ
žœ˜0Kšžœ
˜—K˜—K˜š œ ˜4KšœžœHžœžœ	žœ
žœ
™
K˜šžœ
ž
˜š
œ˜Kšžœ
žœžœ/˜^—šžœžœ˜Kšžœ
žœ&˜;—˜Kšžœ
žœ1˜F—K˜—Kšœžœžœ
žœ˜AKš
œ˜Kšœžœ
˜šžœž˜Kšžœžœžœžœ˜3Kšžœžœžœžœ˜5Kšžœ
˜—Kš
œ˜——™
š œ ˜5KšžœH˜MK˜—š œ˜,Kšœ0žœ
™4K˜Kšœžœ	˜ Kšœžœ
žœ
˜š
œ˜šžœ
ž
˜š
œ˜K˜Kšžœ:˜?—š
œ˜K˜Kšžœ&žœ/˜\—šžœžœ˜K˜Kšžœ4˜9—˜Kšžœ
žœ1˜FK˜—Kš	œ
žœžœ
žœžœ˜LK˜——Kšžœžœžœžœ
žœ
žœžœ˜bK˜K˜K˜—š œ˜3KšžœG˜LK˜—š œ˜*Kšœ0žœ
™4K˜Kšœžœ	˜ Kšžœ˜#K˜)——™K™΄
K˜Kšœžœ
˜K˜NK˜>K˜š œžœžœ˜IKšžœ)˜/—K˜š œžœ
žœ
žœ
žœžœ˜QK˜Kšœžœ
˜šžœžœ
ž˜šžœžœ˜Kšžœ	žœ
žœžœ˜>K˜Kšœžœ‘˜$K˜)Kšžœ˜—K˜Kšžœ
˜—K˜K˜—š œžœ
žœ˜*Kšœžœ	˜ K˜K˜)K˜K˜
K˜—š œžœ˜š
 œžœ
žœ
žœžœ˜CKšœ)žœ
˜-šžœ	žœ
ž˜K˜ šžœ*˜,šžœ
‘œ˜Kšœ
žœ
˜Kšžœžœ
žœžœ˜EK˜—šžœ
‘œ˜K˜K˜——Kšžœ
˜—K˜K˜—š œžœ˜3K˜šžœžœ
ž˜K˜#K˜Kšžœ
˜—K˜—š
ž˜K˜'K˜$Kšžœ
˜—K˜K˜—š œžœ˜$Kšœžœ	˜ Kšœžœ‘˜&Kš
œ˜Kšœ	žœ˜——™Kš 
œžœžœ˜,K˜š œžœ˜K™NKšœžœ	˜ Kš
žœžœ
žœ
‘œ
žœ
˜5šžœ+žœ˜3Kš
œ#˜#Kš
œ˜Kšžœ˜	—Kš
œ˜K˜K˜—š œ&˜8Kšœžœ™+K˜Kš
œ˜Kš
œ˜Kšœžœ	˜šžœ
žœ
ž˜Kšžœ
žœ:˜O—šžœžœ
ž˜Kšœžœ
žœ˜"Kšžœžœ
žœ žœ˜E—Kš
žœžœžœžœžœ	˜eK˜!šžœ
žœ
žœ˜KšœžœB˜JK˜RK˜—Kšžœ
˜K˜——K™Kš
œG˜GKš
œ?˜?Kšžœžœ˜2K˜—K˜K˜—…—j‚’Μ