通过生产者与消费者模型感受死锁——西邮本科生的实验

一. 实验目的及实验环境

1.实验目的

通过观察、分析实验现象，深入理解产生死锁的原因，学会分析死锁的方法， 并利用 pstack、 gdb 或 core 文件分析（ valgrind (DRD+Helgrind) 可选 ）其中的一 种方法来分析死锁。

2.实验环境    

（1）硬件

CPU：Intel i5

内存：16G

显示器：NVIDIA 1050Ti

硬盘空间：1T    

（2）软件  

虚拟机名称及版本：VMware

操作系统名称及版本：Ubuntu16.04

编译器：gedit

二. 实验内容

1、实验前准备工作  

仔细阅读参考资料 Linux 死锁现象及分析方法，了解对死锁现象进行分析的各种工具，选择其中一种对死锁现象进行分析。

2、实验内容

1）准备好生产者-消费者问题，或者哲学家就餐问题产生死锁的代码。

2）编译程序后，注意加调试选项-g，先预计一下这个程序的运行结果，运行程序，若程序没有响应，按 ctrl+c 中断程序运行，然后再重新运行，如此反复若干次，记录下每次的运行结果。若产生了死锁，通过工具对死锁进行分析。

三、实验结果分析

连续多次查看这个进程的函数调用关系堆栈，死锁线程将一直处于等锁状态，对比多次的函数调用堆栈输出结果，确定哪两个线程（或者几个线程）一直没有变化且一直处于等锁的状态，给出运行结果截图，在图中标出死锁出现的地方，并分析为什么会出现死锁代码设计：假设只有一个生产者，却有一个消费者，生产者一次生产一个资源，消费者一次消耗一个资源，按照基本原理应该是先申请资源，进而互斥锁上锁，若申请失败，就不上锁，等待申请成功，再上锁。为了产生死锁条件修改顺序：先互斥锁上锁，然后再进行资源申请。这样有可能出现生产者未来得及生产资源，消费者就进行申请，但先上锁后申请，所以未申请到，不会解锁，因为互斥锁未解锁，生产者无法生产。举个简单的例子（和我组成员刘传玺一同商讨得出）：

假设有一个筐子，甲做馒头，乙吃馒头，合理的情况应该是乙看一眼筐里有没有馒头，若有，则伸手去取，若没有，则等甲放进去，再取；相对应，如果做甲看见乙在取馒头，此时筐子被占用了，甲暂时还不能放馒头进去，等乙取完了， 甲才放新馒头。就这样有条不紊一直运行。但是现在情况变了，乙不管三七二十一伸手就拿，要是拿到了还好，就吃了，要是手快了，馒头还没做好，他伸手取一抓，没抓找，手就放在筐子里等，甲一看手在筐里放着，我馒头也放不进去啊，那就等他把手拿出来再放进去... ...一个在等馒头来，一个在等手出去：死锁！

发生死锁，无资源，却申请资源 ：

进行检查 ：

锁定错误位置 ：

互斥锁先锁定后申请资源，顺序出错，可能会导致死锁。发现错误，解决错误：

四、总结

平时阅读代码，觉得一切顺理成章，非常自然，从未思考为何要这样做。通过本次实验，老师逆向思维，让我们写出死锁！所有代码都在避开死锁，老师让我们写出死锁，无从下手，毫无头绪，实在让人头疼。查阅资料，反复理解运行顺序: 申请，上锁，释放，来来回回，费九牛二虎之力才写出死锁。回头观望， 瞬间恍然大悟，明白老师了良苦用心，躲避错误人人都会，但如果我能从无错中犯错，也就是说我理解了整个运行结构，操作流程之后，才能知道在何处会犯错， 能犯错，通过犯错让我们更深刻的体会错误，理解错误。从而根本的明白错误发生的原因以及修改的方式。不得不说实在高明。同时我也感受到了 Linux 代码的严谨，仅仅是两行代码顺序调换，就发生了 意想不到的错误，若在大工程中犯错，可能会带来毁灭性的后果。让我在感叹代码严谨的同时，也让我明白了不可以抱有侥幸心理，只有错和不错，没有可能一说！可能有错那就是错误，100%正确才是真正的正确，严谨认真、高效简洁是编写代码要有的思维风范。

五．附录：源代码（电子版）

#include <stdio.h>

#include <stdlib.h>

#include <unistd.h>

#include <pthread.h>

#include <semaphore.h>

#define M 1

#define P(x) sem_wait(&x)

#define V(x) sem_post(&x)

int in = 0;

int out = 0;

int buff[M] = {0};

sem_t sem_dr;

sem_t sem_co;

pthread_mutex_t mutex;

void print()

{

static int number = 0;

int i;

printf("(%2d)\t",number);

for(i = 0; i < M; i++)

printf("%d ", buff[i]);

number++;

printf("\n");

}

void *producer()

{

for(;;)

{

sleep(1);

P(sem_dr);

pthread_mutex_lock(&mutex);

in = in % M;

printf("(+)produce a product. buffer:");

buff[in] = 1;

print();

++in;

pthread_mutex_unlock(&mutex);

V(sem_co);

}

}

void *consumer()

{

for(;;)

{

sleep(1);

pthread_mutex_lock(&mutex);

P(sem_co);

out = out % M;

printf("(-)consume a product. buffer:");

buff[out] = 0;

print();

++out;

pthread_mutex_unlock(&mutex);

V(sem_dr);

}

}

void sem_mutex_init()

{

int init1 = sem_init(&sem_dr, 0, M);

int init2 = sem_init(&sem_co, 0, 0);

if( (init1 != 0) && (init2 != 0))

{

printf("sem init failed \n");

exit(1);

}

int init3 = pthread_mutex_init(&mutex, NULL);

if(init3 != 0)

{

printf("mutex init failed \n");

exit(1);

}

}

int main()

{

pthread_t id1;

pthread_t id2;

int i;

int ret;

sem_mutex_init(); /*create the producer thread*/

ret = pthread_create(&id1, NULL, producer, NULL);

if(ret != 0)

{

printf("producer creation failed \n");

exit(1);

}

ret = pthread_create(&id2, NULL, consumer, NULL);

if(ret != 0)

{

printf("consumer creation failed \n");

exit(1);

}

pthread_join(id1,NULL);

pthread_join(id2,NULL);

exit(0);

}