
DIRECTORY
Atom USING [ GetProp, PutProp ],
CardTab USING [Create, Delete, Fetch, Insert, Ref],
RefID;

RefIDImpl: CEDAR PROGRAM
IMPORTS Atom, CardTab
EXPORTS RefID 
= BEGIN OPEN RefID;

TableSize: NAT = 2039;

refIDTable: CardTab.Ref;

Seal: PUBLIC PROC[r: REF] RETURNS [ID] = TRUSTED {
id: ID = LOOPHOLE[r];
IF r=NIL THEN RETURN[nullID];
[] ¬ CardTab.Insert[refIDTable, id, r];
RETURN[id];
};

Unseal: PUBLIC PROC[id: ID] RETURNS [REF] = {
RETURN[CardTab.Fetch[refIDTable, id].val];
};

Release: PUBLIC PROC[id: ID] RETURNS[existed: BOOL] = {
RETURN[CardTab.Delete[refIDTable, id]];
};

refIDTable ¬ NARROW[Atom.GetProp[$RefIDTable, $refIDTable]];
IF refIDTable = NIL THEN {
refIDTable ¬ CardTab.Create[TableSize];
Atom.PutProp[$RefIDTable, $refIDTable, refIDTable];
};

END. 
     
RefIDImpl.Mesa
Copyright Ó 1985, 1992 by Xerox Corporation.  All rights reserved.
Doug Terry, October 22, 1985 9:56:18 am PDT
Swinehart, February 18, 1987 5:42:10 pm PST

This package creates IDs for REFs and maps between the two.  An ID is simply a laundered REF, which can be passed across an RPC connection.  When a REF is "sealed" into an ID, this package holds onto the REF so that it is not garbage collected.  IDs must be explicitly released to indicate that interest in the REF no longer exists.
2039 is a good candidate because it is prime and is large enough that collisions should be rare.
Returns an ID for the supplied REF and assures that the REF survives.  When the ID is no longer needed, it must be explicitly deallocated using Release.
Reseal: PROC[r: REF] RETURNS [ID] = INLINE { RETURN[LOOPHOLE[r]]; };
A semi-safe Seal that can be used if one obtained r from Unseal, or knows it was obtained that way.  The next Unseal will check the ID's validity again.

Returns a REF for the supplied ID.  If the ID is not currently valid, the operation returns NIL.
Removes the association between the ID and the target REF, and reduces the reference count to the target by 1.
There should be only one refIDTable per machine, whether or not the package is run more than once.

Ê  –(cedarcode) style•NewlineDelimiter
™ codešœ™Kšœ	Ïeœ6™BK™+K™+K™ KšœÌ™Ì—K˜ šÏk	˜	Kšœžœ˜ Kšœžœ&˜3Kšœ˜K˜ —šÐbl	œžœž˜Kšžœ˜Kšžœ˜—šœžœžœ˜K˜ šÏn	œžœ˜Jšœ`™`—K˜ Kšœ˜K˜ š œžœžœžœžœžœ˜2Jšœ˜™˜Kšœ	žœ˜Kšžœžœžœžœ	˜K˜'Kšžœ˜Kšœ˜—K˜ š œžœžœžœžœžœžœ™DJ™˜J™ —š
 œžœžœžœžœ˜-Jšœ`™`Kšžœ$˜*K˜K˜ —š œžœžœžœžœ
žœ˜7Jšœn™nKšžœ!˜'K˜—K˜ J™bKšœžœ)˜<šžœžœžœ˜K˜'Kšœ3˜3K˜—K˜ —Kšžœ˜K™ — …—      
0  