计算机科学论坛--想讨论下03的那道PV题

新书推介：《语义网技术体系》
作者：瞿裕忠，胡伟，程龚

XML论坛

W3CHINA.ORG讨论区

>>计算机科学论坛<<

SOAChina论坛

Blog

开放翻译计划

新浪微博

登录

注册

帮助

>> 研友的交流园地，讨论关于计算机考研的方方面面。

[返回] 计算机科学论坛 → 计算机理论与工程 → 『计算机考研交流』 → 想讨论下03的那道PV题

◇查看新帖 ◇ 用户列表 ◇

发表一个新主题

发表一个新投票

回复主题

(订阅本版)

您是本帖的第 4999 个阅读者　　

　

*	贴子主题：想讨论下03的那道PV题	举报打印推荐 IE收藏夹
	本主题类别:

帅哥哟，离线，有人找我吗？

  威望：1
  头衔：智能缔造者
  等级：计算机学士学位(版主)
  文章：368
  积分：2273
  门派：IEEE.ORG.CN
  注册：2006/4/8

姓名：(无权查看)
城市：(无权查看)
院校：(无权查看)

	楼主

想讨论下03的那道PV题

就是那道江苏运河问题，原题我不重复了，想必大家都耳熟能详。
我想说的是原题的最后一句话：“由于运输繁忙，不会出现两个分运河上都没有船只的现象”。那么我想能不能用下面这个方法解这道题：
int small=1;
int big=1;
int finish=1;
cobegin{
     process monitor
     repeat:
            v(small);
            v(small);
            v(small);
            p(finish);
            p(finish);
            p(finish);
            v(big);
            p(finish);
     until false;
     process bigship
     repeat:
            p(big);
            go through....
            v(finish);
     until false;
     process smallship
     repeat:
            p(small);
            go through....
            v(finish);
     until false;
}coend;
反正前提是两条运河上都不会没有船，不会发生饥饿或阻塞……
而我原来的解法使用的是第二类读者写者混合模型，只不过最多只允许三个读者同时读，如下（有点麻烦，希望大家耐心看）：
int smallship=3;//小船资源
int bigship=1;//大船资源
int mutex=1;//小船间互斥
int b&s_mutex=1;//大小船之间互斥信号
int smallship_num=0;//小船数
cobegin{
      process smallship
      repeat:
            P(b&s_mutex);
            p(smallship);//请求小船资源
            p(mutex);//小船之间互斥
            smallship_num++;//修改小船数
            if(smallship_num==1)
                  p(bigship);//资源分配给了小船，将大船资源剥夺
            v(mutex);
            v(b&s_mutex);
            go through...//过运河
            p(mutex);
            smallship_num--;//修改小船数
            if(smallship_num==0)
                   v(bigship);//小船过完，释放大船资源
            v(mutex);
            v(smallship);//该小船已经通过运河，释放小船资源
      until false;
      process bigship
      repeat:
            p(b&s_mutex);//大小船互斥
            p(bigship);//申请大船资源
            go through....
            v(bigship);
            v(b&s_mutex);
      until false;
}coend;

[此贴子已经被作者于2006-9-30 17:39:44编辑过]

   收藏   分享
顶(0)


----------------------------------------------
书山奋战不觉难，
一刻光阴莫等闲。
长路遥遥飞浩志，
前尘洗却作泥丸。
粗茶薄被心灯暖，
明月清窗几案寒。
欲待桂枝香万里，
海阔天空俱欢颜。
My blog:http://hi.baidu.com/tengteng2007

2006/9/30 13:43:00

帅哥哟，离线，有人找我吗？

  威望：1
  头衔：智能缔造者
  等级：计算机学士学位(版主)
  文章：368
  积分：2273
  门派：IEEE.ORG.CN
  注册：2006/4/8

姓名：(无权查看)
城市：(无权查看)
院校：(无权查看)

	第2楼

第二个解法就算一条运河上无船也不会使另一条运河上阻塞。
或者还有其他的解法，也请帖上来大家一同讨论。
----------------------------------------------
书山奋战不觉难，
一刻光阴莫等闲。
长路遥遥飞浩志，
前尘洗却作泥丸。
粗茶薄被心灯暖，
明月清窗几案寒。
欲待桂枝香万里，
海阔天空俱欢颜。
My blog:http://hi.baidu.com/tengteng2007

2006/9/30 13:47:00

Supremgoooo

帅哥哟，离线，有人找我吗？

  等级：大四下学期(考上研究生啦!)
  文章：201
  积分：1872
  门派：XML.ORG.CN
  注册：2006/4/9

姓名：(无权查看)
城市：(无权查看)
院校：(无权查看)

	第3楼

这道题是一个变型的一类读写问题，或是变型的狒狒过河问题。从考试的角度，我认为已经对了。
另外请参考关于信号量的定义，不要用int。
btw：这个题陈老师写了“先到先过”这么一句，如果真正用pv实现是很难的，我认为可以假装没看见这句话。

2006/9/30 23:04:00

帅哥哟，离线，有人找我吗？

  威望：1
  头衔：智能缔造者
  等级：计算机学士学位(版主)
  文章：368
  积分：2273
  门派：IEEE.ORG.CN
  注册：2006/4/8

姓名：(无权查看)
城市：(无权查看)
院校：(无权查看)

	第4楼

哦，原来是这样，呵呵
另外，我看《现代操作系统》里的IPC问题samphore都是使用int的…………
还有浙大的一本辅导书也是，这个问题我倒是没怎么在意过，多谢提醒！
----------------------------------------------
书山奋战不觉难，
一刻光阴莫等闲。
长路遥遥飞浩志，
前尘洗却作泥丸。
粗茶薄被心灯暖，
明月清窗几案寒。
欲待桂枝香万里，
海阔天空俱欢颜。
My blog:http://hi.baidu.com/tengteng2007

2006/10/1 11:53:00

Supremgoooo

帅哥哟，离线，有人找我吗？

  等级：大四下学期(考上研究生啦!)
  文章：201
  积分：1872
  门派：XML.ORG.CN
  注册：2006/4/9

姓名：(无权查看)
城市：(无权查看)
院校：(无权查看)

	第5楼

那时因为C里面没有信号量对应的变量类型，所以大师为了保证C的完整性才这样做的。即便这样，也要在类型定义一下，以便区别于int。如果你熟悉java中的信号量定义，就清楚为什么不用int了。

2006/10/2 23:30:00

GoogleAdSense

  等级：大一新生
  文章：1
  积分：50
  门派：无门无派
  院校：未填写
  注册：2007-01-01

	广告

2024/5/9 23:32:02

本主题贴数5，分页： [1]

管理选项：修改tag | 锁定 | 解锁 | 提升 | 删除 | 移动 | 固顶 | 总固顶 | 奖励 | 惩罚 | 发布公告


	W 3 C h i n a ( since 2003 ) 旗下站点苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》	156.250ms