实验 同步机制之生产者和消费者问题【操作系统】

简介: 实验 同步机制之生产者和消费者问题【操作系统】

同步机制之生产者和消费者问题

信号量:

信号量是进程间通信的一种机制,也可以解决同一进程不同线程之间的通信问题。它是用来保证两个或多个关键代码段不被并发调用,防止多个进程同时对共享资源进行操作。
原理:

在进入一个关键代码段之前,线程必须获取一个信号量;一旦该关键代码段完成了,那么该线程必须释放信号量。其它想进入该关键代码段的线程必须等待直到第一个线程释放信号量。
形象理解:
以一个停车场的运作为例。假设停车场只有三个车位,一开始三个车位都是空的。这时如果同时来了五辆车,看门人允许其中三辆直接进入,然后放下车拦,剩下的车则必须在入口等待,此后来的车也都不得不在入口处等待。这时,有一辆车离开停车场,看门人得知后,打开车拦,放入外面的一辆进去,如果又离开两辆,则又可以放入两辆,如此往复。 在这个停车场系统中,车位是公共资源,每辆车好比一个线程,看门人起的就是信号量的作用。

两种操作
抽象的来讲,信号量的特性如下:信号量是一个非负整数(车位数),所有通过它的线程/进程(车辆)都会将该整数减一(通过它当然是为了使用资源),当该整数值为零时,所有试图通过它的线程都将处于等待状态。


Wait(等待,或叫P操作) 当一个线程调用Wait操作时,它要么得到资源然后将信号量减一,要么一直等下去(指放入阻塞队列),直到信号量大于等于一时。

signal(释放,或叫V操作) 实际上是在信号量上执行加一操作,对应于车辆离开停车场,该操作之所以叫做“释放”是因为释放了由信号量守护的资源。

Linux POSIX API中对应的两个函数:
1.sem_wait函数

函数原型 :int sem_wait(sem_t * sem);

它的作用是从信号量的值减去一个“1”,但它永远会先等待该信号量为一个非零值才开始做减法。


2.sem_post函数

函数原型 :int sem_post(sem_t *sem);

作用是给信号量的值加上一个“1”。 当有线程阻塞在这个信号量上时,调用这个函数会使其中一个线程不再阻塞,选择机制是由线程的调度策略决定的。

生产者和消费者问题
生产者-消费者问题是一个经典的进程同步问题,已经属于化石级别的了。该问题最早由Dijkstra提出,用以演示他提出的信号量机制。要求设计在同一个进程地址空间内执行的两个线程。生产者线程生产物品,然后将物品放置在一个空缓冲区中供消费者线程消费。消费者线程从缓冲区中获得物品,然后释放缓冲区。当生产者线程生产物品时,如果没有空缓冲区可用,那么生产者线程必须等待消费者线程释放出一个空缓冲区。当消费者线程消费物品时,如果没有满的缓冲区,那么消费者线程将被阻塞,直到新的物品被生产出来。


要求设计并实现一个进程,该进程拥有一个生产者线程和一个消费者线程,它们使用N个不同的缓冲区(N为一个自定义的确定的数值,例如N=32)。需要使用如下信号量:


一个互斥信号量,用以阻止生产者线程和消费者线程同时操作缓冲区列表;


一个信号量,当生产者线程生产出一个物品时可以用它向消费者线程发出信号;


一个信号量,消费者线程释放出一个空缓冲区时可以用它向生产者线程发出信号;


可参考 pv操作经典问题-生产者与消费者问题

实验要求

  1. 运行例子中的代码,请观察运行结果,并说明生产者和消费者在并发执行过程中,互斥信号量和同步信号量的作用。
  2. 这是一个单生产者和单消费者的问题,改进程序,使其成为多生产者和消费者问题。
  3. 实验过程中遇到哪些问题,有哪些收获,越详细越具体越好。

单生产者与单消费者【源程序】

代码

1.c

//pv操作:生产者与消费者经典问题
//author:leaf
#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <pthread.h>
#include <semaphore.h>
#define M 32             /*缓冲数目*/
#define P(x)     sem_wait(&x)
#define V(x)    sem_post(&x)
int in = 0;         /*生产者放置产品的位置*/
int out = 0;             /*消费者取产品的位置*/
int buff[M] = {0};     /*缓冲初始化为0, 开始时没有产品*/
sem_t empty_sem;         /*同步信号量,当满了时阻止生产者放产品*/
sem_t full_sem;         /*同步信号量,当没产品时阻止消费者消费*/
pthread_mutex_t mutex; /*互斥信号量, 一次只有一个线程访问缓冲*/
/*
 *output the buffer
 */
