Liveness on Tony Baihttps://tonybai.com/tags/liveness/Recent content in Liveness on Tony BaiHugozh-cn2004-2026 Tony Bai. 版权所有.Thu, 24 Jul 2025 00:00:00 +0800Goroutine泄漏防不胜防？Go GC或将可以检测“部分死锁”，已在Uber生产环境验证https://tonybai.com/2025/07/24/deadlock-detection-by-gc/Thu, 24 Jul 2025 00:00:00 +0800https://tonybai.com/2025/07/24/deadlock-detection-by-gc/本文永久链接 – https://tonybai.com/2025/07/24/deadlock-detection-by-gc 大家好，我是Tony Bai。 Go 语言的 go 关键字让并发编程变得前所未有的简单，但也带来了新的挑战。当所有 goroutine 都陷入阻塞时，Go runtime 会报告一个“全局死锁”并终止程序。然而，更常见也更隐蔽的是**部分死锁**：一部分 gorouti...使用TLA+形式化验证Go并发程序https://tonybai.com/2024/08/05/formally-verify-concurrent-go-programs-using-tla-plus/Mon, 05 Aug 2024 00:00:00 +0800https://tonybai.com/2024/08/05/formally-verify-concurrent-go-programs-using-tla-plus/本文永久链接 – https://tonybai.com/2024/08/05/formally-verify-concurrent-go-programs-using-tla-plus > Writing is nature’s way of letting you know how sloppy your thinking is – Guindon 在2024年6月份举办的GopherCon ...