工程学习台

主题

学习

开始阅读：类型、泛型、异常与字节码：语言契约、编译产物与运行边界

按主题选文，直接阅读讲解、源码与图解。

Java与JVM

语言、类型与集合
  1. 类型、泛型、异常与字节码：语言契约、编译产物与运行边界
  2. 反射、注解与动态代理：元数据入口、访问边界与拦截范围
  3. 集合契约、ArrayList、LinkedList 与 HashMap：从复杂度表到源码分支
  4. 集合选择、视图与迭代并发契约：从访问模式到运行时协议
  5. Lambda、Stream 与 Optional：惰性、终止与副作用
  6. 日期时间：Instant 单位、时区规则与解析边界
  7. 字符编码与解码：从字节到文本的边界
  8. Java 序列化：协议、兼容与安全边界
  9. 流、文件与通道：read 契约、缓冲与部分读写
  10. 现代 Java 语言演进：Records、Sealed 与模式匹配的版本边界
并发与同步器
  1. JMM 可见性边界：happens-before、volatile、final 与进度
  2. CAS、ABA 与原子类：原子操作与进度边界
  3. 并发容器写侧契约：ConcurrentHashMap、CopyOnWriteArrayList 与 ConcurrentLinkedQueue
  4. 锁语义与公平性：synchronized、ReentrantLock 与 ReadWriteLock
  5. AQS 排队骨架与 Condition 等待协议
  6. 同步器选用：CountDownLatch、CyclicBarrier、Semaphore、Phaser 与 Exchanger
  7. 并发综合：访问序 LRU、令牌桶与接纳控制
线程池与异步
  1. ThreadPoolExecutor：接纳、ctl、Worker 与过载恢复
  2. 虚拟线程：调度器、Pinning 与容量边界（Java 21 及之后的版本差异）
  3. 结构化并发：取消传播与有界接纳（每任务一线程的生命周期）
  4. FutureTask、CompletableFuture：完成状态、异常与取消
  5. 中断协议、取消协作与上下文生命周期
JVM机制、GC与诊断
  1. JVM 内存区域与对象分配：规范、实现与进程账单
  2. JIT 分层编译、去优化与可观察行为：从解释执行到 C2 的证据
  3. 类加载、双亲委派与类初始化：身份、锁与错误状态
  4. GC Roots、可达性与三色标记：从根集合到 SATB 队列
  5. G1、ZGC 与收集器取舍：区域、周期与停顿证据
  6. GC 日志解读与线上故障诊断：从单行字段到证据闭环
  7. JVM 诊断工具与证据链：jstack、jcmd、JFR、NMT 与 Arthas
  8. CPU、内存、GC 与线程故障：四条资源链与一条 GC 链的证据闭环

操作系统与网络

Linux与容器资源
  1. Linux 进程线程与调度观测：线程为什么没有变快
  2. Linux、cgroup与容器诊断：宿主机空闲，服务为何仍然慢
  3. Linux 信号权限与优雅停机：谁在杀进程，谁有权做什么
  4. Linux 内存文件与磁盘排障：RSS、nofile 与 I/O 账单
  5. Kubernetes 交付与状态边界：对象就绪不等于业务可用
TCP与连接
  1. TCP字节流：分帧、半关闭与未知结果
  2. TCP连接状态机与重传观测：谁在 TIME_WAIT，为什么重传救不了死链
DNS
  1. DNS、缓存与连接生命周期：改了地址为什么仍访问旧节点
  2. DNS解析链路与缓存层级：名字在哪一层被决定
HTTP与TLS
  1. HTTP、TLS与连接池：一次请求的时间、信任和提交边界
  2. TLS握手与证书验证：失败在哪一段，信任从哪来
I/O与事件循环
  1. NIO事件循环与背压：就绪之后，谁还有容量
  2. Netty 事件循环与背压：一个 loop、一条 pipeline、一次引用计数

Spring与持久层框架

