关于分布式系统进程互斥算法的研究.doc

哈 尔 滨 商 业 大 学 学 报 (自然科学版) Journal of Harbin University of Commerce Natural Sciences Edition 第 19 卷 第 1 期 2003 年 2 月 Vol . 19 No . 1 Feb. 2003 关于分布式系统进程互斥算法的研究 邢 雁 (哈尔滨商业大学 计算机与信息工程学院 ,黑龙江 哈尔滨 150076) 摘 要 :就互斥问题 ,即定义基本的操作来解决共享资源的多个并发进程的冲突问题 ,提出了一种更 适合真网络环境的算法 。 关键词 :互诉 ;分布式 ;集中式 ;令牌环 ;消息 中图分类号 : TP301. 6 文献标识码 :A 文章编号 :1672 - 0946 (2003) 01 - 0043 - 04 Study on distributed mutual exclusion algorithms XING Yan ( School of Computer and Information Engineering , Harbin University of Commerce Harbin 150076 ,China) Abstract : The mutual exclusion problem - to define the fundamental operations to deal with sev2 eral concurrent processes ,which are sharing resources has become the major problem concerning distributed system. Expounding some basic theory and characteristics of distributed mutual exclu2 sion algorithms. On the basis of three concise algorithms ,put forward a algorithm that fit the real network environment better . Key words : mutual exclusion ; distributed ;centralized ;token ring ;message 四项假设3 : (1) 每个分布式系统具有 N 个节点 ,每个节点 有唯一的编号 ,可以从 1 到 N 。每个节点中仅有一 个进程提出访问共享资源的请求 。 (2) 按序传送信息 。即发送进程按 序 发 送 消 息 ,接收进程也按相同顺序接收消息 。 (3) 每个消息能在有限的时间内被正确地传送 到目标进程 。 (4) 在处理机间能实现直接通信 ,即每个进程 能把消息直接发送到指定的进程 ,不需要中转处理 机 。 以下讨论的一些互斥算法 ,都是基于以上四项 假设的 。 在单机条件下 ,诸进程运行于同一个处理机和 内存环境中 ,进程通信十分简单1 。进程之间可以 借助于“共享存储器”进行直接通信 , 使用信号量 ( semaphore) ,PV 操作 ,锁机制等实现进程的同步与 互斥 。而在分布式环境下 ,相互合作的进程可能在 不同的处理机上运行 ,进程间的通信涉及处理机的 通信问题 。在松散耦合系统中 ,进程间通信还可能 要通过较长的通信信道 ,甚至网络 。因此 ,在分布 式环境下 ,为了实现高效率的进程通信 ,应当有良 好的互斥算法 。 互斥问题最初是在集中式计算机系统中为独 占控制之间的同步而考虑的2 。Dekker 提出了分 布式系统互斥问题的第一个软件解决方案 ,经过不 懈研究 ,目前已经有了一些很优秀的互斥算法 。总 体来看 ,在所有的分布式互斥算法中 ,都包含以下 收稿日期 :2002 - 10 - 091 作者简介 :邢雁 (1981 - ) ,女 ,哈尔滨商业大学计算机与信息工程学院 ,研究方向 :计算机应用 1 障 ,如果崩溃 ,整个系统将瘫痪 。此外 ,大系统中单 协调者会成为执行的瓶颈4 。 112 分布式算法 拥有单点故障的情况往往是不可接受的 ,所以 研究者对此进行分布式互斥算法 。假设所有事件 都是全序的 ,当进程欲进入临界区时 ,应向其他进 程广播请求 (应使用可靠的通信) ,任一进程收到此 请求时若 : (1) 不在临界区中 ,也不想进入临界区 ,向发送 者发送 OK; (2) 已在临界区中 ,不回答 ,负责将发送者排入 请求队列 ; (3) 要进入临界区 , 尚未进入 , 则要 比 较 时 间 戳 ,取小的进入 ,即发来的时间戳小 ,发 OK ,否则同 (2)