LeonAgent 工作流状态机设计：工具调用的审批与恢复
用提案、人工审批、事务发件箱和幂等执行，把模型提出的高风险操作变成可追踪的业务流程。
技术文章
围绕真实工程问题，记录原理、架构选择与实践细节。
共 15 篇文章关键词搜索 ↗
Redis 缓存一致性方案
以 Cache-Aside 为基线，梳理数据库与缓存的写入顺序、并发旧值回填、热点失效和一致性边界。
Java 21 虚拟线程原理与应用
从线程与请求的映射关系出发，理解虚拟线程的调度、阻塞 I/O、资源限流和迁移边界。
JVM 内存模型与 GC
把 Java 内存模型中的可见性与 happens-before 和 JVM 堆、垃圾收集区分开，再用 GC 日志建立诊断路径。
Kafka 消息可靠性与幂等处理：Transactional Outbox 实战
用同库事务写入 Outbox，再由可重试的 worker 发布事件，处理双写、重复投递和消费者幂等。
Docker Compose 部署 Spring Boot 项目
从多阶段镜像构建到 Compose 编排、健康检查、密钥注入和升级回滚，搭建可复现的单机生产部署基线。
Nginx 反向代理与静态资源优化
用 Nginx 承担入口代理、缓存策略、压缩和安全响应头，并避开代理头与 SPA 回退的常见错误。
GitHub Actions 自动构建和部署
用 CI 构建容器镜像，再通过受限 SSH 发布到单机 Compose 环境，加入并发控制、健康检查和回滚边界。
Axum 构建 REST API
用 Axum 的 Router、State、Extractor 和 IntoResponse 组织一个可运行的 Rust API 骨架，再把存储与错误边界推进到生产设计。
Rust 与 Java 并发模型比较
从线程、Future、所有权、共享状态和阻塞边界对比 Rust 与 Java 并发，理解 Tokio task 与 Java 虚拟线程各自的适用条件。