共享存儲器的多處理器安全
cache未命中,內存頁故障,多進程搶佔切換多線程
安全性spa
- 互斥 - 同時操做致使錯誤線程
多線程讀寫->數據複製1 + 數據複製2 -> 數據寫回1 + 數據複製2髒數據 -> 數據寫回2致使錯誤進程
活性內存
- 無死鎖 - 相互等待不能操做多進程
- 無飢餓 - 其中之一永遠等待不能操做數據
Peterson鎖安全性
過濾鎖錯誤
Bakery鎖