3

我需要一个简单的时序分析器来估计我的程序的某些部分的运行时间（用 OCaml 编写，但我相信这可以适用于其他函数式语言），我找不到一个非常简单的解决方案，类似于编写代码在命令式语言中，使用诸如timer.start/之类的函数timer.stop。所以我尝试了一个使用惰性评估的方法，它对我的​​需要非常有效，但是我没有找到对这种方法的任何引用，所以我想知道这种方法有缺陷，或者是否有更简单的解决方案。

所以，问题是：你知道函数式语言（尤其是 OCaml）的类似实现吗？如果是这样，请向我指出，我想借用他们的一些想法来改进我的“穷人的剖析器”（我看过这个问题，但对我没有多大帮助）。据我所见，GHC 已经有办法收集时间信息，所以这对 Haskell 来说可能不是问题。

顺便说一句，我尝试按照 OCaml 手册（17.4）中的说明进行时序分析，但它对于我需要的东西来说太“低级”了：它在 C 函数级别提供了大量信息，这使得评估变得更加困难正是 OCaml 代码的哪一部分是罪魁祸首。

下面是我在 OCaml 中的实现（请注意，每次我想测量时间时都需要添加“惰性”表达式，但同时我可以很好地控制我需要多少信息）。

open Unix (* for the timers *)

(** 'timers' associates keys (strings) to time counters, 
   to allow for multiple simultaneous measurements. *)
let timers : (string, (float * float)) Hashtbl.t = Hashtbl.create 1

(** starts the timer associated with key <name> *)
let timer_start (name : string) : unit =
  let now = Unix.times () in
  Hashtbl.replace timers name (now.tms_utime, now.tms_stime)

(** Returns time elapsed between the corresponding call to 
   timer_start and this call *)
let timer_stop (name : string) : float =
  try
    let now = Unix.times () in
    let t = Hashtbl.find timers name in
    (now.tms_utime -. fst t) +. (now.tms_stime -. snd t)
  with
    Not_found -> 0.0

(** Wrapper for the timer function using lazy evaluation *)
let time (s : string) (e : 'a Lazy.t) : 'a =
  timer_start s;
  let a = Lazy.force e in
  let t2 = timer_stop s in
  (* outputs timing information *)
  Printf.printf "TIMER,%s,%f\n" s t2; a


(** Example *)
let rec fibo n = 
  match n with
    | 0 -> 1
    | 1 -> 1
    | n' -> fibo (n - 1) + fibo (n - 2)

let main =
  let f = time "fibo" (lazy (fibo 42)) in
  Printf.printf "f = %d\n" f
4

2 回答 2

2

Unix.times测量 CPU 时间，而不是挂钟时间。因此，这仅适用于将所有时间都花在 CPU 上的计算代码。并且 BTW hashtbl 不需要，即使对于多个同时测量，只需返回开始时间timer_start并将其减去timer_stop.

于 2012-08-15T08:04:09.557 回答
1

合并来自@Jeffrey_Scofield 和@ygrek 的想法，“最穷人的时序分析器”确实非常简单，几乎不需要提及，这可以解释为什么我没有找到它。所以我合并了他们的答案并制作了一个更简单的版本：

open Unix (* for the timers *)

(* Wrapper for the timer function using a "unit -> 'a" thunk *)
let time (s : string) (e : unit -> 'a) : 'a =
  let tstart = Unix.times () in
  let a = e () in
  let tend = Unix.times () in
  let delta = (tend.tms_utime -. tstart.tms_utime) +. 
              (tend.tms_stime -. tstart.tms_stime) in
  (* outputs timing information *)
  Printf.printf "TIMER,%s,%f\n" s delta; a

(* Example *)
let rec fibo n = 
  match n with
    | 0 -> 1
    | 1 -> 1
    | n' -> fibo (n - 1) + fibo (n - 2)

let main =
  let f = time "fibo" (fun () -> fibo 42) in
  Printf.printf "f = %d\n" f
于 2012-08-15T14:36:05.433 回答