Transputer及多机并行处理系统结构分析

分析了Ｔｒａｎｓｐｕｔｅｒ和基于Ｔｒａｎｓｐｕｔｅｒ网络加速板的多机并行处理系统的结构，着重说明了Ｔｒａｎｓｐｕｔｅｒ如何支持并发进程的调度和通信。最后指出为获得Ｔｒａｎｓｐｕｔｅｒ多机系统并行处理的高性能，并行程序设计应避免并发过程死锁和选取最佳任务粒度。     

分布式系统死锁的Petri网分析

阐述了分布式系统中的死锁问题，采用Petri网对分布式系统中的死锁进行分析，给出了几种解决死锁的模型，并分析了这些模型的优缺点，指出了分析和解决死锁的一般方法。     

多计算机互连网通信中关于死锁问题的一种理论

如何获得死锁而且通信性能良好的选路算法始终是人们十分关心的问题。本文提出了纯分流点的概念并证明了选路算法无死锁的充要条件，从理论上解决了死锁关系问题，为死锁的判定，消除和设计无死锁的算法提供了有力的依据。     

基于Petri网的并发系统活性分析

本文从数据库系统在时刻t的状态N出发，构造出相应的Petri网模型，进而构造出其可达标识图．通过分析可达标识图，可判断系统是否为死锁状态．若不是死锁状态，系统是否可能出现死锁，什么情况下系统肯定不会出现死锁．最后，给出了数据库系统中事务并发操作的死锁检测方法与避免措施．     

基于时戳的分布式数据库系统中的死锁预防策略

本文讨论了分布式数据库系统中基于时戳的死锁预防策略，分析了预防死锁问题的两种可行的动态优先级方案——等待一死亡方案和伤害一等待方案，提出了使用时戳的动态优先级死锁预防策略在解决分布式数据库系统并发控制的可行性和有效性，保证了产生死锁问题的条件不能发生，从而有效的预防了死锁，并给出了相应的实例。     

处理死锁的几种策略

在多道程序系统中，多个程序并发执行，共享系统资源，若对资源的管理和使用不当，会导致系统死锁。死锁避免是解决死锁问题的常用方法，而银行家算法是最著名的死锁避免算法。用类C语言描述了多项资源银行家算法。     

避免FMS死锁的控制策略

本文利用ＦＭＳ的Ｐｅｔｒｉ网模型讨论系统的死锁问题，给出了系统死锁的必要充分条件，提出了避免系统死锁的反馈控制策略，这种策略对系统的限制小，在许多情形下是最优的。     

一种从逻辑死锁的硬盘上恢复数据的有效方法

硬盘在受到某些病毒或恶意代码的攻击后，可能会出现逻辑死锁现象。本文分析了硬盘逻辑死锁的原理，提出了简单而又行之有效的解除死锁方法，详细介绍了重建正确的分区表的方法，它能有效恢复故障硬盘上的数据。     

基于事件模型的可视化并行调试技术

并行程序存在资源竞争、时序紊乱、死锁等复杂问题，加上并行程序的不确定性，给调试带来了很大的困难．基于事件模型的可视化并行调试技术ＥＶＴＰＤ（ｅｖｅｎｔ—ｂａｓｅｄｖｉｓｕａｌｉｚａｔｉｏｎｔｅｃｈｎｉｑｕｅｓｏｎｐａｒａｌｌｅｌｄｅｂｕｇｇｉｎｇ）为解决这些困难提供了一个途径．ＥＶＴＰＤ的基本要素是事件监视与可视化重放．本文讨论了事件监视与可视化重放中的关键技术；事件描述、事件过滤、事件识别、时戳、记录重放、执行重放和视图定义，并且给出了一个基于工作站机群系统的并行调试器的结构．     

浅析多线程Java程序中死锁问题的解决

本文就操作系统中死锁的概念进行了阐述。提出了多线程Java程序中死锁问题的解决，就关键的死锁的防止问题进行了分析。并通过实例说明问题的解决方法。     

机器人足球仿真比赛中碰撞后行为的研究

为了解决机器人足球比赛仿真系统中的死锁现象，详细讨论了机器人仿真比赛中的碰撞后行为。给出了机器人足球仿真比赛中的碰撞的模型，并针对每一种碰撞，提出了相应的碰撞后机器人速度的快慢和方向的计算方法。经过实际比赛的验证，提出的方法正确稳定可靠，显著改善了机器人足球比赛仿真系统中经常出现的死锁现象。     

μC/OS-Ⅱ系统中任务调度与监控机制改进

针对μC/OS-Ⅱ系统的任务调度机制局限于只能按照优先级顺序执行,其任务监控机制可能因外界接口环境异常而出现死锁等问题,提出一些改进方法,包括在系统中增加一个负责任务调度的优先级最低的任务,以便灵活控制任务的调度。增加时间限制变量来控制任务的执行时间,以避免任务发生死锁时导致整个系统的崩溃。该系统已应用于一款按摩椅产品的控制系统之中,结果证明这些方法是实用可行的。     

