Given a function f : t1 -> t2 , is there a way to write a function compute_f_in_a_hurry : t1 -> float -> t2 that uses f, such that compute_f_in_a_hurry x time_limit computes f x in time_limit units of time if possible, or raises an exception if the computation takes too long ? I guess one needs the…

I have this version that uses Unix signals. exception Timeout let delayed_fun f x timeout = let _ = Sys.set_signal Sys.sigalrm (Sys.Signal_handle (fun _ -> raise Timeout)) in ignore (Unix.alarm timeout); try let r = f x in ignore (Unix.alarm 0); r with | e -> ignore (Unix.…

Computation with time constraint

Learning

gadmm April 17, 2020, 2:50pm 5

See for instance: Today's trick : memory limits with Gc alarms (@zozozo’s comment)

2 Likes

Topic		Replies	Views
Evaluate for a fixed amount of time or fail Learning	11	3402	December 3, 2017
Lwt vs System threads Learning lwt	28	5627	November 12, 2020
Best practice for sub-second timeout operation Learning	4	722	November 14, 2020
Signal handling checkpoints and Mutex.lock Learning	20	743	June 24, 2024
Multicore Ocaml vs Thread Learning	12	4053	June 2, 2020

Computation with time constraint

Related topics