2009-08-17 5 views

risposta

3

Attualmente, l'unico modo per farlo è con MPI, e puoi trovare i binding ocaml per questo su Xavier Leroy's website.

+2

ocaml4multicore disponibile (con limitazioni), vedi: http://www.algo-prog.info/ocmc/web/ – nlucaroni

8

Usare il seguente invoke combinatore per applicare una funzione di un valore in un altro (forcella) processo e quindi bloccare attesa per il risultato quando viene applicato il valore ():

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