今日的行程：
辦公室：09:05 - 18:30
讀書室：18:30 - 19:30

正片開始

今日的記錄：

Svvptc

這幾天學到的 extension，很新 2024/3、4 才 ratified，內容的直接翻譯是，如果支援 Svvptc 的話，那麼某個 hart 對 PTE.valid 的修改，會能夠在同個 hart 的下一次存取之前，被觀察到，有點繞口，而且也不是很準確的翻譯XD。

實際想要做到的事情是，讓 S-mode 軟體省去一些 preventive 的 sfence.vma 或是 sinval.vma。

具體來說，可以透過以下三種方式實作:

• 不要有 TLB
• 不要 cache invalid entry 在 TLB 之中
• 設定一個 timer 來 invalidate TLB entry

參考的 kernel patch set:

• 強者前同事遇到的問題: 需要多一些的 preventive TLB flush
• Svvptc kernel patch

總結

• Svvptc 的縮寫真難猜，也真難查XD，目前只知道 Sv 是 S-mode 和 virtual memory 相關的 extension 所用的 prefix，剩下的 vptc
  • v 可能是 valid 或是 virtual
  • p 可能是 page 或是 prohibit
  • t 應該是 translation 或是 table
  • c 可能是 cache 或是 coherence