concurrency

OpenWiki 0.6.0 发布，新功能包括共享工作区、通过并发控制实现更快的代码 Wiki 生成，以及与 @antigravity 和 oh my pi 的集成。

这条推文讨论了使用形式验证方法如 TLA+ 和 Lean 来确保关键任务 AI 基础架构软件的正确性和可扩展性，并提到了 Intent Lab 和 Boris Cherny 在 Claude Agent SDK 方面的工作。

作者评论了由Paul E. McKenney编写的免费在线教科书《Is Parallel Programming Hard, And, If So, What Can You Do About It?》，讨论了其对无锁并发和CPU缓存效应的关注，并分享了在度假期间阅读此书的个人背景。

一个旨在帮助开发者编写用于 APIs、CLIs 和并发服务的地道、生产级 Go 代码的 AI 代理，具有错误处理、并发性和项目上下文保留等功能。

本文比较了 C++ 并发机制中的异常处理行为：magic statics、std::call_once 和 std::async，解释了它们的差异并提供了使用建议。

本文探讨了AI智能体应如何处理执行过程中用户发起的任务变更，提出了诸如任务修订ID等解决方案，并讨论了避免过时或冲突操作的边界情况。

本文特征化了基于LLM的AI代理在诸如问答和编码等任务中的资源与性能动态，揭示了瓶颈并提出了可将延迟改善高达5.4倍的优化方案。

本文系统介绍了Git Worktree的原理、用法及其在AI编码时代帮助开发者管理并发任务和本地开发环境的应用。

jemalloc 5.4.0 已发布，这是一个更新版本的通用内存分配器，强调避免碎片化和可扩展并发，提供源代码和文档。

本文比较了 C++ 中用于延迟执行的 std::call_once 和 std::async，讨论了它们在实现、性能和异常行为方面的差异。

本研究评估了去序和重排序策略以增强自动化规划中的执行灵活性，发现基于块去序的方法在灵活性和效率方面显著优于基于MaxSAT的方法。

本文解释了推理工程中的并发与线程，涵盖多线程、并行化和竞争条件，并配有视觉示例。

本文探讨了应用中世纪东亚逻辑原理来重建并发不变量，将历史逻辑与现代计算机科学研究连接起来。

这篇博客文章详细介绍了优化C++中的自旋锁，通过逐步改进和基准测试，实现了5.7倍加速和5.4倍能耗降低。

本文阐述了Solaris操作系统中的一种名为turnstiles的并发原语，它通过减少开销和防止优先级反转来优化互斥体的使用，对现代系统产生了广泛影响。

关于在两块RTX 4090 GPU上使用llama.cpp并发运行多个AI代理的基准测试报告，揭示了性能限制和Qwen模型的最佳配置。

本文解释了在使用仅追加表建模状态转换时，如何处理PostgreSQL中的竞态条件，建议使用SELECT FOR UPDATE来序列化事务并避免不一致性。

Go 1.27 引入了 goroutine 泄漏分析器，以准确检测和防止运行中的程序（包括生产系统）中的 goroutine 泄漏，且误报率极低。

文章区分了系统设计中的两种抽象类型：模块化抽象，它隐藏内部细节；建模抽象，它将系统简化为基本行为以进行形式化推理。

本文详细阐述了 Go 的 sync.Map 从普通映射到哈希字典树实现的演变过程，介绍了 Go 1.24 和 1.26 版本中的变化，并逐步解析了其 API 与内部机制。