[資工]交大 100,98 OS 數個問題

[qoojordon (穎川琦)]

幾個觀念想確認

http://ppt.cc/SU4n

http://ppt.cc/IxGv

[NCTU 100 OS] 

7(d) NFS 也是 UNIX semantic ?


9(d)(e)

不太懂怎麼解讀這兩個選項 , 恐龍原文都有出現 , 只是這兩個性質看不太懂它的意思


10 

想問紅色底線的這些資料結構是記錄目錄用的嗎?

我自己是理解成:

OS管理很多file ----- 由 file block 和 file table 進行管理 (有點視為目錄)
              　｜
                ↓
                當要找到某個特定file時,先從管理用的紅色資料結構調到
                file descriptor table
                   |_
                     inode , inode table

其中 file descriptor敘述檔案的屬性 ?

而inode則是記錄確切file各個部分在DISK中存放的位置 , 因為file可能很大 ,

因此才在inode中記錄 permission bit(因為可能某些部分可以被共享某些部分不行?)



→ killerw74: File descriptor 剛看好像是user process用來指向某個
→ killerw74: 檔案
→ killerw74: 是從user的file descriptor table找取 恐龍書13章有張
→ killerw74: 圖有 http://i.imgur.com/Bt0ha0O.jpg
11(e)

Linux 應該是peemptive kernel吧?

→ JacobSyu: 11(e) http://ppt.cc/Hpr3 更多 Linux...有說明
14(b) 

這個選項的敘述找不到safe sequence , 對嗎 ?

不太確定 Safe , UnSafe , deadlock之間的邏輯關係

我認知的是safe : 系統存在一組 safe sequence

反過來說 , 如果不存在就是UnSafe -> 找不到一組safe sequence
                                -> 無法開工
                                -> deadlock

感覺deadlock變成和UnSafe等價 , 怪怪的 , 如果兩者等價不應該會定義兩個名詞

是哪裡出錯了?

→ shanbb: 例如P1申請回傳unsafe,則申請會被否決,要等一段時間才能再
→ shanbb: 申請,這樣回答有跳針嗎XD
→ JacobSyu: unsafe真實去排班才是deadlock
→ JacobSyu: 我印象好像是這樣...
→ JacobSyu: unsafe指模擬排班若實際去牌會造成deadlock
15(c) 

有哪些例子?

我只想到兩個

1.不具有locality特性的page reference
 e.g. 假設分配到兩個frame , page reference:1,2,3,4,5,6,7,8

2.frame本身就分配不足 , 什麼Algo來performance都一樣爛
 e.g. 極端case , 只有一個frame

還有其他的可能嗎 ?


16(c)(d)

  算不出選項上接近的數字 , 以下我的算法:

共100*100次reference , 因為是Row major 存放也是Row major access ,

共會發生100次 P.F. , 換算下來是1%

所以 EMAT=10us+1%*10ms = 110us = 0.11ms

差的有點多= =....是不是哪裡出錯惹

→ guo1111: 16 我算的跟你一樣 我記得他答案有給錯
[NCTU 98 OS] 

19(a) 是對的嗎?

想問的問題是 Virtual Memory 的機制下 , Swap space是必要的嗎?

我的理解swap space敘述如下:

位在DISK中,如果有page要暫時移出memory時的存放位置


如果發生P.F. , OS只會去swap spcae找嗎?

還是在swap space找比起去DISK其他位置找有效能上的好處 ?


20 

