DIRECTORYAtom USING [GetProp, PutProp],BcdDefs USING [BcdBase, Link, MTHandle, NullVersion, VersionStamp, ModuleIndex],FS USING [OpenFile],Loader USING [IRItem],LoadState USING [ConfigID],PrincOps USING [ControlLink, ControlModule, NullLink, GlobalFrameHandle],Rope USING [Text],VM USING [Interval];LoaderOps: DEFINITIONS IMPORTS Atom =BEGIN OPEN BcdDefs, LoadState, PrincOps;FrameList: TYPE = LIST OF FrameListEntry;FrameListEntry: TYPE =RECORD[SELECT tag: * FROMframe => [ptr: POINTER],mdsInterval => [interval: VM.Interval--pages in mds--]ENDCASE];CreateGlobalFrames: PROC[cid: ConfigID, allframelinks: BOOL]RETURNS[fl: FrameList _ NIL];AssignCodeToFrames: PROC[config: ConfigID, bcdCap: FS.OpenFile, pageOffset: INT--within file--];AssignControlModules: PROC[config: ConfigID]RETURNS [cm: PrincOps.ControlModule];AllocateFrames: PROC[size: CARDINAL, single, resident: BOOL]RETURNS [fl: FrameList, frames: POINTER];ReleaseFrames: PROC[fl: FrameList, cid: ConfigID];GetModuleLink: PROC[atom: ATOM]  -- exported by CedarLinkerImplRETURNS[link: ControlLink _ NullLink];IR: TYPE = REF IRRecord;IRRecord: TYPE = RECORD[s: SEQUENCE size: NAT OF PrincOps.ControlLink];Export: PROC[config: ConfigID];Bind: PROC[config: ConfigID] RETURNS[unboundImports: LIST OF Loader.IRItem];GetIR: PROC[ -- either the atom or the version must be non-NILatom: ATOM _ NIL, version: VersionStamp _ NullVersion, length: CARDINAL _ 0] -- in case a new one must be createdRETURNS[name: ATOM, interface: IR, versionStamp: VersionStamp];GetFrame: PROC[interface: IR, index: CARDINAL] RETURNS[GlobalFrameHandle];IsNullLink: PROC[link: UNSPECIFIED] RETURNS[BOOL] =INLINE {RETURN[LOOPHOLE[link,CARDINAL]=0 --PrincOps.NullLinkOR LOOPHOLE[link,CARDINAL]=1 -- PrincOps.UnboundLink];}; OpenLinkSpace: PROC[frame: GlobalFrameHandle, mth: MTHandle, bcd: BcdBase _ NIL];ReadLink: PROC[offset: CARDINAL] RETURNS [link: ControlLink];WriteLink: PROC[offset: CARDINAL, link: ControlLink];CloseLinkSpace: PROC[frame: GlobalFrameHandle];GetSpace: PROC[nwords: CARDINAL] RETURNS [p: POINTER];FreeSpace: PROC[p: POINTER];LinkSegmentLength: PROC[mth: MTHandle, bcd: BcdBase] RETURNS[CARDINAL];IthLink: PROC[mth: MTHandle, i: CARDINAL, bcd: BcdBase] RETURNS[Link];GetPendingList: PRIVATE PROC[interface: ATOM] RETURNS[PendingList] =INLINE {RETURN[NARROW[Atom.GetProp[interface, $pending]]]};SetPendingList: PRIVATE PROC[interface: ATOM, list: PendingList] =INLINE {Atom.PutProp[interface, $pending, list]};GetBinding: PROC[bcd: BcdBase] RETURNS[binding: Binding]; -- already filled inFindVariableLink: PROC[config: ConfigID, mx: BcdDefs.ModuleIndex, mthLink: Link]RETURNS [link: PrincOps.ControlLink, frame: PrincOps.GlobalFrameHandle];pendingModules: PRIVATE LIST OF PendingModule;Binding: TYPE = REF BindingSequence;BindingSequence: TYPE = RECORD[s: SEQUENCE size: NAT OF BindLink];BindLink: TYPE = RECORD[whichgfi: BcdDefs.ModuleIndex _ 0, -- if there is more than one gfi for this interface atom: ATOM, -- so we can get and set the pending listinterface: IR];PendingList: TYPE = LIST OF Pending;Pending: TYPE = RECORD[ -- frame, mth, and bcd are parameters to OpenLinkSpaceframe: GlobalFrameHandle,mth: MTHandle,bcd: BcdBase,index: CARDINAL, -- index into the links arealink: PrincOps.ControlLink]; -- either a) an index into the IR or b) the actual linkPendingModule: TYPE = RECORD[ -- frame, mth, and bcd are parameters to OpenLinkSpaceframe: PrincOps.GlobalFrameHandle, mth: MTHandle, bcd: BcdBase,index: CARDINAL, -- index into the links areaname: Rope.Text, -- name of module we are waiting forversion: VersionStamp]; -- version of module we are waiting forEND.    ╘  LoaderOps.mesaLast edited by John Maxwell on: January 12, 1983 10:21 amLast edited by Paul Rovner on: August 15, 1983 11:49 am**************************Global frame creation**************************this guy allocates mds VM for "size" words, either from the frame heap or as a VM.Interval, depending on whether single is TRUE or FALSE, respectively.  It returns a single-element FrameList and a POINTER to the new block of mds storage.this guy releases the frame(s) and/or mds VM intervals listed in fl, then resets the GFT and loadstate entries as per map to "empty" states**************************Interface records; linking operations and data structures**************************returns the frame of an exported variablePrivate Definitionslist of people waiting for a MODULE to be exportedA Binding is a mapping between the dummy gfi's within the bcd and real interfaces.  Bindings are only legal for [bcd.firstdummy..bcd.firstdummy+bcd.nDummies) !Э╩н  Ш JЪЬЩJЪЬ9Щ9JЪЬ7Щ7JШ Ъ╧k	Ш	JЪЬЭЬШJЪЬЭЬCШPJЪЬЭЬШJЪЬЭЬ
ШJЪЬ
ЭЬШJЪЬ	ЭЬ;ШIJЪЬЭЬШJЪЭЬЭЬШЧJШ JЪЬЭЬЭЬШ%JЪЭЬЭЬШ(Ш JЪЬЩJЩJЪЬЩJЩ JЪЬЭЬЭЬЭЬШ)ЪЬЭЬШЪЭЬШЪЭЬЭШJЪЬЭЬШJЪЬЭЬ	╧cЬШ6JЪЭШЧJШЧЧJШ Ъ╧nЬЭЬЭЬШ<JЪЭЬЭЬШЧJШ ЪЯЬЭШJЪЬЭЬЭЮЬШHЧJШ ЪЯЬЭЬШ,JЪЭЬШ%ЧШ JЪЬэЩэЧЪЯЬЭЬЭЬЭЬШ<JЪЭЬЭЬШ)ЧШ JЪЬ*ЭЬ)ЭЬ3ЩЛЧJЪЯЬЭЬШ2JШ ЪЯЬЭЬЭЬЮШ?JЪЭЬШ&ЧJШ JЩ JЪЬЩJЪЬ9Щ9JЪЬЩJШ JЪЭЬЭЬЭЬ
ШJЪЬ
ЭЬЭЬЭЬЭЬЭЬШGJШ JЪЯЬЭЬШJШ JЪ
ЯЬЭЬЭЬЭЬЭЬШLJШ ЪЯЬЭЬЮ1Ш>JЪЬЭЬЭЬШJЪЬ%Ш%JЪЬЭЬЮ$Ш:JЪЭЬЭЬЭЬШ?ЧJШ Ъ
ЯЬЭЬЭЬ	ЭЬЭЬШJJЪЬ)Щ)ЧJШ JЪ
Я
ЬЭЬЭЬЭЬЭЬШ3ЪЭЬЭШЪЭЬШJЪЭЬЭЬЮШ-JЪЭЬЭЬЮШ4JЪЬШЧJЪЭЬШЧJШ JЪЯЬЭЬ9ЭЬШQJШ JЪЯЬЭЬ	ЭЬЭЬШ=JШ JЪЯ	ЬЭЬ	ЭЬШ5JШ JЪЯЬЭЬШ/JШ JЪ
ЯЬЭЬ	ЭЬЭЬЭЬШ6JШ JЪЯ	ЬЭЬЭЬШJШ JЪЯЬЭЬЭЬЭЬШGJШ JЪЯЬЭЬЭЬЭЬШFJЩ JЩ JЪЬЩJШ JЪ
ЯЬЭЬЭЬЭЬЭЬШDJЪЭЬЭЬЭЬ&Ш;JШ JЪЯЬЭЬЭЬЭЬШBJЪЭЬ+Ш1JШ JЪЯ
ЬЭЬЭЬЮШNJШ ЪЯЬЭЬ:ШPJЪЭЬAШHЧJШ JЪЬЭЬЭЬЭЬШ.JЩ JЪЬ2Щ2JШ JЪЬ	ЭЬЭЬШ$JШ JЪЬЭЬЭЬЭЬЭЬЭЬШBJЩ JЪЬЯЩЯJШ ЪЬ
ЭЬЭЬШJЪЬ#Ю4ШWJЪЬЭЬЮ)Ш5JЪЬЭЬШЧJШ JЪЬЭЬЭЬЭЬ	Ш$JШ ЪЬ	ЭЬЭЬЮ6ШNJЪЬШJЪЬШJЪЬШJЪЬЭЬЮШ-JЪЬЮ7ШTЧJШ ЪЬЭЬЭЬЮ6ШTJЪЬ#Ш#JЪЬШJЪЬШJЪЬЭЬЮШ-JЪЬЮ$Ш5JЪЬЮ'Ш?ЧЧJШ JЪЭЬШJШ Ч ЕЧ    в  #  