借用チェックを逆から考える新しい視点
Valen の借用チェッカーは安全性パスを関数の最後の文から最初へと逆方向に実行する。Evan Ovadia が、逆順にたどることでループとミューテーションの追跡がなぜ簡単になるのかを説明する。
メモリ管理
もっと見る メモリ管理
ホーム
ガベージコレクションが要らない言語にガベージコレクタを書いた
Rust はガベージコレクションを不要にするために生まれた言語だが、Clayton Ramsey はそれでも循環参照を回収する並行ガベージコレクタを書いた。Drop、ビジター trait、収集タグで実装し、見つけられる限りの Rust コレクタとベンチマークで比べている。
Valen のメモリ安全：新しい借用チェッカー
Evan Ovadia が、Valen 向けの借用チェック設計であるグループ借用を解説する。同一オブジェクトの異なる部分への参照を共存させ、shared-xor-mutable を no use-after-free に緩める仕組みだ。
C 言語の Arena アロケータ
C 言語の小さな arena アロケータを解説する。解決するライフサイクル問題から、動く実装の構造体、アラインメント、realloc の経路まで。
Kubernetes v1.37：メモリQoSがベータに昇格
Kubernetes v1.37 の Memory QoS が Beta に昇格してデフォルトで有効化されましたが、memoryThrottlingFactor のデフォルトは null に変更され、アップグレードしても既存クラスタの動作は変わりません。
RustからZigに移って、使ってみるとどんな感じか
Rustを7年間書いてきた著者がZigでJSONPathライブラリを作り直した：IDEサポートなし、構造は強制的にフラット化、関数型パラダイムは使えず、allocatorが至る所に。4種類のメモリリークと二重解放の形を一つずつRustと対照し、最後にZigはCの真の後継者になる潜在能力があると述べた。