与F＃中的Map发生多线程冲突

Question

let len = 25000000
let map = Map.ofArray[|for i =1 to len do yield (i,i+1)|]
let maparr = [|map;map;map;map|]
let f1 i =   
    for i1 =1 to len do
        let l1 = maparr.[i-1].Item(i1)
        ()

let index = [|1..4|]
let _ = index |> Array.Parallel.map f1
printf "done" 

我发现上面的代码仅是一个全速工作的内核。 但是我唯一的例外是所有四个线程正在一起使用较高水平的cpu。 因此，似乎与Map有多线程冲突，对吗？ 如果没有，怎么能达到我的最初目标？ 先感谢您

Answer 1

因此，我认为您是在尝试一种启发式方法，即库假设只有少量任务时，仅使用单个线程会更快。

此代码使我的计算机上的所有线程数最大化：

let len = 1000000
let map = Map.ofArray[|for i =1 to len do yield (i,i+1)|]
let maparr = [|map;map;map;map|]
let f1 (m:Map<_,_>) =
    let mutable sum = 0
    for i1 =1 to len do
        let l1 = m.Item(i1)
        for i = 1 to 10000 do
            sum <- sum + 1
    printfn "%i" sum

let index = [|1..40|]
printfn "starting"
index |> Array.map (fun t -> maparr.[(t-1)/10]) |> Array.Parallel.iter f1
printf "done"

重要更改：

1. len大大降低。 在您的代码中，几乎所有时间都花在了创建矩阵上。
2. 实际上确实在循环中工作。 在您的代码中，循环有可能被优化为无操作。
3. 运行更多任务。 这欺骗了调度程序使用更多线程，一切都很好