20、并行编程与Web应用开发：Nim语言实践

并行编程与Web应用开发：Nim语言实践

1. 并行编程中的锁与通道

1.1 锁解决竞态条件

在并行编程中，竞态条件是一个常见的问题。例如，下面的代码尝试并行增加一个全局计数器：

spawn increment(10_000)
spawn increment(10_000)
sync()
echo(counter)

将上述代码保存为 unguarded_access.nim 并编译，会出现错误 “unguarded_access.nim(9, 17) Error: unguarded access: counter”。这是因为 counter 变量受保护，任何对它的访问都必须在 counterLock 锁锁定之后进行。

我们可以通过锁定 counterLock 来修复这个错误，以下是修复后的代码：

import threadpool, locks
var counterLock: Lock
initLock(counterLock)
var counter {.guard: counterLock.} = 0
proc increment(x: int) =
  for i in 0 .. <x:
    withLock counterLock:
      var value = counter
      value.inc
      counter = v