标签: #concurrency

한국어English日本語中文

← 全部文章

• 当两个通过了类型检查的服务互相等着对方停住时 —— 编排式编程这条另辟蹊径的路

  就算用了保证内存安全的语言，也挡不住两个服务互相等着对方的消息而停住 —— 因为类型检查器的视野到一个进程就到头了。编排式编程（choreographic programming）把整个系统写成一个程序，再让编译器把各节点的代码抽取出来，从而把这条边界本身消掉。本文以最近公开的 Wyzer 为线索，只用能确认到的事实，梳理端点投影是什么、死锁为什么在设计层面就消失了，以及这门语言目前处在哪个阶段。

  2026-08-09 · 11 分钟阅读 #programming-languages#compiler#distributed-systems#type-systems#concurrency

• SQLite 的 WAL-reset 缺陷 — 一场潜伏了 15 年的数据损坏竞态

  2026 年 3 月 3 日，SQLite 开发者 Dan 发现并修复了一个数据竞态 — 它会在 WAL 模式下罕见地损坏数据库。这个缺陷存在于自 WAL 引入的 3.7.0(2010-07-21)到 3.51.2(2026-01-09)的所有版本中，并在 3.51.3(2026-03-13)中被修复。根源在于：wal-index 头部的一个字段 nBackfill，被两把不同的锁分别管着 — 递增发生在持有 WALCKPTLOCK 时

  2026-07-16 · 29 分钟阅读 #sqlite#wal#database-internals#concurrency#data-race

• Python 3.15 的 abi3t — free-threaded 构建的 stable ABI 解决了什么问题，代价又是什么

  借助 PEP 779，free-threaded 构建在 3.14 摘掉了实验性标签，但在它成为默认构建的 Phase III 之前，除了解释器性能之外还横亘着一件事 — 分发。free-threaded 构建无法使用 stable ABI(abi3)，导致 C 扩展作者不得不为每一种「Python 版本 × 线程模式」组合各自打出一份 wheel。PEP 803 用一个叫 abi3t 的 stable ABI 变体来填补这个缺口，目标

  2026-07-16 · 19 分钟阅读 #python#free-threaded#cpython#concurrency#pep-703

• 并发 vs 并行 — "应对"与"真正同时做"的区别

  Rob Pike 著名的区分 — 并发是"应对"多件事，并行是"同时做"多件事。本文梳理线程与事件循环、竞态条件与数据竞争、互斥锁与死锁、哲学家就餐问题、原子操作，以及 async(I/O)何时占优、线程(CPU)何时占优。

  2026-07-03 · 19 分钟阅读 #concurrency#systems#fundamentals