2026.06.29 —— 今日 9 則
今日 9 則：成本藏在你沒在看的那一層——VictoriaLogs 欄式日誌、rseq 免鎖 fast path、隨機存取慢近 12 倍、邊緣投機解碼的取捨，與 hash 只證明 bytes 不證明來源。
today's deep reads
- rseq，從零講起——讓 user space 偵測被搶佔，而不是用鎖去防它 rseq 讓 user space 註冊一段臨界區：中途被搶佔或遷移就由 kernel 跳到 abort handler 重做，而非用鎖。臨界區拆成可重做的準備段加一條單一 commit，於是 per-CPU 操作能做出零 atomic 的 fast path——malloc、計數器都靠它，甜蜜區是短臨界區加低搶佔率。
- 邊緣端做投機解碼，何時才划算 論文「Speculation at a Distance」用封閉解不等式拆解 edge-cloud speculative decoding（DSD）：草稿模型放邊緣、目標模型在雲端，但每輪要付一趟 WAN 往返，常常吃光投機省下的時間。共置 SD 既然延遲、通訊都更低又同 FLOPs／記憶體，伺服器放得下兩個模型時 DSD 沒位置；pipelining 只在 RTT 短於草稿時間窗的低 RTT 區救得了它；對上雲端自迴歸只在一個被目標速度、接受率、RTT 夾出的有界窗口內贏，遇到閉源 API 還直接不可行。它真正划算的地方是多租戶容量——cross-client overlap 下把草稿算力分擔出去，能讓飽和的雲端多扛 (1 + γ t_d/t_v) 倍並行客戶。結論：別只看單請求延遲，去看多租戶吞吐。
- VictoriaLogs 怎麼把日誌存成欄式 VictoriaLogs 把 log 以欄式落盤：每個 field 各自成欄、各自壓縮，查詢只讀用到的欄。這篇拆它的 on-disk 格式——partition/part/block 三層可跳過單位、part 目錄裡各司其職的檔案、每欄的 dictionary 與 uint16 等編碼、每個 block-column 的 bloom filter——並說明為什麼欄式對高基數 log 的壓縮與掃描特別有利，以及它相對倒排索引型 log 系統的取捨。
第 26 週 · 6/22–6/28 weekly
第 27 週 —— 把鬆掉的預設釘成硬邊界
這週六、七篇文章在做同一個動作：把一條長年靠「預設值」撐著的邊界，重新釘成需要強制的硬契約——Linux 花六年拔掉不保證 NUL 結尾的 strncpy()、Hugo Barrera 論證 DNSSEC 該預設開啟、destyling 把 prompt injection 成功率從 61% 砍到 10%、Reboot 把 C 直譯器幾乎全自動翻成 safe Rust、Lambda microVM 讓 VM 級隔離變廉價預設；domain 盤子比前兩週稍動，infra +5.0 pp、systems −4.7 pp，真正的換血在 tag 層（gpu 從 5 掉到 0、agents 從 3 升到 5）。
第 25 週 · 6/15–6/21 weekly
第 26 週 —— 拆開來逐項算帳
這週五、六篇文章在做同一個動作：拒絕把系統當成「它就是快／小／對」的黑盒子，而是掀開蓋子逐項列帳——一張餐巾紙把 LLM 推論成本算到頻寬那欄、nix why-depends 把 458MB 映像拆成一條條相依、DuckDB 的「快」拆成四筆互不相干的省；domain 形狀連續第二週幾乎不動，真正的位移在 tag 層（postgres 從 6 掉到 1、llm 從 3 升到 5、systems 從 1 升到 4）。
第 24 週 · 6/8–6/14 weekly
第 25 週 —— 熱路徑的集體搬家
這週四、五篇文章在做同一個動作：把跑在熱路徑、用 C 或弱型別寫了十幾年的程式整段搬去能被型別或證明守住的地盤——TrueType 直譯器搬進 Swift、OCaml runtime 翻成 Rust、Stripe 370 萬行從 Flow 跳到 TypeScript；domain 比例穩得反常，真正的位移在 tag 層（rust 從 3 衝到 7、memory-safety 首次出現三次、llm-inference 掉到零）。
第 23 週 · 6/1–6/7 weekly
第 23 週 —— 預設值被要求舉證
這週的文章反覆在做同一件事：把一個被當成理所當然的「預設」抓回桌上要它舉證——被治理流程按停的 CPython JIT、被數據翻案的 rsync 怒火、在 SQLite 慢 14 倍的 UUID 主鍵；而 domain 比例穩得反常，真正的位移發生在 tag 層（vector-search 三次掉到零、llm-inference 新出現三次）。