지도 함수가 본질적으로 평행 한 이유는 무엇입니까?

Question

나는 다음과 같은 프리젠 테이션을 읽고 있었다 :

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

및 저자가지도 기능은 병렬 아주 잘 구축되어 있음을 주장한다 (특히 그는 3 페이지 또는 슬라이드 9와 10에 대한 자신의 주장을 뒷받침).

목록의 각 값을 +1만큼 증가시키는 문제가 발생하면 목록을 반복적으로 사용하면 인덱스 값이 변경되어 잠재적 인 경쟁 조건 문제가 발생하는 것을 볼 수 있습니다. 하지만 맵 기능으로 프로그래머가 병렬로 코드를 작성하는 것이 더 좋은지 궁금합니다.

지도가 재귀 적으로 정의 되었기 때문입니까? 그래서 각 함수 호출을 다른 스레드에 던질 수 있습니까?

누군가가 몇 가지 구체적인 정보를 제공하기를 바랍니다. 감사합니다.

Answer 1

map 함수는 동일한 순수 함수를 컬렉션의 n 요소에 적용하고 결과를 집계합니다. 정의에 따라 함수의 반환 값은 입력에 전적으로 의존하므로 컬렉션의 멤버에게 함수를 적용하는 순서는 중요하지 않습니다.

Answer 2

다른 사람들은 이미 표준 map 구현이 병렬 적이 지 않다는 것을 설명했습니다. 당신이 그것을 태그 있기 때문에, 당신은 scala.collection.parallel 패키지도 ParIterable 및 기타 유형의 Parallel Collections Overview 및 설명서를 참조하십시오 단순히

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

로 병렬 버전을 얻을 수 있습니다

하지만 스칼라에서

.

평행선의 구현은 https://github.com/scala/scala/blob/v2.12.1/src/library/scala/collection/parallel/ParIterableLike.scala에서 찾을 수 있습니다 (def map 및 class Map 찾아보기). 매우 간단한 인프라가 필요하며 반드시 순차적 인 map의 재귀 적 정의를 취하여 병렬화하는 것이 아닙니다.

루프를 통해지도를 정의했다면 어떻게 고장 났을까요?

슬라이드는 말에 예를 들어 F # 병렬 배열을 제공하고 https://github.com/fsharp/fsharp/blob/master/src/fsharp/FSharp.Core/array.fs#L266에서 당신은 루프가 아닌 병렬 구현을 볼 수 있습니다

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