Poets.ml

(** Using Private Set Intersection to find which poets are known to
    the client and to the server. *)

(* Copyright Xavier Leroy.  License: GPL 2 or later *)

open Printf

(* Server database *)

let poets = [
  "Milton"; "Shakespeare"; "Chaucer"; "Yeats"; "Wordsworth"; "Keats";
  "Blake"; "Eliot"; "Donne"; "Dickinson"; "Whitman"; "Pope";
  "Browning"; "Stevens"; "Shelley"; "Byron"; "Tennysson"; "Spenser";
  "Poe"; "Auden"; "Coleridge"; "Dryden"; "Pound"; "Bishop"; "Plath";
  "Larkin"; "Longfellow"; "Cummings"; "Ginsberg"; "Thoreau"; "Dylan";
  "Ronsard"; "Bellay"; "Malherbe"; "Hugo"; "Musset"; "Baudelaire";
  "Rimbaud"; "Verlaine"; "Apollinaire"; "Eluard"; "Breton"; "Aragon";
  "Desnos"; "Prévert"; "Queneau"; "Labé"; "Desbordes-Valmore";
  "Noailles"; "Heredia"; "Gautier"; "Mallarmé"; "Chénier"
]

let usage () =
  printf "Usage: mpirun -np 2 ./Poets.exe <name1> ... <nameN>\n";
  printf "Use names of poets (English language or French language)\n"

let _ =
  if Multiparty.num_participants() < 2 then begin
    if Multiparty.self() = 0 then usage();
    exit 2
  end;
  begin match Multiparty.self() with
  | 0 ->
      let my_names =
        Array.to_list (Array.sub Sys.argv 1 (Array.length Sys.argv - 1)) in
      let shared_names =
        PSI.client ~server:1 my_names in
      printf "Names in common with the server:";
      List.iter (fun n -> printf " %s" n) shared_names;
      printf "\n"
  | 1 ->
      PSI.server ~client:0 poets
  | _ ->
      ()
  end;
  Multiparty.barrier()