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
Best practice for sub-second timeout operation Learning	4	609	November 14, 2020
Lwt - Execution order and parallelism Learning lwt	10	2053	July 19, 2017
About Lwt: concurrency library Ecosystem lwt	7	5184	June 1, 2017
Evaluate for a fixed amount of time or fail Learning	11	3269	December 3, 2017
Lwt_unix.read from a large file and scheduling Learning lwt , unix	5	2151	July 7, 2017

Computation with time constraint

Related topics