diff options
| author | Luc Maranget <luc.maranget@inria.fr> | 2009-08-21 08:39:33 +0000 |
|---|---|---|
| committer | Luc Maranget <luc.maranget@inria.fr> | 2009-08-21 08:39:33 +0000 |
| commit | 09213b3c2898c99401453a1d03a78989786708b7 (patch) | |
| tree | 0dd206f9f01d4657c8efbd35e21aa91b9b4187a4 /stdlib/gc.mli | |
| parent | 91b60f2bba3e3973f8fc75d5ef9667a0c19b652a (diff) | |
| download | ocaml-09213b3c2898c99401453a1d03a78989786708b7.tar.gz | |
jo311merged
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/jocamltrunk@9322 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/gc.mli')
| -rw-r--r-- | stdlib/gc.mli | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/stdlib/gc.mli b/stdlib/gc.mli index be476d21e9..809998c500 100644 --- a/stdlib/gc.mli +++ b/stdlib/gc.mli @@ -126,6 +126,14 @@ type control = (** The maximum size of the stack (in words). This is only relevant to the byte-code runtime, as the native code runtime uses the operating system's stack. Default: 256k. *) + + mutable allocation_policy : int; + (** The policy used for allocating in the heap. Possible + values are 0 and 1. 0 is the next-fit policy, which is + quite fast but can result in fragmentation. 1 is the + first-fit policy, which can be slower in some cases but + can be better for programs with fragmentation problems. + Default: 0. *) } (** The GC parameters are given as a [control] record. Note that these parameters can also be initialised by setting the |