
DIRECTORY
BasicTime USING [earliestGMT, GMT, Now, Period, TimeNotKnown, Update],
Process USING [Detach, PauseMsec],
RefText USING [New],
Rope USING [ROPE],
SunRPCAuth USING [AuthenticateProc, AuthenticateResult, CheckReplyVerifierProc, ConversationObject, Flavor, GetCredentialsAndNextVerifierProc, InitiateProc, NoShortcutProc, nullFlavor, ProcsObject, SweepProc, TerminateProc]
;

SunRPCAuthImpl: CEDAR MONITOR
IMPORTS BasicTime, Process, RefText
EXPORTS SunRPCAuth
~ {

ROPE: TYPE ~ Rope.ROPE;

Flavor: TYPE ~ SunRPCAuth.Flavor;
nullFlavor: Flavor ~ SunRPCAuth.nullFlavor;

OpaqueValue: TYPE ~ REF TEXT;
nullOpaqueValue: OpaqueValue ¬ RefText.New[0];

Conversation: TYPE ~ REF ConversationObject;
ConversationObject: TYPE ~ SunRPCAuth.ConversationObject;

Procs: TYPE ~ REF ProcsObject;
ProcsObject: TYPE ~ SunRPCAuth.ProcsObject;

GetCredentialsAndNextVerifierProc: TYPE ~ SunRPCAuth.GetCredentialsAndNextVerifierProc;
CheckReplyVerifierProc: TYPE ~ SunRPCAuth.CheckReplyVerifierProc;
NoShortcutProc: TYPE ~ SunRPCAuth.NoShortcutProc;
TerminateProc: TYPE ~ SunRPCAuth.TerminateProc;

InitiateProc: TYPE ~ SunRPCAuth.InitiateProc;
AuthenticateProc: TYPE ~ SunRPCAuth.AuthenticateProc;
SweepProc: TYPE ~ SunRPCAuth.SweepProc;

AuthenticateResult: TYPE ~ SunRPCAuth.AuthenticateResult;

Error: PUBLIC ERROR [code: ATOM] ~ CODE;
numFlavors: CARDINAL ~ 5;
msecBetweenSweeps: CARD ¬ 30*1000;
Registrations: TYPE ~ ARRAY [0..numFlavors) OF Registration;
Registration: TYPE ~ REF RegistrationObject;
RegistrationObject: TYPE ~ RECORD [
initiateProc: InitiateProc,
authenticateProc: AuthenticateProc,
sweepProc: SweepProc, 
data: REF
];

registrations: REF Registrations ¬ NEW[Registrations];

Register: PUBLIC PROC [flavor: Flavor, initiate: InitiateProc, authenticate: AuthenticateProc, sweep: SweepProc, registrationData: REF] ~ {
flavorIndex: CARD ¬ flavor;
registration: Registration ¬ NIL;
IF flavorIndex >= numFlavors THEN ERROR Error[$flavorOutOfRange];
IF (initiate # NIL) AND (authenticate # NIL) THEN {
registration ¬ NEW[RegistrationObject];
registration.initiateProc ¬ initiate;
registration.authenticateProc ¬ authenticate;
registration.sweepProc ¬ sweep;
registration.data ¬ registrationData;
};
registrations[flavorIndex] ¬ registration;
};
Daemon: PROC ~ {
DO
Process.PauseMsec[msecBetweenSweeps];
DoSweeps[];
ENDLOOP;
};

lastSweepTime: BasicTime.GMT ¬ BasicTime.earliestGMT;

DoSweeps: ENTRY PROC [rollingBack: BOOL ¬ FALSE] ~ {
now: BasicTime.GMT;
secondsSinceLastSweep: CARD;

now ¬ BasicTime.Now[
! BasicTime.TimeNotKnown => {
now ¬ BasicTime.Update[lastSweepTime, (msecBetweenSweeps+999)/1000];
CONTINUE
}
];
secondsSinceLastSweep ¬ BasicTime.Period[
from~IF rollingBack THEN BasicTime.earliestGMT ELSE lastSweepTime,
to~now];
FOR i: CARDINAL IN [0 .. numFlavors) DO
r: Registration ~ registrations[i];
IF (r # NIL) AND (r.sweepProc # NIL) THEN r.sweepProc[r.data, secondsSinceLastSweep];
ENDLOOP;
lastSweepTime ¬ now;
};

Authenticate: PUBLIC PROC [cFlavor: Flavor, credentials: OpaqueValue, vFlavor: Flavor, verifier: OpaqueValue]
RETURNS [result: AuthenticateResult, replyFlavor: Flavor, replyVerifier: OpaqueValue, c: Conversation]
~ {
flavorIndex: CARD;
registration: Registration;
IF ((flavorIndex ¬ cFlavor) >= numFlavors)
OR ((registration ¬ registrations[flavorIndex]) = NIL)
THEN RETURN [result~badCredentials, replyFlavor~nullFlavor, replyVerifier~NIL, c~NIL];
[result, replyFlavor, replyVerifier, c] ¬ registration.authenticateProc[cFlavor, credentials, vFlavor, verifier, registration.data];
};
Initiate: PUBLIC PROC [flavor: Flavor, myName, myPassword: ROPE, hisName: ROPE]
RETURNS [c: Conversation] ~ {
flavorIndex: CARD;
registration: Registration;
IF (flavorIndex ¬ flavor) >= numFlavors THEN ERROR Error[$flavorOutOfRange];
IF (registration ¬ registrations[flavorIndex]) = NIL THEN ERROR Error[$flavorNotRegistered];
c ¬ registration.initiateProc[flavor, myName, myPassword, hisName, registration.data];
};

nullClientConversation: Conversation;
nullClientProcs: Procs;
nullServerConversation: Conversation;

NullInitiate: InitiateProc ~ { RETURN[nullClientConversation] };

NullNoShortcut: NoShortcutProc ~ { RETURN [FALSE] };

NullTerminate: TerminateProc ~ { NULL };

NullGetCredentialsAndNextVerifier: GetCredentialsAndNextVerifierProc ~ {
cFlavor ¬ vFlavor ¬ nullFlavor;
credentials ¬ nullOpaqueValue;
verifier ¬ nullOpaqueValue;
};

NullCheckReplyVerifier: CheckReplyVerifierProc ~ { RETURN[ok] };

NullAuthenticate: AuthenticateProc ~ {
RETURN [result~ok, replyFlavor~nullFlavor, replyVerifier~nullOpaqueValue, c~nullServerConversation];
};

RegisterNull: PROC ~ {
nullClientProcs ¬ NEW[ProcsObject ¬ [NullGetCredentialsAndNextVerifier, NullCheckReplyVerifier, NullNoShortcut, NullTerminate]];
nullClientConversation ¬ NEW[ConversationObject ¬ [nullFlavor, nullClientProcs, NIL]];
nullServerConversation ¬ NEW[ConversationObject ¬ [nullFlavor, NIL, NIL]];

Register[nullFlavor, NullInitiate, NullAuthenticate, NIL, NIL];
};
RegisterNull[];
TRUSTED { Process.Detach[ FORK Daemon[] ] };

}...
   ,  
SunRPCAuthImpl.mesa
Copyright س 1989, 1991, 1992 by Xerox Corporation.  All rights reserved.
Demers, January 9, 1988 8:18:50 am PST
Willie-Sue, March 16, 1989 7:02:15 pm PST
Willie-s, August 21, 1991 12:30 pm PDT
Types
Parameters
Registration
Daemon
Servers
Clients
Null Flavor
Initialization
‌ت«  •NewlineDelimiter
–(cedarcode) style™ codeڑœ™Kڑœ
دeœ=™HK™&K™)K™&Kک —ڑدk	ک	Kڑœ
‍œ‍œ%کFKڑœ‍œک"Kڑœ‍œکKڑœ‍œ‍œکKڑœ‍œدکكKکKک —ڑدnœ‍œ‍کKڑ‍œک#Kڑ‍œکKکKک head™Kڑ‍œ‍œ‍œکKک Kڑœ‍œک!Kک+Kک Kڑœ‍œ‍œ‍œکKڑœ.ک.Kک Kڑœ‍œ‍œک,Kڑœ‍œ!ک9Kک Kڑœ‍œ‍œکKڑœ‍œ‍œ‍ک+Kک Kڑœ#‍œ0کWKڑœ‍œ%کAKڑœ‍œک1Kڑœ‍œک/Kک Kڑœ‍œک-Kڑœ‍œک5Kڑœ‍œک'Kک Kڑœ‍œ!ک9Kک Kڑ
ںœ‍œ‍œ‍œ‍œک(—™
Kڑœ‍œکKڑœ‍œک"—™Kڑœ‍œ‍œ‍œک<Kڑœ‍œ‍œک,ڑœ‍œ‍œک#KکKڑœ#ک#KکKڑœ‍ک	KکKک —Kڑœ‍œ‍œک6Kک ڑںœ‍œ‍œn‍œک‹Kڑœ‍œ
کKڑœ‍œک!Kڑ‍œ‍œ‍œکAڑ
‍œ‍œ‍œ‍œ‍œک3Kڑœ‍œک'Kک%Kڑœ-ک-KڑœکKڑœ%ک%Kک—Kڑœ*ک*Kک——™ڑںœ‍œکڑ‍کKک%KکKڑ‍œک—KکKک —Kڑœ‍œک5Kک ڑ
ںœ‍œ‍œ‍œ‍œک4Kڑœ‍œکKڑœ‍œکKک ڑœکڑœکKڑœDکDKڑ‍کKک—Kڑœک—ڑœ)ک)Kڑœ‍œ‍œ‍œکBKڑœک—ڑ‍œ‍œ‍œ‍ک'Kک#Kڑ
‍œ‍œ‍œ‍œ‍œ,کUKڑ‍œک—KکKکKک ——™ڑںœ‍œ‍œTکmKڑ‍œ_کfKڑœکKڑœ‍œکKکڑ‍œ)‍œ0‍œکaKڑ‍œ‍œ?‍œ‍œکV—Kڑœ„ک„Kک——™ڑ
ںœ‍œ‍œ&‍œ‍œکOKڑ‍œکKڑœ‍œکKڑœکKڑ‍œ&‍œ‍œکLKڑ‍œ/‍œ‍œ‍œک\KکVKکKک ——™Kک%KکKک%Kک Kڑںœ‍œک@Kک Kڑںœ‍œ‍œک4Kک Kڑںœ‍œک(Kک ڑں!œ'کHKکKکKکKکKک —ڑںœ‍œک@Kک —ڑںœک&Kڑ‍œ^کdKڑœک—Kک ڑںœ‍œکKڑœ‍œkک€Kڑœ‍œ4‍œکVKڑœ‍œ#‍œ‍œکJKک Kڑœ5‍œ‍œک?Kک——™KکKڑ‍œ‍œک,Kک —Kک—— …—    ¬  ƒ  