Formal Methods for Critical Systems: From Models to Practice
Connecting requirements, state machines, model checking, and implementation evidence.
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 Architecture Tour
Following a query through analysis, planning, processors, and MergeTree storage.
Distributed Aggregation in Data Federation
Mergeable states, SQL semantics, snapshot consistency, and retry-safe execution.
Extending Envoy with Rust and Proxy-Wasm
An event-driven HTTP filter with explicit lifecycle and failure policies.
Write-Ahead Logs, Commit Indices, and Retention Watermarks
Separating local durability, replicated commitment, and safe log retention.
Understanding io_uring in Rust
Rings, buffer ownership, cancellation, backpressure, and kernel features.
Zero-Copy in Rust: From Borrowing to Kernel Offload
Naming the exact copies avoided at language, memory, and kernel boundaries.
Building Modular Systems with Rust Traits and Generics
Composable components and deliberate choices between static and dynamic dispatch.
Ten Rust Crates That Shaped My 2024
A practical retrospective across services, command-line tools, and data systems.
Taming the Beast: How Rust Helps Manage Growing Software Complexity
Ownership, types, and explicit error handling as tools for controlling complexity.
Building Resilient Distributed Storage Systems: The Power of Logging Patterns
Write-ahead logs, low-water marks, replication logs, and recovery.
The Ultimate Rust Learning Path: From Beginner to Pro
A project-driven route through algorithms, patterns, and complete systems.
LSM Trees Unveiled — Part 3: Completing the Rust Implementation
Assembling the storage engine and examining its production trade-offs.
LSM Trees Unveiled — Part 2: Efficient Rust Implementation
Implementing the MemTable and SSTable components in Rust.
LSM Trees Unveiled — Part 1: Core Concepts and Components
Memtables, immutable tables, compaction, and the write path.
Understanding the Gossip Protocol in Distributed Systems
Decentralized information sharing, failure detection, and convergence.
Data Sketches: Efficient Algorithms for Big Data Analysis
Compact probabilistic summaries for large datasets with bounded error.
Microservice Governance — Deployment Patterns
Traffic channels and pre-release testing for microservice platforms.
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.