linux进程调度机制剖析,linux进程调度机制分析

linux进程调度机制分析

(5页)

本资源提供全文预览，点击全文预览即可全文预览,如果喜欢文档就下载吧，查找使用更方便哦！

9.90 积分

第 卷 第 期年 月北 京 工 业 大 学 学 报进 程 调 度 机 制 分 析方 林 波 ‘ , , 黄 樟 钦 ‘ , 侯 义 斌 ‘北 京 工 业 大 学 计 算 机 学 院 , 北 京 第 二 炮 兵 工 程 学 院 四 系 , 西 安摘 要 从 如 何 增 强 操 作 系 统 对 实 时 任 务 的 支 持 出 发 , 阐 述 了 内 核 进 程 调 度 系 统 设 计 上 存 在 的 缺 陷缺 乏 对 实 时 任 务 的 支 持 , 无 法 保 证 实 时 任 务 得 到 及 时 响 应 和 调 度 对 多 处 理 器 环 境 的 支 持 较 差 分 析 了 的最 新 内 核 进 程 调 度 系 统 的 原 理 和 实 现 细 节 与 内 核 相 比 , 内 核 增 强 了 对 实 时 任 务 和 多 处 理 器 环 境的 支 持 , 实 现 了 调 度 算 法 , 支 持 抢 占 式 调 度 , 在 响 应 时 间 及 系 统 开 销 上 均 有 大 的 改 进 , 其 显 著 特 点 是 支 持 抢占 式 调 度 、 支 持 多 处 理 器 负 载 平 衡 等 , 更 加 适 合 于 实 时 应 用 环 境关 键 词 进 程 调 度 调 度 策 略 优 先 级 时 间 片 抢 占 式中 图 分 类 号 文 献 标 识 码 文 章 编 号 一 一 一进 程 调 度 系 统 负 责 控 制 进 程 访 问 , 是 操 作 系 统 的 关 键 子 系 统 , 其 他 子 系 统 都 依 赖 于 它 , 因 此 其 性能 好 坏 关 系 整 个 系 统 , 对 操 作 系 统 的 整 体 性 能 有 着 非 常 重 要 的 影 响 川 一 个 好 的 进 程 调 度 系 统 需 要 考 虑很 多 方 面 的 因 素 公 平 、 有 效 、 响 应 时 间 、 周 转 时 间 、 吞 吐 量 等 作 者 分 析 了 最 新 内 核 的 进 程调 度 系 统 的 新 特 性 , 与 内 核 相 比 , 内 核 在 响 应 时 间 、 实 时 支 持 及 系 统 开 销 上 均 有 很 大 的 改 进 , 更 加适 合 于 实 时 应 用 环 境内 核 进 程 调 度 系 统 的 缺 陷内 核 的 进 程 调 度 采 用 时 间 片 轮 转 和 优 先 级 相 结 合 的 调 度 策 略 , 〕 每 个 进 程 分 配 一 定 的 时 间 片和 优 先 级 , 实 时 进 程 的 优 先 级 高 于 非 实 时 进 程 , 上 始 终 运 行 优 先 级 最 高 的 进 程 通 过 对 内 核 调 度系 统 源 码 的 分 析 , 发 现 有 以 下 几 个 缺 陷调 度 算 法 复 杂 度 是 , 与 系 统 的 负 载 关 系 很 大 , 内 核 的 进 程 调 度 只 设 置 了 一 个 进 程 就 绪 队列 , 进 程 用 完 了 分 给 自 己 的 时 间 片 后 仍 然 放 在 就 绪 队 列 中 , 还 要 参 与 的 计 算 , 浪 费 了 时 间对 实 时 应 用 支 持 较 差 , 不 提 供 抢 占 式 调 度 , 对 于 需 要 及 时 响 应 的 实 时 任 务 是 无 法 接 受 的在 多 处 理 器 环 境 中 , 只 有 一 个 就 绪 队 列 , 当 一 个 处 理 器 正 在 对 它 进 行 操 作 时 , 其 他 的 处 理 器 只 能 等待 , 而 且 负 载 不 能 在 各 处 理 器 之 间 平 衡内 核 进 程 调 度 机 制 分 析跟 内 核 相 比 , 内 核 的 进 程 调 度 机 制 有 很 大 改 进 , 主 要 表 现 在 调 度 算 法 、 支 持 抢 占 式 调度 、 增 强 了 多 处 理 器 环 境 下 的 支 持调 度 策 略按 照 对 处 理 器 时 间 的 需 求 , 进 程 可 以 分 为 “ 一 ” 和 “ 一 ” 两 大 类 〔 〕 前 者 花 费 大 量时 间 等 待 操 作 的 完 成 , 占 用 处 理 器 的 时 间 较 少 而 后 者 花 费 大 量 的 处 理 器 时 间 运 行 应 用 程 序收 稿 日 期 一 一基 金 项 目 北 京 市 自 然 科 学 基 金 资 助 项 目作 者 简 介 方 林 波 一 , 男 , 四 川 营 山 人 , 博 士 生© 1994-2009 China Academic Journal Electronic Publishing House. All rights reserved. http://www.cnki.net北 京 工 业 大 学 学 报 年每 个 进 程 在 创 建 之 初 有 一 个 基 本 的 优 先 级 , 执 行期 间 调 度 系 统 会 动 态 调 整 它 的 优 先 级 , 交 互 性 高 的 任务 会 获 得 一 个 高 的 动 态 优 先 级 , 而 交 互 性 低 的 任 务 获得 一 个 低 的 动 态 优 先 级 类 进 程 的 时 间 片 计 算 如图 所 示交 互 性 低 交 互 性 高最 小 值 缺 省 最 大 值图 进 程 的 时 间 片 计 算调 度 算 法内 核 的 一 个 新 特 点 是 实 现 了 调 度 , 即 调 度 开 销 跟 系 统 当 前 负 载 大 小 无 关 调 度 算法 的 实 现 跟 关 键 的 数 据 结 构 有 关主 要 的 数 据 结 构是 调 度 系 统 中 最 关 键 的 数 据 结 构 , 该 结 构 在 。 中 定 义 , 它 用 于 存 放 特 定 处 理 器上 的 就 绪 进 程 队 列 信 息 , 每 个 处 理 器 个 , 它 包 含 了 每 个 处 理 器 的 调 度 信 息一 一 关 , ‘ ,每 个 处 理 器 的 就 绪 队 列 按 时 间 片 是 否 用 完 分 为 个 部 分 , 分 别 通 过 指 针 。 和 来 访 问 , 它们 指 向 的 类 型 均 为 。 一 结 构 , 该 结 构 的 定 义 在 。 中一 。 一一 二 相 应 中 的 进 程 数” 一 关 索 引 位 图一 一 」 每 个 优 先 级 的 进 程 队 列其 中 一 是 系 统 中 允 许 的 最 大 优 先 级 数 , 缺 省 为 , 数 值 越 小 优 先 级 越 高 「 一存 放 的 是 相 同 优 先 级 的 就 绪 进 程 队 列 链 表一 数 组 作 为 进 程 队 列 一 的 索 引 位 图 , 一 的 缺 省值 为 , 所 以 总 共 有 位 , 它 的 每 一 位 都 与 」 相 对 应 , 当 」 的 进 程 队 列 不 为 空 时 ,的 相 应 位 就 为 , 否 则 就 为 当 一 个 给 定 优 先 级 的 进 程 变 为 可 执 行 状 态 变 为, 则 它 在 中 的 相 应 位 置 为函 数 中 用 于 确 定 最 高 优 先 级 进 程 的 代 码 非 常 快 速 高 效 , 如 下一 关 , 关一 ‘一一 一 一 一一 , 一 , 一首 先 , 调 用 函 数 一 一 一 找 到 位 图 中 第 个 置 位 的 位 , 该 位 正 好 对 应 于 就 绪 队 列 中 的 最高 优 先 级 进 程 链 表 , 然 后 , 调 度 器 选 择 在 该 优 先 级 链 表 中 的 第 个 进 程 投 入 运 行 具 体 过 程 见 图一 一 一 函 数 能 够 快 速 定 位 优 先 级 最 高 的 非 空 就 绪 进 程 链 表 , 运 行 时 间 跟 就 绪 队 列 中的 进 程 数 无 关 , 是 实 现 调 度 算 法 的 一 个 关 键 所 在© 1994-2009 China Academic Journal Electronic Publishing House. All rights reserved. http://www.cnki.net第 期 方 林 波 等 进 程 调 度 机 制 分 析优 先 级 和 时 间 片 的 计 算 方 法 和 时 机内 核 根 据 优 先 级 来 选 择 下 一 个 要 占 有并 运 行 的 进 程 优 先 级 由 静 态 优 先 级 一 和 动态 优 先 级 组 成 静 态 优 先 级 在 进 程 创 建 时 就 被 赋值 , 并 且 不 再 改 变 动 态 优 先 级 则 跟 。 一 和一 个 变 量 有 关 实 时 进 程 的 优 先 级 在 创 建 时设 定 , 并 且 不 随 进 程 的 运 行 而 改 变 对 非 实 时 进 程 而言 , 由 一 在 一 中 定 义 确 定任 务 的 动 态 优 先 级系 统 赋 予 “ 一 ” 任 务 更 高 的 优 先 级 ,如 何 确 定 一 个 任 务 是 “ 一 ” 或 者 是 “’’ 内 核 解 决 得 非 常 巧 妙 , 在 任 务 的中 有 一 个 变 量 一 , 它 的 范 围 为 一一 一 , 缺 省 值 为 当 一 个 任 务 从睡 眠 中 唤 醒 并 运 行 时 , 将 一 的 值 加 上 其 睡 眠 的时 间 , 直 到 该 值 达 到 一 在 任 务 运口口口口口口 口口 日日 匡匡匡匡口口口 口口 匡匡口口口 庄庄 口口 日日 匡匡口口口 压压 口口 日日 匡匡口口口 匡匡 川川口口口 庄庄 口口 匡匡口口口 压压 匡匡日日日 陌陌 口口 口口 山山 巨巨口口口 口口 口口 口口图 调 度 器 算 法行 时 , 每 个 时 钟 中 断 发 生 时 , 都 递 减 一 的 值 , 直 到 。 为 止 内 核 就 是 根 据 一 的 值 判 断进 程 的 交 互 程 度 , 一 越 大 , 计 算 出 来 的 进 程 优 先 级 也 越 高 数 值 越 小 调 度 系 统 通 过 奖 励 动 态 优先 级 的 方 式 来 使 得 交 互 进 程 获 得 更 多 的 执 行 机 会内 核 的 调 度 系 统 在 所 有 就 绪 进 程 的 时 间 片 耗 完 以 后 在 调 度 系 统 中 一 次 性 重 新 计 算 , 下 面 是内 核 中 的 程 序 片 断一 一 二 从 ‘ ’ 即 开 始 遍 历 二一一 一 , 一一 , 一 , 一一 , 一 。, 一 , 一 一,这 种 方 式 会 产 生 以 下 的 问 题 每 次 调 度 都 要 进 行 次 循 环 , 耗 时 跟 当 前 就 绪 进 程 数 相 关 , 算 法 复 杂度 为 计 算 过 程 中 必 须 给 结 构 和 就 绪 进 程 队 列 上 锁 , 结 果 会 导 致 大 量 的 竞 争 , 使 得 就绪 队 列 成 为 一 个 明 显 的 瓶 颈内 核 为 每 个 处 理 器 保 留 和 个 优 先 级 数 组 数 组 中 包 含 了 有 剩 余 时 间 片 的任 务 , 队 列 中 包 含 所 有 用 完 时 间 片 的 任 务 当 一 个 任 务 的 时 间 片 用 完 时 , 会 重 新 计 算 其 时 间 片 , 并插 入 到 队 列 中 , 当 队 列 中 所 有 进 程 用 完 时 间 片 时 , 只 需 交 换 指 向 和 队 列 的 指针 即 可 , 这 个 交 换 由 中 以 下 程 序 段 完 成一一© 1994-2009 China Academic Journal Electronic Publishing House. All rights reserved. http://www.cnki.net北 京 工 业 大 学 学 报 年内 核 通 过 这 种 简 单 高 效 的 方 式 实 现 时 间 片 的 轮 转 , 是 实 现 调 度 算 法 的 又 一 关 键 所 在抢 占 式 调 度, 内 核 实 现 了 内 核 可 抢 占 在 内 核 中 , 在 核 心 态 运 行 的 进 程 , 除 非 主 动 放 弃 是 不 可 抢 占 的 在内 核 中 , 当 内 核 进 程 没 有 访 问 内 核 的 关 键 数 据 , 就 可 以 进 行 抢 占 式 调 度 每 个 进 程 的 一 结 构中 有 个 抢 占 计 数 器 一 , 它 的 值 为 表 示 内 核 可 抢 占 , 每 次 加 锁 时 加 , 解 锁 时 减 , 抢 占 调度 前 , 要 通 过 一 函 数 对 内 核 加 锁 可 抢 占 式 调 度 通 常 发 生 在 以 下 时 机 中 断 处 理 返 回的 如 果 是 内 核 空 间 , 内 核 检 查 一 和 一 的 值 , 如 果 一 的 值 为 ,的 值 为 , 则 说 明 有 优 先 级 更 高 的 进 程 需 要 执 行 , 且 抢 占 调 度 是 安 全 的 当 从 系 统 调 用 或 中 断 处 理返 回 用 户 空 间 时 , 内 核 也 会 检 查 的 值 , 以 决 定 是 否 需 要 进 行 调 度 , 跟 内 核 是 相 同 的当 内 核 知 道 当 前 抢 占 调 度 是 安 全 的 如 内 核 进 程 阻 塞 , 则 内 核 可 以 显 式 调 用一 函 数函 数 是 完 成 进 程 调 度 的 主 要 函 数 它 确 定 下 一 个 应 该 占 有 并 运 行 的 进 程 , 且 完 成 进程 切 换 的 工 作 它 的 性 能 将 直 接 影 响 到 系 统 的 性 能 其 主 要 流 程 如 下 首 先 调 用 一 , 关闭 内 核 抢 占 , 因 为 此 时 将 要 对 内 核 的 一 些 重 要 数 据 结 构 进 行 操 作 , 所 以 必 须 将 内 核 抢 占 关 闭 调 用一 一 一 寻 找 最 高 优 先 级 的 进 程 队 列 的 偏 移 量 , 那 么 , 即 为 找 到 的, 具 体 过 程 在 前 面 已 有 论 述 调 用 一 执 行 进 程 切 换 , 它 主 要 调 用 个 函 数 , 一 个 是一 , 完 成 新 旧 进 程 间 虚 拟 内 存 映 射 间 的 切 换 , 另 一 个 是 一 , 保 存 和 恢 复 堆 栈 信 息 和 处理 器 的 寄 存 器 , 具 体 过 程 与 内 核 大 致 相 同结 束 语以 前 的 内 核 在 内 核 态 是 不 可 抢 占 的 , 调 度 开 销 较 大 , 调 度 算 法 的 复 杂 度 是 , 与 系 统 负 载 关系 大 , 不 适 于 实 时 环 境 的 应 用 内 核 实 现 了 内 核 抢 占 和 调 度 , 保 证 了 实 时 进 程 能 够 在 可 预 期 的时 间 内 得 到 及 时 调 度 但 这 种 特 点 只 符 合 软 实 时 的 应 用 要 求 , 离 硬 实 时 还 有 一 定 距 离 另 外 , 调 度 系统 没 有 提 供 除 以 外 的 其 他 资 源 的 剥 夺 运 行 , 因 此 , 它 的 实 时 性 并 没 有 得 到 根 本 改 观参 考 文 献〔 陈 莉 君 操 作 系 统 内 核 分 析 〔 〕 杭 州 浙 江 大 学 出 版 社 ,一 哟 ,【 李 善 平 , 陈 文 智 边 干 边 学 一 内 核 指 导 【 〕 杭 州 浙 江 大 学 出 版 社 ,一 , 一 「 昭 ,」 钟 小 铃 , 袁 宏 春 的 进 程 调 度 〕 计 算 机 应 用 , 一一 , 一 , 一〔 毛 德 操 , 胡 希 明 内 核 代 码 情 景 分 析 杭 州 浙 江 大 学 出 版 社 ,一 , 一 舫 邓 」 ,【 」 , 〕 ,」 , , , 深 入 理 解 内 核 」 陈 莉 君 译 北 京 中 国 电 力 出 版 社 , ,, 【 」 一 ,, ,© 1994-2009 China Academic Journal Electronic Publishing House. All rights reserved. http://www.cnki.net第 期 方 林 波 等 进 程 调 度 机 制 分 析一 , , 一 , 一, , ,, , ’ ,一 ,一 ,一一 ,, 〕, 一上 接 第 页一一 , 一 ,, , ,,一一 , 一,, 一一© 1994-2009 China Academic Journal Electronic Publishing House. All rights reserved. http://www.cnki.net 关 键 词： linux 进程 调度 机制 分析

 天天文库所有资源均是用户自行上传分享，仅供网友学习交流，未经上传用户书面授权，请勿作他用。