基本上快都是作業系統(OS)介紹過的東西，如果上過這個課程，對這些東西應該不陌生。雖然很想這樣結束，但是我要說，書中介紹的原則往往比教科書來的多，也來的更貼近實際狀況；另外也讓我體驗到driver有時候設計真的充滿了trade off
一般而言，我們希望使用semaphore因為會比spinlock容易(因為高階)，但是spinlock會比較有效率，但是spinlock又可能引起沒效率，這種弔詭的說法有舉例
一般而言，spinlock使用的時候會取消cpu preemption的功能，希望目前的task趕緊完成工作，儘快釋放lock，很不幸很多function call會引發目前的工作釋放cpu，比方說kmalloc，而且沒有完整的列表。其次中斷也會引發目前task帶著lock且釋放出cpu，這時候可能會有很不幸的事情發生，那就是如果該中斷要求同一個spinlock，這就好玩了，他會因為拿不到，重新觸發，然後就一直浪費cpu的時間在等待task釋放cpu，但是可能又因為cpu preemption功能被關閉，本來的task進不到cpu產生了dead lock，如果不會dead lock也有可能cpu空轉上好一段時間。這也是為何說spin lock可能引起效率低落的原因。
作者給spin lock幾個建議:
- 使用spin lock不要有cpu preemption，這點kernel會處理，不至於太擔心
- 使用spin lock不要讓task sleep，要非常小心，因為如上所說function call & interrupt
- 使用spin lock要儘快釋放，免得schedule的功能"失去作用"，因為spin lock取走了大部分cpu時間
對於種種同步的建議是:
- 儘量事前規劃好，省得事後debug很困難
- 對於鎖定的資源依序取得，可以避免一些dead lock的可能性
- 不要呼叫交互取得lock或者資源的function，這樣也很容易dead lock
atomic operation則適用於int以及bit運算，因為有時候我們希望有些簡單但是重要的count功能或者加減的功能是使用atomic operations，但是有點要認知到，就是運算的串聯次序本身並沒有被保證，也就是兩個以上task執行了各十個atomic operations，你並不能知道他們之間的次序是如何排列的。
至於詳細的API使用方式，可以參考書本
沒有留言:
張貼留言