分享下Russ大神的观点,英文原版
可重入锁是一个非常差的设计。
使用锁的一个最基本的原因是,锁可以保护变量(后续称之为invariant),使其不被其他因素改变。
明确这一点,就可以判断某个场景下,是否应该使用锁。举例说明:
一个使用原子操作实现的计数器,是否需要使用锁?这取决于invariant.
如果invariant就是这个计数器本身,那么原子操作足以保证并发安全,不需要锁。
但是如果这个计数器需要和其他数据结构(比如列表中元素的个数)保持一致性,那么独立的原子操作就不够了,这种情况下就需要使用锁机制,来保证更高层次的invariant的并发安全。这也是Go中的Map不保证原子性的原因,在一般情况下,需要增加太多的开销,而没有什么收益。
下面看下可重入锁,假设有如下代码:
func F() {
mu.Lock