#goroutine

这些天我的工作是教授TLA+和正式方法：指定设计以查找其中的bug。但是，仅仅了解语法还不足以编写规范，还需要有示例可供参考。我最近读了Chris Siebenmann的“即使在Go，并发仍然不容易”一书，我想它会成为编写规范的一个很好的案例研究。在这篇文章中，他给出了一个死锁的GO代码的例子： /*1*/func ......