Use array instead of list for gcd benchmark thingy Multicore is still not working 😿

Changes

1 changed files (+8/-4)

• Gcd.lean
  • @@ -7,14 +7,18 @@ decreasing_by
    def N := 1000 - def A := List.range N + def A := Array.range N def sum := (A.map fun x ↦ A.map (gcd x ·) |>.sum).sum - def sumParallel := (Task.mapList List.sum <| A.map fun x ↦ (Task.spawn fun _ ↦ A.map (gcd x ·) |>.sum)) |>.get + -- def T := 8 - -- #eval sum - -- #eval sumParallel + -- def sum := (Task.mapList List.sum <| A.toList.map fun x ↦ (Task.spawn fun _ ↦ A.map (gcd x ·) |>.sum)) |>.get + + -- def sum := + -- (Task.mapList List.sum <| List.range T |>.map fun t ↦ + -- (Task.spawn fun _ ↦ (A[N/T*t:N/T*(t+1)].toArray.map fun x ↦ A.map (gcd x ·) |>.sum).sum) + -- ).get def main := do IO.println "test"