操作系统——吸烟者问题

这次介绍的几个IPC(Inter-process Communication)进程间的通讯问题,加上上篇博客介绍的生产者-消费者问题及其变形,都是非常经典的IPC问题,在王道老师讲解的时候,弹幕一片“秒啊”、“666”,这几个问题的解决方案也着实让人着迷,当我带着怀疑去验证时候,又有一种豁然开朗的感觉,这些都是单一进程问题所不曾有过的。

一、问题描述

二、问题分析

 

 

该问题本质上是“可生产多种产品的单生产者—多消费者”问题。

 

三、如何实现

是否需要设置一个专门的互斥信号量呢?

并不需要,本题中的缓冲区大小为1,在任何时刻四个同步信号量中最多只有一个是1,在任何时刻只有一个进程的P操作不会被阻塞,并顺利地进入临界区!

semaphore offer1 = 0;
semaphore offer2 = 0;
semaphore offer3 = 0;
semaphore finish = 0;
int i = 0;
provider(){
    while(1){
        if(i == 0){
           将组合一放桌上
           V(offer1);
        }else if(i == 1)
        {
            将组合二放桌上
            V(offer2);
        }else id(i == 2)
        {
            将组合三放桌上
            V(offer3);
        }
        i = (i+1)%3;
        P(finish);
    }
}
smoker1 (){
    while(1){
        P(offer1)
        从桌上拿走组合一;
        卷烟;
        抽掉;
        V(finish);
    }
}

smoker2 (){
    while(1){
        P(offer2)
        从桌上拿走组合二;
        卷烟;
        抽掉;
        V(finish);
    }
}

smoker3 (){
    while(1){
        P(offer3)
        从桌上拿走组合三;
        卷烟;
        抽掉;
        V(finish);
    }
}

 

四、总结

吸烟者问题的精华是如何实现“轮流让各个吸烟者吸烟”,这里我们的解决方案是使用一个整形变量i来实现这个“轮流”过程的。

 

转载于:https://www.cnblogs.com/wkfvawl/p/11534452.html

  • 1
    点赞
  • 2
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
吸烟者问题是一个经典的同步问题,它涉及到三个进程:一个代表桌子,另外两个代表吸烟者。 桌子进程负责往桌子上放烟草、纸和火柴。每个吸烟者进程需要烟草、纸和火柴中的两个才能抽烟。当一个吸烟者进程拥有了两个必需的材料之后,它将抽烟并通知桌子进程继续放置烟草、纸和火柴。 以下是一种可能的实现: ```c #include <stdio.h> #include <stdlib.h> #include <unistd.h> #include <pthread.h> pthread_mutex_t table_lock = PTHREAD_MUTEX_INITIALIZER; pthread_cond_t match_cond = PTHREAD_COND_INITIALIZER; pthread_cond_t paper_cond = PTHREAD_COND_INITIALIZER; pthread_cond_t tobacco_cond = PTHREAD_COND_INITIALIZER; int match_on_table = 0; int paper_on_table = 0; int tobacco_on_table = 0; void *agent(void *arg) { while (1) { pthread_mutex_lock(&table_lock); while (match_on_table && paper_on_table && tobacco_on_table) { pthread_cond_wait(&match_cond, &table_lock); pthread_cond_wait(&paper_cond, &table_lock); pthread_cond_wait(&tobacco_cond, &table_lock); } int r = rand() % 3; if (r == 0) { match_on_table = 1; printf("agent: put match on table\n"); pthread_cond_signal(&paper_cond); pthread_cond_signal(&tobacco_cond); } else if (r == 1) { paper_on_table = 1; printf("agent: put paper on table\n"); pthread_cond_signal(&match_cond); pthread_cond_signal(&tobacco_cond); } else { tobacco_on_table = 1; printf("agent: put tobacco on table\n"); pthread_cond_signal(&match_cond); pthread_cond_signal(&paper_cond); } pthread_mutex_unlock(&table_lock); sleep(1); } return NULL; } void *smoker_match(void *arg) { while (1) { pthread_mutex_lock(&table_lock); while (!paper_on_table || !tobacco_on_table) { pthread_cond_wait(&match_cond, &table_lock); } printf("smoker with match: start smoking\n"); match_on_table = 0; paper_on_table = 0; tobacco_on_table = 0; pthread_mutex_unlock(&table_lock); sleep(1); } return NULL; } void *smoker_paper(void *arg) { while (1) { pthread_mutex_lock(&table_lock); while (!match_on_table || !tobacco_on_table) { pthread_cond_wait(&paper_cond, &table_lock); } printf("smoker with paper: start smoking\n"); match_on_table = 0; paper_on_table = 0; tobacco_on_table = 0; pthread_mutex_unlock(&table_lock); sleep(1); } return NULL; } void *smoker_tobacco(void *arg) { while (1) { pthread_mutex_lock(&table_lock); while (!match_on_table || !paper_on_table) { pthread_cond_wait(&tobacco_cond, &table_lock); } printf("smoker with tobacco: start smoking\n"); match_on_table = 0; paper_on_table = 0; tobacco_on_table = 0; pthread_mutex_unlock(&table_lock); sleep(1); } return NULL; } int main() { pthread_t agent_thread; pthread_t smoker_match_thread; pthread_t smoker_paper_thread; pthread_t smoker_tobacco_thread; pthread_create(&agent_thread, NULL, agent, NULL); pthread_create(&smoker_match_thread, NULL, smoker_match, NULL); pthread_create(&smoker_paper_thread, NULL, smoker_paper, NULL); pthread_create(&smoker_tobacco_thread, NULL, smoker_tobacco, NULL); pthread_join(agent_thread, NULL); pthread_join(smoker_match_thread, NULL); pthread_join(smoker_paper_thread, NULL); pthread_join(smoker_tobacco_thread, NULL); return 0; } ``` 在这个实现中,桌子进程负责放置材料,每个吸烟者进程会不断地等待桌子进程放置必需的材料。当桌子进程放置好两个必需的材料之后,对应的吸烟者进程会抽烟,并将桌子清空,通知桌子进程继续放置材料。这个实现使用了 pthread 库来实现线程同步。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值