1. 程式人生 > >《多處理器程式設計的藝術》讀書筆記——第一章 引言

《多處理器程式設計的藝術》讀書筆記——第一章 引言

共享儲存器通訊方式下的多處理器程式設計技術。
可計算性理論:理解非同步併發環境中的可計算問題

安全性:不好的事情絕不會發生。
活性:一個特定的好的事件一定會發生。

確保一個時刻只允許一個執行緒執行特定程式碼段的問題稱為互斥問題

啤酒瓶罐的例子——中斷——wait()和notifyAll()
旗子的例子

無死鎖:
無飢餓:
等待:互斥的本質就是等待
中斷:wait()和notifyAll()的本質就是中斷

兩個執行緒之間的互斥問題能夠通過兩個1位元變數來解決,每個變數只能被一個執行緒寫,由另一個執行緒讀。

生產者-消費者問題
讀者-寫者問題

應最小化序列程式碼的粒度