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

看板Grad-ProbAsk作者 (穎川琦)時間9年前 (2015/01/22 22:43), 9年前編輯推噓13(13推 0噓 37→)
留言50則, 9人參與, 最新討論串1/1
幾個觀念想確認 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(因為可能某些部分可以被共享某些部分不行?)
→
01/23 16:38,
File descriptor 剛看好像是user process用來指向某個
01/23 16:38
→
01/23 16:38,
檔案
01/23 16:38
→
01/23 16:41,
是從user的file descriptor table找取 恐龍書13章有張
01/23 16:41
11(e) Linux 應該是peemptive kernel吧?
→
,
11(e) http://ppt.cc/Hpr3 更多 Linux...有說明
14(b) 這個選項的敘述找不到safe sequence , 對嗎 ? 不太確定 Safe , UnSafe , deadlock之間的邏輯關係 我認知的是safe : 系統存在一組 safe sequence 反過來說 , 如果不存在就是UnSafe -> 找不到一組safe sequence -> 無法開工 -> deadlock 感覺deadlock變成和UnSafe等價 , 怪怪的 , 如果兩者等價不應該會定義兩個名詞 是哪裡出錯了?
→
01/22 23:45,
例如P1申請回傳unsafe,則申請會被否決,要等一段時間才能再
01/22 23:45
→
01/22 23:45,
申請,這樣回答有跳針嗎XD
01/22 23:45
→
01/22 23:45,
unsafe真實去排班才是deadlock
01/22 23:45
→
01/22 23:46,
我印象好像是這樣...
01/22 23:46
→
,
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 差的有點多= =....是不是哪裡出錯惹
→
,
16 我算的跟你一樣 我記得他答案有給錯
[NCTU 98 OS] 19(a) 是對的嗎? 想問的問題是 Virtual Memory 的機制下 , Swap space是必要的嗎? 我的理解swap space敘述如下: 位在DISK中,如果有page要暫時移出memory時的存放位置 如果發生P.F. , OS只會去swap spcae找嗎? 還是在swap space找比起去DISK其他位置找有效能上的好處 ? 20 這個東西是哪個章節的 = =? 有翻到的幫忙提供關鍵字
→
,
20沒弄錯的話在implement filesystem那章講performance那
-- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 111.251.25.63 ※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1421937793.A.F07.html
推
01/22 23:26, , 1F
推!深入, 11(e) Linux有user/kernel preemption
01/22 23:26, 1F
→
01/22 23:34, , 2F
記得safe algo.傳回unsafe不等於必定發生死結
01/22 23:34, 2F
→
01/22 23:35, , 3F
我的印象也是和s說的一樣,那非死結的UnSafe是甚麼狀況?
01/22 23:35, 3F
→
01/22 23:39, , 4F
11(e) http://ppt.cc/Hpr3 更多 Linux...有說明 nonpree
01/22 23:39, 4F
→
01/22 23:41, , 5F
謝謝你,linux超苦手,讀書的時候都再混 ~"~
01/22 23:41, 5F
→
01/22 23:45, , 6F
例如P1申請回傳unsafe,則申請會被否決,要等一段時間才能再
01/22 23:45, 6F
→
01/22 23:45, , 7F
申請,這樣回答有跳針嗎XD
01/22 23:45, 7F
→
01/22 23:45, , 8F
unsafe真實去排班才是deadlock
01/22 23:45, 8F
→
01/22 23:46, , 9F
我印象好像是這樣...
01/22 23:46, 9F
→
01/22 23:47, , 10F
unsafe指模擬排班若實際去牌會造成deadlock,想法有誤?
01/22 23:47, 10F
→
01/22 23:48, , 11F
你和s講的是相同的事情,這樣我好像知道我盲點在哪了
01/22 23:48, 11F
→
01/22 23:51, , 12F
所以10年14b不選應該只能說UnSafe,所以不給他申請
01/22 23:51, 12F
→
01/22 23:52, , 13F
我之後有看到類似的題目再補上來驗證
01/22 23:52, 13F
→
01/22 23:53, , 14F
20沒弄錯的話在implement filesystem那章講performance那
01/22 23:53, 14F
→
01/22 23:54, , 15F
16 我算的跟你一樣 我記得他答案有給錯
01/22 23:54, 15F
→
01/22 23:56, , 16F
抱歉喔,快考試才po問題 = =...之前沒那麼多人討論,想
01/22 23:56, 16F
→
01/22 23:56, , 17F
快考試的時候應該就會想通,現在好像不是這麼回事
01/22 23:56, 17F
推
01/23 00:07, , 18F
別這麼想 很多問題都沒想到，還要謝謝你呢!
01/23 00:07, 18F
推
01/23 00:15, , 19F
真的深度推...
01/23 00:15, 19F
→
01/23 00:20, , 20F
根本不會考到這麼難...我是沒時間想這麼細
01/23 00:20, 20F
推
01/23 00:44, , 21F
19在恐龍書第九章前面有講到關於swap space
01/23 00:44, 21F
→
01/23 00:45, , 22F
近兩三年合併考,OS CO好像沒考這麼細了?
01/23 00:45, 22F
→
01/23 01:35, , 23F
(7)NFS is standard UNIX client-server file sharing pro
01/23 01:35, 23F
→
01/23 01:35, , 24F
tocol
01/23 01:35, 24F
→
01/23 11:04, , 25F
16cd 上課有提過CD沒有辦法算到選項的答案
01/23 11:04, 25F
推
01/23 12:07, , 26F
想問11.c priority inheritance解決priority inversion
01/23 12:07, 26F
→
01/23 12:07, , 27F
不能算解決race condition嗎?
01/23 12:07, 27F
推
01/23 12:13, , 28F
還是說mutual exclusion就已經解決race condtion
01/23 12:13, 28F
→
01/23 12:14, , 29F
腦袋又打結了XD
01/23 12:14, 29F
→
01/23 12:24, , 30F
Priority inversion跟race condition的情況不一樣吧XD
01/23 12:24, 30F
推
01/23 12:27, , 31F
用互斥存取解決race condition,但會出現priority
01/23 12:27, 31F
→
01/23 12:28, , 32F
inversion, 可以用priority inheritance來解決
01/23 12:28, 32F
推
01/23 14:01, , 33F
所以他不是用來解決race condition的不是嗎
01/23 14:01, 33F
→
01/23 14:07, , 34F
用來解決解決race condition的方法產生的問題吧
01/23 14:07, 34F
推
01/23 14:09, , 35F
kernel dispatch latency太高，影響了real-time job
01/23 14:09, 35F
→
01/23 14:09, , 36F
=> 用preemptive kernel解決但又要保持沒有race co
01/23 14:09, 36F
→
01/23 14:09, , 37F
ndition => 出現優先權反轉問題 => 用優先權繼承解
01/23 14:09, 37F
→
01/23 14:09, , 38F
決。
01/23 14:09, 38F
推
01/23 14:11, , 39F
所以其實是最初是在解決kernel dispatch latency太
01/23 14:11, 39F
→
01/23 14:11, , 40F
高的問題
01/23 14:11, 40F
→
01/23 16:38, , 41F
File descriptor 剛看好像是user process用來指向某個
01/23 16:38, 41F
→
01/23 16:38, , 42F
檔案
01/23 16:38, 42F
→
01/23 16:41, , 43F
是從user的file descriptor table找取 恐龍書13章有張
01/23 16:41, 43F
→
01/23 16:41, , 44F
01/23 16:41, 44F
謝謝大家,已將各位的討論附註於原文對應位置 ※ 編輯: qoojordon (111.251.25.63), 01/23/2015 20:07:36
推
01/24 10:49, , 45F
洪兔筆記有舉RAG unsafe但實際上不會deadlock的例子
01/24 10:49, 45F
推
01/24 10:52, , 46F
Unsafe不一定會deadlock，會deadlock那你之前跑algo一定
01/24 10:52, 46F
→
01/24 10:52, , 47F
是unsafe，我理解是這樣
01/24 10:52, 47F
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
推
01/25 13:21, , 48F
重看一次之後覺得你講的蠻有道理的，不過這樣來看的話洪
01/25 13:21, 48F
→
01/25 13:21, , 49F
兔定義single instance有cycle就回傳unsafe state好像就
01/25 13:21, 49F
→
01/25 13:21, , 50F
有點奇怪。
01/25 13:21, 50F
‣ 更多 qoojordon 的文章
文章代碼(AID): #1KmGo1y7 (Grad-ProbAsk)