论文部分内容阅读
阐述了分布式系统中的死锁问题,采用Petri网对分布式系统中的死锁进行分析,给出了几种解决死锁的模型,并分析了这些模型的优缺点,指出了分析和解决死锁的一般方法.
分布式系统死锁的Petri网分析
【摘 要】
：
阐述了分布式系统中的死锁问题,采用Petri网对分布式系统中的死锁进行分析,给出了几种解决死锁的模型,并分析了这些模型的优缺点,指出了分析和解决死锁的一般方法.
【机 构】
：
南京邮电学院
【出 处】
：
微机发展
【发表日期】
：
2003年5期
其他文献
针对RAID系统中故障恢复问题,通过对双控制器结构的分析,提出了基于主机和基于控制器的2种实现模型,并对模型实现中所涉及的问题提出了相应的解决方案.由于采用双控制器的RAI
在编写管理信息系统时,一般都有信息查询功能,完成查询功能通常都要用到SQL语句,而WHERE子句的正确与否是查询结果正确与否的关键.文章介绍了一种生成WHERE子句的结构化的方
回顾与反思了金融危机对企业员工所造成的影响。在金融危机期间调查了长三角地区25家不同企业的548名企业员工。在调查研究的基础上,分析了金融危机对企业员工的工作、收入、
动态报表应用广泛.文中介绍了用Excel实现动态报表的两种设计思想,以及用XLL(Microsoft Excel Dynamic Link Library)加载宏扩展Excel功能的新方法.基于Visual C++实现了XLL,
COM技术是原来微软为了解决组件调用而推出的一种解决方法,但在微软新的开发战略.NET平台下,没有沿用原来的COM技术,而是采用了一种新的技术:程序集方法.为了在.NET的开发环
针对农业领域知识的分布性、易更新性、可重用性等特点,将MAS理论和技术应用到农业专家系统平台的开发中,提出了基于MAS的农业专家系统平台的结构,并讨论了实现该平台的一些
实验室管理系统是以COM为开发框架,采用三层B/S结构的包含人员、各类任务、设备和文件等部分的管理系统.其中人员和各类任务的管理是系统的一个重要组成部分,文中主要阐述该
利用最近在小波变换、人工神经网络和证据理论上取得的进展来进行人脸图像的识别。由于小波变换在时间和频率空间具有良好的定位特性,使小波神经网络可对输入、输出数据进行多分辨的学习训练。将小波变换和反向传播神经网络理论结合,设计一种小波神经网络结构,介绍了神经网络的数学框架和该网络的学习算法,把此算法用到人脸识别中,实验结果证明小波神经网络在人脸识别中收敛速度快、识别率高。
为了更好的考虑在开发数据库应用系统时采用何种体系结构,文章分析了数据库应用系统的几种常用体系结构,讨论了这些结构在Delphi中的实现,并举例进一步说明了如何用Delphi实
大多数程序员定义COM接口时,一般使用IDL已描述的数据类型,但在一些环境下必须定义一些数据类型,而IDL不知道如何处理这些数据类型,那么IDL就不知道如何列散和散集这些数据类