死锁
死锁(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耗尽的,解决办法是引入随机变量、增加重试次数等。
下一节:进程的概念大家都很熟悉,但你是否能准确说出僵尸进程的含义呢?还有COW(Copy On Write)、Flock(File Lock)、Epoll和Namespace的概念又是否了解过呢?