2009-08-17 7 views

Respuesta

3

Actualmente, la única forma de hacerlo es con MPI, y puede encontrar enlaces ocaml para ello en Xavier Leroy's website.

+2

ocaml4multicore está disponible (con limitaciones), ver: http://www.algo-prog.info/ocmc/web/ – nlucaroni

8

Utilice la invoke combinator siguiente para aplicar una función a un valor en otro proceso (bifurcado) y entonces el bloque de espera para su resultado cuando se aplica el valor ():

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 
Cuestiones relacionadas