diff options
author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2016-05-11 22:34:45 -0400 |
---|---|---|
committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2016-05-11 22:34:45 -0400 |
commit | 783be07789a0a9bce0fd9ae97fa927034dc2fe01 (patch) | |
tree | 4116d74e561efa5d5625f6c193c6e2fcd667d875 /stdlib/gc.mli | |
parent | 80babb2636778742b961d9d08a1dff9cc41407e1 (diff) | |
download | ocaml-783be07789a0a9bce0fd9ae97fa927034dc2fe01.tar.gz |
stdlib .mli: forgotten @since 4.03.0
Diffstat (limited to 'stdlib/gc.mli')
-rw-r--r-- | stdlib/gc.mli | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/stdlib/gc.mli b/stdlib/gc.mli index 4a6d12c32f..6829728cdf 100644 --- a/stdlib/gc.mli +++ b/stdlib/gc.mli @@ -210,18 +210,24 @@ val allocated_bytes : unit -> float with [int] on 32-bit machines. *) external get_minor_free : unit -> int = "caml_get_minor_free" [@@noalloc] -(** Return the current size of the free space inside the minor heap. *) +(** Return the current size of the free space inside the minor heap. + + @since 4.03.0 *) external get_bucket : int -> int = "caml_get_major_bucket" [@@noalloc] (** [get_bucket n] returns the current size of the [n]-th future bucket of the GC smoothing system. The unit is one millionth of a full GC. Raise [Invalid_argument] if [n] is negative, return 0 if n is larger - than the smoothing window. *) + than the smoothing window. + + @since 4.03.0 *) external get_credit : unit -> int = "caml_get_major_credit" [@@noalloc] (** [get_credit ()] returns the current size of the "work done in advance" counter of the GC smoothing system. The unit is one millionth of a - full GC. *) + full GC. + + @since 4.03.0 *) external huge_fallback_count : unit -> int = "caml_gc_huge_fallback_count" (** Return the number of times we tried to map huge pages and had to fall |