DIRECTORYBcdDefs USING [MTIndex],LoadState USING [BcdBase, CopiesList, GlobalFrameHandle, ModuleIndex, Type];LoadStateFormat: DEFINITIONS= BEGIN OPEN LoadState;Handle: TYPE = REF Object;Object: TYPE = RECORD [  -- concrete version of LoadState.ObjectuseCount: INTEGER,  -- -1 = exclusive, 0 = not in use, >0 = sharedchangeCount: INT _ 0,configTable: REF ConfigTable,  -- <config, module> -> gf mappingcopyTable: REF CopyTable,collisionTable: REF CollisionTable,  --  gfht: ARRAY HashIndex OF Entry  -- gf -> <config, module> mapping];htSize: NAT = 1019;HashIndex: TYPE = NAT[0..htSize);EntryType: TYPE = {empty, collision, copy, original};Entry: TYPE = RECORD [SELECT type: EntryType FROMempty => NULL,collision => [list: CollisionTableIndex],  -- appears only in hash tablecopy => [copyIndex: CopyIndex,gfh: GlobalFrameHandle  -- superfluous if Entry is in hash table],original => [copyIndex: ShortCopyIndex,configID: ConfigID,module: ModuleIndex],ENDCASE];ConfigID: TYPE = NAT[0..256);CollisionTableIndex: TYPE = NAT;CollisionTable: TYPE = RECORD [nCollisions: CollisionTableIndex,collisions: SEQUENCE length: CollisionTableIndex OF CollisionList];CollisionList: TYPE = LIST OF Entry;ConfigTable: TYPE = RECORD [nConfigs: NAT,configs: SEQUENCE length: NAT OF Config];Config: TYPE = REF ConfigObject;ConfigObject: TYPE = RECORD [bcd: BcdBase,ref: REF ANY,nModules: NAT,modules: SEQUENCE length: NAT OF ModuleEntry  -- replicated entries for multi-gft modules];ModuleEntry: TYPE = RECORD [mti: BcdDefs.MTIndex,gfh: GlobalFrameHandle,type: Type];CopyIndex: TYPE = NAT[0..37777B];  -- packs with EntryType in a wordShortCopyIndex: TYPE = NAT[0..77B];  -- packs with EntryType and ConfigID into a wordnullCopyIndex: CopyIndex = 0;fuzzyCopyIndex: CopyIndex = ShortCopyIndex.LAST;CopyTable: TYPE = RECORD [nCopies: CopyIndex,copies: SEQUENCE length: NAT OF CopyEntry];CopyEntry: TYPE = RECORD [parent: GlobalFrameHandle,copies: CopiesList];END.   ¤  LoadStateFormat.mesaCopyright c 1985 by Xerox Corporation.  All rights reserved.Levin on August 9, 1983 5:00 pmRuss Atkinson (RRA) February 1, 1985 5:00:29 pm PSTDoug Wyatt, February 27, 1985 10:07:40 am PSTSelection criteria:primeexpected number of modules / htsize ~= 1SIZE[Entry]*htSize-3*SIZE[REF] is nearly a multiple of the virtual memory page size.This is arranged to occupy a maximum of two wordsÊI  ˜ codešœ™Kšœ
Ïmœ1™<Kšœ™J™3K™-—K˜ šÏk	˜	Kšœžœ˜Kšœ
žœ=˜L—K˜ KšÐblœž˜Kšœžœ˜K˜ Kšœžœžœ˜K˜ šœžœžœÏc'˜@Kšœ
žœ .˜BKšœžœ˜Kšœžœ ˜@Kšœžœ˜Kšœžœ˜)Kšœžœžœ !˜AK˜—K˜ šœžœ˜šœ™Kšœ™Kšœ(™(KšœT™T——K˜ Kšœžœžœ˜!K˜ Kšœžœ&˜5šœžœžœ˜Kšœ1™1šžœž˜Kšœ	žœ˜Kšœ+ ˜Hšœ	˜	Kšœ˜Kšœ (˜@Kšœ˜—˜K˜K˜K˜K˜—Kšž˜—K˜—K˜ Kšœ
žœžœ	˜K˜ Kšœžœžœ˜ šœžœžœ˜Kšœ!˜!Kšœžœžœ˜AK˜—Kšœžœžœžœ˜$K˜ šœžœžœ˜Kšœ
žœ˜Kšœ	žœ	žœžœ˜'K˜—K˜ Kšœžœžœ˜ šœžœžœ˜Kšœ˜Kšœžœžœ˜Kšœ
žœ˜Kšœ	žœ	žœžœ +˜YK˜—šœžœžœ˜K˜K˜K˜
K˜—K˜ Kšœžœžœ !˜DKšœžœžœ 0˜UKšœ˜Kšœ+žœ˜0K˜ šœžœžœ˜Kšœ˜Kšœžœ	žœžœ
˜)K˜—K˜ šœžœžœ˜K˜K˜K˜—K˜ Kšžœ˜— …—    è  Õ  