den folgenden invoke
Kombinator Verwenden eine Funktion auf einen Wert in einem anderen (gegabelten) Prozess anzuwenden und dann das Ergebnis wartet blockieren, wenn der ()
Wert angewandt wird:
let invoke (f : 'a -> 'b) x : unit -> 'b =
let input, output = Unix.pipe() in
match Unix.fork() with
| -1 -> (let v = f x in fun() -> v)
| 0 ->
Unix.close input;
let output = Unix.out_channel_of_descr output in
Marshal.to_channel output (try `Res(f x) with e -> `Exn e) [];
close_out output;
exit 0
| pid ->
Unix.close output;
let input = Unix.in_channel_of_descr input in
fun() ->
let v = Marshal.from_channel input in
ignore (Unix.waitpid [] pid);
close_in input;
match v with
| `Res x -> x
| `Exn e -> raise e
ocaml4multicore (mit Einschränkungen) verfügbar ist, siehe: http://www.algo-prog.info/ocmc/web/ – nlucaroni