作者gash55025502 (白影弓)
看板Grad-ProbAsk
標題[理工] 想問一個OS的觀念問題(C.S. Design)
時間Thu Apr 25 01:40:10 2019
想問一下
不管是原文書或洪逸筆記
都說:
在多處理器系統下採用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://webptt.com/m.aspx?n=bbs/Grad-ProbAsk/M.1556127612.A.39E.html
※ 編輯: gash55025502 (180.217.206.150), 04/25/2019 01:42:39
1F:推 TWkobe: 你說的沒錯 課本這說法很有問題 假設c.s問題最低要求是04/25 10:18
2F:推 TWkobe: 只要自增自減某個變數 那用atomic instr和disable interr04/25 10:21
3F:→ TWkobe: upt有機會做到04/25 10:21
4F:推 TWkobe: 更別說要扯到亂序、mem、cache的影響 我猜課本是理想的假04/25 10:24
5F:→ TWkobe: 設04/25 10:24
6F:推 TMDTMD2487: 一般而言單核會使用interrupt disable + preemtion04/25 10:40
7F:→ TMDTMD2487: disable04/25 10:40
想請問一下:Interrupt disable跟Preemption disable有什麼差別嗎?preempt別人不是
就要先Interrupt嗎
8F:→ TMDTMD2487: 然而你說的沒有錯除非你綁定在同一顆cpu不然沒有用04/25 10:41
9F:→ TMDTMD2487: 至於out of order/ cache,TLB flush 的問題在hardware04/25 10:42
10F:→ TMDTMD2487: 會解決掉 04/25 10:42
11F:→ TMDTMD2487: 另外值得注意的事情是補習班不會跟你說的,所謂的spin04/25 10:43
12F:→ TMDTMD2487: lock 本身會帶有disable preemtion的效果04/25 10:44
13F:→ TMDTMD2487: 所以spinlock裡面不能sleep,而且在單核的狀態下spinl04/25 10:44
14F:→ TMDTMD2487: ock也純粹只是disable preemtion 04/25 10:45
15F:→ TMDTMD2487: 然後我發現一直把preemption打錯字XD04/25 10:46
16F:推 TWkobe: 樓上說的沒錯 至於爲什麼spinlock 不能sleep 考量有二:04/25 10:52
17F:→ TWkobe: 第一 要是睡了就沒人能取回了 第二 spinlock就是要快 要04/25 10:52
18F:→ TWkobe: 睡處理時間長請改用semaphore04/25 10:52
原來如此!小弟受益良多XD,謝謝兩位的回答!
19F:推 DLHZ: 推04/25 10:59
※ 編輯: gash55025502 (180.217.206.150), 04/25/2019 12:17:19
20F:→ TMDTMD2487: preemption是指能不能去做task switch 04/25 12:39
21F:→ TMDTMD2487: timer可以發interrupt近來然後cpu跳去處理interrupt 04/25 12:42
22F:→ TMDTMD2487: routine,但如果結束時去call sched,會因為preemptio 04/25 12:43
23F:→ TMDTMD2487: n關掉,所以sched繼續回去執行原本的task 04/25 12:44
24F:→ TMDTMD2487: disable interrupt跟disable preemption是不一樣的事 04/25 12:45
25F:→ TMDTMD2487: 另外一點是spin lock通常是kernel implement在用的 04/25 12:48
26F:推 TWkobe: 補充一下 spinlock 本來是kernel structure不適合直接用 04/25 13:16
27F:→ TWkobe: 在 user space , user space請用pthread spinlock 04/25 13:16