diff options
| author | François Bobot <francois.bobot@cea.fr> | 2013-12-25 20:15:39 +0100 |
|---|---|---|
| committer | François Bobot <francois.bobot@cea.fr> | 2016-01-23 11:28:01 +0100 |
| commit | e402d38dfe81fdb919f61d14dcf87dd80aaae910 (patch) | |
| tree | e1ecdeef801d64a8ff2e432a6c7ec9698819b257 /boot | |
| parent | d5fffddc638df21e24ecece1ff0883d327037991 (diff) | |
| download | ocaml-e402d38dfe81fdb919f61d14dcf87dd80aaae910.tar.gz | |
[GC] add full-featured ephemerons in an inefficient way
- use the generic abstract tag like weak pointers
- a weak pointer is implemented using an ephemeron (one additionnal word)
- add for every full GC a complexity of O((n+m)*(m+1))
with m the number of pure ephemerons,
n the number of ephemerons used as weak pointers
- multiple keys, modifiable keys
Diffstat (limited to 'boot')
| -rwxr-xr-x | boot/ocamlc | bin | 1960740 -> 1973124 bytes |
| -rwxr-xr-x | boot/ocamldep | bin | 614483 -> 623939 bytes |
| -rwxr-xr-x | boot/ocamllex | bin | 264162 -> 264421 bytes |
3 files changed, 0 insertions, 0 deletions
diff --git a/boot/ocamlc b/boot/ocamlc Binary files differindex 21f16c8c56..c893a8f7e4 100755 --- a/boot/ocamlc +++ b/boot/ocamlc diff --git a/boot/ocamldep b/boot/ocamldep Binary files differindex 92571f5e71..6432b6b2aa 100755 --- a/boot/ocamldep +++ b/boot/ocamldep diff --git a/boot/ocamllex b/boot/ocamllex Binary files differindex 63cfe7becd..080b27d4db 100755 --- a/boot/ocamllex +++ b/boot/ocamllex |