2009-08-17 15 views

Odpowiedz

3

Obecnie jedynym sposobem na zrobienie tego jest użycie MPI i można znaleźć dla niego powiązania ocaml na Xavier Leroy's website.

+2

ocaml4multicore jest dostępny (z ograniczeniami), zobacz: http://www.algo-prog.info/ocmc/web/ – nlucaroni

8

Poniższa invoke COMBINATOR zastosować funkcję do wartości w innym (rozwidlony) procesu, a następnie zablokować czekając na jej wynik, gdy wartość () nanosi:

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