Module Heap.RecencySource

Abstraction of the heap

module Pool : sig ... end
Sourcetype Mopsa.query +=
  1. | Q_alive_addresses : ('a0, Mopsa.addr list) Mopsa.query
  2. | Q_alive_addresses_aspset : ('a1, Pool.t) Mopsa.query
  3. | Q_allocated_addresses_aspset : ('a2, Pool.t) Mopsa.query
Sourceval name : string
Sourceval opt_default_allocation_policy : string Stdlib.ref
Sourceval gc_time : float Stdlib.ref
Sourceval gc_nb_collections : int Stdlib.ref
Sourceval gc_nb_addr_collected : int Stdlib.ref
Sourceval gc_max_heap_size : int Stdlib.ref

Domain definition

Sourcetype Mopsa.stmt_kind +=
  1. | S_perform_gc
Sourcemodule Domain : sig ... end

Domain header