Formal Methods for Critical Systems
A bounded, explicit case study in modeling versioned object deletion with TLA+, connecting invariants to Rust and object-storage semantics, and stating what was—and was not—proved.
Engineering notes by Haili Zhang
Notes on building software systems.
Practical writing about Rust, distributed systems, storage engines, and the data structures beneath them.
Posts
ClickHouse Internals
A source-guided tour of ClickHouse columns, MergeTree parts, sparse indexes, query plans, processor pipelines, aggregation, and distributed execution.
Distributed Aggregation in Data Federation
How to push aggregation into heterogeneous sources without losing algebraic, SQL, consistency, or failure semantics.
Ten New and Notable Rust Crate Releases from 2025
A historically versioned review of Rust libraries and frameworks that made meaningful releases in 2025.
Extending Envoy with Rust and Proxy-Wasm
A precise guide to the Proxy-Wasm execution model, a Rust HTTP filter, Envoy configuration, and the production constraints that matter.
Write-Ahead Logs, Commit Indices, and Retention Watermarks
How durability logs, replicated commit boundaries, and retention watermarks work together without conflating persistence, consensus, visibility, and safe log cleanup.
Understanding io_uring in Rust
A systems-level guide to io_uring submission and completion queues, ownership, registered resources, batching, and the Rust abstractions that make completion-based I/O safer.
Zero-Copy in Rust
A practical look at borrowing, shared buffers, memory mapping, zero-copy parsing, and kernel-assisted I/O—and what zero-copy really means at each boundary.
Building Modular Systems with Rust Traits and Generics
A compileable, testable guide to defining stable boundaries with traits, associated types, static dispatch, and trait objects.
Ten Rust Crates That Shaped My 2024
A historically versioned review of ten Rust libraries that shaped practical application, CLI, database, observability, and analytical development in 2024.
Microservice Governance — Deployment Patterns
Traffic channels, pre-release testing, canary rollout, and A/B testing: using isolated instance sets plus dynamic routing to make production change safer.
Microservice Governance — Resilience Patterns — Part 2
Circuit breakers, fallbacks, and bulkheads: how to fail fast, degrade gracefully, and keep one failing dependency from consuming the whole system.
Microservice Governance — Resilience Patterns — Part 1
Client-side load balancing, retries, backoff, jitter, and timeouts: the first layer of containing failure in a distributed microservice system.
Microservice Governance — Routing Patterns
How service discovery and dynamic routing turn a changing fleet of microservice instances into stable, policy-driven service communication.
No posts match that search.
About
SoftWheel is a collection of implementation notes from rebuilding core systems and data structures. The goal is to expose the decisions that polished libraries usually hide.
Topics include storage engines, concurrency, distributed protocols, Rust, and production engineering.