9.4. 错误的同步方式

9.4. 错误的同步方式

注意：变量读操作虽然可以侦测到变量的写操作，但是并不能保证对变量的读操作就一定发生在写操作之后。

例如：

  var a, b int

  func f() {
          a = 1;
          b = 2;
  }

  func g() {
          print(b);
          print(a);
  }

  func main() {
          go f();
          g();
  }

函数g可能输出2，也可能输出0。

这种情形使得我们必须回避一些看似合理的用法。

这里用重复检测的方法来代替同步。在例子中，twoprint函数可能得到错误的值：

  var a string
  var done bool

  func setup() {
          a = "hello, world";
          done = true;
  }

  func doprint() {
          if !done {
                  once.Do(setup);
          }
          print(a);
  }

  func twoprint() {
          go doprint();
          go doprint();
  }

在doprint函数中，写done暗示已经给a赋值了。 但是没有办法给出保证，函数可能输出空的值（在2个goroutines中同时执行到测试语句）。

另一个错误陷阱是忙等待：

  var a string
  var done bool

  func setup() {
          a = "hello, world";
          done = true;
  }

  func main() {
          go setup();
          for !done {
          }
          print(a);
  }

我们没有办法保证在main中看到了done值被修改的同时也 能看到a被修改，因此程序可能输出空字符串。 更坏的结果是，main 函数可能永远不知道done被修改，因为在两个线程之间没有同步操作，这样main 函数永远不能返回。

下面的用法本质上也是同样的问题.

  type T struct {
          msg string;
  }

  var g *T

  func setup() {
          t := new(T);
          t.msg = "hello, world";
          g = t;
  }

  func main() {
          go setup();
          for g == nil {
          }
          print(g.msg);
  }

即使main观察到了 g != nil 条件并且退出了循环，但是任何然 不能保证它看到了g.msg的初始化之后的结果。

在这些例子中，只有一种解决方法：用显示的同步。