<> <> <> <> <> <> Alloc: DEFINITIONS = { Selector: TYPE = CARDINAL; Base: TYPE = LONG ORDERED BASE POINTER; Limit: CARDINAL = CARDINAL.LAST; Index: TYPE = Base RELATIVE POINTER [0..Limit); OrderedIndex: TYPE = Base RELATIVE ORDERED POINTER [0..Limit); Handle: TYPE = REF InstanceData; InstanceData: TYPE; <> Words: PROC[h: Handle, table: Selector, size: CARDINAL] RETURNS[OrderedIndex]; Trim: PROC[h: Handle, table: Selector, size: CARDINAL]; <> defaultChunkType: Selector = Selector.FIRST; GetChunk: PROC[h: Handle, size: CARDINAL, table: Selector_defaultChunkType] RETURNS[Index]; FreeChunk: PROC[h: Handle, index: Index, size: CARDINAL, table: Selector_defaultChunkType]; <> Bounds: PROC[h: Handle, table: Selector] RETURNS[base: Base, size: CARDINAL]; Top: PROC[h: Handle, table: Selector] RETURNS[OrderedIndex] = INLINE { RETURN[OrderedIndex.FIRST + h.Bounds[table].size]}; <> BaseSeq: TYPE = RECORD[SEQUENCE length: NAT OF Base]; Notifier: TYPE = PROC[base: REF BaseSeq]; AddNotify: PROC[h: Handle, proc: Notifier]; DropNotify: PROC[h: Handle, proc: Notifier]; <> maxForBits: ARRAY [1..16] OF CARDINAL = [ 1b, 3b, 7b, 17b, 37b, 77b, 177b, 377b, 777b, 1777b, 3777b, 7777b, 17777b, 37777b, 77777b, 177777b]; pagesForBits: ARRAY [1..16] OF CARDINAL = [ 1, 1, 1, 1, 1, 1, 1, 1, 2, 4, 8, 16, 32, 64, 128, 256]; defaultIndexBits: CARDINAL = 14; defaultTileSize: CARDINAL = 8; TableInfo: TYPE = RECORD[ initialPages: [0..377b], indexBits: [0..16]_defaultIndexBits, variant: SELECT useFullVmem: BOOL FROM FALSE => [initialVMemPages: [0..177b]], TRUE => [], ENDCASE _ TRUE[]]; Create: PROC[ weights: DESCRIPTOR FOR ARRAY OF TableInfo, tileSize: CARDINAL_defaultTileSize] RETURNS[Handle]; Destroy: PROC[Handle]; Reset: PROC[Handle]; Chunkify: PROC[ h: Handle, table: Selector_defaultChunkType, firstSmall: CARDINAL_3, nSmall: CARDINAL_4]; UnChunkify: PROC[h: Handle, table: Selector]; ResetChunk: PROC[h: Handle, table: Selector]; ResetTable: PROC[h: Handle, table: Selector, info: TableInfo]; Failure: ERROR[h: Handle, table: Selector]; Overflow: SIGNAL[h: Handle, table: Selector] RETURNS[extra: CARDINAL]; }.