这里是全站文章的归档入口,下面是按时间倒序排列的全部文章。若想按主题浏览,请从首页的专题分类进入。
浏览器与客户端安全:CSP、SRI 与 Trusted Types
系统讲解浏览器与客户端安全防线:内容安全策略(CSP)的 nonce 与 strict-dynamic 实践、子资源完整性(SRI)防供应链投毒、Trusted Types 根除 DOM XSS,以及 COOP/COEP/CORP 与 Permissions-Policy 的落地配置。
posts
这里是全站文章的归档入口,下面是按时间倒序排列的全部文章。若想按主题浏览,请从首页的专题分类进入。
系统讲解浏览器与客户端安全防线:内容安全策略(CSP)的 nonce 与 strict-dynamic 实践、子资源完整性(SRI)防供应链投毒、Trusted Types 根除 DOM XSS,以及 COOP/COEP/CORP 与 Permissions-Policy 的落地配置。
系统讲解 Kafka 应用测试策略:测试金字塔中 Kafka 的位置、MockProducer/MockConsumer 单元测试、Embedded Kafka 与 Testcontainers 集成测试对比、Spring Boot @EmbeddedKafka 实战、端到端与契约测试、CI 中的容器编排与性能优化
系统讲解 Kafka 压缩算法选型:压缩发生在生产端还是 broker、lz4/snappy/gzip/zstd 四种算法的压缩比与吞吐实测、批量大小对压缩率的影响、broker 端重压缩配置、消息格式版本兼容性,以及按场景选择算法的决策方法
系统讲解 Kafka 与 Flink 的流批一体集成:Kafka Source 并行度与分区映射、checkpoint 与 offset 提交、两阶段提交 Sink 实现端到端精确一次、水位线与乱序处理、流批一体模式、反压与调优参数,以及生产环境常见坑
系统讲解 Kafka 延迟队列与优先级消费的实现:为什么 Kafka 没有原生延迟队列、定时轮询与延迟 topic 时间戳过滤、多级延迟 topic 时间轮、外部调度器方案、优先级 topic 拆分与权重消费,以及延迟精度、堆积与成本之间的权衡取舍与监控指标
系统讲解 Kafka 消息顺序性保证与乱序治理:分区内有序的真实边界、分区键设计与热点分区均衡、生产端 max.in.flight 与重试导致的乱序、消费端多线程并发与顺序冲突、跨分区与全局有序的折中方案、乱序检测与序号补偿重排,以及顺序与吞吐之间的量化权衡取舍
图库不像关系型库那样自带成熟的物化视图,多跳查询的代价又特别高,缓存因此成为必需品。本文讲清 Neo4j 的计划缓存与结果缓存边界、应用层缓存的键设计与失效策略、物化视图的三种图原生实现(预计算节点、预聚合属性、独立视图图)、增量维护、写时失效与版本号一致性、GDS 预计算结果的落盘复用,以及缓存穿透与雪崩的防护。
图数据的测试难点不在语法而在结果:一条 Cypher 改动可能静默改变结果集,一次算法参数调整可能让社区划分整体漂移。本文给出四层测试体系(查询断言、数据质量、算法回归、性能基准)、固定 fixture 与图快照的构造方法、结果集与执行计划的双重校验、GDS 算法输出的稳定性判定、模式迁移的回归清单,以及如何把这些接进 CI。
图库的并发模型和关系型库并不一样:锁粒度落在节点与关系上,遍历语义放大了写写冲突的概率。本文讲清 MVCC 与锁的协作、隔离级别与幻读、图上的死锁成因与规避顺序、乐观重试与显式锁的取舍、UNWIND 批量 upsert 的批大小与事务边界、集群下 leader 写 follower 读的书签一致性,以及幂等批量更新的完整实现与监控指标。
Cypher 写起来像自然语言,写错起来也像——不报错,只是慢几个数量级。本文按根因归类 12 类高频反模式:笛卡尔积与无条件 MATCH、无界变长路径、WHERE 里做函数运算导致索引失效、把分页排序聚合交给 Cypher、MERGE 触发全标签扫描、DETACH DELETE 误删,并给出 EXPLAIN/PROFILE 定位法与改写前后的对照。
图数据库没有强制的 DDL,但模式(Schema)仍在悄悄演进:属性改名、标签拆分、关系方向翻转、基数从 1:1 变成 1:N。本文给出图模式版本化的三种落地形态(属性版本号、双写影子标签、视图投影),expand/contract 在线迁移的四阶段流程、约束与索引的灰度重建、迁移前后的一致性校验查询,以及回滚与限流策略。
把连通性判定、最小生成树与最大流三类经典图算法放进图数据库工程语境:并查集增量连通、有向图强连通分量(Tarjan/Kosaraju)、Kruskal 与 Prim 的取舍、Ford-Fulkerson/Edmonds-Karp/Dinic 的复杂度与建模技巧、点容量与下界转换、最小割瓶颈定位、Stoer-Wagner 全局最小割,以及在 Cypher 与 GDS 中的落地写法与排错调优。
本文系统设计一个视频会议系统:需求澄清与带宽估算、WebRTC 信令与 ICE 打洞、Mesh/SFU/MCU 三种拓扑对比、SFU 媒体转发与 Simulcast、拥塞控制与弱网对抗、录制与转码、房间与鉴权,并给出信令时序、拓扑对比表与容量权衡。
本文系统设计一个 A/B 测试与实验平台:需求澄清与量级估算、分流与哈希分桶算法、实验配置下发与一致性哈希、指标采集与显著性检验、互斥层与流量管理、防 AA 异常与 SRM 检测、多重比较与序贯检验陷阱,并给出分桶伪代码、指标 SQL 与统计权衡。
本文系统设计一个分布式锁服务:需求澄清与量级估算、Redis 与 ZooKeeper/etcd 两种实现对比、加锁解锁原子性与看门狗续期、Redlock 争议与 fencing token、可重入与公平锁、锁超时与死锁治理,并给出 Lua 脚本、状态机与容错权衡。
本文系统设计一个 LBS「附近的人」系统:需求澄清与量级估算、Geohash/H3/S2 空间索引对比、地理位置存储与查询(Redis GEO/PostGIS)、九宫格与多级邻居搜索、位置更新与过期淘汰、隐私与模糊化处理,并给出编码伪代码、查询流程与空间索引权衡。
本文系统设计一个实时协作编辑系统:需求澄清与并发估算、OT 与 CRDT 两大协同算法对比、基于 CRDT 的文档模型与状态向量、WebSocket 长连接与操作广播、离线编辑与冲突合并、光标与在线状态同步,并给出数据结构、合并伪代码与一致性权衡。
韧性工程(Resilience Engineering)的落地方法:SLI/SLO/SLA 的关系与错误预算计算、多窗口多燃烧率告警、发布门禁与预算冻结策略、预算消耗归因、混沌工程与游戏日演练流程、超时/重试/熔断/隔离舱等韧性模式与降级兜底设计,以及度量与组织配套。
本文系统设计一个 S3 类对象存储系统:需求澄清与容量估算、元数据与数据面分离架构、对象分片与多副本/纠删码、一致性哈希数据分布、分段上传与版本控制、生命周期冷热分层、跨机房容灾,并给出架构图、元数据表、分片放置伪代码与副本/纠删码一致性权衡对比。
微前端架构的工程实践:要解决的问题与适用边界、构建时与运行时两种集成方式的取舍、Module Federation 与微应用方案对比、JS 沙箱与 CSS 隔离机制、路由归属与状态共享原则、独立部署与版本回滚、可用性兜底,以及常见反模式与必须接受的真实代价。