基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
为了解决操作系统中的进程间同步互斥问题,以Petri网为系统描述工具分析了经典的哲学家进餐问题,讨论了1:1的轮流固定使用的Petri网模型,给出了使用(串行)的管理模型的程序实现,且可以实现2:3的轮流固定使用(并行)和不固定的动态管理.此法简洁高效,在操作系统的其他类型进程调度中可进行类似推广.
推荐文章
基于Petri网下哲学家就餐问题模型的改进与推广
Petri网
哲学家就餐问题
延迟Petri网
效率
描述与求解哲学家就餐问题的Petri网模型研究
Petri网
并发
死锁
操作系统
哲学家就餐问题
哲学家就餐问题的算法实现
操作系统
进程同步与互斥
信号量
共享存储器
哲学家就餐问题
状态监控程序
用VB.NET解决哲学家进餐问题
Monitor
.NET
同步
线程
并发
哲学家进餐问题
VB
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于Petri网的哲学家就餐问题多线程设计与实现
来源期刊 湖南城市学院学报(自然科学版) 学科 工学
关键词 Petri网 多线程 同步 互斥
年,卷(期) 2006,(4) 所属期刊栏目 计算机技术与应用
研究方向 页码范围 64-66
页数 3页 分类号 TP311
字数 2698字 语种 中文
DOI 10.3969/j.issn.1672-7304.2006.04.020
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 史长琼 长沙理工大学计算机与通信工程学院 33 178 8.0 11.0
2 侯利娟 长沙理工大学计算机与通信工程学院 9 51 4.0 7.0
3 黄红兵 长沙理工大学计算机与通信工程学院 16 74 4.0 8.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (8)
共引文献  (8)
参考文献  (3)
节点文献
引证文献  (1)
同被引文献  (1)
二级引证文献  (1)
1983(1)
  • 参考文献(0)
  • 二级参考文献(1)
1987(1)
  • 参考文献(0)
  • 二级参考文献(1)
2002(5)
  • 参考文献(1)
  • 二级参考文献(4)
2003(2)
  • 参考文献(0)
  • 二级参考文献(2)
2004(2)
  • 参考文献(2)
  • 二级参考文献(0)
2006(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2016(1)
  • 引证文献(1)
  • 二级引证文献(0)
2017(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
Petri网
多线程
同步
互斥
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
湖南城市学院学报(自然科学版)
双月刊
1672-7304
43-1428/TU
大16开
湖南省益阳市迎宾东路518号
1999
chi
出版文献量(篇)
3169
总下载数(次)
3
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导