posts
这里是全站文章的归档入口，下面是按时间倒序排列的全部文章。若想按主题浏览，请从首页的专题分类进入。
14.2 的共享队列在核多时会撞上锁瓶颈。本节实现 Chase-Lev 双端队列：每个 worker 一条 deque，拥有者从 bottom 端 LIFO 取，窃取者从 top 端 FIFO 偷，只剩最后一个元素时用 Atomics.compareExchange 定胜负。并用 8:1 的不均衡负载，实测静态分片与 work stealing 的 makespan 与处理数分布。
从零写一个基于 worker_threads 的线程池：固定 4 个 worker、一条用 SharedArrayBuffer 装的共享环形任务队列，用 Atomics.compareExchange 做锁、Atomics.wait 挂起空闲 worker。给出 JobSystem 实现与 vitest 用例，实测 1000 个任务串行与并行的差距，以及任务太碎反而慢近 11 倍的反例。
前 13 章的所有更新都挤在一个核上跑。本节先讲清楚为什么 JS 也需要一套 Job System：Node 的 worker_threads 与浏览器 Worker 差在哪、SharedArrayBuffer 与 Atomics 在 Node 里怎么用、在浏览器里为什么必须加 COOP/COEP 跨源隔离头，并用一段 CPU 密集任务实测主线程串行与 4 worker 并行的差距。
每个系统声明读哪些、写哪些数据槽，两个系统存在写-读或写-写重叠即冲突。用最长路径分层把系统排进互不冲突的组：组内可并行、组间同步。本节给出 helio 内核可编译的调度器，跑出《微光岛》十个系统的真实分组结果，并对照粗粒度与细粒度数据槽对并行度的影响。
改动一个节点后只把它的子树标脏，updateDirty 只重算被标脏的节点，updateAll 则无条件全量重算。本节给出 helio 内核可编译的 TransformHierarchy（扁平 TypedArray + 拓扑序），并实测 4 叉树上改叶子时「全量重算 vs 脏标记」的耗时差与被重算的节点数。
实体用位掩码表示拥有哪些组件，查询用 all / none 两个掩码描述条件；结果按查询键缓存，任一组件增删都把全局 revision 加一使缓存整体失效。本节给出 helio 内核可编译的 QueryEngine，并实测有缓存与无缓存跑同一批查询的耗时差、命中与失效次数。
本节解决工程中最隐蔽的一类问题：循环依赖与类型导入。先对比 ESM 与 CJS 下循环依赖的不同表现，解释暂时性死区与部分导出为何会让值在初始化阶段变成 undefined，再说明 import type 为什么能从产物中彻底消失、从而在结构上切断循环，随后对照三种类型导入写法的差异，最后给出检测工具与抽取共享类型的重构套路。
本节深入 package.json 的 exports 字段：先讲它如何取代 main 与 module 实现真正的封装，再拆解子路径映射、条件对象与数组回退三种形态，重点讲清条件键的顺序语义为何决定成败，然后对照 bundler 与 Node 在条件集合上的差异，最后给出一个可直接复制的双包库配置。读完你能自己写出既被 Node 认识、又让 TypeScript 找到类型的导出表。
本节把 TypeScript 的模块解析讲成一张对照表：先说明编译器为何要自己实现解析规则，再拆解 classic、node10、node16、nodenext、bundler 五种模式在扩展名与条件导出上的差异，再给出 module 与 moduleResolution 的合法组合，最后用三种典型工程配置收束。读完你能为任意项目选对模式，并看懂 Cannot find module 报错。
本节把视角从运行时可见性转向交付安全：先建立依赖供应链的威胁模型，再讲清 lockfile 与可复现安装的纪律、npm audit 与 OSV 扫描的差异、自动化升级与版本锁定策略。随后落到应用侧加固，涵盖用 Zod 在边界做运行时校验、安全响应头与 CSP、密钥管理与最小权限，最后给出 SBOM 与构建证明的落地方式。
本节讲透指标与告警这条链路：从 Counter、Gauge、Histogram 三种仪器类型的语义差异，到用 OpenTelemetry SDK 在 Node.js 里暴露 /metrics 端点，再到命名规范与标签基数控制。你将学会用 RED 与黄金信号设计仪表盘，写出可执行、低噪音的告警规则，并用 SLO 与燃烧率把告警从「阈值告警」升级为「错误预算告警」。
本节从日志排障的局限出发，讲清 OpenTelemetry 的 Trace、Span 与 Context 数据模型，并给出 Node.js 侧可直接运行的 SDK 初始化、自动插桩与采样配置。你将学会在 Fastify 中间件里手工埋点、跨服务传播 traceparent、把 trace_id 写进结构化日志，并用语义约定统一 span 属性命名，避开采样过高与上下文丢失等常见坑。
从 DelegatingFilterProxy 的延迟查找讲到 FilterChainProxy 的匹配：拆开 WebSecurityConfiguration 产出的 springSecurityFilterChain bean、HttpSecurity DSL 如何装配过滤器、FilterOrderRegistration 的排序规则，以及多条 SecurityFilterChain 的选取。
从 Actuator 端点暴露策略讲起，说明生产上为何只暴露必要端点与 env、heapdump 的风险，再拆解 Micrometer 的 MeterRegistry 模型与四类计量器，用 book-loan 演示自定义指标、公共标签、MeterFilter 与 percentiles-histogram，最后给出 Prometheus 抓取配置与开箱指标读法。
本节从 ddl-auto: update 的风险讲起，说明为什么表结构需要版本化迁移；点明 Spring Boot 4.x 的关键变更——Flyway 必须显式引入 spring-boot-starter-flyway。内容涵盖 spring.flyway.* 常用配置、默认脚本位置、首次启动日志与历史表结构，并给出与 Liquibase 的选型对比。
Python 3.14 的 PEP 649/749 让注解不再在函数、类、模块定义时求值，而是延迟到访问 __annotations__ 时才求值。本节实测 __annotate__、annotationlib 的三种 Format、缓存行为、前向引用与循环引用，以及 from __future__ import annotations 的关系。
把注解里的类型当运行时对象来看：list[int] 是 types.GenericAlias、int | str 在 3.14 已与 typing.Union 合并成同一个 C 类型，get_origin/get_args 与 Annotated 的解析口径，以及 isinstance 为什么拒绝参数化泛型——附本机实测的校验开销对比。
本书 1.2 节给过查找顺序的可观测结论，本节下沉到 C 实现层：object 与 type 两个 __getattribute__、元类上的描述符优先级、__get__/__set__/__delete__ 三件套，并用实测数据说明 __getattr__ 与 __getattribute__ 各把属性访问拖慢多少。
从「单个请求快」到「并发不雪崩」：用 concurrent.futures 与 time.perf_counter 自写小压测器打出 QPS 与延迟分位数，讲清容量曲线与 Little Law 的容量评估，真跑令牌桶限流（含 429 端到端）与超时兜底的降级策略，收成上线前的容量清单。
把瓶颈分成 CPU、内存、I/O 三类逐一击破：用 numpy 向量化与算法改进实测加速比，用 tracemalloc/getsizeof 实测 __slots__ 与生成器的内存收益，用批量、异步与连接复用实测 I/O 提速，最后给出按瓶颈类型选手段的决策表。