Re: [理工][OS]台大97 Cache

[charliejack (charliejack)]

: 2) 恐龍本裡有提到, 這樣在 process switch 時, cache 都要 flush 掉,
:    因為不同的 processes 可能用到相同的 virtual address,
:    但實際上要對到的是不同個 physical addresses; 解決方法是加上 pid。


: 3) 就是 aliasing, OS 跟 user program 可能用了兩個不同的 virtual addresses,
:    不過卻是對到同一筆 physical address 的資料,
:    因此 virtual cache 裡可能會有兩個 copy, 假設 OS 去修改這筆實體資料,
:    user program 就會讀到錯誤的資料; 解決方法就是用 physical cache。


請問 (2) (3)點

我知道兩個Virtual Memory 有可能指向 同一個Phisical Address

這應用在Share Memory上

不過第二點我比較不明白~

我記得當Process 進去 Virtual Memory管理時

應該都要屬於不同的Virtual Memory才是

不論他是不是使用Share Memory

我這樣觀念有錯嗎?@@ 請指點一下


我想到第二點的一個可能是

當Memory 使用Inverted Page的時候

的確可能要在Cache 要在加個Pid
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.231.71.224
※ 編輯: charliejack     來自: 61.231.71.224        (02/15 12:06)
→ BenLinus:你提到的管理是MMU嗎? 就是作address space translation
→ BenLinus:但如 (1) 它在cache沒有這個機制了; 而且同個 virtual
→ BenLinus:address, 只要經過不同的translation就會對到不同
→ BenLinus:physical address了; 每個process都有自己的方法作對應
→ BenLinus:比如說2個不同processes virtual addr. 都是1000,
→ BenLinus:一個base register是200一個是2000, 真正位置就是1200跟
→ BenLinus:3000, 放在cache位址都是1000; 沒有其他資訊的話就... XD
推 BenLinus:或許可以想成 virtual to physical 本身是 1對多的關係,
→ BenLinus:不知道這樣想是否正確?
推 BenLinus:如有 virtual to physical 多對1的, 才是一起share的~
推 cakeboy:所以請問98交大有一題用virtual add. 那會發生TLB hit
→ cakeboy:page table hit嗎
→ BenLinus:看它的意思應該是整個都virtual, 包含tag也是, 作答時我
→ BenLinus:會說路徑沒有經過TLB, hit 或 miss 無法定義; 不過若是
→ BenLinus:physical tagged, 那就有可能發生。
推 cakeboy:謝謝,那我了解了
推 BenLinus:我剛發現98交大跟樓上講的不一樣, 樓上說是TLB hit,
→ BenLinus:但98交大是說 TLB miss, miss時沒辦法取得 physical tag,
→ BenLinus:應該沒辦法確定cache是否hit喔 @@
推 cakeboy:喔 我講錯了,所以這題答案是yes嗎 如果沒physical tag 是?
→ BenLinus:就要走TLB miss exception把 physical tag 抓進來
→ BenLinus:只有TLB hit, cache才可能hit 我的解讀是這樣...
→ BenLinus:答案還是no
推 aoqq12:請問一下 上面說的交大98那題virtual address cache used的
→ aoqq12:他是指說virtual to virtual 還是 指上面說的 virtual but
→ aoqq12:physical ? B大說的好詳細 感激
→ BenLinus:我覺得題目像是指全virtual, 總之問答題情況寫清楚再作答
→ BenLinus:這樣也比較不會被扣分吧 QQ
→ aoqq12:!!!嗯嗯感謝
→ sneak: 就要走TLB miss https://daxiv.com