void print()
{
    int i;
    for(i = 0; i < M; i++)
        printf("%d ", buff[i]);
    printf("\n");
}
/*
 *producer
 */
void *producer()
{
    for(;;)
    {
        sleep(1);
        P(empty_sem);
        pthread_mutex_lock(&mutex);
        in = in % M;
        printf("(+)produce a product. buffer:");
        buff[in] = 1;
        print();
        ++in;
        pthread_mutex_unlock(&mutex);
        V(full_sem);
    }
}
/*
 *consumer
 */
void *consumer()
{
    for(;;)
    {
        sleep(2);
        P(full_sem);
        pthread_mutex_lock(&mutex);
        out = out % M;
        printf("(-)consume a product. buffer:");
        buff[out] = 0;
        print();
        ++out;
        pthread_mutex_unlock(&mutex);
        V(empty_sem);
    }
}
void sem_mutex_init()
{
    /*
     *semaphore initialize
     */
    int init1 = sem_init(&empty_sem, 0, M);
    int init2 = sem_init(&full_sem, 0, 0);
    if( (init1 != 0) && (init2 != 0))
    {
        printf("sem init failed \n");
        exit(1);
    }
    /*
     *mutex initialize
     */
    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);
    }
    /*create the consumer thread*/
    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);
}

结果


ctrl+c强制结束

多生产者和多消费者【程序改进】

代码

最简单的改法

//增加
void *producer2()
void *consumer2()
ret = pthread_create(&id3, NULL, producer2, NULL);
ret = pthread_create(&id4, NULL, consumer2, NULL);

2.c

//pv操作:生产者与消费者经典问题
//author:leaf
#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <pthread.h>
#include <semaphore.h>
#define M 32             /*缓冲数目*/
#define P(x)     sem_wait(&x)
#define V(x)    sem_post(&x)
int in = 0;         /*生产者放置产品的位置*/
int out = 0;             /*消费者取产品的位置*/
int buff[M] = {0};     /*缓冲初始化为0, 开始时没有产品*/
sem_t empty_sem;         /*同步信号量,当满了时阻止生产者放产品*/
sem_t full_sem;         /*同步信号量,当没产品时阻止消费者消费*/
pthread_mutex_t mutex; /*互斥信号量, 一次只有一个线程访问缓冲*/
/*
 *output the buffer
 */
void print()
{
    int i;
    for(i = 0; i < M; i++)
        printf("%d ", buff[i]);
    printf("\n");
}
/*
 *producer
 */
void *producer()
{
    for(;;)
    {
        sleep(1);
        P(empty_sem);
        pthread_mutex_lock(&mutex);
        in = in % M;
        printf("(+)produce a product. buffer:");
        buff[in] = 1;
        print();
        ++in;
        pthread_mutex_unlock(&mutex);
        V(full_sem);
    }
}
/*
 *consumer
 */
void *consumer()
{
    for(;;)
    {
        sleep(2);
        P(full_sem);
        pthread_mutex_lock(&mutex);
        out = out % M;
        printf("(-)consume a product. buffer:");
        buff[out] = 0;
        print();
        ++out;
        pthread_mutex_unlock(&mutex);
        V(empty_sem);
    }
}
/*
 *producer2
 */
void *producer2()
{
    for(;;)
    {
        sleep(1);
        P(empty_sem);
        pthread_mutex_lock(&mutex);
        in = in % M;
        printf("(+)produce2 a product. buffer:");
        buff[in] = 1;
        print();
        ++in;
        pthread_mutex_unlock(&mutex);
        V(full_sem);
    }
}
/*
 *consumer2
 */