容器、代理与Boot
  1. IOC 容器与 Bean 生命周期
  2. 配置方式、扫描导入与候选解析
  3. 依赖注入、三级缓存与循环依赖
  4. Environment、Profile、资源与应用事件
  5. AOP：代理选择、调用入口与拦截链
  6. 类型转换、绑定校验与 SpEL
  7. Spring Boot：启动时序与条件装配
  8. Boot 配置：外部来源、结构化绑定与失败阶段
  9. Boot 运行：日志、JSON、TLS、资源预算与在途停机
  10. Boot 集成：条件判读、用户替换与组件责任
  11. Actuator：端点权限、健康就绪与观测
  12. AOP 切面：参数绑定、顺序与 AspectJ 编织
  13. Spring测试：TestContext、MockMvc 与切片
  14. AOT、Native 与检查点恢复：构建时冻结了什么
  15. 调度执行：@Scheduled 语义、异常吞噬、关闭与 JMS 集成边界
  16. 缓存抽象：@Cacheable 代理边界、单飞与一致性责任
  17. Spring 官方集成能力：OXM、JMX、邮件与数据缓冲
  18. 持久任务：Spring Batch 6 的运行模型与 Quartz 2 的持久调度
  19. Spring Integration：通道语义、重试与错误通道的可恢复消息流
  20. Spring AMQP 与 Kafka 集成：监听生命周期、确认、重试与事务
Spring事务
  1. Spring 事务：代理入口、资源绑定与失败后的事实
  2. Spring 事务：同步器、事务事件、编程式与传播矩阵
  3. Spring 事务：JDBC 异常转换、批处理与生成键
Web、异步与上下文
  1. Web 请求链路：分发、异常与异步重调度
  2. MVC 消息转换、内容协商、校验分组与 multipart
  3. MVC 异常统一错误、CORS、HTTP 缓存、会话与视图静态资源
  4. HTTP 客户端：RestClient、HTTP 接口、连接池与重试边界
  5. WebSocket/STOMP：握手、会话、心跳与发送侧背压
  6. 异步执行：代理调度、上下文与取消责任
  7. Security过滤链：认证、授权、异常与清理
  8. Security认证与会话：谁证明身份，谁让登录失效
  9. 浏览器防护：CSRF、CORS、安全头与路径防火墙
  10. OAuth2与OIDC：授权码、PKCE、令牌与撤销窗口
  11. Security资源授权：方法、对象与租户边界
  12. 响应式安全：认证、Context与消息授权
  13. Security 企业认证：LDAP、SAML、证书与多因素
  14. Reactor 核心：背压、调度与取消
  15. WebFlux、R2DBC 与 RSocket：请求、事务和取消
  16. GraphQL 接口：schema、resolver、鉴权与 N+1
MyBatis、JPA 与 Spring Data
  1. MyBatis：会话归属、执行时点与缓存失效
  2. JPA、Hibernate 与 Spring Data JPA：实体状态和事务边界
  3. Spring Data 其他模块与 Session：五套映射、连接与事务边界
  4. MyBatis-Plus：增强能力的真实语义、插件顺序与越权边界
AI应用与RAG
  1. RAG 检索增强：Spring AI 文档管线、向量检索、ACL 与取消
  2. 工具调用、状态与授权：Spring AI Agent 的工程边界
  3. 评测与成本：AI 方向的收束——验收真实模型前必须想清楚的机制
MySQL与SQL
  1. MySQL 索引、B+ 树与 EXPLAIN
  2. MVCC、隔离级别与锁
  3. 慢 SQL、死锁、深分页与大表治理
  4. SQL 手写：先确定粒度，再写 JOIN 与窗口
  5. MySQL 模型约束、连接聚合、统计与慢 SQL：独有实例上的真实观察
  6. MySQL 事务、日志与恢复迁移：崩溃、复制、PITR 与在线 DDL 的真实观察
  7. SQL 方言语义对照推演：PostgreSQL 18 与 Oracle Database 23
