Tag: design-system
All the articles with the tag "design-system".
-
System Design - How Lamport Clocks and Vector Clocks Work
How logical clocks solve the ordering problem in distributed systems: Lamport clocks, vector clocks, causal ordering, happens-before relation, and real-world usage in databases like DynamoDB, Riak, and CockroachDB.
-
System Design - How WebAssembly (Wasm) Works
How WebAssembly works: binary format, stack-based virtual machine, module structure, linear memory model, compilation from source languages, and the security sandbox.
-
System Design - How the QUIC Protocol Works
How QUIC works: connection establishment, 0-RTT handshake, stream multiplexing without head-of-line blocking, loss detection, congestion control, and connection migration. A walkthrough of the protocol that powers HTTP/3.
-
System Design - How Linux System Calls Work
How Linux system calls work: the x86-64 syscall instruction, kernel entry/exit, the syscall dispatch table, vDSO optimization, and a source code walkthrough from the Linux kernel.
-
System Design - How Rust's Borrow Checker Works
How Rust's borrow checker enforces memory safety without garbage collection: ownership rules, borrowing, lifetimes, the NLL (Non-Lexical Lifetimes) algorithm, and a source code walkthrough from the rust-lang/rust compiler.
-
System Design - How Memory-Mapped Files (mmap) Work
How memory-mapped files (mmap) work: virtual memory mapping, page faults, kernel page cache interaction, copy-on-write semantics, and why databases love and hate them.