summaryrefslogtreecommitdiff
path: root/stdlib/gc.mli
diff options
context:
space:
mode:
authorGabriel Scherer <gabriel.scherer@gmail.com>2016-05-11 22:34:45 -0400
committerGabriel Scherer <gabriel.scherer@gmail.com>2016-05-11 22:34:45 -0400
commit783be07789a0a9bce0fd9ae97fa927034dc2fe01 (patch)
tree4116d74e561efa5d5625f6c193c6e2fcd667d875 /stdlib/gc.mli
parent80babb2636778742b961d9d08a1dff9cc41407e1 (diff)
downloadocaml-783be07789a0a9bce0fd9ae97fa927034dc2fe01.tar.gz
stdlib .mli: forgotten @since 4.03.0
Diffstat (limited to 'stdlib/gc.mli')
-rw-r--r--stdlib/gc.mli12
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