Tag
作者介绍如何借助 Nix 的确定性 Rewind VM 构建调试器，利用 derivation 记录完整输入，实现可复现的竞态条件复现与精确定位，大幅降低了实现调试功能的难度。
SWE-Race is a new benchmark of 188 real concurrency bugs (races, deadlocks, cancellation issues) from merged PRs in ~100 Python projects, graded by project tests in network-free containers with git history stripped. Results show GLM-5.3 Flash (85% single attempt, 82% with retries) roughly matching GPT-5.6 Luna (81%), with most model differences concentrated in the hard half of tasks.
This article explains concurrency and threads in inference engineering, covering multi-threading, parallelization, and race conditions with visual examples.
The article introduces MAccConc, a tool from Project Zero that helps test and explore race conditions in multi-threaded code, specifically for the Linux kernel, using memory access tracing and stack-based delay injection.
The article explains how to handle race conditions in PostgreSQL when modeling state transitions with an append-only table, suggesting the use of SELECT FOR UPDATE to serialize transactions and avoid inconsistencies.
Discusses the failure modes of shared state in large multi-agent systems with 50+ nodes, including race conditions, multi-node desync, and poisoned context, and asks for war stories from practitioners.
The article discusses the challenge of managing tool access in multi-agent systems, where parallel execution can cause race conditions and coordination issues, leading to inconsistent results.
The author shares pitfalls from building a shared decision log for AI agent teams, including race conditions exposed by faster models, unreliable contradiction detection with cosine similarity, and challenges in testing multi-agent promises.
Presents S-Bus, an HTTP middleware that uses a DeliveryLog mechanism to automatically reconstruct read sets and enforce Observable-Read Isolation consistency, preventing structural race conditions in multi-agent LLM coordination.