一种无死锁的时间管理算法

来源 :软件学报 | 被引量 : 50次 | 上传用户:wormchen
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
高层体系结构HLA(high level architecture)是美国国防部提出的建模和仿真的标准,时间管理服务是其重要的组成部分,而GALT(greatest available logical time)的计算是RTI(runtime infrastructure)时间管理服务实现的核心技术.GALT算法容易导致死锁,继而导致整个仿真无法推进.在Frederick Kuhl算法的基础上探讨了死锁产生时系统所特有的一些规律,得出了一些重要结论:如果系统处于死锁状态,则所有盟员的GALT和输出时
其他文献
【正】 1 临汾社区开展老年护理服务的现实意义 临汾街道为中型的老年型社区,据调查资料显示该社区度量人口老龄化的4种主要指标,即本社区老年人口系数为19.94%(其中高龄老年
<正> 随着社会主义市场经济体制的建立,流动儿童计划免疫管理一直困扰着计划免疫工作向深度发展,是当前计划免疫工作的重点和难点。为掌握全县境内0~7岁流动儿童计划免疫现况,
介绍两河口水电工程锚杆从施工过程中和施工结束后两个环节对锚杆锚固的质量控制与无损检测,经分析与总结研究,得出如下结论:只有两个质检环节同时认真监控、前后信息相互映证、
把商空间模型推广到模糊粒度世界,并给出了两个基本结论.一个结论是,下面4种提法等价:(1) 在论域X上给定一个模糊等价关系;(2) 给定X的商空间上的一个归一化等腰距离;(3) 给
介绍了对等计算(peer-to-peer,简称P2P)的特征、潜在优势和应用范围,指出了当前P2P数据共享系统存在仅支持弱语义(甚至缺乏语义)和粗粒度(文件水平)共享等局限性.针对这种现
阿海水电站枢纽区工程地质条件复杂,坝前分布有较大规模的堆积体,坝址基岩为层薄、岩性及组合分布复杂、强度不均一的层状岩体。在对枢纽区进行大量勘探、试验和对主要工程地质问题进行深入勘察研究基础上,尤其是复杂层状岩体建坝适宜性的分析研究,选择了较合适枢纽区地形地质条件的坝型及枢纽布置格局,尽量避免了复杂地质问题的产生和工程处理。
为了解农村贫困地区女性生殖道感染现状,对世界银行贷款“加强中国农村贫困地区基本卫生服务项目”(简称卫生Ⅷ项目)贵州省大方县、山西省榆社县、河南省嵩县、青海省互助县的12个
从水电厂发生的事件现象入手,通过试验数据分析,找到故障的真实原因。发电机转子在经吊转处理后,3号磁极直流电阻测试值4.030 mΩ,相比交接试验值4.037 mΩ偏差不大,绝缘电阻测试值2
介绍了向家坝水电站大坝坝基的主要地质情况,探讨了特定地质条件下钻爆参数的确定过程,阐述了在坝基开挖工艺研究过程中质量控制措施与质量评定方法的摸索。向家坝水电站大坝坝
事务工作流由若干个平面事务组成,其执行满足松弛原子性.由于组成事务工作流的平面事务具有不同的完成特性,为了防止不可串行化的执行,现有的调度算法通常只允许一个活动工作