死锁与活锁

死锁

死锁(Deadlock)就是一个进程拿着资源A请求资源B,另一个进程拿着资源B请求资源A,双方都不释放自己的资源,导致两个进程都进行不下去。

示例程序

我们可以写代码模拟进程死锁的例子。

package main
func main() {
  ch := make(chan int)
  <-ch
}

运行结果

[email protected]:/go/src# go run deadlock.go
fatal error: all goroutines are asleep - deadlock!
goroutine 16 [chan receive]:
main.main()
/go/src/deadlock.go:5 +0x4f
exit status 2

这里Go虚拟机已经替我们检测出死锁的情况,因为所有Goroutine都阻塞住没有运行,关于Goroutine的概念有机会详细介绍一下。

我们可能很早就接触过死锁的概念,也很容易模拟出来,那么你是否知道活锁呢?

活锁

相对于死锁活锁(Livelock)是什么概念呢?有意思的是,百度百科把这个解释错了。

如果事务T1封锁了数据R,事务T2又请求封锁R,于是T2等待。T3也请求封锁R,当T1释放了R上的封锁后,系统首先批准了T3的请求,T2仍然等待。然后T4又请求封锁R,当T3释放了R上的封锁之后,系统又批准了T4的请求......T2可能永远等待。

这显然是饿死(Starvation)的定义,进入活锁进程是没有阻塞的,会继续使用CPU,但外界看到整个进程都没有前进。

活锁实例

举个很简单的例子,两个人相向过独木桥,他们同时向一边谦让,这样两个人都过不去,然后二者同时又移到另一边,这样两个人又过不去了。如果不受其他因素干扰,两个人一直同步在移动,但外界看来两个人都没有前进,这就是活锁

活锁会导致CPU耗尽的,解决办法是引入随机变量、增加重试次数等。

所以活锁也是程序设计上可能存在的问题,导致进程都没办法运行下去了,还耗CPU。

下一节:进程的概念大家都很熟悉,但你是否能准确说出僵尸进程的含义呢?还有COW(Copy On Write)、Flock(File Lock)、Epoll和Namespace的概念又是否了解过呢?