indexing description: "Facilities for tuning up the garbage collection mechanism. This class may be used as ancestor by classes needing its facilities." class interface MEMORY feature -- Access C_memory: INTEGER is 2 -- Code for the C memory managed -- by the garbage collector -- (from MEM_CONST) Eiffel_memory: INTEGER is 1 -- Code for the Eiffel memory managed -- by the garbage collector -- (from MEM_CONST) Full_collector: INTEGER is 0 -- Statistics for full collections -- (from MEM_CONST) Incremental_collector: INTEGER is 1 -- Statistics for incremental collections -- (from MEM_CONST) Total_memory: INTEGER is 0 -- Code for all the memory managed -- by the garbage collector -- (from MEM_CONST) feature -- Measurement gc_statistics (collector_type: INTEGER): GC_INFO -- Garbage collection information for collector_type. require type_ok: collector_type = full_collector or collector_type = incremental_collector memory_statistics (memory_type: INTEGER): MEM_INFO -- Memory usage information for memory_type require type_ok: memory_type = total_memory or memory_type = eiffel_memory or memory_type = c_memory feature -- Status report chunk_size: INTEGER -- Minimal size of a memory chunk. The run-time always -- allocates a multiple of this size. collecting: BOOLEAN -- Is garbage collection enabled? collection_period: INTEGER -- Period of full collection. largest_coalesced_block: INTEGER -- Size of largest coalesced block since last call to -- largest_coalesced; 0 if none. max_mem: INTEGER -- Maximum amount of bytes the run-time can allocate. memory_threshold: INTEGER -- Minimum amount of bytes to be allocated before -- starting an automatic garbage collection. feature -- Status setting allocate_compact -- Enter `memory' mode: will try to compact memory -- before requesting more from the operating system. allocate_fast -- Enter `speed' mode: will optimize speed of memory -- allocation rather than memory usage. allocate_tiny -- Enter `tiny' mode: will enter `memory' mode -- after having freed as much memory as possible. collection_off -- Disable garbage collection. collection_on -- Enable garbage collection. disable_time_accounting -- Disable GC time accounting (default). enable_time_accounting -- Enable GC time accouting, accessible in gc_statistics. set_chunk_size (value: INTEGER) -- Set the minimal size of a memory chunk. -- A chunk is an Eiffel memory unit. require positive_value: value > 0 set_collection_period (value: INTEGER) -- Set collection_period. Every value collection, -- the Garbage collector will perform a collection -- on the whole memory, otherwise a simple partial -- collection is done. require positive_value: value > 0 set_max_mem (value: INTEGER) -- Set the maximum amount of memory the run-time can allocate. require positive_value: value > 0 set_memory_threshold (value: INTEGER) -- Set a new memory_threshold in bytes. Whenever the memory -- allocated for Eiffel reaches this value, an automatic -- collection is performed. require positive_value: value > 0 feature -- Removal collect -- Force a partial collection cycle if garbage -- collection is enabled; do nothing otherwise. dispose -- Action to be executed just before garbage collection -- reclaims an object. -- Default version does nothing; redefine in descendants -- to perform specific dispose actions. Those actions -- should only take care of freeing external resources; -- they should not perform remote calls on other objects -- since these may also be dead and reclaimed. free (object: ANY) -- Free object, by-passing garbage collection. -- Erratic behavior will result if the object is still -- referenced. full_coalesce -- Coalesce the whole memory: merge adjacent free -- blocks to reduce fragmentation. Useful, when -- a lot of memory is allocated with garbage collector off. full_collect -- Force a full collection cycle if garbage -- collection is enabled; do nothing otherwise. mem_free (addr: POINTER) -- Free memory of object at addr. -- (Preferred interface is free.) invariant -- from GENERAL reflexive_equality: standard_is_equal (Current); reflexive_conformance: conforms_to (Current); end -- class MEMORY