Redis
  1. Redis 数据结构、执行与原子边界
  2. Redis 使用、内存与恢复边界：8.6.4 单机使用观察
  3. Redis 持久化、复制与故障恢复
Elasticsearch
  1. Elasticsearch：从词项检索到写入、复制与恢复
  2. Elasticsearch 查询、容量与重建：8.19.23 单节点使用观察
MongoDB
  1. MongoDB：文档模型、索引竞争与复制恢复
  2. MongoDB 模型、聚合与复制边界：7.0.45 standalone 使用观察
数据平台与调度
  1. DAG调度与持久恢复：xxl-job 3.5.0 的扫描、执行器与故障边界
  2. 执行引擎与 Notebook 内核：Spark 提交监控、Flink/Hive 对照与 kernel 生命周期
  3. 多租户、配额与切换：从令牌桶到代际租约，以及 checkpoint 不是业务提交

分布式系统与中间件

正确性、锁与租约
  1. 分布式锁配方、分布式 ID 与持久任务租约
  2. 先定义状态、操作与故障模型
  3. CAP 和 PACELC 的适用边界
  4. 租约和 fencing：把旧持有者挡在资源提交处
  5. 正确性证明要区分安全性和活性
业务幂等与跨资源事务
  1. 业务幂等：把重复请求归到同一意图
  2. Outbox：提交发布意图，再恢复交付
  3. 跨资源事务与长流程
  4. 缓存与数据库一致性
  5. 贯通案例：配置、安全与事务下单
  6. 事务恢复：幂等、Outbox、提交未知与恢复责任
  7. 贯通案例：异步通知与故障恢复
  8. Seata：AT、TCC、XA 与 TC 恢复的 2.5.0 实现边界
  9. 贯通案例：观测、部署与演进
MQ与Kafka
  1. MQ 生产、追加、复制与事务可见性
  2. Kafka 消费位点、并行处理与重平衡
  3. 重试、死信、延迟消息与积压恢复
  4. Kafka 客户端配置、确认与恢复：在真实 KRaft 集群上验证故障窗口
  5. RabbitMQ 路由、确认与恢复：exchange、confirm、prefetch 与死信
  6. RocketMQ 5.5.1：队列、顺序延时、事务回查与存储复制
  7. Stream、Function、Task 与 Contract：框架抽象与集成边界
协调、配置与发现
  1. ZooKeeper：谁提交状态，谁仍有资格执行
  2. Nacos：注册成功、健康与配置生效是三个不同事实
  3. Cloud发现与负载均衡：实例、缓存与摘流
  4. Gateway 路由：谓词、过滤器顺序与头处理
  5. Gateway 可靠性：身份、限流、超时与观测
  6. Gateway 多种形态：Server MVC 与 Proxy Exchange
  7. Config与Bus：配置读取、传播与版本回滚
  8. Cloud 适配：Consul、Vault、Kubernetes、Eureka 与 Zookeeper
RPC与调用可靠性
  1. Dubbo调用链：代理、目录、重试与副作用各归其位
  2. 超时、重试、熔断、限流与降级：把故障限制在局部
  3. 远程客户端与容错组合：Feign、Resilience4j 与失败边界
  4. Sentinel 规则与隔离边界：资源、Slot 链与五类规则
IoT设备接入
  1. 设备身份与 MQTT 会话：连接、QoS、订阅与遗嘱
  2. 设备影子、命令状态与跨语言契约：重复、过期与迟到确认

架构与工程实践

质量目标、SLO与恢复
  1. 质量属性必须描述场景：从一句愿望建立可反驳的要求
  2. SLI、SLO 与预算：定义的是用户结果，不是仪表盘颜色
  3. 延迟预算与尾部放大：完成条件决定延迟模型
  4. 可用性、耐久性和正确性是不同质量目标
  5. 从愿景转成架构适应度检查：把约束写成可执行的判定
  6. 故障域、RTO/RPO 和切换：恢复目标要像契约一样验收
