640e0d47ee7ebf4f6c51ca287e4fd240f558e1d7
[ocaml-ancient.git] / ancient.ml
1 (* Mark objects as 'ancient' so they are taken out of the OCaml heap.
2  * $Id: ancient.ml,v 1.6 2006-10-09 14:43:00 rich Exp $
3  *)
4
5 type 'a ancient
6
7 type info = {
8   i_size : int;
9 }
10
11 external mark_info : 'a -> 'a ancient * info = "ancient_mark_info"
12
13 let mark obj = fst (mark_info obj)
14
15 external follow : 'a ancient -> 'a = "ancient_follow"
16
17 external delete : 'a ancient -> unit = "ancient_delete"
18
19 external is_ancient : 'a -> bool = "ancient_is_ancient"
20
21 type md
22
23 external attach : Unix.file_descr -> nativeint -> md = "ancient_attach"
24
25 external detach : md -> unit = "ancient_detach"
26
27 external share_info : md -> int -> 'a -> 'a ancient * info
28   = "ancient_share_info"
29
30 let share md key obj = fst (share_info md key obj)
31
32 external get : md -> int -> 'a ancient = "ancient_get"
33
34 let max_key = 1023 (* MMALLOC_KEYS-1.  See mmprivate.h *)