(1)自己锁自己(自己重复加同一个锁)
解决:上锁,自己操作完成后,一定要解锁 lock 和 unlock 成对出现
举例:
for(int i = 0; i < MAX; i++)
{
// 加锁
pthread_mutex_lock(&mutex); // 第一次循环,没解锁,第二次循环,执行至此,由于发现有锁,因此阻塞
代码……
// 没有解锁
}
对于此处内核设计的思考:
锁的类型 pthread_mutex_t 本质上是一个结构体。这个结构体中会有一个成员属性(假设是flag),用于判断是否上锁,int型,其值是0或者1,1代表有一把锁可用,意味着没锁,而0代表有锁,当某线程执行到pthread_mutex_lock,内核会通过 flag 判断是否上锁,只要是上锁状态,所有线程都会被组设,因为在设计时候就决定了,它只关心是否上锁,而不会关心是谁上的锁,因此会出现自己锁住自己的现象。
试想:在设计的时候,在结构体中,增加一个属性,用于判断是哪个线程上的锁,执行到pthread_mutex_lock,先判断是否上锁,如果上锁,再判断是否是我上的锁,这样就将“普通锁”变为“指纹锁”,就可以避免自己锁住自己的情况了。
(2)多个共享数据,多个锁,某些情况下,可能会造成死锁。
如上图所示,就会造成“线程 1 阻塞在 B 锁”和“线程 2 阻塞在 A 锁”的现象。
解决:
方式 1:造成这总的死锁的原因是线程访问顺序不一样:
线程 1 :A->B ;
线程 2 :B->A
因此:让线程按照一定的顺序去访问共享资源。
方式 2:在访问其他锁的时候,需要先将自己的锁解开。
方式 3:使用 trylock。