Hibana：Rust并发编程新工具，编译期即可证明协议无死锁
Hibana 是一个专为 Rust 设计的仿射多方会话类型（MPST）运行时引擎。它允许开发者编写全局的通信编排逻辑，并在编译阶段将其投影为本地角色，从而在代码运行前就通过数学证明协议是无死锁的。该工具核心支持 no_std 和无堆内存分配...
标签索引 / 第 2 页
并发编程
这个标签下有 18 篇文章。按时间回看相关判断与实践记录。
标签精选
相关内容
Show HN: Deadlog —— 解决 Go 死锁难题的“即插即用”调试工具
针对 Go 语言开发中常见的死锁痛点，开发者推出了一款轻量级调试库 Deadlog。它允许开发者几乎无缝地替换标准的 Mutex 或 RWMutex，利用 runtime.Callers 快速定位锁的持有者和调用堆栈，无需繁琐的 print...
攻克并发“圣诞老人难题”：利用模型检查器验证多线程系统的正确性
文章深入探讨了经典的计算机科学并发问题——“圣诞老人问题”，并展示了如何利用模型检查器这一形式化验证工具来求解。文章指出，传统的并发编程依赖开发者经验，难以覆盖所有边界条件；而模型检查器通过数学建模，可以穷举所有可能的线程交错执行路径，自动...
为什么 OpenClaw 用队列而不是 async/await?一次架构解剖
大多数 AI Agent 都在用 async/await,但 OpenClaw 偏偏选择了队列。这不是倒退,而是一次对并发编程的深刻反思。 你以为你懂 AI Agent,其实你只是在用它 如果你是 AI 工程师,你可能已经用过 Claude...
自旋锁虽好，但别乱写：解析并发编程中的深层陷阱
作者深入剖析了自旋锁实现中的常见误区与性能陷阱。文章指出，开发者常因忽视原子操作、CPU架构差异及缓存一致性等问题，导致系统性能下降甚至死锁。通过对比Intel与AMD的指令延迟差异，以及分析优先级反转和虚假共享等现象，作者强调了手写自旋锁...
Go语言锁机制深度指南
Go语言锁机制深度指南 一、并发与并行 并发（Concurrency）：同时处理多个任务 并行（Parallelism）：同时执行多个任务 Go的并发模型： – Goroutines：轻量级线程 – Channels...
环形缓冲区的正确实现：多年编程错误修正
本文揭示了程序员在实现环形缓冲区时常见的错误，重点介绍了如何使用原子操作和内存屏障构建高效的并发非阻塞单读者单写者环形缓冲区。讨论包括非2的幂次大小的优化方案（使用条件判断替代整数模运算），以及锁-free实现技术，如LMAX Disrup...
Go语言编程深度探索：从语法到架构设计
本文深入探讨了Go编程语言的核心特性和最佳实践。文章从Go的简洁语法和并发模型出发，逐步深入到内存管理和性能优化等高级主题。作者通过丰富的代码示例和实际项目案例，展示了Go语言在构建高性能、高可靠性系统中的独特优势。特别值得关注的是文章对G...