這個東西是哪個章節的 = =? 有翻到的幫忙提供關鍵字
→ guo1111: 20沒弄錯的話在implement filesystem那章講performance那
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 111.251.25.63
※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1421937793.A.F07.html
推 JacobSyu: 推!深入, 11(e) Linux有user/kernel preemption
→ shanbb: 記得safe algo.傳回unsafe不等於必定發生死結
→ qoojordon: 我的印象也是和s說的一樣,那非死結的UnSafe是甚麼狀況?
→ JacobSyu: 11(e) http://ppt.cc/Hpr3 更多 Linux...有說明 nonpree
→ qoojordon: 謝謝你,linux超苦手,讀書的時候都再混 ~"~
→ shanbb: 例如P1申請回傳unsafe,則申請會被否決,要等一段時間才能再
→ shanbb: 申請,這樣回答有跳針嗎XD
→ JacobSyu: unsafe真實去排班才是deadlock
→ JacobSyu: 我印象好像是這樣...
→ JacobSyu: unsafe指模擬排班若實際去牌會造成deadlock,想法有誤?
→ qoojordon: 你和s講的是相同的事情,這樣我好像知道我盲點在哪了
→ qoojordon: 所以10年14b不選應該只能說UnSafe,所以不給他申請
→ qoojordon: 我之後有看到類似的題目再補上來驗證
→ guo1111: 20沒弄錯的話在implement filesystem那章講performance那
→ guo1111: 16 我算的跟你一樣 我記得他答案有給錯
→ qoojordon: 抱歉喔,快考試才po問題 = =...之前沒那麼多人討論,想
→ qoojordon: 快考試的時候應該就會想通,現在好像不是這麼回事
推 shanbb: 別這麼想 很多問題都沒想到，還要謝謝你呢!
推 maque: 真的深度推...
→ JacobSyu: 根本不會考到這麼難...我是沒時間想這麼細
推 killerw74: 19在恐龍書第九章前面有講到關於swap space
→ JacobSyu: 近兩三年合併考,OS CO好像沒考這麼細了?
→ shanbb: (7)NFS is standard UNIX client-server file sharing pro
→ shanbb: tocol
→ shanbb: 16cd 上課有提過CD沒有辦法算到選項的答案
推 qoozxc789: 想問11.c priority inheritance解決priority inversion
→ qoozxc789: 不能算解決race condition嗎?
推 qoozxc789: 還是說mutual exclusion就已經解決race condtion
→ qoozxc789: 腦袋又打結了XD
→ shanbb: Priority inversion跟race condition的情況不一樣吧XD
推 qoozxc789: 用互斥存取解決race condition,但會出現priority
→ qoozxc789: inversion, 可以用priority inheritance來解決
推 shanbb: 所以他不是用來解決race condition的不是嗎
→ qoozxc789: 用來解決解決race condition的方法產生的問題吧
推 GuardmanMart: kernel dispatch latency太高，影響了real-time job
→ GuardmanMart:  => 用preemptive kernel解決但又要保持沒有race co
→ GuardmanMart: ndition => 出現優先權反轉問題 => 用優先權繼承解
→ GuardmanMart: 決。
推 GuardmanMart: 所以其實是最初是在解決kernel dispatch latency太
→ GuardmanMart: 高的問題
→ killerw74: File descriptor 剛看好像是user process用來指向某個
→ killerw74: 檔案
→ killerw74: 是從user的file descriptor table找取 恐龍書13章有張
→ killerw74: 圖有 http://i.imgur.com/Bt0ha0O.jpg
謝謝大家,已將各位的討論附註於原文對應位置
※ 編輯: qoojordon (111.251.25.63), 01/23/2015 20:07:36
推 galapous: 洪兔筆記有舉RAG unsafe但實際上不會deadlock的例子
推 galapous: Unsafe不一定會deadlock，會deadlock那你之前跑algo一定
→ galapous: 是unsafe，我理解是這樣
galapous說的RAG例子是指有cycle不一定deadlock嗎? (因為有部分資源不是single
instance)

假設你指的是這個例子 ,

那這樣反過來推也是等同於系統是Safe的定義

因為  沒有deadlock

  --> 存在一組順序可以讓所有process滿足資源需求
  --> 依此順序執行就是 safe sequence
  --> 系統為Safe

依照前面的討論我的歸納是這樣:

UnSafe -> request會造成風險,如果不處理就會deadlock

Deadlock -> 不處理UnSafe就會發生的必然現象(因為Unsafe不具safe sequence)

有些題目就會玩文字遊戲

敘述1: PA提出request(0,1,1)後,系統Unsafe    (?)
敘述2: PA提出request(0,1,1)後,系統Deadlock  (?)

不太確定如果選項敘述1和2是否 同時成立 或 同時不成立??
※ 編輯: qoojordon (59.115.74.247), 01/24/2015 11:45:36
推 galapous: 重看一次之後覺得你講的蠻有道理的，不過這樣來看的話洪
→ galapous: 兔定義single instance有cycle就回傳unsafe state好像就
→ galapous: 有點奇怪。