一种分布式操作系统中k个资源的互斥算法
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
＾
Ｄ
＾
｝Ｏ１ ｅｒ ＾ Ｉ ｄ Ｃ
＾
＾
Ｉ ｌ ｏ ｄｅｒ Ｄ Ｅ
Ｅ
Ｅ
若 Ｈ ｌｅＸ ｉ ｎ ｌ表 示令 牌被 Ｘ结 点持有 。 ｏｄ ｒ ［＝ ｕｌ ］
１ ｄｅｒ ｕＩ ｕＩ ｎ ０ｌ Ｅ ｎ ● ｎ ｕＩＩ Ｉ
Ｉｏ ｌ ｔ ｄｅｒ Ｄ Ｆ
： ２ ｋ
ｌＩ ＝ ｏｄｒ： ）口］ ｅ
若 Ｈ ｌｅＸ ｉ Ｙ表 示 令 牌 被 Ｙ结 点 持 有 ． ｏ ｒ ［＝ ｄ ］ 或被 Ｙ 子树 中的结点持 有 。
系统 中的 结 点 组 织 成 的 逻 辑 树
｛ ｄ Ａ Ｄ ０Ｉ ｅｒ
Ｉ ｄ Ｂ ＾ Ｏｌ ｅｒ
Ｄ
行 了验 证 ．
【 关键词 】 分布 式 资源 互斥 ：
１ 算 法基本原理 、 ３ 实验 、
ｆ） １分布 式操 作 系 统 中结 点 组 织 成 一 棵 逻 辑 树 ｆ 可 设 ｋ ３ 开 始 时 Ｅ结点 持有全 部令 牌 ．各 结点 的 ＝且 能存 在 逻辑 环 ， 但最 终 归 结 为逻 辑 树 ） 构 。 结 每个 结 点 状 态 如 图 所 示 ： 维持周 围邻 居结点 的信息 ｆ）每 个 结点 Ｘ 维 持 一 个 长 度 为 ｋ的 一 维 位 图 ２ Ｈ ｌｅＸ和 一个请求 队列 ， 图所 示 ： ｏｄ ｒ 如
Ｄ
Ｄ
匪
Ｅ结 点 持 有 全 吾： 牌 时 的 系 统 状 态 及 位 图 ｆ 令
Ｉ ｄｅｒＡ Ｄ Ｏｌ Ｄ ＾ Ｄ ＾
存 储 在请 求 队列 Ｒ ｑ ｅｔ 中 的请 求 Ｒ ｘ， 表 ｅｕｓ Ｘ ｉ（ Ｙ） 示第 ｉ 个请 求是 由源结 点 Ｘ发 向 目标结 点 Ｙ 的 ｆ１ ３整个 系统 中同时 维持 ｋ个 令牌 。 ２ 具体 算 法步骤 、
ｏｌ ｄｅｒ ＾ Ｂ
Ｈ０ Ｉ ｄｅｒ wenku.baidu.com Ｃ
＾
＾ Ｅ
ＩＯＩ ｔ ｄｅｒＤ ｎ Ｅ ｕｌ ｌ
Ｉ ｄｅｒ Ｄ ｎ ｎ ｌ １ ０ｌ Ｅ ｕＩ Ｉ ｕ－
（卜一 结 点 想进 入 Ｉ 段 ， １ 个 界 如果 持 有 令 牌则 直 接 ｎ 点 请 求 并 得 到 一 个 令 牌 后 的 系 统 状 态 及 位 图 结 进入 临界 段 。 否则将 请求 插 入到 自己 的请 求 队列 ． 向 并
Ｉ ｄ ｈ Ｄ １ ０ｌ ｅｒ
”Ｏｌ ｄｅｒ Ａ Ｂ
Ｄ
＾
Ｃ
＾
ｌ ｄｅｒＣ ＾ Ｏｌ
＾ ｎｕＩ Ｉ ＾ Ｄ
Ｉ ｄｅｒ ｕＩ Ｆ ｏｌ Ｄ ｎ Ｉ ¨Ｏｌ Ｅ Ｄ ｄｅｒ Ｄ
ｌ ｄｅｒＦ Ｄ ｎ Ｄ ｏｌ ｕｌｌ
Ｃ Ｆ 时 请 求 且 Ｄ 退 出 临 界 段 时 系 统 状 态 及 位 图 ， 同 未
Ｈｏｄｅ ．．． ｌ ｒ ．．．
的回复被 我首先 抢 占 。 不 影响 系统 的正确 性 ， 但 因为我
（）ｌｇ 复 ， 停发 送请 求 和 令牌 ， ４￣ ｌ 往 ｔｌ ｌ 不 随之 动态更 新 的请 求 马上也要 得 到 回复 。
（） 交换 的 消息数 目为 Ｏ ｏＮ ４需要 ０ｇ ）。
Ｈ０ｌ ｄｅｒ Ｄ Ｆ
ｎ
ｎ
所有 的 Ｈ ｌｅＸｉ ＞ ｕｌ ｏ ｒ 『＜ ｎ ｌ的结 点发送 请求 。 ｄ ］ ｆ１ 收到来 自 Ｘ结点 请求 的 结点 Ｙ如果没 有持有 ２接 空 闲令 牌 ．则 将 Ｘ结 点 的请 求 插 入 到 自己 的请 求 队
列 ． 向所 有 的 Ｈ ｌｅＹ ｉ ＞ ｕｌ Ｈ ｌｅＹ ｉ ＞ 的 并 ｏｄｒ ［ ＜ ｎ ｌ且 ｏ ｒ ［＜ Ｘ ］ ｄ ］ 结 点转发 请求 。 （ 中 Ｈ ｌｅＹ ｉ ＞ 控制条 件 主要是 其 ｏｄ ｒ ［＜ Ｘ ］ 为 了执行算 法时 绕开逻 辑 环 ．因 为系统 中同时存 在多 个 令牌 。 以免不 了出现 逻 辑 环 ） 接 收到 令牌 之前 ， 所 在 Ｙ结点还 可 以为任何邻 居 结点（ 括 自己１ 包 转发 请求 。 每 ４ 结 论 、
１０ ０
福
建
电
脑
２１ 第 １ ０ ０年 Ｏ期
一
种分布式 操作 系统 中 ｋ个 资源 的互斥算 法
吴惠 民，柳 锋 ，候烨晨
（广 州海军兵 种指挥 学院 广 东 广 州 ５ ０ ３ １４ ０）
【 摘
要 】 本 文针 对分 布 式操作 系统 中 ｋ个 资源提 出一个 互斥 算法 ． 出 了算 法的 步骤 ． 用 实验进 ： 给 最后
个结 点可 以从邻居 结点 中最 多接 收 ｋ个 请求 。 （１ ３持有 令牌 的结 点 退 出 临界 段 后 ， 果 此 时 队列 如
（） 求一个 可 靠 的网络通 信 。 １ 要 （１系 统 中 同 时存 在 的 ｎ ｌ的个 数 保 证 ｋ资 源互 ２ ｕｌ
中还有其 他邻居 结点 的请求 ．则在 请求 队列 中找 出最 斥 。 早 的一些请 求 ．将 令牌 发送 给 发 出传输请 求 的这些邻 （） ３不要 求 消 息 顺 序 的一 致 性 ， 可能 产 生 别人 请 求 居结 点 。 并且 修改 自己的 Ｈｏ ｅ。 ｌ ｒ ｄ
Ｄ
＾
｝Ｏ１ ｅｒ ＾ Ｉ ｄ Ｃ
＾
＾
Ｉ ｌ ｏ ｄｅｒ Ｄ Ｅ
Ｅ
Ｅ
若 Ｈ ｌｅＸ ｉ ｎ ｌ表 示令 牌被 Ｘ结 点持有 。 ｏｄ ｒ ［＝ ｕｌ ］
１ ｄｅｒ ｕＩ ｕＩ ｎ ０ｌ Ｅ ｎ ● ｎ ｕＩＩ Ｉ
Ｉｏ ｌ ｔ ｄｅｒ Ｄ Ｆ
： ２ ｋ
ｌＩ ＝ ｏｄｒ： ）口］ ｅ
若 Ｈ ｌｅＸ ｉ Ｙ表 示 令 牌 被 Ｙ结 点 持 有 ． ｏ ｒ ［＝ ｄ ］ 或被 Ｙ 子树 中的结点持 有 。
系统 中的 结 点 组 织 成 的 逻 辑 树
｛ ｄ Ａ Ｄ ０Ｉ ｅｒ
Ｉ ｄ Ｂ ＾ Ｏｌ ｅｒ
Ｄ
行 了验 证 ．
【 关键词 】 分布 式 资源 互斥 ：
１ 算 法基本原理 、 ３ 实验 、
ｆ） １分布 式操 作 系 统 中结 点 组 织 成 一 棵 逻 辑 树 ｆ 可 设 ｋ ３ 开 始 时 Ｅ结点 持有全 部令 牌 ．各 结点 的 ＝且 能存 在 逻辑 环 ， 但最 终 归 结 为逻 辑 树 ） 构 。 结 每个 结 点 状 态 如 图 所 示 ： 维持周 围邻 居结点 的信息 ｆ）每 个 结点 Ｘ 维 持 一 个 长 度 为 ｋ的 一 维 位 图 ２ Ｈ ｌｅＸ和 一个请求 队列 ， 图所 示 ： ｏｄ ｒ 如
Ｄ
Ｄ
匪
Ｅ结 点 持 有 全 吾： 牌 时 的 系 统 状 态 及 位 图 ｆ 令
Ｉ ｄｅｒＡ Ｄ Ｏｌ Ｄ ＾ Ｄ ＾
存 储 在请 求 队列 Ｒ ｑ ｅｔ 中 的请 求 Ｒ ｘ， 表 ｅｕｓ Ｘ ｉ（ Ｙ） 示第 ｉ 个请 求是 由源结 点 Ｘ发 向 目标结 点 Ｙ 的 ｆ１ ３整个 系统 中同时 维持 ｋ个 令牌 。 ２ 具体 算 法步骤 、
ｏｌ ｄｅｒ ＾ Ｂ
Ｈ０ Ｉ ｄｅｒ wenku.baidu.com Ｃ
＾
＾ Ｅ
ＩＯＩ ｔ ｄｅｒＤ ｎ Ｅ ｕｌ ｌ
Ｉ ｄｅｒ Ｄ ｎ ｎ ｌ １ ０ｌ Ｅ ｕＩ Ｉ ｕ－
（卜一 结 点 想进 入 Ｉ 段 ， １ 个 界 如果 持 有 令 牌则 直 接 ｎ 点 请 求 并 得 到 一 个 令 牌 后 的 系 统 状 态 及 位 图 结 进入 临界 段 。 否则将 请求 插 入到 自己 的请 求 队列 ． 向 并
Ｉ ｄ ｈ Ｄ １ ０ｌ ｅｒ
”Ｏｌ ｄｅｒ Ａ Ｂ
Ｄ
＾
Ｃ
＾
ｌ ｄｅｒＣ ＾ Ｏｌ
＾ ｎｕＩ Ｉ ＾ Ｄ
Ｉ ｄｅｒ ｕＩ Ｆ ｏｌ Ｄ ｎ Ｉ ¨Ｏｌ Ｅ Ｄ ｄｅｒ Ｄ
ｌ ｄｅｒＦ Ｄ ｎ Ｄ ｏｌ ｕｌｌ
Ｃ Ｆ 时 请 求 且 Ｄ 退 出 临 界 段 时 系 统 状 态 及 位 图 ， 同 未
Ｈｏｄｅ ．．． ｌ ｒ ．．．
的回复被 我首先 抢 占 。 不 影响 系统 的正确 性 ， 但 因为我
（）ｌｇ 复 ， 停发 送请 求 和 令牌 ， ４￣ ｌ 往 ｔｌ ｌ 不 随之 动态更 新 的请 求 马上也要 得 到 回复 。
（） 交换 的 消息数 目为 Ｏ ｏＮ ４需要 ０ｇ ）。
Ｈ０ｌ ｄｅｒ Ｄ Ｆ
ｎ
ｎ
所有 的 Ｈ ｌｅＸｉ ＞ ｕｌ ｏ ｒ 『＜ ｎ ｌ的结 点发送 请求 。 ｄ ］ ｆ１ 收到来 自 Ｘ结点 请求 的 结点 Ｙ如果没 有持有 ２接 空 闲令 牌 ．则 将 Ｘ结 点 的请 求 插 入 到 自己 的请 求 队
列 ． 向所 有 的 Ｈ ｌｅＹ ｉ ＞ ｕｌ Ｈ ｌｅＹ ｉ ＞ 的 并 ｏｄｒ ［ ＜ ｎ ｌ且 ｏ ｒ ［＜ Ｘ ］ ｄ ］ 结 点转发 请求 。 （ 中 Ｈ ｌｅＹ ｉ ＞ 控制条 件 主要是 其 ｏｄ ｒ ［＜ Ｘ ］ 为 了执行算 法时 绕开逻 辑 环 ．因 为系统 中同时存 在多 个 令牌 。 以免不 了出现 逻 辑 环 ） 接 收到 令牌 之前 ， 所 在 Ｙ结点还 可 以为任何邻 居 结点（ 括 自己１ 包 转发 请求 。 每 ４ 结 论 、
１０ ０
福
建
电
脑
２１ 第 １ ０ ０年 Ｏ期
一
种分布式 操作 系统 中 ｋ个 资源 的互斥算 法
吴惠 民，柳 锋 ，候烨晨
（广 州海军兵 种指挥 学院 广 东 广 州 ５ ０ ３ １４ ０）
【 摘
要 】 本 文针 对分 布 式操作 系统 中 ｋ个 资源提 出一个 互斥 算法 ． 出 了算 法的 步骤 ． 用 实验进 ： 给 最后
个结 点可 以从邻居 结点 中最 多接 收 ｋ个 请求 。 （１ ３持有 令牌 的结 点 退 出 临界 段 后 ， 果 此 时 队列 如
（） 求一个 可 靠 的网络通 信 。 １ 要 （１系 统 中 同 时存 在 的 ｎ ｌ的个 数 保 证 ｋ资 源互 ２ ｕｌ
中还有其 他邻居 结点 的请求 ．则在 请求 队列 中找 出最 斥 。 早 的一些请 求 ．将 令牌 发送 给 发 出传输请 求 的这些邻 （） ３不要 求 消 息 顺 序 的一 致 性 ， 可能 产 生 别人 请 求 居结 点 。 并且 修改 自己的 Ｈｏ ｅ。 ｌ ｒ ｄ