<> <> <> <> <> <> 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.