Intel嚴重漏洞 OS更新將會降低效能 - 3C

看了三天的 paper 終於看懂 Meltdown 怎麼做到的

Spectre 太複雜看不懂沒時間懶得看所以不談

首先我預設大家都知道
instruction-level paralleism 指令層級平行,
superscalar 超純量,
out-of-order execution 亂序執行,
speculative execution 推測執行

他們之間的關聯為，為了達成 ILP 所以引入 superscalar。
但是資料相依性問題造成 superscalar 不能很好發揮，因此
引入 out-of-order execution 讓 CPU 挑鄰近的可以同時執
行的指令執行。再來 speculative execution 遇到條件分支
conditional branch 時先預測會進某個分支並執行。

除此之外還有 micro op，以下寫作 uop，則是把一個 instr-
cution 拆成好幾個 uop 並把他丟下去跑。CPU 裡有好幾個不
同運算單元，包含算術運算、讀寫單元、分支單元，而且分別
都有複數分身可以同時執行。所以指令拆成 uop 以後先堆到
buffer 裡面，再丟到各個單元去跑。

把以上所有東西合起來就是，先解決資料相依性問題，挑幾個
鄰近的指令進來，拆成 uop，丟到 buffer，開始排程去跑，
並根據分支預測把可能的指令拿過來拆一拆一起下去跑。

接著 Meltdown 攻擊的問題點在於，當 user mode process
存取他不該存取的記憶體資料時，那個指令會產生一個例外
execption, 接著會產生一個中斷 interrupt 丟給 OS 去處理
這個例外。但因為以上幾個東西合在一起，其實指令的執行先
後順序是不一定的，有可能後面的跑一跑並且產生了一些副作
用，結果因為前面的指令產生例外，清空 buffer 與管線，雖
然暫存器 register 與記憶體都沒有寫入，理論上是當作沒發
生，可是卻有副作用發生了。這個副作用就是記憶體存取，會
先載入快取 cache。Layer 幾的快取其實不重要，因為重點是
它被載入快取中，所以存取時花費的時間一定比從記憶體存取
來的快。這個時間的差異就是洩漏出來的資訊。

考慮下面的指令

1 ; rcx = kernel address
2 ; rbx = probe array
3 retry:
4 mov al, byte [rcx]
5 shl rax, 0xc
6 jz retry
7 mov rbx, qword [rbx + rax]

在第四行會產生一個例外，但因為 OOOE 與推測執行，造成第
七行的讀取記憶體行為也執行了，它存取的資料被從記憶體中
搬入快取，但因為在第四行產生例外，因此 rbx 並沒有真的
被寫入資料。因為 rbx + rax 上的資料被移到快取了，它的
存取速度一定比其他在 probe array 裡的資料來的快，因此
只要掃一次整個 probe array 看看哪個資料存取速度比別的
快，再算出它與 probe array 起始位置的偏移量，就知道在
第四行中從 rcx 讀取到的 kernel data 是甚麼。

所以 KPTI 就是完全分離 kernel address 與 user address
，也就是 kernel space 的所有資料都不在 user space 中，
在 user space 讀資料都讀不到 kernel 資料，相對應的也不
會有例外產生。

--

--