容量、排队与性能
  1. 性能优化全链路实战：定位瓶颈、控制放大与验证收益
  2. 工作负载的形状：单一 QPS 会隐藏什么
  3. 服务时间、吞吐与并行度：队列是有成本的容量
  4. P99、样本窗口和测量偏差：删掉超时样本的 P99 是谎言
  5. 容量推导与故障余量：十二台实例为何仍不够
  6. 资源画像与成本：CPU 不满，接口为什么仍然慢
  7. 队列网络、扇出与瓶颈迁移：积压清理与安全容量
数据架构与演进
  1. 所有权、身份与不变量：谁有权说"是真的"
  2. 分区、复制和存储布局：分片键决定事务与查询的共置域
  3. CDC、事件和投影：行变化不等于领域事实
  4. 零停机 schema 迁移：expand 之后为什么不能马上删旧列
  5. 租户隔离与数据生命周期：API 授权正确也可能跨租户泄漏
  6. 数据契约、时间语义与重建：schema 兼容不等于语义兼容
可观测性与事故
  1. 可观测性从问题和用户影响开始：接口正常但订单不完成
  2. 高基数、采样与遥测成本：一个标签可能乘上百万时序
  3. 分位、延迟和正确的聚合：平均两个 P99 得不到全局 P99
  4. 事故指挥与沟通结构：多人同时改系统为什么更危险
  5. Runbook、演练和复盘：只写"重启、扩容、清队列"的 Runbook 不能用
  6. 从遥测语义到可操作告警：无样本不等于零错误
  7. 遥测接入：指标、追踪、Collector 与一次真实排障
演进、组织与成本
  1. 系统形态由约束触发：日请求量不能决定拆服务
  2. 迁移模式与双向恢复：代码可回滚不证明数据可逆
  3. 总拥有成本和单位经济：账单降低不等于更便宜
  4. 架构治理与交付效能：治理不是更多人工审批
  5. 把服务边界看成耦合与自治的交换：远程 API 不能消灭领域耦合
  6. 平台能力需要产品所有权：接入团队数不是成功证据
  7. 交付门禁：测试分层、迁移、制品与恢复
  8. 部署与安全：Nginx 反代、健康门禁、优雅停机与恢复
  9. 构建工具与协作：Maven 依赖调解、BOM、门禁与可重复构建
  10. AI 辅助研发与生成结果验证：不能以"写过提示词"验收
跨域推理与论证评审
  1. 架构问题的边界：先问成功语义，再选组件
  2. 架构视图和模型选择：一张图无法同时表达所有问题
  3. 从选项比较到风险说明：口径不一致的打分表没有意义
  4. 跨域专家推导：一个局部优化会改写其他域的边界
  5. 架构证据与维护：源码标签与压测结果各支持什么
  6. 建立跨域依赖图并传播约束：入口 QPS 不代表下游负载
  7. 论证链条：把结论写成可追问的命题
  8. 替代方案和决策质量：不要拿完整方案和稻草方案比较
  9. 评审流程与安全氛围：允许说"不知道"的评审才安全
  10. ADR、RFC 与运行证据：决策记录保存当时为什么合理
  11. 专家评审覆盖的推理边界：源码正确不等于系统保证正确
  12. 证据强度与结论范围：一次 JFR 无停顿不证明 GC 永不影响 P99

系统设计

人工审核
  1. 审核系统设计：版本、轮次、并发裁决与发布隔离
机器审核
  1. 机审系统设计：任务编排、租约、未知结果与模型演进
消息平台
  1. 消息平台设计：发送意图、渠道副作用与结果对账
积分
  1. 积分系统设计：账户、流水、幂等与对账
内容中心
  1. 内容中心设计：不可变版本、发布指针、搜索投影与撤销
综合系统设计
  1. 容量估算、可观测性、灰度与容灾：把设计变成可检查的预算

工程学习台　阅读讲解，学后自主自测。记录保存在本机浏览器。