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

一. 实验目的及实验环境

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);
}