同步原語的簡單/規範實現？

Question

我正在尋找一個在抽象c +原子或僞彙編中的同步原語（自旋鎖，互斥體，信號量，讀寫鎖，條件變量，...）的典型實現的良好在線參考（即任何合理的執行原子操作序列的符號）或x86 asm。從最天真的實現開始，然後解決它們的缺點和一些解決缺陷的方法將是很好的。

Answer 1

嘗試Tanenbaum的操作系統：設計和實現。

編輯：或現代操作系統。我認爲第一個包括Minix，第二個沒有。不知道，對不起=（

它是面向學術的，所以它會幫助您開始在正確的道路上。

Answer 2

作爲一個側面說明，如果你只是想原子的東西，並使用gcc找你，你有一些內置的功能，你可以用它代替ASM。

http://gcc.gnu.org/onlinedocs/gcc-4.1.2/gcc/Atomic-Builtins.html

但對於特定的鎖，你總是有維基百科

http://en.wikipedia.org/wiki/Spinlock

http://en.wikipedia.org/wiki/Semaphore_(programming）

另外值得一看是

http://en.wikipedia.org/wiki/Lock-free_and_wait-free_algorithms

Answer 3

不以任何方式提供完整的參考，但後續的紙張是用於理解Linux的同步原語的實現經典的和必要的：

「Fuss，Futexes and Furwocks：Fast Userlevel locking in Linux」，Franke Russell & Kirkwod，2002年渥太華Linux研討會論文集 - 可用（其中）：http://www.cis.temple.edu/~ingargio/cis307/readings/futex0.pdf

從這和glibc的來源有可能學到很多東西，但它不是我稱之爲隨和:-)