分布式系统中互斥算法的研究.pdfVIP

2006年9月 陕西理工 学 院学报 Sept．2006 ‘ No．3 ofShaanxi V01．22 第22卷第3期 Joumal Univers畸ofTechnology [文章编号]1673—2944(2006)03一009l一04 分布式系统中互斥算法的研究 曾剑明1， 凌荟文2， 肖守柏3， 胡敏1， 张永4 (1．江西现代职业技术学院，江西南昌330012；2．江西定南国家税务局，江西定南341900； [摘要】 公平、健壮和易于实现的分布式互斥算法对分布式系统保证数据一致性、逻辑一 致性及时序一致性至关重要，互斥问题是分布式系统中一个非常重要的内容。互斥算法是用 来解决共享资源访问冲突问题，阐述了分布式系统中进程的互斥问题。对几种算法进行了讨 论，分析了其特点，最后给出了一个后一互斥问题的算法，并介绍了该算法应满足的条件和实 现过程。 [关键词]后一互斥； 分布式系统； 互斥算法； 算法 [中图分类号]TP316．4 [文献标识码】A 分布式计算系统是若干独立自治的计算机系统的集合，是计算机网络的高级发展阶段，是近年来 计算机科学技术领域中倍受青睐、发展迅速的一个方向…。在分布式系统中，经常出现多个进程请求 访问同一个临界资源的问题，为了协调访问，保证访问的正确性(无死锁，无饥饿现象)，分布式操作系 ex— 统必须处理相关进程之间的同步与互斥，互斥是分布式系统设计的关键问题¨1。因此，互斥(Mutual clusion)在分布式系统中也可以写成分布式的算法(Distributed 降低。本文在介绍了分布式系统中非基于令牌的分布式互斥算法和基于令牌的分布式互斥算法的基础 上，引入了Jj}一互斥算法，并详细阐述了后一互斥算法应满足的条件和实现过程。 1算法的控制机制 1．1互斥算法的分类 有许多互斥问题的算法已经被提出，而且它们可区分成两大类旧1： 基于令牌的算法——通过令牌拥有权来控制对共享资源的访问。 非基于令牌的算法——通过进程之间的消息交换来协商对共享资源的访问。 1．2算法的适应性 静态互斥算法——算法的行为独立于系统的状态； 动态互斥算法——算法的行为依赖于系统的状态。 1．3互斥算法满足的条件嵋1 无死锁——当资源可用时进程不应该永远等待。 无饥饿现象——每个对资源的访问请求最终都应能得到满足。 公平性——进程对资源访问权的获得应是相对公平的。 1．4衡量互斥算法性能的参数日1 反应时间——进程发出访问请求到执行完访问操作的时间间隔(依赖于系统的负载和调度的合理性)。 1．5 非基于令牌的分布式互斥算法 收稿日期：2006一04—04 作者简介：曾剑明(1980一)，男，江西于都人，江西现代职业技术学院助教，主要研究方向为计算机应用。 万方数据 万方数据 第3期 曾剑明，凌荟文，肖守柏，等分布式系统中互斥算法的研究 2．2网络中I／O事件的互斥处理 (1)Recvi(j；m)：(input)来自节点j的消息m在I接 (2)LinkUpi(1)：(input)和I节点有关系的联接l 形成； (3)LinkDowni(1)：(input)和I节点有关系的联接l 失败； (4)Sendj(j；m)：(output)节点I发送消息m到j。 2．3 k一互斥算法应满足的条件 ．|}一互斥算法——在任何时间算法的执行最多有k个 进程能够访问cs。 图2 k一互斥问题