Go 中的递归锁定
Go 的sync 包中,Mutex 数据结构不支持递归锁定。这意味着 Goroutine 不能连续多次获取相同的锁。虽然这看起来像是一个限制,但对于在 Go 中实现递归锁存在强烈的反对意见。
根据 Go 开发团队成员 Russ Cox 的说法,递归互斥锁从根本上来说是有缺陷的,因为它们损害了互斥锁的保证旨在提供。互斥体保护不变量,这是程序数据结构的基本属性。当 Goroutine 获取互斥锁时,它假设不变量被保留。
但是,在递归互斥锁中,一个 Goroutine 可以多次获取相同的锁。这可能会破坏不变量,因为 goroutine 可能会解锁互斥体并在重新获取数据结构之前修改数据结构。这可能会导致不可预测且可能错误的程序行为。
Cox 建议重新设计代码以避免需要递归锁。在大多数情况下,可以编写无需递归锁定即可正确运行的代码。
如果绝对必要,可以使用一些变通方法来模拟 Go 中的递归锁定。然而,这些解决方法不受 Go 标准库支持,应谨慎使用。
以上是为什么 Go 的 Mutex 不支持递归锁?的详细内容。更多信息请关注PHP中文网其他相关文章!