Deep dives into system design, generative AI, and engineering practice, with an emphasis on principles, tradeoffs, and implementation details.
从排队论到生产策略,讲清有界队列、并发限制、令牌桶、bulkhead、重试预算、熔断与过载恢复。
深入 Go 内存模型、happens-before、Mutex/RWMutex、atomic、分片与所有权模型,区分 data race 和逻辑竞态。
建立 Go 高并发生产排障体系:固定到达率压测、pprof、runtime trace、goroutine dump、故障注入与恢复验证。
Go 高并发六期系列总览:GMP、结构化并发、生产服务、背压韧性、共享状态、压测与线上排障。
从线程、所有权、Arc、Send/Sync 到 Little's Law,建立 Rust 高并发服务的安全边界与容量模型。
深入 Future 状态机、Poll/Waker、Tokio 调度、select、JoinSet、任务取消与结构化并发。
使用 Axum + Tokio 构建带入口准入、下游隔离、总 deadline、结构化聚合与优雅停机的高并发 API。
选择同步/异步锁、actor、channel 与 atomic,处理死锁、逻辑竞态、取消副作用,并用 Loom 验证并发协议。
深入 spawn_blocking、CPU 线程池、runtime worker、结构化 tracing、tokio-console、perf 与内存诊断。
用固定到达率压力测试和故障注入复现 task 泄漏、worker 阻塞、死锁、连接池耗尽与取消副作用,建立 Rust 生产 Runbook。