面试相关——我今天要把死锁弄清楚

本文链接：https://blog.csdn.net/Lazyboy_/article/details/89458125

死锁

死锁是指由于两个或多个进程（线程同样）互相持有对方所需要的资源，导致这些线程处于等待状态（阻塞现象），没有外力干扰的情况下无法继续执行。互相等待对方释放资源，产生死锁。

产生死锁的必要条件（4个）

1. 资源互斥条件：进程对于所分配到的资源具有排他性，一个资源只能由一个进程占用，知道该进程释放该资源。

2. 请求保持条件：进程会请求所有需要的资源，如果过程中因为缺少资源而阻塞，已请求到的资源不会释放。

3. 不可剥夺条件：进程无法剥夺其他进程的资源，知道其他进程释放资源后才可能请求到。

4. 循环等待条件：死锁发生时，一定有两个或以上的进程形成环路，在等待下一个进程的某些资源，导致永久阻塞。

这四个条件是死锁产生的必要条件，只要不满足所有四个条件，就不会出现死锁。

举个栗子，两个goroutine各申请两个锁，各占有一个锁的情况下申请另一个导致阻塞。

package main

import (
	"fmt"
	"sync"
	"time"
)

var l1 sync.Mutex
var l2 sync.Mutex

func main() {
	go f1()
	go f2()
	time.Sleep(5 * time.Second)
	fmt.Println("end")
}

func f1() {
	l1.Lock()
	fmt.Println("f1 -- l1 is locking")
	time.Sleep(2 * time.Second)
	l2.Lock()
	fmt.Println("f1 -- l2 locking")
	time.Sleep(2 * time.Second)
	l2.Unlock()
	fmt.Println("f1 -- l2 unlock")
	l1.Unlock()
	fmt.Println("f1 -- l1 unlock")
}

func f2() {
	l2.Lock()
	fmt.Println("f2 -- l2 is locking")
	time.Sleep(2 * time.Second)
	l1.Lock()
	fmt.Println("f2 -- l1 locking")
	time.Sleep(2 * time.Second)
	l1.Unlock()
	fmt.Println("f2 -- l1 unlock")
	l2.Unlock()
	fmt.Println("f2 -- l2 unlock")
}


Print：
f1 -- l1 is locking
f2 -- l2 is locking
end

下面是比较容易混淆的概念（面试题中，有时候会搞混）