进程管理实验——POSIX下死锁与处理死锁（三）

实验目的

通过观察、分析实验现象，深入理解理解互斥锁的原理及特点掌握在POSIX 规范中的互斥函数的功能及使用方法

实验前准备

1、在Linux下, 线程的互斥量数据类型是pthread_mutex_t. 在使用前, 要对它进行初始化:

　　对于静态分配的互斥量, 可以把它设置为PTHREAD_MUTEX_INITIALIZER, 或者调用pthread_mutex_init.

本次实验用宏 PTHREAD_MUTEX_INITIALIZER 来初始化静态分配的互斥锁：

pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;

2、销毁互斥锁：pthread_mutex_destroy (&lock);

3、对共享资源的访问, 要对互斥量进行加锁, 如果互斥量已经上了锁, 调用线程会阻塞, 直到互斥量被解锁. 在完成了对共享资源的访问后, 要对互斥量进行解锁。一般加锁与解锁函数是成对出现的：int pthread_mutex_lock(pthread_mutex_t *mutex);和int pthread_mutex_unlock(pthread_mutex_t *mutex);

注意

　　在编译时注意加上-lpthread参数，以调用静态链接库。因为pthread并非Linux系统的默认库。 

实验程序：（已在Ubuntu 14.04下完美运行）

#include <stdio.h>
#include <sys/types.h>
#include <unistd.h>
#include <ctype.h>
#include <pthread.h>

#define LOOP_TIMES 100

/* 用宏PTHREAD_MUTEX_INITIALIZER来初始化静态分配的互斥锁 */
pthread_mutex_t mutex1 = PTHREAD_MUTEX_INITIALIZER;
pthread_mutex_t mutex2 = PTHREAD_MUTEX_INITIALIZER;

void *thread_worker(void *);
void critical_section(int thread_num, int i);

void *thread_worker(void *p) {
	int i;

	for (i = 0; i < LOOP_TIMES; i++) {
		// 两句函数中间的代码就是被上锁的代码，被上锁的代码只能有一个线程使用，
		// 别的线程执行到这里会发生阻塞，只有unlock之后，别的线程才能使用lock之后进入代码。
		pthread_mutex_lock(&mutex2);
		pthread_mutex_lock(&mutex1);
		critical_section(2, i);
		pthread_mutex_unlock(&mutex2);
		pthread_mutex_unlock(&mutex1);
	}
}

void critical_section(int thread_num, int i) {
	printf("Thread-%d: %d\n", thread_num, i);
}

int main(void) {
	int rtn, i;
	pthread_t pthread_id = 0; /* 存放子线程的id */

	// 2号线程
	rtn = pthread_create(&pthread_id, NULL, thread_worker, NULL);

	if(rtn != 0) {
		printf("pthread_create ERROR!\n");
		return -1;

	}

	// 1号线程
	for (i = 0; i < LOOP_TIMES; i++) {
		// pthread_mutex_lock(&mutex1);
		// pthread_mutex_lock(&mutex2);
		pthread_mutex_lock(&mutex2);
		pthread_mutex_lock(&mutex1);
		critical_section(1, i);
		pthread_mutex_unlock(&mutex2);
		pthread_mutex_unlock(&mutex1);

	}

	pthread_mutex_destroy(&mutex1);
	pthread_mutex_destroy(&mutex2);

	return 0;
}

实验过程：

仔细阅读程序，编译程序后，先预计一下这个程序的运行结果。运行程序。若程序没有响应，按ctrl+c 中断程序运行，然后再重新运行，如此反复若干次，记录下每次的运行结果。若产生了死锁，请修改程序，使其不会死锁。

死锁状态的运行结果：

修改程序后的运行结果：

由此可见，调整了加锁顺序之后，程序就不会产生死锁。

假设：当线程1获取锁1，再获取锁2后才能进入临界区1，线程2获取锁2，再获取锁1才能进入临界区2。某个时刻，线程1获取了锁1，再去获取锁2的时候发现锁2已经被线程2锁住了，而线程2获取锁2后，发现锁1被线程1锁住了。这样2个线程谁也不让谁，都进不了自己的临界区，就产生了死锁现象！一般遇到这种情况常见的解决办法是：规定统一的加锁顺序。线程1和线程2都按照先锁1，再锁2。还一种就是使用pthread_mutex_trylock()，如果该函数返回EBUSY错误，就释放这个线程的所有锁，不过效率有点低。

实验问题：

1. 你预想deadlock.c 的运行结果会如何？

线程1 ，2会交替运行，且执行到一半会终止。

2. deadlock.c 的实际运行结果如何？多次运行每次的现象都一样吗？为什么会这样？

每次运行的结果不同。 线程终止是因为，线程的推进顺序不合法。
为避免死锁的产生，则应调换线程1或线程2对1,2号资源加锁的顺序。即使线程1,2对1,2号资源的加锁顺序一致。即一次性为其分配了它所需要的所有资源，避免了死锁的产生。