package mopsa

  1. Overview
  2. Docs
package mopsa
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct