记录型信号量的问题，求解

lovekernel 发表于 2013-12-25 22:53:54

本帖最后由 lovekernel 于 2013-12-25 23:00 编辑

记录型信号量的问题，求解

超市出售一种蛋糕，一共有N个蛋糕模子，橱柜中有M个蛋糕位置，一开始蛋糕模子和橱柜都是空的。蛋糕制作师傅发现有空的蛋糕模子，就将蛋糕原料倒入蛋糕模子，否则就等待。服务员发现模子中的蛋糕熟了并且橱柜中有空的蛋糕位置，就将蛋糕从蛋糕模子中取出，放入橱柜，否则等待。对蛋糕感兴趣的顾客发现橱柜中有这种蛋糕就买一个，否则就等待。请使用记录型信号量描述该过程。

阎魔あい 发表于 2013-12-26 22:34:15

这是什么东西。。。。。。

沸羊羊 发表于 2013-12-27 19:04:59

本帖最后由沸羊羊于 2013-12-27 19:10 编辑

个人认为，应该用互斥信号量实现互斥倒入磨子和橱柜，资源信号量分别表示磨子、橱柜（作为缓冲区）的空满情况。
欢迎批评指正。
semaphore moudle_empty=N,moudle_full=0;
semaphore cupboard_empty=M,cupboard_full=0;
semaphore mutex_moudle=1,mutex_cupboard=1;
process chief()
{
while(1)
{
P(moudle_empty);
P(mutex_moudle);
倒入原料到磨子中；
V(mutex_moudle);
V(moudle_full);
}
}
process chief()
{
while(1)
{
P(moudle_full);
P(cupboard_empty);
P(mutex_moudle);
P(mutex_cupborad);
取出模中蛋糕放入橱柜；
V(mutex_moudle);
V(mutex_cupboard);
V(moudle_empty);
V(cupboard_full);
}
}

.......
这样对吗？

wyc8842172 发表于 2013-12-28 03:33:01

阎魔あい发表于 2013-12-26 22:34
这是什么东西。。。。。。

操作系统吧。。。。

阎魔あい 发表于 2013-12-28 20:50:02

wyc8842172 发表于 2013-12-28 03:33
操作系统吧。。。。

学长快来解答~~~~~~~~~~~~~~{:7_282:}

wyc8842172 发表于 2013-12-28 23:10:12

阎魔あい发表于 2013-12-28 20:50
学长快来解答~~~~~~~~~~~~~~

学长学的是硬件设计，学软件的学姐{:7_299:}

阎魔あい 发表于 2013-12-30 21:09:26

wyc8842172 发表于 2013-12-28 23:10
学长学的是硬件设计，学软件的学姐

总有很多学软件的学长吧。。。。。。。。。{:7_289:}

wyc8842172 发表于 2013-12-30 22:10:19

阎魔あい发表于 2013-12-30 21:09
总有很多学软件的学长吧。。。。。。。。。

那就离我远去咯{:7_294:}

阎魔あい 发表于 2014-1-1 15:09:07

wyc8842172 发表于 2013-12-30 22:10
那就离我远去咯

你给我个确切答复。。。。你到底是个什么东西。。。。。。不是人类吧你！{:7_318:}要么就是被拉去做实验了。。。。

wyc8842172 发表于 2014-1-1 17:57:58

阎魔あい发表于 2014-1-1 15:09
你给我个确切答复。。。。你到底是个什么东西。。。。。。不是人类吧你！要么就是被拉去做实验 ...

我是天才，这个答案你满意吗{:7_248:}

阎魔あい 发表于 2014-1-2 20:24:37

wyc8842172 发表于 2014-1-1 17:57
我是天才，这个答案你满意吗

大过年的一点儿也不好笑~·{:7_307:}

wyc8842172 发表于 2014-1-3 19:43:56

阎魔あい发表于 2014-1-2 20:24
大过年的一点儿也不好笑~·

那就严肃面对这个事实咯~

阎魔あい 发表于 2014-1-4 01:45:15

wyc8842172 发表于 2014-1-3 19:43
那就严肃面对这个事实咯~

{:7_295:}笑点莫名其妙的又变了。。。。。

wyc8842172 发表于 2014-1-4 01:51:59

阎魔あい发表于 2014-1-4 01:45
笑点莫名其妙的又变了。。。。。

你那也叫笑点？明明是嫉妒我的才华！{:7_307:}

页: [1]

软院网 RuanYuan.Net's Archiver

记录型信号量的问题，求解