[理工] 想問一個OS的觀念問題（C.S. Design）

[gash55025502 (白影弓)]

想問一下
不管是原文書或洪逸筆記
都說：
在多處理器系統下採用Diasble/Enable Interrupt方法，
只要Disable all CPU’s Interrupt 就可解決C.S. Problem，（但會造成系統產能低落
）

但我覺得就算Disable all CPU’s interrupt了，
感覺還是不能防止在不同CPU上執行的process/thread去同樣的C.S.執行，進而違反mutua
l exclusion，無法解決C.S. Problem，

在這部分想請教是我的觀念有誤嗎？感謝！

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 180.217.206.150
※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1556127612.A.39E.html
※ 編輯: gash55025502 (180.217.206.150), 04/25/2019 01:42:39
推 TWkobe: 你說的沒錯 課本這說法很有問題 假設c.s問題最低要求是
推 TWkobe: 只要自增自減某個變數 那用atomic instr和disable interr
→ TWkobe: upt有機會做到
推 TWkobe: 更別說要扯到亂序、mem、cache的影響 我猜課本是理想的假
→ TWkobe: 設
推 TMDTMD2487: 一般而言單核會使用interrupt disable + preemtion
→ TMDTMD2487: disable
想請問一下：Interrupt disable跟Preemption disable有什麼差別嗎？preempt別人不是
就要先Interrupt嗎
→ TMDTMD2487: 然而你說的沒有錯除非你綁定在同一顆cpu不然沒有用
→ TMDTMD2487: 至於out of order/ cache,TLB flush 的問題在hardware
→ TMDTMD2487: 會解決掉
→ TMDTMD2487: 另外值得注意的事情是補習班不會跟你說的，所謂的spin
→ TMDTMD2487: lock 本身會帶有disable preemtion的效果
→ TMDTMD2487: 所以spinlock裡面不能sleep，而且在單核的狀態下spinl
→ TMDTMD2487: ock也純粹只是disable preemtion
→ TMDTMD2487: 然後我發現一直把preemption打錯字XD
推 TWkobe: 樓上說的沒錯 至於爲什麼spinlock 不能sleep 考量有二：
→ TWkobe: 第一 要是睡了就沒人能取回了 第二 spinlock就是要快 要
→ TWkobe: 睡處理時間長請改用semaphore
原來如此！小弟受益良多XD，謝謝兩位的回答！
推 DLHZ: 推
※ 編輯: gash55025502 (180.217.206.150), 04/25/2019 12:17:19
→ TMDTMD2487: preemption是指能不能去做task switch
→ TMDTMD2487: timer可以發interrupt近來然後cpu跳去處理interrupt
→ TMDTMD2487: routine，但如果結束時去call sched，會因為preemptio
→ TMDTMD2487: n關掉，所以sched繼續回去執行原本的task
→ TMDTMD2487: disable interrupt跟disable preemption是不一樣的事
→ TMDTMD2487: 另外一點是spin lock通常是kernel implement在用的
推 TWkobe: 補充一下 spinlock 本來是kernel structure不適合直接用
→ TWkobe: 在 user space , user space請用pthread spinlock