高并发

io_uring 网络编程深度实战:从 IORING_OP_SEND/RECV 到高并发 TCP 服务的零拷贝数据通路

epoll 在长达十余年的时间里几乎是 Linux 高并发网络编程的唯一答案。但当单机需要维持百万级连接、追求个位数微秒的尾延迟时,就绪通知(readiness)模型本身的系统调用与内存拷贝开销开始变得不可忽略。io_uring 自 5.1 进入主线后,逐步补齐了完整的网络操作码族(ACCEPT / CONNECT / SEND / RECV / SENDMSG / RECVMSG / SEND_…

布谷鸟哈希深度实战:从双哈希候选、驱逐重定位到分桶与 Stash 的生产级工程全解

系统拆解布谷鸟哈希的第一性原理:每个键只有两个候选桶(双哈希),查询最坏 O(1) 且与负载率无关;推导插入时"踢走占用者(evict/kick)"的驱逐重定位算法、其终止性与失败概率,以及临界负载率 α*≈0.49(k=2)的由来;解析 Stash 旁路数组把溢出概率压到 O(1/√N) 的工程技巧、rehash 扩容换种子打破置换环的方法。展开 d-left hashing、分桶布谷鸟(b=4 推到负载率 0.99+)、计数布谷鸟、并发布谷鸟(多核锁粒度/tombstone 退化)等变体,并给出 Cuckoo Filter——可删、比 Bloom 省 1.5~2 倍空间的近似成员查询替身。附带可插拔双哈希、带 Stash 与自动扩容的生产级 Python 实现(插入/查询/删除/重建),与链地址/线性探测/布隆的分工对照表,以及 12 项生产陷阱清单(哈希相关性、MAX_LOOP、Stash 增长、扩容换种子、并发 tombstone、分桶 b 过大等)。与本站《布隆过滤器》(16214)、《Count-Min Sketch》(16270)、《HyperLogLog》(16312) 共同构成"概率与高性能数据结构工程"系列,补齐确定性 O(1) 查询 + 可删除 + 高负载率维度。

Java 虚拟线程深度工程实战:从 Continuation 栈切换、Carrier 调度到 Pinning 陷阱的结构化并发全解

拆开 Java 虚拟线程的三层机制——Continuation 栈帧拷贝、ForkJoinPool carrier 的 mount/unmount、synchronized 的 pinning 代价——结合 JDK 21/24 差异、Spring Boot 3.x 开启方式、连接池悖论与信号量限流、JFR 观测手段,给出一份可直接对照检查的生产坑位清单。