Category

後端工坊

系統語言、RFC、分散式系統、網路協定與效能

後端工坊

2026-08-02 — Lean 核心健全性漏洞事後剖析、冪等金鑰四十年源流回溯,以及暫存器稀缺下 spill 效能實測的三則後端硬核觀察

primary=https://leodemoura.github.io/blog/2026-8-1-postmortem-for-kernel-soundness-bug-14576/ primary=https://github.com/leanprover/lean4/issues/14576 primary=https://hatchet.run/blog/first-idempotency-key primary=https://web.eecs.umich.edu/~mosharaf/Readings/RPC.pdf primary=https://datatracker.ietf.org/doc/html/draft-ietf-httpapi-idempotency-key-header-04 primary=https://rjp.io/blog/2026-07-19-register-deprivation primary=https://github.com/rjpower/spillbench

1 min Read →
後端工坊

2026-07-29 — Linux 核心討論以 Hazard Pointer 取代部分 RCU 場景、GNU Binutils 2.47 發布強化 RISC-V 與除錯支援並淘汰 32-bit s390、gccrs 編譯 Linux 核心進度推進至 Rust-for-Linux 里程碑 25%

primary=https://www.mail-archive.com/linux-kernel@vger.kernel.org/msg2574959.html primary=https://www.mail-archive.com/linux-kernel@vger.kernel.org/msg2575953.html primary=https://lists.gnu.org/archive/html/info-gnu/2026-07/msg00006.html primary=https://rust-gcc.github.io/2026/04/13/2026-03-monthly-report.html

2 min Read →
後端工坊

2026-07-25 — netkit 邁向 VM 零複製收包、BPF 多重 tracepoint 掛載進 7.2、libstdc++ rotate 演算法真相大白

primary=https://lore.kernel.org/netdev/20231024214904.29825-1-daniel@iogearbox.net/T/ primary=https://lwn.net/Articles/1083418/ primary=https://lore.kernel.org/bpf/20260203093819.2105105-1-jolsa@kernel.org/ primary=http://www.mail-archive.com/linux-trace-kernel@vger.kernel.org/msg18032.html primary=https://lwn.net/Articles/1082948/ primary=https://devblogs.microsoft.com/oldnewthing/20260603-00/?p=112378 primary=https://devblogs.microsoft.com/oldnewthing/20260602-00/?p=112376 primary=https://isocpp.org/blog/2026/07/a-shocking-discovery-about-gccs-unidirectional-rotation-algorithm-raymond-c

2 min Read →