Parallélisation optimisée

On configure facilement une granularité séquentielle avec par_chunks()…

let dot = x.par_chunks(chunk_size).zip(y.par_chunks(chunk_size))
           .map(|(x_chunk, y_chunk)| dot_sequential(x_chunk, y_chunk))
           .sum();

…avec à la clé un gain de performances ≤ 3x dans la région où paralléliser est rentable :