make loop

This commit is contained in:
chai2010 2016-01-04 21:22:42 +08:00
parent 2a8feaa4a9
commit 15ac30b160

View File

@ -1,11 +1,11 @@
## 9.6. 競爭條件檢測 ## 9.6. 競爭條件檢測
即使我们小心到不能再小心但在并发程序中犯错还是太容易了。幸运的是Go的runtime和工具链为我们装备了一个复杂但好用的动态分析工具竞争检查器(the race detector)。 卽使我們小心到不能再小心但在併發程序中犯錯還是太容易了。幸運的是Go的runtime和工具鏈爲我們裝備了一個複雜但好用的動態分析工具競爭檢査器(the race detector)。
只要在go buildgo run或者go test命令后面加上-race的flag就会使编译器创建一个你的应用的“修改”版或者一个附带了能够记录所有运行期对共享变量访问工具的test并且会记录下每一个读或者写共享变量的goroutine的身份信息。另外修改版的程序会记录下所有的同步事件比如go语句channel操作以及对(\*sync.Mutex).Lock(\*sync.WaitGroup).Wait等等的调用。(完整的同步事件集合是在The Go Memory Model文档中有说明该文档是和语言文档放在一起的。译注https://golang.org/ref/mem) 隻要在go buildgo run或者go test命令後面加上-race的flag就會使編譯器創建一個你的應用的“脩改”版或者一個附帶了能夠記録所有運行期對共享變量訪問工具的test併且會記録下每一個讀或者寫共享變量的goroutine的身份信息。另外脩改版的程序會記録下所有的同步事件比如go語句channel操作以及對(\*sync.Mutex).Lock(\*sync.WaitGroup).Wait等等的調用。(完整的同步事件集合是在The Go Memory Model文檔中有説明該文檔是和語言文檔放在一起的。譯註https://golang.org/ref/mem)
竞争检查器会检查这些事件会寻找在哪一个goroutine中出现了这样的case例如其读或者写了一个共享变量这个共享变量是被另一个goroutine在没有进行干预同步操作便直接写入的。这种情况也就表明了是对一个共享变量的并发访问即数据竞争。这个工具会打印一份报告内容包含变量身份读取和写入的goroutine中活跃的函数的调用栈。这些信息在定位问题时通常很有用。9.7节中会有一个竞争检查器的实战样例。 競爭檢査器會檢査這些事件會尋找在哪一個goroutine中出現了這樣的case例如其讀或者寫了一個共享變量這個共享變量是被另一個goroutine在沒有進行榦預同步操作便直接寫入的。這種情況也就表明了是對一個共享變量的併發訪問卽數據競爭。這個工具會打印一份報告內容包含變量身份讀取和寫入的goroutine中活躍的函數的調用棧。這些信息在定位問題時通常很有用。9.7節中會有一個競爭檢査器的實戰樣例。
竞争检查器会报告所有的已经发生的数据竞争。然而,它只能检测到运行时的竞争条件;并不能证明之后不会发生数据竞争。所以为了使结果尽量正确,请保证你的测试并发地覆盖到了你到包。 競爭檢査器會報告所有的已經發生的數據競爭。然而,它隻能檢測到運行時的競爭條件;併不能證明之後不會發生數據競爭。所以爲了使結果盡量正確,請保證你的測試併發地覆蓋到了你到包。
于需要额外的记录因此构建时加了竞争检测的程序跑起来会慢一些且需要更大的内存即时是这样这些代价对于很多生产环境的工作来说还是可以接受的。对于一些偶发的竞争条件来说让竞争检查器来干活可以节省无数日夜的debugging。(译注多少服务端C和C艹程序员为此尽折腰) 於需要額外的記録因此構建時加了競爭檢測的程序跑起來會慢一些且需要更大的內存卽時是這樣這些代價對於很多生産環境的工作來説還是可以接受的。對於一些偶發的競爭條件來説讓競爭檢査器來榦活可以節省無數日夜的debugging。(譯註多少服務端C和C艹程序員爲此盡摺腰)