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 *)