Linux内核HWMP序列号机制的研究与改进

为了提高混合无线网状网协议(hybrid wireless mesh protocol,HWMP)在工程应用中的鲁棒性,研究了Linux内核中的HWMP序列号机制.发现了由于“序列号有效”域在路由更新流程中处理不当引起的路径请求(path request,PREQ)死锁环问题,提出了删除“序列号有效”域的解决方案.该方案改变了HWMP的路由更新流程,消除了PREQ错误转发,进而消除了PREQ死锁环.在Linux内核中实现了该方案并进行了长时间的测试,表明了该方案的可行性和有效性.     

分布式模拟中的CMB算法及其变型

一、引言许多复杂系统的性能评价需要更快的模拟技术,近期做了很多努力来研究分布式模拟,模拟过程被划分成一些子过程并在不同的处理器上并行执行。     

一个分布式文件系统及多缓存数据－致性策略

本文介绍了我们设计实现的一个分布式操作系统ＨＩＴ－ＤＵＮＩＸ中分布式文件系统的实现要点，给出了维护分布式文件多缓存数据一致性的ＭＢＣ策略并讨论了ＭＢＣ策略中防止死锁的技术。     

基于偏序简化的并发系统验证

构件交互风格和交互协议的描述与验证是基于构件的分布式系统开发的基础和关键,而构件交互协议是一种典型的分布式并发系统.传统的方法难以解决系统建模和验证中的所谓的状态爆炸问题.偏序简化是应用迹的概念,对模型进行化简并且对模型进行死锁验证.但这样的验证重点放在了Petri网模型上,而没有涉及进程代数模型,所验证的只是模型是否有死锁状态.而以通信系统演算CCS为代表的进程代数,因其概念简洁,可用的数学工具丰富,在分布式并发系统的规范、分析、设计和验证方面获得了广泛应用.对此,提出将偏序规约应用于进程代数模型,给出基于进程代数模型的偏序简化算法,并提出利用进程代数模型偏序简化算法来验证安全性的方法.     

Decentralized Motion Planning for Multiple Mobile Robots: The Cocktail Party Model

This paper presents an approach for decentralized real-time motion planning for multiple mobile robots operating in a common 2-dimensional environment with unknown stationary obstacles. In our model, a robot can see (sense) the surrounding objects. It knows its current and its target's position, is able to distinguish a robot from an obstacle, and can assess the instantaneous motion of another robot. Other than this, a robot has no knowledge about the scene or of the paths and objectives of other robots. There is no mutual communication among the robots; no constraints are imposed on the paths or shapes of robots and obstacles. Each robot plans its path toward its target dynamically, based on its current position and the sensory feedback; only the translation component is considered for the planning purposes. With this model, it is clear that no provable motion planning strategy can be designed (a simple example with a dead-lock is discussed); this naturally points to heuristic algorithms. The suggested strategy is based on maze-searching techniques. Computer simulation results are provided that demonstrate good performance and a remarkable robustness of the algorithm (meaning by this a virtual impossibility to create a dead-lock in a random scene).     

基于人工协调场的多移动机器人实时协调避碰规划

为克服传统人工势场在动态未知环境下机器人避碰规划中存在的缺陷,提出人工协调场法(ACF).将场函数与机器人的风险状态相结合,给出并讨论了人工协调场的基本设计.基于人工协调场,考虑机器人的运动约束,实现了多机器人之间以及机器人与环境间的实时协调避碰,提出了一个多移动机器人无死锁实时避碰规划算法.理论分析和仿真试验证明所提方法的有效性.     

基于嵌入式系统的仿真训练系统研究

该系统采用基于PC-104总线的硬件平台;VxWorks嵌入式实时操作系统的软件平台,实现了100多路时变信号的产生与精确并行控制和双通道双模式高速串行通信,解决了对多个功能模块的实时、并行控制;模块间的同步与互斥;系统死锁检测与处理等问题。基于嵌入式系统的仿真模拟训练系统可精确产生实装的所有外部信号特征,并实现与测试装备的可靠对接,实现装备的全模拟。详细阐述了该系统软硬件的设计方法、设计步骤,并给出了结论。     

Deadlock Detection and Avoidance for Shared Logical Resources

Logical resources are defined as shared passive entities that can be concurrently accessed by multiple processes. Concurrency restrictions depend upon the mode or manner in which a process may manipulate a resource. Models incorporating these single unit resources can be used to analyze information locking for consistency and integrity purposes. Mode compatibility is defined and used to derive dead-lock detection and avoidance methods. These methods generalize well-known deadlock results for single unit resources by permitting greater concurrency while still guaranteeing data consistency. This model is applicable to the standard shared (read-only) and exclusive (read-write) access modes as well as a useful subset of those proposed in the CODASYL DBMS report.