首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往

linux网络编程之System V 信号量(二):用信号量实现进程互斥示例和解决哲学家就餐问题

输出如下: simba@ubuntu:~/Documents/code/linux_programming/UNP/system_v$ ....二、哲学家就餐问题的描述可以参考这里,下面我们尝试解决这个问题的方法是:仅当一个哲学家两边筷子都可用时才允许他拿筷子。...上图中红色数字表示哲学家的编号,总共5个哲学家,用5个进程来表示;黑色数字表示筷子的编号,总共有5根筷子,可以定义一个信号量集中含有5个信号量,每个信号量的初始值为1,当某个哲学家可以同时得到两根筷子(...,要么全部执行,要么全部不执行,即是一个原子操作,某个进程需要等待两根筷子,即对两个信号量同时P成功才可以用餐,信号量的序号是0~4,可看作筷子的编号,此时semop 函数操作的是2个信号量,即需定义...如果发现程序没有运行卡着,即没有发生死锁现象,从中也可以发现同时最多只能有两个哲学家一起用餐,也不会出现相邻哲学家一起用餐的情况。 参考: 《UNP》

1.3K00

Linux并发(POSIX信号量

System-V的信号量是老古董,除非万不得已,否则我们一般用POSIX信号量,好用、简单、靠谱。...拓展: POSIX信号量分为两种,分别是POSIX无名信号量和POSIX有名信号量,这两种信号量比之前介绍的system-V的信号量机制要简洁,虽然没有后者的应用范围那么广泛(尤其在一些老系统中,因为system-V...的信号量机制要更古老一些),但是POSIX良好的设计使得他们更具吸引力。...POSIX有名信号量的一般使用步骤是: 1,使用sem_open( )来创建或者打开一个有名信号量。 2,使用sem_wait( )和sem_post( )来分别进行P操作和V操作。...POSIX无名信号量的一般使用步骤是: 1,在这些线程都能访问到的区域定义这种变量(比如全局变量),类型是sem_t。 2,在任何线程使用它之前,用sem_init( )初始化他。

2.4K30
  • 您找到你想要的搜索结果了吗?
    是的
    没有找到

    信号量——Linux并发之魂

    引言 今天,我们继续学习Linux线程本分,在Linux条件变量中,我们对条件变量的做了详细的说明,今天我们要利用条件变量来引出我们的另一个话题——信号量内容的学习。...所以,前辈大佬们给出了一种解决方案——信号量。 3.信号量 3.1什么是信号量 信号量的本质是一把计数器,一把衡量临界资源多少的计数器。只要拥有信号量,就在未来一定能够拥有临界资源的一部分。...信号量信号量是表征临界资源中资源数目的。 1.对于生产者而言,看中的是队列中的剩余空间——空间资源定义一个信号量。 2.对于消费者而言,看中的是队列中的数据——数据资源定义一个信号量。...所以消费者可以成功申请到数据资源信号量,然后消费数据。但不知不觉,队列中的剩余空间多了一份,所以应对剩余空间资源的信号量进行V操作。 若队列满时,剩余空间信号量为0,生产者申请信号量失败。...此时,数据资源信号量为满,消费者可以申请到信号量,从而进行操作。所以必须消费者先运行。 若队列空时,数据资源信号量为0,消费者申请信号量失败。

    9810

    Linux内核编程--信号量机制

    信号量进行PV操作时都为原子操作(因为它需要保护临界资源)。 二,信号量的结构: 信号量的数据结构为一个值和一个指针,指针指向等待该信号量的下一个进程。...Linux多进程访问共享资源时,需要按下列步骤进行操作: (1)检测控制这个资源的信号量的值。 (2)如果信号量是正数,就可以使用这个资源。进程将信号量的值“减 1”,表示当前进程占用了一份资源。...四,信号量的分类: 信号量按照使用场景分为 :二值信号量和计数信号量: 二值信号量:指初始值为 1 的信号量,此类信号量只有 1 和 0 两个值,通常用来代替锁机制实现线程同步, 在一个时刻仅允许有一个资源持有者...*临界资源在同一时刻只允许一个进程使用,此时的信号量是一个二值信号量,它只控制一个资源;另一种应用于处理多个共享资源(例如多台打印机的分配),信号量在其中起到记录空闲资源数目的作用,此时的信号量是计数信号量...pthread_create(&smk_1, 0, smoker, 1); pthread_create(&smk_2, 0, smoker, 2); while(1); } Linux

    2.8K30

    Linux线程编程之信号量

    hello pthread jjjkj the input words is 5 jjkl;j the input words is 6 end over 注意: 这里在Linux...不过在这之前还是要稍微介绍一下什么是线程信号量,其实这个跟进程通信有点类似——Linux进程编程----syslog的使用和进程间通信的介绍(六): a、那么什么是信号量呢?...b、信号量的类型: 二进制信号量(binary semaphore):只允许信号量取0或1值,其同时只能被一个线程获取。...整型信号量(integer semaphore):信号量取值是整数,它可以被多个线程同时获得,直到信号量的值变为0。...当信号量被释放一个,值被加一后,系统自动从等待队列中唤醒一个等待中的线程,让其获得信号量,同时信号量再减一。

    1.6K20

    Linux进程通信之信号量

    Linux进程通信之信号量 概念(自行百度): 信号量(Semaphore),有时被称为信号灯,是在多线程环境下使用的一种设施,是可以用来保证两个或多个关键代码段不被并发调用。...在进入一个关键代码段之前,线程必须获取一个信号量;一旦该关键代码段完成了,那么该线程必须释放信号量。其它想进入该关键代码段的线程必须等待直到第一个线程释放信号量。...PV原语: 信号量有两个原子操作:P操作和V操作,具体意义也要分信号量类型的情况 P() : sem减1 V() : sem加1 分类(以了解的) 二进制信号量(0和1) 信号集(集合数组) 为什么要使用信号量...ret -ne 20000 ] then echo "$ret有问题" fi echo -e "-->\c" let "int++" done 执行shell 查看结果 发现并没有出现没有使用信号量之前数据错乱的情况...,使用ipcs 命令查看,信号量已存在 注意 使用完信号量之后,要使用sem_remove函数删掉信号量,否则会造成系统资源浪费

    1.8K30

    ucore-lab7

    练习0 填写实验,自行填写,懒得找了,可以参考kiprey 练习一 理解内核级信号量的实现和基于内核级信号量哲学家就餐问题(不需要编码) 完成练习0后,建议大家比较一下(可用meld等文件diff...实际上就是解释ucore的哲学家就餐怎么实现的,内核级别的信号量怎么实现的,之后给出自己关于用户级别的信号量的设计方案,比较两者异同。 关于哲学家就餐问题,不知道为什么,代码里面有注释,中文的。。。...可以在proc的结构体里面增加信号量的相关代码,用于获取信号量的值,发出增加或减少信号量的请求,再由操作系统实现。详细可以参考kiprey,他参考了linux的实现。...练习二 练习二2: 完成内核级条件变量和基于内核级条件变量的哲学家就餐问题(需要编码) 首先掌握管程机制,然后基于信号量实现完成条件变量实现,然后用管程机制实现哲学家就餐问题的解决方案(基于条件变量)...暑假得抽个空补完这些没有参考的challenge challengen2 扩展练习 Challenge : 参考Linux的RCU机制,在ucore中实现简化的RCU机制 在ucore 下实现下Linux

    92630

    Linux内核33-信号量

    1 什么是信号量? 对于信号量我们并不陌生。信号量在计算机科学中是一个很容易理解的概念。本质上,信号量就是一个简单的整数,对其进行的操作称为PV操作。...事实上,Linux提供了两类信号量: 内核使用的信号量 用户态使用的信号量(遵循System V IPC信号量要求) 在本文中,我们集中研究内核信号量,至于进程间通信使用的信号量以后再分析。...虽然信号量可以支持很大的count,但是在linux内核中,大部分情况下还是使用信号量的一种特殊形式,也就是互斥信号量(MUTEX)。...但是,从Linux内核2.6.37版本之后,上面的函数和宏已经不存在。这是为什么呢?因为大家发现在Linux内核的设计实现中通常使用互斥信号量,而不会使用信号量。...基于这个原因,Linux还提供了其它版本的请求信号量的函数: down_trylock() 可以被中断和延时函数调用。

    1.5K20

    ucoreOS_lab7 实验报告

    这里我使用的是 Linux 下的系统已预装好的 Meld Diff Viewer 工具。...count > 0,表示共享资源的空闲数 count < 0,表示该信号量的等待队列里的进程数 count = 0,表示等待队列为空 实验 7 的主要任务是实现基于信号量和管程去解决哲学家就餐问题,我们知道...练习2: 完成内核级条件变量和基于内核级条件变量的哲学家就餐问题(需要编码) 首先掌握管程机制,然后基于信号量实现完成条件变量实现,然后用管程机制实现哲学家就餐问题的解决方案(基于条件变量)。...Challenge 2 :参考Linux的RCU机制,在ucore中实现简化的RCU机制 待完成。。。...参考资料 http://www.ibm.com/developerworks/cn/linux/l-rcu/ http://www.diybl.com/course/6_system/linux/Linuxjs

    1.5K20

    Linux进程间通信:信号量(一)

    前提知识 在介绍信号量之前,先来看看一些概念和一些简单的前提知识: 进程间通信的前提是让不同的进程看到同一份资源。...我们使用这个例子来转化成对信号量的理解: 影厅就是一个临界区,每个座位就是一个个临界资源。也就是说这个临界区中有100个临界资源。...小张就是一个进程,进程去访问临界资源的时候,先是通过信号量去“预定”资源。需要注意的是进程拿到了这个临界资源的访问权不代表这可以马上去访问。...特别的,当信号量sem等于1的时候,这意味共享资源的作为一整个资源被使用的。这种信号量称为二元信号量,通过互斥功能保护公共资源!...所有的进程在访问公共资源前,都必须先申请信号量,而申请信号量的前提,是让不同进程看到同一个信号量,因此信号量本身就是一个公共资源,这意味着信号量必须保证自己 的安全性!

    1.3K20

    Linux 的进程间通信:信号量

    在这里首先强调一下,Linux系统中的semaphore信号量和signal信号是完全不同的两个概念。我们将在其它文章中详细讲解信号signal。本文可以帮你学会: 什么是XSI信号量?...但是从本质上讲,信号量实际上是实现了一套可以实现类似锁功能的原语,我们不仅可以用它实现锁,还可以实现其它行为,比如经典的PV操作。 Linux环境下主要实现的信号量有两种。...如果当前有进程使用sem_wait等待此信号量,POSIX可以允许有两种返回,一种是返回0,另一种是返回一个负值,这个负值的绝对值就是等待进程的个数。Linux默认的实现是返回0。...最后 希望这些内容对大家进一步深入了解Linux信号量。如果有相关问题,可以在我的微博、微信或者博客上联系我。 大家好,我是Zorro!...如果你喜欢本文,欢迎在微博上搜索“orroz”关注我,地址是:http://weibo.com/orroz 大家也可以在微信上搜索:Linux系统技术 关注我的公众号。

    6.7K01

    Linux】多线程 之 POSIX信号量

    信号量的工作机制 信号量机制类似于看电影买票,一种资源的预订机制 申请信号量成功,相当于预定了一部分资源 判断条件是否满足,决定了后续行为 信号量已经是资源的计数器,申请信号量成功,本身就表明资源可用...申请信号量失败,本身表明资源不可用 本质就是把判断转换成信号量的申请行为 3....输入 man sem_destroy 对已经初始化的信号量进行销毁 sem_wait ——申请信号量 输入 man sem_wait 进行申请信号量的操作,使信号量的值减1 sem_post...——释放信号量 输入 man sem_post 进行释放信号量的操作,使信号量的值加1 4....) 析构 由于在构造时,对信号量进行初始化,所以需要销毁信号量 push ——生产 要生产之前要保证符合条件,才能够进行生产,所以要进行P操作——申请信号量 在使用信号量时,是不需要判断的 因为信号量是一把计数器

    32050

    linux 进程通信-信号量(Semaphore)《Rice linux 学习开发》

    而Posix信号灯(线程同步)指的是单个计数信号灯 System V 信号灯由内核维护 信号量的使用规则 若信号量为正,则进程可使用该资源 若信号量为0,则进程阻塞等待,并将进程插入等待队列,直到该信号量的值大于...0从等待队列中执行进程请求 加锁操作:如果信号量大于0,则信号量-1;如果信号量为0,则挂起该进程,并将这个进程插入等待队列 解锁操作:如果等待队列中有进程则唤醒该进程,让它恢复运行,否则,信号量+1...信号量相关函数 semget()函数:创建新的信号量或取得已有的信号量 semop()函数:改变信号量的值,改变操作在sem_opa中,sem_opa是sumbuf结构体对象 semctl()函数:...控制信号量 例程 信号量例程请参考github的semaphore目录下semaphore.c。...github链接:https://github.com/RiceChen/Linux-process-communication.git,记得加个star。

    1.5K20

    哲学家进餐问题的模拟【操作系统】

    该问题可用记录型信号量解决,经分析可知,放在桌子上的筷子是临界资源,在一段时间内只允许一位哲学家使用,为了实现对筷子的互斥使用,可以用一个信号量表示一只筷子,由这五个信号量组成信号量数组。...才允许哲学家拿起筷子就餐 (3)规定奇数号哲学家先拿起右边筷子,然后再去拿左边筷子,而偶数号哲学家则相反。...而这时由思考到饥饿的哲学家1和哲学家4只好进入等待状态。...0和哲学家3吃完饭其左右筷子进入思考,此时哲学家2饥饿竞争到了起左右筷子进入吃饭状态,饿了的哲学家1只好又等待,此时哲学家4左右筷子可用则进入吃饭状态,没等到筷子的哲学家1只好回去继续思考。...实习中还有对LINUX操作系统内核代码的分析,使我们具体的认识了LINUX,了解其设计思想和功能模块,而在LINUX下的各种常用命令也要求我们熟练掌握。

    46830

    线程例题,哲学家用餐

    例题,哲学家用餐: 在一张餐桌上坐着五个哲学家,但是却只有五根筷子,每个哲学家只有一根筷子,所以当一个哲学家要夹菜的时候需要用他旁边那个哲学家的筷子,被拿走筷子的哲学家则只能等待那个哲学家吃完放下筷子他才能夹菜...设计思路: 首先编写一个筷子类,每根筷子都是一个对象,这个类里有拿起、放下两个方法;当一个哲学家线程来调用拿起方法时,下一个哲学家线程就要进入等待状态,然后这个哲学家线程调用放下方法后,就激活那个等待中的哲学家线程...接着设计哲学家类,这个类继承Thread类,每个哲学家都是一个线程对象。...这类有三个属性,用于存放构造器的参数,这个类的构造器要求传递三个参数,分别是哲学家的名字(name)、右边的筷子(right)、左边的筷子(left)。...然后构建五个哲学家对象,分别传递相应的参数。接着将哲学家对象使用start方法启动。 代码示例: ? 运行结果: ?

    58740

    信号量--System V信号量 与 Posix信号量

    信号量是什么 信号量是一种计数器,用来控制对多个进程/线程共享的资源进行访问。常和锁一同使用。 在某个进程/线程正在对某个资源进行访问时,信号量可以阻止另一个进程/线程去打扰。...这样看来,一个是Unix 的标准之一(另一个标准是Open Group),一个是Unix众多版本的分支之一(其他的分支还有Linux跟BSD),应该来说,Posix标准正变得越来越流行,很多厂家开始采用这一标准...2、从使用的角度,System V 信号量的使用比较复杂,而 POSIX 信号量使用起来相对简单。 3、对 POSIX 来说,信号量是个非负整数。...而 System V 信号量则是一个或多个信号量的集合,它对应的是一个信号量结构体,这个结构体是为 System V IPC 服务的,信号量只不过是它的一部分。...short sem_op; //信号量的操作 {正负零} short sem_flg; //信号量的操作标志 {NOWAIT} }; //sem_op取0表示将信号量设为睡眠状态,直到信号量的值为

    1.6K10
    领券