From 881db3a5865332fca6387bb40f42f9d5b1921098 Mon Sep 17 00:00:00 2001 From: Anthony Scemama Date: Tue, 23 Oct 2018 16:11:15 +0200 Subject: [PATCH] Better load balancing --- Basis/ERI.ml | 11 +---------- 1 file changed, 1 insertion(+), 10 deletions(-) diff --git a/Basis/ERI.ml b/Basis/ERI.ml index 17a2506..fab2f2e 100644 --- a/Basis/ERI.ml +++ b/Basis/ERI.ml @@ -264,7 +264,7 @@ let of_basis_parallel basis = let t0 = Unix.gettimeofday () in let ishell = ref 0 in - let input_stream = Stream.of_list shell_pairs in + let input_stream = Stream.of_list (List.rev shell_pairs) in let f shell_p = let () = @@ -304,15 +304,6 @@ let of_basis_parallel basis = with Exit -> List.concat !result |> Array.of_list in - (* - let stream_map f stream = - let rec next i = - try Some (f (Stream.next stream)) - with Stream.Failure -> None in - Stream.from next - in - stream_map f input_stream - *) let eri_array = if Parallel.master then Fis.create ~size:n `Dense