ancient.ml

   1 (* Mark objects as 'ancient' so they are taken out of the OCaml heap. *)
   2
   3 type 'a ancient
   4
   5 type info = {
   6   i_size : int;
   7 }
   8
   9 external mark_info : 'a -> 'a ancient * info = "ancient_mark_info"
  10
  11 let mark obj = fst (mark_info obj)
  12
  13 external follow : 'a ancient -> 'a = "ancient_follow"
  14
  15 external delete : 'a ancient -> unit = "ancient_delete"
  16
  17 external is_ancient : 'a -> bool = "ancient_is_ancient"
  18
  19 external address_of : 'a -> nativeint = "ancient_address_of"
  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"