Tag
rename
- Oct 6, 2026 Repository-Scale Codemods and the Review Problem A codemod that rewrites ten thousand call sites produces a diff nobody can read. Sharding, mechanization proofs, and a declarative matcher are what make the change reviewable. software engineering
- Nov 27, 2024 Atomic File Replacement: rename, fsync, and the Directory Entry Why a save operation that overwrites in place is not crash-safe, what the rename trick guarantees, and which flushes must bracket it for the guarantee to hold. mobile computing
- Dec 20, 2023 Rename Atomicity and the Replacement of a Directory Entry How rename changes two directory entries without a window of invisibility, which cross-filesystem cases the guarantee excludes, and why the call is the primitive behind atomic file updates. filesystems
- Sep 26, 2022 Why Textual Renaming Fails and Syntax Trees Do Not A search-and-replace rename breaks on shadowed names, comments, string literals, and macro bodies. A rename that walks a syntax tree knows which occurrences bind. software engineering