From 718a2eff89f4798ee47e055556f500dc950a82b7 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= Date: Mon, 2 Apr 2012 14:39:58 +0200 Subject: [PATCH] Remove unused memory profiling code. --- src/memory.ml | 40 ---------------------------------------- src/memory.mli | 9 --------- 2 files changed, 49 deletions(-) delete mode 100644 src/memory.ml delete mode 100644 src/memory.mli diff --git a/src/memory.ml b/src/memory.ml deleted file mode 100644 index a5a19fd..0000000 --- a/src/memory.ml +++ /dev/null @@ -1,40 +0,0 @@ -(******************************************************************************) -(* SXSI : XPath evaluator *) -(* Kim Nguyen (Kim.Nguyen@nicta.com.au) *) -(* Copyright NICTA 2008 *) -(* Distributed under the terms of the LGPL (see LICENCE) *) -(******************************************************************************) - -let globals = Hashtbl.create 107 -let cpt = ref 0 - -let register v str = - let _cpt = !cpt in - let f = (* This function must not take v as argument, otherwise - v won't be garbage collected *) - fun _ -> Hashtbl.remove globals _cpt - in - Hashtbl.add globals _cpt str; - incr cpt; - Gc.finalise f v -;; - -let schedule_stats = - let first = ref true in - function () -> if !first - then - let show_leaked_values () = - Printf.eprintf "Memory debugging requested :\n%!"; - Printf.eprintf "Triggering major collection :%!"; - Gc.full_major(); - Printf.eprintf " ok\n%!"; - Printf.eprintf "Triggering memory compaction :%!"; - Gc.compact(); - Printf.eprintf " ok\n%!"; - let i = Hashtbl.length globals in - Printf.eprintf "%i object%s leaked\n%!" i (if i < 2 then "" else "s"); - Hashtbl.iter (fun key msg -> - Printf.printf "Value %i, registered at %s has not been collected\n" key msg) globals - in at_exit show_leaked_values; first := false - else () - diff --git a/src/memory.mli b/src/memory.mli deleted file mode 100644 index 3531e53..0000000 --- a/src/memory.mli +++ /dev/null @@ -1,9 +0,0 @@ -(******************************************************************************) -(* SXSI : XPath evaluator *) -(* Kim Nguyen (Kim.Nguyen@nicta.com.au) *) -(* Copyright NICTA 2008 *) -(* Distributed under the terms of the LGPL (see LICENCE) *) -(******************************************************************************) -val register : 'a -> string -> unit -val schedule_stats : unit -> unit - -- 2.17.1