性能文章>通过生产者与消费者模型感受死锁>

通过生产者与消费者模型感受死锁原创

9412212

一. 实验目的及实验环境

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 中断程序运行,然后再重新运行,如此反复若干次,记录下每次的运行结果。若产生了死锁,通过工具对死锁进行分析。

三、实验结果分析

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

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

发生死锁,无资源,却申请资源 :

image.png

进行检查 :

image.png

锁定错误位置 :

image.png

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

image.png

四、总结

平时阅读代码,觉得一切顺理成章,非常自然,从未思考为何要这样做。通过本次实验,老师逆向思维,让我们写出死锁!所有代码都在避开死锁,老师让我们写出死锁,无从下手,毫无头绪,实在让人头疼。查阅资料,反复理解运行顺序: 申请,上锁,释放,来来回回,费九牛二虎之力才写出死锁。回头观望, 瞬间恍然大悟,明白老师了良苦用心,躲避错误人人都会,但如果我能从无错中犯错,也就是说我理解了整个运行结构,操作流程之后,才能知道在何处会犯错, 能犯错,通过犯错让我们更深刻的体会错误,理解错误。从而根本的明白错误发生的原因以及修改的方式。不得不说实在高明。同时我也感受到了 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);
}
点赞收藏
Linux内核之旅

Linux内核之旅开源社区:http://kerneltravel.net/ 欢迎关注微信公众号“Linux内核之旅”

请先登录,查看2条精彩评论吧
快去登录吧,你将获得
  • 浏览更多精彩评论
  • 和开发者讨论交流,共同进步

为你推荐

从 Linux 内核角度探秘 JDK MappedByteBuffer

从 Linux 内核角度探秘 JDK MappedByteBuffer

12
2