DIRECTORYBasicLoadState USING [ModuleIndex, NullModule],BasicLoadStateFormat USING [BcdInfo, ConfigIndex, LoadState, LoadStateObject, ModuleInfo, nullConfig],BasicLoadStateFormatExtension USING [Extension],BcdDefs USING [BcdBase, MTHandle],BootStartList USING [h, IndexToSpaceEntryPointer, IndexToSwapUnitEntryPointer, SpaceEntryPointer, SwapUnitEntryPointer],PrincOps USING [GFT, GFTIndex, GFTItem, GlobalFrameHandle],VM USING [AddressForPageNumber, Allocate, Free, Interval, PagesForWords];BasicLoadStateImpl: PROGRAMIMPORTS BootStartList, VMEXPORTS BasicLoadState =BEGINOPEN BasicLoadStateFormat;ConfigID: PUBLIC TYPE = ConfigIndex;ModuleIndex: TYPE = BasicLoadState.ModuleIndex;TypeCode: PUBLIC TYPE = CARDINAL;GFMap: TYPE = LONG POINTER TO ConfigTable;ConfigTable: TYPE = RECORD[SEQUENCE COMPUTED ConfigID OF ModuleMap];ModuleMap: TYPE =  LONG POINTER TO ModuleMapTable;ModuleMapTable: TYPE = RECORD [SEQUENCE length: CARDINAL OF PrincOps.GlobalFrameHandle];NullConfig: PUBLIC ConfigID _ BasicLoadStateFormat.nullConfig;loadState: LoadState _ NIL;extension: LONG POINTER TO BasicLoadStateFormatExtension.Extension _ NIL;gfMap: GFMap _ NIL;loadStateInterval, gfMapInterval: VM.Interval;BasicLoadStateGone: ERROR = CODE;BogusConfigID: ERROR = CODE;BogusModuleIndex: ERROR = CODE;Destroy: PUBLIC PROC = {IF loadState = NIL THEN RETURN;VM.Free[gfMapInterval];VM.Free[loadStateInterval];loadState _ NIL;};ModuleToGlobalFrame: PUBLIC PROC [config: ConfigID, module: ModuleIndex]RETURNS [gfh: PrincOps.GlobalFrameHandle] = {moduleMap: ModuleMap;IF loadState = NIL THEN ERROR BasicLoadStateGone;IF ~(config IN [ConfigID.FIRST..loadState.nBcds)) THEN ERROR BogusConfigID;moduleMap _ gfMap[config];IF module >= moduleMap.length THEN ERROR BogusModuleIndex;RETURN [moduleMap[module]]};GlobalFrameToModule: PUBLIC PROC [gfh: PrincOps.GlobalFrameHandle]RETURNS [config: ConfigID, module: ModuleIndex] = {info: ModuleInfo;IF loadState = NIL THEN ERROR BasicLoadStateGone;info _ loadState.gft[gfh.gfi];RETURN[config: info.config, module: info.module]};GlobalFrameToType: PUBLIC PROC [gfh: PrincOps.GlobalFrameHandle]RETURNS [type: TypeCode] = {IF loadState = NIL THEN ERROR BasicLoadStateGone;RETURN[extension[gfh.gfi].type]};SetType: PUBLIC PROC [gfh: PrincOps.GlobalFrameHandle, type: TypeCode] = {IF loadState = NIL THEN ERROR BasicLoadStateGone;extension[gfh.gfi].type _ type;};ConfigInfo: PUBLIC PROC [config: ConfigID] RETURNS [bcd: BcdDefs.BcdBase, exports, exportsTypes: BOOL] = {bi: BcdInfo;IF loadState = NIL THEN ERROR BasicLoadStateGone;IF ~(config IN [ConfigID.FIRST..loadState.nBcds)) THEN ERROR BogusConfigID;bi _ loadState.bcds[config];exports _ bi.exports; exportsTypes _ bi.typeExported;bi.exports _ bi.typeExported _ FALSE;bcd _ bi.bcd;};EnumerateConfigs: PUBLIC PROC [proc: PROC [ConfigID] RETURNS [BOOL]]RETURNS [config: ConfigID] = {IF loadState = NIL THEN ERROR BasicLoadStateGone;FOR config IN [0..loadState.nBcds) DOIF proc[config] THEN RETURN;ENDLOOP;RETURN[nullConfig]};EnumerateModulesInConfig: PUBLIC PROC [config: ConfigID, proc: PROC [ModuleIndex] RETURNS [BOOL]]RETURNS [module: ModuleIndex] = {moduleMap: ModuleMap;prev: PrincOps.GlobalFrameHandle _ NIL;IF loadState = NIL THEN ERROR BasicLoadStateGone;moduleMap _ gfMap[config];FOR module IN [1..moduleMap.length) DOIF moduleMap[module] = prev THEN LOOP;IF proc[module] THEN RETURN;prev _ moduleMap[module];ENDLOOP;RETURN[BasicLoadState.NullModule]};EnumerateAllModules: PUBLIC PROC [proc: PROC [ConfigID, ModuleIndex] RETURNS [BOOL]]RETURNS [config: ConfigID, module: ModuleIndex] = {IF loadState = NIL THEN ERROR BasicLoadStateGone;FOR config IN [0..loadState.nBcds) DOprev: PrincOps.GlobalFrameHandle _ NIL;moduleMap: ModuleMap = gfMap[config];FOR module IN [1..moduleMap.length) DOIF moduleMap[module] = prev THEN LOOP;IF proc[config, module] THEN RETURN;prev _ moduleMap[module];ENDLOOP;ENDLOOP;RETURN[NullConfig, BasicLoadState.NullModule]};ConfigToBcd: PROC [config: ConfigID] RETURNS [BcdDefs.BcdBase] = {bi: BcdInfo _ loadState.bcds[config];bi.exports _ bi.typeExported _ FALSE;RETURN [bi.bcd]};FindMakeBootLoadState: PROC = {OPEN BootStartList;su: SwapUnitEntryPointer = IndexToSwapUnitEntryPointer[h.initLoadState];parent: SpaceEntryPointer = IndexToSpaceEntryPointer[su.parent];loadStateInterval _ [page: parent.vmPage + su.base, count: su.pages];loadState _ VM.AddressForPageNumber[loadStateInterval.page];extension _ LOOPHOLE[loadState+SIZE[LoadStateObject[loadState.length]]];};BuildGFTable: PROC = {GetFrame: PROC [g: PrincOps.GFTItem] RETURNS [PrincOps.GlobalFrameHandle] = {g.epbias _ 0;RETURN[g.framePtr]};MapSizeForBcd: PROC [bcd: BcdDefs.BcdBase] RETURNS [CARDINAL] = {IF bcd.nModules > 1 THEN RETURN[bcd.firstdummy];RETURN[1+LOOPHOLE[bcd+bcd.mtOffset, BcdDefs.MTHandle].ngfi]};gfMapSize, configTableSize: NAT;moduleMap: ModuleMap;gfMapSize _ configTableSize _ SIZE[ConfigTable[loadState.nBcds]];FOR config: ConfigID IN [0..loadState.nBcds) DObcd: BcdDefs.BcdBase = ConfigToBcd[config];gfMapSize _ gfMapSize + SIZE[ModuleMapTable[MapSizeForBcd[bcd]]];ENDLOOP;gfMapInterval _ VM.Allocate[VM.PagesForWords[gfMapSize]];gfMap _ VM.AddressForPageNumber[gfMapInterval.page];moduleMap _ LOOPHOLE[gfMap + configTableSize];FOR config: ConfigID IN [0..loadState.nBcds) DObcd: BcdDefs.BcdBase = ConfigToBcd[config];mapSize: CARDINAL = MapSizeForBcd[bcd];gfMap[config] _ moduleMap;LOOPHOLE[moduleMap, LONG POINTER TO CARDINAL]^ _ mapSize;moduleMap[0] _ NIL;FOR gfi: PrincOps.GFTIndex IN PrincOps.GFTIndex DOIF loadState.gft[gfi].config = config THEN {IF loadState.gft[gfi].module >= mapSize THEN ERROR;moduleMap[loadState.gft[gfi].module] _ GetFrame[PrincOps.GFT[gfi]];};ENDLOOP;moduleMap _ moduleMap + SIZE[ModuleMapTable[mapSize]];ENDLOOP;};FindMakeBootLoadState[];BuildGFTable[];END.    ·  BasicLoadStateImpl.mesalast edited by Levin on October 3, 1983 1:10 pmTypesGlobal VariablesErrorsExported ProceduresInternal ProceduresCompiler always sets bcd.firstdummy to PrincOps.MaxNGfi+1.  The truth is in the module table entry. Э╩╔  Ш JЪЬЩJЪЬ/Щ/JШ Ъ╧k	Ш	JЪЬЭЬШ/ЪЬЭЬШJЪЬJШJЧJЪЬЭЬШ0JЪЬЭЬШ"ЪЬЭЬШJЪЬcШcЧJЪЬ	ЭЬЭЬ(Ш;JЪЭЬЭЬAШIЧJШ ЪЬЭШJЪЭЬЭШJЪЭЬШЧJШ JЪЭШJШ JЪЭЬШJШ JЪЬЩШ JЪЬ
ЭЬШ$JЪЬЭЬШ/JЪЬ
ЭЬЭЬШ!JШ JЪ	ЬЭЬЭЬЭЬЭЬШ*JЪЬЭЬЭЬЭЬЭЬ
ЭЬШDJЪ	ЬЭЬЭЬЭЬЭЬШ2ЪЬЭЬЭЬШJЪЭЬ	ЭЬЭЬШ9ЧJШ ЧJЪЬЩШ JЪЬЭЬ,Ш>JШ JЪЬЭЬШJЪ	ЬЭЬЭЬЭЬ+ЭЬШIJЪЬЭЬШJШ JЪЬ"ЭЬ
Ш.JШ ЧJЩЩ JЪЬЭЬЭЬШ!JЪЬЭЬЭЬШJЪЬЭЬЭЬШJШ ЧJЪЬЩШ Ъ╧nЬЭЬШJЪЭЬЭЬЭЬЭЬШJЪЭЬШJЪЭЬШJЪЬЭЬШJШЧJШ ЪЮЬЭЬ(ШHJЪЭЬ&Ш-JШJЪЭЬЭЬЭЬЭЬШ1JЪ
ЭЬ
ЭЬЭЬЭЬЭЬШKJЪЬШJЪЭЬЭЬЭЬШ:JЪЭЬШJШЧJШ ЪЮЬЭЬ"ШBJЪЭЬ,Ш3JШJЪЭЬЭЬЭЬЭЬШ1JШJЪЭЬ*Ш0JШЧJШ ЪЮЬЭЬ"Ш@JЪЭЬШJЪЭЬЭЬЭЬЭЬШ1JЪЭЬШJШЧJШ ЪЮЬЭЬ6ШJJЪЭЬЭЬЭЬЭЬШ1JЪЬШJШJШ ЧЪЮ
ЬЭЬЭЬШ4JЪЬ-ЭЬШ6JШJЪЭЬЭЬЭЬЭЬШ1JЪ
ЭЬ
ЭЬЭЬЭЬЭЬШKJШJЪЬ5Ш5JЪЬЭЬШ%JШJШЧJШ Ъ
ЮЬЭЬЭЬЭЬЭЬШDJЪЭЬШJЪЭЬЭЬЭЬЭЬШ1ЪЭЬЭЬЭШ%JЪЭЬЭЬЭЬШJЪЭЬШЧJЪЭЬШJШЧJШ ЪЮЬЭЬЭЬШ'JЪЬЭЬЭЬЭЬШ:JЪЭЬШ!JШJЪЬ#ЭЬШ'JЪЭЬЭЬЭЬЭЬШ1JЪЬШЪЭЬЭЬЭШ&JЪЭЬЭЬЭЬШ&JЪЭЬЭЬЭЬШJЪЬШJЪЭЬШЧJЪЭЬШ!JШJШ ЧЪЮЬЭЬШ"JЪЬЭЬЭЬЭЬШ2JЪЭЬ,Ш3JЪЭЬЭЬЭЬЭЬШ1ЪЭЬЭЬЭШ%JЪЬ#ЭЬШ'JЪЬ%Ш%ЪЭЬЭЬЭШ&JЪЭЬЭЬЭЬШ&JЪЭЬЭЬЭЬШ$JЪЬШJЪЭЬШЧJЪЭЬШЧJЪЭЬ'Ш-JШЧЧJШ JЪЬЩШ ЪЮЬЭЬЭЬШBJШ%JЪЬЭЬШ%JЪЭЬ	ШJШЧJШ ЪЮЬЭЬШJЪЭЬШJЪЬHШHJЪЬ@Ш@JЪЬEШEJЪЬЭЬ.Ш<JЪЬЭЬЭЬ%ШHJШЧJШ ЪЮЬЭЬШЪЮЬЭЬЭЬ!ШMJШJЪЭЬШJШЧЪЮЬЭЬЭЬЭЬШAJЪЭЬЭЬЭЬШ0JЪЬcЩcJЪЭЬЭЬ*Ш;JЪЬШЧJЪЬЭЬШ JШJЪЬЭЬШAЪЭЬЭЬЭШ/JШ+JЪЬЭЬ%ШAJЪЭЬШЧJЪЬЭЬ
ЭЬШ9JЪЬЭЬ*Ш4JЪЬЭЬШ.ЪЭЬЭЬЭШ/JШ+JЪЬ	ЭЬШ'JЪЬШJЪ
ЭЬЭЬЭЬЭЬЭЬШ9JЪЬЭЬШЪЭЬЭЬЭШ2ЪЭЬ$ЭЬШ,JЪЭЬ&ЭЬЭЬШ3JЪЬ9ЭЬШCJШЧJЪЭЬШЧJЪЬЭЬШ6JЪЭЬШЧJШЧJШ ЧJШJШJШ JЪЭЬШJШ JШ Ч ЕЧ    H     