void *consumer2()
{
    for(;;)
    {
        sleep(2);
        P(full_sem);
        pthread_mutex_lock(&mutex);
        out = out % M;
        printf("(-)consume2 a product. buffer:");
        buff[out] = 0;
        print();
        ++out;
        pthread_mutex_unlock(&mutex);
        V(empty_sem);
    }
}
void sem_mutex_init()
{
    /*
     *semaphore initialize
     */
    int init1 = sem_init(&empty_sem, 0, M);
    int init2 = sem_init(&full_sem, 0, 0);
    if( (init1 != 0) && (init2 != 0))
    {
        printf("sem init failed \n");
        exit(1);
    }
    /*
     *mutex initialize
     */
    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;
    pthread_t id3;
    pthread_t id4;
    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);
    }
    /*create the consumer thread*/
    ret = pthread_create(&id2, NULL, consumer, NULL);
    if(ret != 0)
    {
        printf("consumer creation failed \n");
        exit(1);
    }
    /*create the producer2 thread*/
    ret = pthread_create(&id3, NULL, producer2, NULL);
    if(ret != 0)
    {
        printf("producer2 creation failed \n");
        exit(1);
    }
    /*create the consumer2 thread*/
    ret = pthread_create(&id4, NULL, consumer2, NULL);
    if(ret != 0)
    {
        printf("consumer2 creation failed \n");
        exit(1);
    } 
    pthread_join(id1,NULL);
    pthread_join(id2,NULL);
    pthread_join(id3,NULL);
    pthread_join(id4,NULL);
    exit(0);
}

结果



产生死锁的代码【程序改进】

产生死锁

void *consumer()中的

P(full_sem);  
pthread_mutex_lock(&mutex);

调换顺序 改为

pthread_mutex_lock(&mutex);
P(full_sem);  

更明显

并且为了更快的产生死锁

void *producer()中的

sleep(1);

改为

sleep(10);

代码

3.c

//pv操作:生产者与消费者经典问题
//author:leaf
#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <pthread.h>
#include <semaphore.h>
#define M 32             /*缓冲数目*/
#define P(x)     sem_wait(&x)
#define V(x)    sem_post(&x)
int in = 0;         /*生产者放置产品的位置*/
int out = 0;             /*消费者取产品的位置*/
int buff[M] = {0};     /*缓冲初始化为0, 开始时没有产品*/
sem_t empty_sem;         /*同步信号量,当满了时阻止生产者放产品*/
sem_t full_sem;         /*同步信号量,当没产品时阻止消费者消费*/
pthread_mutex_t mutex; /*互斥信号量, 一次只有一个线程访问缓冲*/
/*
 *output the buffer
 */
void print()
{
    int i;
    for(i = 0; i < M; i++)
        printf("%d ", buff[i]);
    printf("\n");
}
/*
 *producer
 */
void *producer()
{
    for(;;)
    {
        sleep(10);
        P(empty_sem);
        pthread_mutex_lock(&mutex);
        in = in % M;
        printf("(+)produce a product. buffer:");
        buff[in] = 1;
        print();
        ++in;
        pthread_mutex_unlock(&mutex);
        V(full_sem);
    }
}
/*
 *consumer
 */
void *consumer()
{
    for(;;)
    {
        sleep(2);
        pthread_mutex_lock(&mutex);
      P(full_sem);  
        out = out % M;
        printf("(-)consume a product. buffer:");
        buff[out] = 0;
        print();
        ++out;
        pthread_mutex_unlock(&mutex);
        V(empty_sem);
    }
}
void sem_mutex_init()
{
    /*
     *semaphore initialize
     */
    int init1 = sem_init(&empty_sem, 0, M);
    int init2 = sem_init(&full_sem, 0, 0);
    if( (init1 != 0) && (init2 != 0))
    {
        printf("sem init failed \n");
        exit(1);
    }
    /*
     *mutex initialize
     */
    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);
    }
    /*create the consumer thread*/
    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);
}

结果



分析产生死锁的原因

