并发操作系统中基于有色Petri网的死锁检测与避免

来源 :计算机科学 | 被引量 : 0次 | 上传用户：yangnever

【摘要】

：

Concurrency and sharing resource of system are the main properties of concurrent operating system. Dead-lock is a important problem to solve in concurrent opera

【作者】

：

韩耀军蒋昌俊

【机构】

：

同济大学计算机科学与工程系上海200092,山东科技大学信息科学与工程学院泰安271019

【出处】

：

计算机科学

【发表日期】

：

2002年12期

【关键词】

：

并发操作系统有色PETRI网死锁检测计算机 Concurrent operating system Deadlock detection & a

【基金项目】

：

国家自然科学基金

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

Concurrency and sharing resource of system are the main properties of concurrent operating system. Dead-lock is a important problem to solve in concurrent operating system. As a useful tool of modeling and analyzing con-current, asynchronous and distribut

其他文献

时序逻辑电路设计的Petri网方法

A new method for designing sequential logic circuits is put forward in this paper. The method is that driv-ing condition for flip-flops is obtained by means of

期刊

时序逻辑电路电路设计PETRI网触发器Petri net Sequential circuit Extended petri net with in

(鼠标)模拟动态数字输入的识别之初始特征值生成

1引言　　在研究数字的动态输入识别方法中,最常见的有手写输入方法的识别,在没有手写输入设备的条件下,我们用鼠标来模拟动态输入,在获取鼠标轨迹的数据信息[1]后,我们根据

期刊

负参数Bézier曲线的性质及其应用

1引言　　从便于形状处理、形状信息传递与数据交换的角度来看,形状的数据描述应满足如下要求[1,2]:1.唯一性;2.同一形式性;3.几何不变性;4.易于定界性.在实际应用中往往难以

期刊

动态联盟环境下的联盟单元信息系统研究

1.背景随着国际贸易的形成和发展,市场竞争环境变得持续多变和不可预测,如何快速响应市场、在最短的时间内开发出用户满意的新产品已成为企业共同追求的目标[1].动态联盟正是

期刊

联盟单元信息系统动态联盟企业合作伙伴市场竞争Dynamic collaborationMultiple collaborationPartner i

附有约束条件的最小二乘影像匹配及其应用研究

数字摄影测量、计算机视觉的中心问题是在不同的影像中自动地提取相应的特征点即影像匹配.因此,影像匹配是当今数字图像处理、计算机视觉、机器视觉的热门课题.影像匹配的方

期刊

一种新的互联网应用体系结构

1 引言Internet, Intranet,Extranet和WWW的发展已经对工业、商业、金融业、娱乐业、教育、政府部门以及我们个人的工作和生活产生了巨大的影响.现在许多原有的信息系统和数

期刊

互联网应用系统体系结构WWWWeb applicationArchitectureFour-layer architecture

企业级分布计算的基本需求及中间件技术

In this paper ,we′ll sum up basic needs of Enterprise level distributed computing technologies according to enterprise computing tends at present. Furthermore

期刊

企业级分布计算中间件INTERNET计算机网络Enterprise computingDistributed computing needs Mid

基于Web技术的工作流管理系统的研究

工作流是描述一个企业或组织的业务处理活动过程的模型,通过将工作活动分解成定义良好的任务、角色、规则和过程来完成执行和监控,达到提高生产组织水平和工作效率的目的.199

期刊

工作流管理系统WEB业务流程计算机企业Workflow management Web technology Supply chain manag

基于CBT组播路由协议的组密钥管理协议分析与改进

In RFC1949,A. Ballardie proposed a method of scalable multicast key distribution based on the Core Based Tree multicast protocol fitting for wide-area IP multic

期刊

组密钥管理协议CBT组播路由协议INTERNETGroup key management protocol(GKMP) Core based tree

一种面向CSCW的多对多多媒体通信模型及实现

1 引言CSCW是当前研究的热点之一[1],其目标之一是为协作成员建立一个你见即我见的交互环境(WYSIWIS).多媒体技术,特别是多媒体通信技术[2]的发展为CSCW的实践提供了可能.在

期刊

多媒体通信CSCW服务质量TCP/IP协议CSCW Multimedia communication Multicast

并发操作系统中基于有色Petri网的死锁检测与避免

与本文相关的学术论文