マップ関数が本質的に並行しているのはなぜですか？

Question

は、私は、以下の発表を読んでいた。

http://www.idt.mdh.se/kurser/DVA201/slides/parallel-4up.pdf

と著者はマップ機能は、並列処理のために非常によく構築されていると主張する（特に彼は、3ページまたはスライド9と10の彼の主張をサポートしています）。

リストの各値を+1ずつ増やすという問題があった場合、リストをルーピングすることによってインデックス値が変更され、競合状態の問題が発生する可能性があります。しかし、私は、マップ関数がプログラマがうまく並行してコード化できるようにする方法が不思議です。

マップが再帰的に定義されているためですか？したがって、各関数呼び出しを別のスレッドにスローすることはできますか？

私は誰かがいくつかの詳細を提供できることを願って、ありがとう！

Answer 1

map関数は、同じ純関数をコレクション内の要素nに適用し、結果を集計します。定義によると、関数の戻り値は純粋に入力に依存するため、関数をコレクションのメンバーに適用する順序は関係ありません。

Answer 2

すでに他の人は標準mapの実装が並行ではないと説明しました。

しかし、あなたはそれをタグ付けするのでScalaで、あなたは単に

val list = ... // some list 
list.par.map(x => ...) // instead of list.map(x => ...) 

として並列バージョンを取得することができますがscala.collection.parallelパッケージでParIterableや他のタイプのためにもParallel Collections Overviewやドキュメントを参照してください。

あなたは（def mapとclass Mapを探して）したい場合は、https://github.com/scala/scala/blob/v2.12.1/src/library/scala/collection/parallel/ParIterableLike.scalaに並列mapの実装を見つけることができます。それは非常に重要ではないインフラストラクチャを必要とし、確かにシーケンシャルmapの再帰的定義を取ってそれを並列化するだけではありません。

ループを介してマップを定義していた場合、どのように破壊されますか？

ループあるスライドが終わりに、一例として、F＃の平行アレイを与え、https://github.com/fsharp/fsharp/blob/master/src/fsharp/FSharp.Core/array.fs#L266であなたは非平行の実装を見ることができます：機能の各アプリケーションは `にF`ため

let inline map (mapping: 'T -> 'U) (array:'T[]) = 
    checkNonNull "array" array    
    let res : 'U[] = Microsoft.FSharp.Primitives.Basics.Array.zeroCreateUnchecked array.Length 
    for i = 0 to res.Length-1 do 
     res.[i] <- mapping array.[i] 
    res