相关文章
|
算法
数据结构实验之操作系统打印机管理器问题
本实验旨在通过实现操作系统中的打印机管理器问题,掌握队列的基本操作如入队、出队等,利用队列的先进先出特性解决先申请先打印的问题。实验包括队列的初始化、入队、出队、打印队列内容等功能,并通过菜单式界面进行交互。实验结果显示基本功能可正常执行,但在连续操作时存在执行失败的情况,需进一步优化。
176 4
|
弹性计算 运维
阿里云操作系统智能助手OS Copilot实验测评报告
**OS Copilot 产品体验与功能反馈摘要** 运维人员发现OS Copilot易上手,文档清晰,助其高效排查故障(8/10分)。愿意推荐并参与开源开发。亮点在于知识问答,能快速筛选答案。相较于竞品,优点是新手友好、文档清晰,但功能扩展性待增强。期望增加系统错误排查与解决方案,并集成ECS等,以优化系统安装流程。
阿里云操作系统智能助手OS Copilot实验测评报告
|
弹性计算 运维 自然语言处理
阿里云操作系统智能助手OS Copilot实验测评报告
OS Copilot是针对Linux的智能助手,助力学习、运维及编程。用户界面直观,自然语言交互方便新手。官方文档详尽,但初次配置略复杂,适合学生和开发者。在提高代码编写和调试效率、系统学习上得分高,功能亮点包括代码生成、问答和命令执行。用户期待更多操作系统支持、自动错误分析和系统排查功能。
342 3
|
弹性计算 人工智能 运维
阿里云操作系统智能助手OS Copilot实验测评报告
阿里云操作系统智能助手OS Copilot实验测评报告
267 2
|
弹性计算 运维 监控
阿里云操作系统智能助手OS Copilot实验测评报告
阿里云OS Copilot助力学生提升学习效率,简化Linux操作。作为学生,体验者发现它在代码理解和诊断上极具价值,给予新手友好体验,但存在命令执行限制和错误处理问题。评分10/10,愿推荐并参与未来开发。功能上,知识问答、辅助编程和命令执行深受喜爱。对比其他产品,OS Copilot简洁集成,但需改善多命令支持和错误分析。期望支持更多操作系统及与ACK等工具联动,增强系统管理和故障排查。
141 1
|
弹性计算 运维
阿里云操作系统智能助手OS Copilot的实验测评报告
OS Copilot 产品体验摘要 用户角色与场景:一位计算机学生使用辅助学习和解决问题,特别是通过代码解释功能加深理解。 易用性与文档:初者可能会觉得有些细节不明确。 帮助程度:用户给予极高评价,对学习帮助大,评分10分,快速定位和解决代码问题,提升学习效率。 推荐与参与:用户愿意推荐给他人。 功能体验:用户尝试了所有功能,对知识问答、辅助编程和命令执行特别感兴趣,尤其是命令执行帮助大。 对比其他产品:OS Copilot优点是便捷、准确。 期望功能:用户希望增加自动报错分析和系统错误排查。 联动体验:用户期待,以实现更全面的工具集。 总结:整体体验积极,用户看好其潜力,期待改进和未来联动。
|
弹性计算 运维 Python
阿里云操作系统智能助手OS Copilot实验测评报告
**OS Copilot 产品测评摘要** - 学生使用,用于学习和编码,发现上手难度较高,指引文档不清晰,特别是Access ID设置和代码复制流程。 - 功能上,评分9分,辅助编程和知识问答功能显著提升了学习效率,减少了错误。 - 愿意推荐,并有兴趣参与开源开发以提升自我。 - 希望增强错误排查,提供具体错误原因和位置。 - 联动ACK智能助手可增强学习效果。 [链接]: https://developer.aliyun.com/topic/instructions-for-os-copilot
|
弹性计算 运维 自然语言处理
阿里云操作系统智能助手OS Copilot的实验测评报告
阿里云OS Copilot是AI驱动的Linux操作系统助手,助于系统管理和运维。学生反馈它在代码解释和编写上有很大帮助,给予8-9分的评价。功能亮点包括自然语言问答、辅助编程和命令解释,简化操作,提升效率。尽管易用,但需基础Linux知识。用户期待更多功能如系统优化建议和代码优化。与ACK智能助手配合,实现故障排查和运维。适合寻求效率提升的个人和团队。
243 0
|
弹性计算 运维 自然语言处理
阿里云操作系统智能助手OS Copilot实验测评报告
阿里云OS Copilot是面向Linux的智能助手,助运维工程师提升效率。易上手,文档清晰,对新人友好。提供自然语言问答、编程辅助,尤善理解与响应。评分10/10,推荐给同行。目前侧重辅助编程,期望支持更多OS、并发命令执行及错误分析。适合集成于ECS等,打造自动化工作流。期待开源版本与社区合作。
274 0
|
弹性计算 运维 安全
操作系统智能助手OS Copilot实验测评报告
**阿里云OS Copilot摘要** OS Copilot是面向开发者和学生的智能助手,尤其对学习编程和运维有显著帮助。虽然初期上手复杂,但其知识问答、辅助编程功能深受好评,评分10分。用户愿推荐给他人,并期待开源参与开发。产品优点包括多功能、便捷性和高准确度,但新手引导需改进。期望增加Windows支持和自动化错误分析功能。通过与ECS等产品联动,OS Copilot能提升整体效率,简化操作,展现云服务的未来潜力。
180 0

热门文章

最新文章

推荐镜像

更多