<> <> DIRECTORY PrincOps USING[PsbIndex]; StorageAccounting: DEFINITIONS = BEGIN <<>> <> PSBIMap: TYPE = RECORD[elements: SEQUENCE maxLength: [0..LAST[PrincOps.PsbIndex]+1] OF CellCount]; CellCount: TYPE = RECORD[total, current: LONG INTEGER]; <> defaultCollectionInterval: LONG CARDINAL = 40000B; <> nWordsRequested: INT; nWordsAllocated: INT; SUMnWordsAllocated: INT; nWordsReclaimed: INT; nObjectsCreated: INT; nObjectsReclaimed: INT; MapPsbiToWordsAllocated: LONG POINTER TO PSBIMap; CollectionInterval: INT; SuspensionThreshold: INT; <> ResetNWordsAllocated: PROC; ResetTotalNWordsAllocatedOnly: PROC; ConsiderCollection: PROC[requestedWords, suppliedWords: LONG CARDINAL]; END.