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

作者: gash55025502 (白影弓)   2019-04-25 01:40:10
想問一下
不管是原文書或洪逸筆記
都說:
在多處理器系統下採用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,
在這部分想請教是我的觀念有誤嗎?感謝!
作者: TWkobe (中華柯比)   2019-04-25 10:18:00
你說的沒錯 課本這說法很有問題 假設c.s問題最低要求是只要自增自減某個變數 那用atomic instr和disable interrupt有機會做到更別說要扯到亂序、mem、cache的影響 我猜課本是理想的假設
作者: TMDTMD2487 (ㄚ冰)   2019-04-25 10:40:00
一般而言單核會使用interrupt disable + preemtiondisable然而你說的沒有錯除非你綁定在同一顆cpu不然沒有用至於out of order/ cache,TLB flush 的問題在hardware會解決掉另外值得注意的事情是補習班不會跟你說的,所謂的spinlock 本身會帶有disable preemtion的效果所以spinlock裡面不能sleep,而且在單核的狀態下spinlock也純粹只是disable preemtion然後我發現一直把preemption打錯字XD
作者: TWkobe (中華柯比)   2019-04-25 10:52:00
樓上說的沒錯 至於爲什麼spinlock 不能sleep 考量有二:第一 要是睡了就沒人能取回了 第二 spinlock就是要快 要睡處理時間長請改用semaphore
作者: DLHZ ( )   2019-04-25 10:59:00
作者: TMDTMD2487 (ㄚ冰)   2019-04-25 12:39:00
preemption是指能不能去做task switchtimer可以發interrupt近來然後cpu跳去處理interruptroutine,但如果結束時去call sched,會因為preemption關掉,所以sched繼續回去執行原本的taskdisable interrupt跟disable preemption是不一樣的事另外一點是spin lock通常是kernel implement在用的
作者: TWkobe (中華柯比)   2019-04-25 13:16:00
補充一下 spinlock 本來是kernel structure不適合直接用在 user space , user space請用pthread spinlock

Links booklink

Contact Us: admin [ a t ] ucptt.com