Unreliable Guide to Locking -by Rusty Russell-中文版

albcamus

原帖由 zalem 于 2005-12-23 10:38 發(fā)表
呵呵，老早就拜讀過了，不過只看了描述部分,涉及到linux的實現(xiàn)就全部略過了，以后再慢慢看...鎖真讓人頭痛...搞通了的人，都是機器人...

會用就行了，spin_lock的實現(xiàn)，記得《情景分析》上有想當詳細的講解，偶還讀過呢：）

zalem

...老大的《bsd內(nèi)核設(shè)計與實踐》多久看完的？
準備兩個一起搞了，本來是說拿bsd做鋪墊的...

albcamus

我沒看BSD啊，那本4.4.BSD的書，我手頭有，但是不看，你要的話可以寄過去，放我手里浪費了

zalem

呵呵，謝謝了，我買了本同系列的新版講《freebsd》的，不過它實在是非英文的討論和資料都太少了。本來說拿bsd的些基礎(chǔ)做linux的預(yù)備知識的...

不好意思，發(fā)現(xiàn)和主題無關(guān)了...不水了...

1jjk

斑竹看看bsd源代碼！
可能會有更好的發(fā)現(xiàn)呢？！
你說的那本書是不是全是理論，很少用代碼實現(xiàn)的？
我去海圖時看到4.4bsd設(shè)計原理實踐了

1jjk

這個主要是講互斥，我們課上老師也講過了！
很生動！呵呵

jeffshia

albcamus 老兄的譯作，欽佩！

guotie

7.2.1. 對死鎖的防備過當


死鎖誠然會帶來問題，然而不如數(shù)據(jù)腐敗(data corruption)之甚。試想這樣的一段代碼，它獲取一把讀鎖，搜索一個鏈表，如果沒找到想要的數(shù)據(jù)，就釋放掉讀鎖，然后獲取一把寫鎖，把對象插入到鏈表：這樣的代碼存在競態(tài)問題。

如果你看不出為什么，那就請離我的代碼他媽的遠點兒。



不好意思，我悟性低，不明白為什么，能解釋下么？

albcamus

舉個例子來說：

在CPU1上，和CPU2上，兩段代碼都試圖獲取同一把鎖，CPU1先成功了，這時候CPU2在自旋，我們看看可能發(fā)生什么：

1. ==》CPU1獲取一把讀鎖，搜索一個鏈表，如果沒找到想要的數(shù)據(jù)，//此時CPU2一直在自旋

2, ==》 CPU1就釋放掉讀鎖， //此時CPU2好不容易等到加鎖成功了

3, ==》 CPU1然后獲取一把寫鎖，把對象插入到鏈表 //由于上一步CPU2加鎖成功，它可能進行了寫操作，改變了原來的數(shù)據(jù)， 等到CPU1再獲取寫鎖成功， 早就不是它原來判斷的情況了。


LDK說，如果你覺得某段代碼中，你想先用讀鎖再用寫鎖，或者先用寫鎖再用讀鎖， 那么，你最好只用普通的自旋鎖。

guotie

感謝�。。