搜索

[28715] 2021-01-05_解决Windows上未初始化的内核池内存

文档创建者：s7ckTeam
浏览次数：111
最后更新：2025-01-19
2021-01-05_解决Windows上未初始化的内核池内存 解 决 W i n d o w s 上 未 初 始 化 的 内 核 池 内 存 J o e   B i a l e k   O t s 安 全   2 0 2 1 - 0 1 - 0 5 M S R C ， 安 全 研 究 与 防 御 / 乔 · 比 亚 莱 克   （   J o e   B i a l e k ）   /   2 0 2 0 年 7 月 2 日 这 篇 博 客 文 章 概 述 了 M i c r o s o f t 为 消 除 W i n d o w s 中 未 初 始 化 的 内 核 池 内 存 漏 洞 所 做 的 工 作 ， 以 及 我 们 为 何 走 这 条 路 。 有 关 未 初 始 化 的 内 存 为 何 重 要 以 及 过 去 曾 使 用 过 哪 些 选 项 来 解 决 此 问 题 的 背 景 信 息 ， 请 参 见 我 们 以 前 的 博 客 文 章 。 简 短 的 回 顾 是 ， 未 初 始 化 的 内 核 池 漏 洞 占 2 0 1 7 年 至 2 0 1 8 年 中 向 M i c r o s o f t 报 告 的 所 有 未 初 始 化 的 内 存 问 题 的 不 到 一 半 。 这 篇 博 客 文 章 分 为 几 个 部 分 ， 您 可 以 跳 转 至 ： 1 .   了 解 解 决 未 初 始 化 的 池 内 存 的 可 行 性 2 .   潜 在 的 实 施 方 案 3 .   新 的 W i n d o w s 内 核 池 A P I 4 .   性 能 优 化 5 .   部 署 计 划 6 .   对 客 户 的 影 响 7 .   前 瞻 性 计 划 没 有 W i n d o w s 组 织 和 M S R C 的 密 切 合 作 ， 这 项 工 作 将 无 法 实 现 。 了 解 解 决 未 初 始 化 的 池 内 存 的 可 行 性 解 决 未 初 始 化 内 核 池 内 存 的 工 作 始 于 解 决 未 初 始 化 堆 栈 内 存 的 工 作 。 就 像 未 初 始 化 的 堆 栈 存 储 器 一 样 ， 我 们 需 要 一 种 可 以 确 定 性 地 防 止 漏 洞 ， 而 不 是 仅 依 赖 于 静 态 分 析 ， 模 糊 测 试 或 代 码 审 查 的 解 决 方 案 。 对 我 们 来 说 ， 理 想 的 最 终 状 态 是 知 道 我 们 的 代 码 在 构 造 时 没 有 未 初 始 化 的 内 核 池 问 题 。 最 初 ， 解 决 未 初 始 化 的 池 内 存 似 乎 比 未 初 始 化 的 堆 栈 内 存 更 具 挑 战 性 。 请 考 虑 以 下 差 异 ：
堆 栈 分 配 堆 栈 分 配 内 核 池 分 配 内 核 池 分 配 典 型 尺 寸 典 型 尺 寸 小 （ 内 核 堆 栈 为 2 0 K B ， 无 法 增 长 ） 可 以 很 多 M B 。 平 均 池 分 配 大 小 大 于 堆 栈 。 快 取 快 取 活 动 堆 栈 通 常 在 L 1 高 速 缓 存 中 或 即 将 被 使 用 （ 当 变 量 被 代 码 使 用 时 ） 。 池 分 配 可 能 由 根 本 不 在 高 速 缓 存 中 的 内 存 满 足 ， 并 且 可 能 无 法 立 即 使 用 （ 尽 管 池 分 配 通 常 在 分 配 后 不 久 就 使 用 ） 。 优 化 能 力 优 化 能 力 M S V C 很 好 地 完 成 了 消 除 冗 余 存 储 以 堆 叠 变 量 的 工 作 。 如 果 在 池 A P I 中 将 分 配 清 零 ， 则 编 译 器 不 可 能 自 动 优 化 掉 初 始 清 零 。 M S V C 将 需 要 自 定 义 优 化 逻 辑 来 识 别 “ 此 A P I 为 零 ， 因 此 ， 如 果 调 用 者 在 分 配 后 立 即 将 其 m e m s e t 设 置 为 零 ， 则 可 以 消 除 该 m e m s e t ” 。 M S V C 通 常 很 难 优 化 冗 余 存 储 以 池 / 堆 存 储 。 分 配 时 间 分 配 时 间 通 过 调 整 堆 栈 指 针 进 入 函 数 后 ， 即 时 有 效 地 批 量 分 配 了 堆 栈 。 快 速 但 不 是 即 时 的 。 涉 及 分 支 逻 辑 ， 读 取 多 个 内 存 以 查 询 结 构 和 元 数 据 ， 并 可 能 获 取 锁 或 调 用 内 存 管 理 器 以 获 得 其 他 虚 拟 地 址 空 间 。 初 始 化 花 初 始 化 花 费 的 费 的 “ 总 总 分 配 时 分 配 时 间 间 ” 百 分 百 分 比 比 如 果 无 法 优 化 强 制 初 始 化 ， 则 “ 分 配 时 间 ” 将 从 零 变 为 初 始 化 所 需 的 时 间 。 这 纯 粹 是 开 销 。 堆 分 配 已 经 有 开 销 ， 希 望 在 m e m s e t 中 花 费 的 时 间 将 是 总 分 配 时 间 的 个 位 数 百 分 比 。 对 于 非 常 大 的 内 存 集 ， 我 们 期 望 内 存 集 成 本 将 主 导 总 分 配 时 间 。 简 而 言 之 ， 我 们 期 望 池 分 配 平 均 比 堆 栈 分 配 大 ， 将 很 难 （ 或 不 可 能 ） 优 化 冗 余 存 储 ， 而 不 是 平 均 分 配 ， 并 且 将 在 较 慢 的 C P U 高 速 缓 存 中 处 理 内 存 。 唯 一 的 赎 回 因 素 是 ， 进 行 堆 分 配 的 时 间 要 比 堆 分 配 的 时 间 长 ， 因 此 ， 尽 管 我 们 可 能 花 更 多 时 间 初 始 化 堆 分 配 ， 但 希 望 它 会 与 “ 花 费 在 堆 分 配 上 的 时 间 ” 的 杂 波 混 在 一 起 。 为 了 验 证 这 一 理 论 ， 我 们 进 行 了 两 组 测 试 。 真 实 的 W i n d o w s 性 能 测 试 在 此 测 试 中 ， 我 们 修 改 了 现 有 池 A P I ， 以 无 条 件 将 所 有 分 配 归 零 ， 而 不 能 选 择 退 出 行 为 。 然 后 ， 我 们 使 用 现 有 的 性 能 门 基 础 设 施 来 衡 量 此 更 改 在 关 键 情 况 下 的 影 响 。 这 些 测 试 结 果 非 常 积 极 。 大 多 数 基 准 测 试 均 未 显 示 可 衡 量 的 性 能 下 降 。 W e b 基 础 （ 网 络 服 务 器 性 能 的 一 种 衡 量 标 准 ） 是 我 们 的 关 键 基 准 之 一 ， 它 在 估 计 整 个 系 统 性 能 方 面 做 得 很 出 色 ， 并 且 众 所 周 知 ， 它 对 内 核 池 分 配 器 的 性 能 非 常 敏 感 。 当 我 们 之 前 用 运 行 在 用 户 模 式 下 的 段 堆 实 现 替 换 了 旧 的 内 核 池 分 配 器 时 ， W e b 基 础 知 识 最 初 看 到 的 回 归 约 为 1 5 ％ （ 请 注 意 ： 我 们 修 复 了 这 些 回 归 ） 。 这 里 的 要 点 是 ， W e b 基 础 知 识 对 池 分 配 器 的 性 能 非 常 敏 感 。 在 池 归 零 的 情 况 下 ， 一 项 网 络 基 础 测 试 显 示 噪 声 水 平 回 归 约 为 1 ％ 。 其 余 的 网 络 基 础 测 试 表 明 没 有 回 归 。 这 使 我 们 相 信 ， 池 零 归 零 是 可 行 的 ， 只 要 我 们 能 够 让 开 发 人 员 选 择 退 出 引 起 回 归 的 热 分 配 即 可 。 微 基 准 我 们 还 建 立 了 微 基 准 ， 以 帮 助 我 们 了 解 清 零 的 开 销 对 于 不 同 大 小 的 分 配 是 什 么 。 请 注 意 ， 这 些 微 基 准 确 实 有 一 些 噪 音 。 如 果 您 在 单 一 尺 寸 下 看 到 大 量 尖 峰 ， 则 可 能 只 是 测 试 中 的 噪 音 。 还 要 注 意 ， 在 进 行 了 一 些 性 能 调 整 后 ， 这 些 基 准 并 不 代 表 当 前 的 性 能 。 这 些 是 初 始 性 能 数 字 。
测 试 1 ： 使 用 相 同 大 小 的 多 个 分 配 分 配 8 G B 内 存 以 下 基 准 测 试 测 量 单 个 线 程 重 复 分 配 某 个 固 定 大 小 时 ， 池 归 零 引 起 的 回 归 。 请 注 意 ， 对 于 这 些 测 试 ， 进 行 了 8 G B 的 分 配 。 这 种 情 况 有 些 不 切 实 际 ， 因 为 在 正 常 的 堆 操 作 中 ， 我 们 期 望 分 配 并 释 放 分 配 （ 因 此 可 以 重 新 使 用 虚 拟 地 址 空 间 ） 。 在 此 测 试 中 ， 堆 需 要 定 期 进 入 内 存 管 理 器 以 请 求 其 他 内 存 （ 速 度 较 慢 ） 。        
合 理 化 绩 效 数 据 现 实 世 界 的 数 据 看 起 来 不 错 ， 但 是 一 些 微 基 准 测 试 数 据 看 起 来 确 实 令 人 担 忧 。 这 是 我 们 可 以 合 理 化 所 见 内 容 的 方 法 ： 1 .   与 较 大 的 分 配 相 比 ， 在 热 路 径 中 更 可 能 看 到 较 小 的 分 配 。 例 如 ， 您 通 常 不 会 在 热 路 径 中 看 到 几 兆 甚 至 几 千 字 节 的 分 配 。 通 常 在 有 限 的 地 方 进 行 较 大 的 分 配 ， 并 且 热 路 径 是 使 用 分 配 的 代 码 ， 而 不 是 进 行 分 配 的 代 码 。 2 .   小 分 配 性 能 不 是 超 级 回 归 。 仍 有 影 响 ， 但 并 非 不 合 理 。 3 .   许 多 现 有 的 代 码 路 径 在 进 行 分 配 后 已 经 为 零 分 配 。 我 们 的 实 际 测 试 设 置 是 在 P o o l   A P I 内 部 无 条 件 地 将 分 配 清 零 ， 因 此 我 们 导 致 许 多 分 配 被 双 重 清 零 。 如 果 我 们 确 保 分 配 仅 被 清 零 一 次 ， 我 们 可 以 赢 回 一 些 性 能 。 4 .   微 型 基 准 测 试 仍 然 不 够 准 确 。 该 基 准 通 过 分 配 相 同 大 小 的 分 配 来 工 作 ， 这 意 味 着 该 A P I 内 部 的 分 支 预 测 变 量 将 受 到 良 好 的 训 练 。 在 现 实 世 界 中 ， 这 有 时 是 正 确 的 （ 即 有 时 应 用 程 序 连 续 进 行 一 堆 相 同 大 小 的 分 配 ） ， 但 通 常 也 并 非 如 此 。 如 果 未 对 分 支 预 测 变 量 进 行 充 分 的 训 练 ， 则 正 常 的 池 分 配 代 码 将 具 有 这 些 测 试 未 反 映 的 其 他 分 支 错 误 预 测 开 销 。 5 .   如 果 归 零 行 为 最 终 成 为 他 们 代 码 中 的 瓶 颈 ， 我 们 总 是 可 以 允 许 开 发 人 员 选 择 退 出 分 配 。 您 可 能 已 经 猜 到 了 ， 我 们 最 终 根 据 收 集 到 的 数 据 进 行 了 池 清 零 项 目 。 潜 在 的 实 施 方 案 我 们 考 虑 了 三 种 方 法 来 获 取 初 始 化 的 池 内 存 ： 1 .   默 认 情 况 下 ， 创 建 新 的 池 A P I 会 将 内 存 归 零 。 2 .   使 用 一 些 编 译 器 魔 术 将 初 始 化 后 未 完 全 初 始 化 的 池 分 配 归 零 。 3 .   默 认 情 况 下 ， 使 现 有 池 A P I 的 内 存 为 零 ， 并 提 供 新 的 标 志 以 允 许 退 出 。 我 们 排 除 了 ＃ 2 ， 因 为 它 将 涉 及 一 次 性 编 译 器 逻 辑 ， 以 识 别 池 分 配 ， 检 测 它 们 是 否 已 完 全 初 始 化 以 及 是 否 未 插 入 初 始 化 。 这 也 只 会 使 使 用 M S V C 编 译 驱 动 程 序 的 开 发 人 员 受 益 ， 而 第 一 种 方 法 还 将 帮 助 使 用 其 他 编 译 器 编 译 驱 动 程 序 的 开 发 人 员 。 我 们 排 除 了 ＃ 3 ， 因 为 它 为 现 有 池 A P I 造 成 了 重 大 变 化 。 许 多 公 司 编 写 的 驱 动 程 序 可 以 在 所 有 W i n d o w s 版 本 上 运 行 。 如 果 我 们 更 改 了 现 有 的 池 A P I ， 那 么 如 果 驱 动 程 序 编 写 者 的 驱 动 程 序 需 要 在 较 旧 版 本 的 W i n d o w s 上 运 行 ， 则 他 们 将 面 临 一 个 难 题 ： 1 .   继 续 使 用 现 有 池 A P I 返 回 的 零 分 配 ， 这 样 ， 在 没 有 此 行 为 的 W i n d o w s 版 本 上 运 行 时 ， 其 驱 动 程 序 在 功 能 上 将 正 确 。 2 .   编 写 驱 动 程 序 ， 使 其 仅 在 具 有 新 池 A P I 行 为 的 W i n d o w s 版 本 上 运 行 。 请 注 意 ， 即 使 我 们 发 布 了 此 变 更 级 别 ， 驱 动 程 序 开 发 人 员 也 将 无 法 依 赖 它 。 一 些 客 户 不 安 装 更 新 或 花 费 很 长 时 间 安 装 更 新 。 我 们 花 了 一 些 时 间 研 究 可 以 使 我 们 “ 升 级 ” 现 有 A P I 以 使 其 具 有 归 零 行 为 的 解 决 方 案 ， 但 是 ， 我 们 无 法 提 供 一 个 满 足 以 下 要 求 的 好 的 解 决 方 案 ： 1 .   对 于 开 发 人 员 而 言 ， 使 用 调 零 A P I 必 须 比 非 调 零 A P I 更 方 便 （ 即 ， 我 们 更 愿 意 强 迫 某 人 选 择 退 出 调 零 而 不 是 选 择 加 入 ） 2 .   不 得 在 任 何 支 持 平 台 上 导 致 功 能 正 确 性 问 题
3 .   不 得 在 任 何 支 持 平 台 上 要 求 双 归 零 4 .   如 果 需 要 性 能 ， 必 须 能 够 禁 用 调 零 新 的 W i n d o w s 内 核 池 A P I W i n d o w s   1 0 版 本 2 0 0 4   A P I 对 于 W i n d o w s   1 0 版 本 2 0 0 4 发 行 版 ， 我 们 引 入 了 新 的 池 A P I （ 默 认 情 况 下 为 零 ） 。 这 些 A P I 是 ： E x A l l o c a t e P o o l 2 E x A l l o c a t e P o o l 3 E x A l l o c a t e P o o l 2 使 用 较 少 的 参 数 ， 使 其 更 易 于 使 用 。 它 涵 盖 了 最 常 见 的 情 况 。 需 要 更 灵 活 参 数 的 不 太 常 见 的 方 案 （ 例 如 优 先 级 分 配 ） 通 过 E x A l l o c a t e P o o l 3 进 行 。 这 两 个 A P I 的 目 的 都 是 为 了 将 来 可 扩 展 ， 因 此 我 们 无 需 继 续 添 加 新 的 A P I 。 下 层 兼 容 A P I 我 们 还 引 入 了 一 套 新 的 包 装 器 A P I ， 它 们 可 在 所 有 受 支 持 的 下 层 操 作 系 统 上 使 用 。 这 些 实 现 为 f o r c e i n l i n e 函 数 ， 需 要 驱 动 程 序 开 发 人 员 ： 1 .   在 拉 入 任 何 W i n d o w s 标 头 之 前 ， 请 在 其 驱 动 程 序 中 定 义 P O O L _ Z E R O _ D O W N _ L E V E L _ S U P P O R T （ 使 用 # d e f i n e ） 。 2 .   在 使 用 这 些 A P I 之 前 ， 请 调 用 E x I n i t i a l i z e D r i v e r R u n t i m e 。 旧 旧 A P I 调 零 包 装 调 零 包 装 未 初 始 化 的 包 装 器 未 初 始 化 的 包 装 器 E x A l l o c a t e P o o l W i t h T a g E x A l l o c a t e P o o l Z e r o E x A l l o c a t e P o o l 未 初 始 化 E x A l l o c a t e P o o l W i t h Q u o t a T a g E x A l l o c a t e P o o l Q u o t a 归 零 E x A l l o c a t e P o o l Q u o t a 未 初 始 化 E x A l l o c a t e P o o l W i t h T a g P r i o r i t y E x A l l o c a t e P o o l P r i o r i t y 0 E x A l l o c a t e P o o l P r i o r i t y 未 初 始 化 当 这 些 A P I 在 本 机 支 持 池 清 零 的 操 作 系 统 上 使 用 时 ， 它 们 仅 调 用 池 A P I 并 允 许 其 进 行 清 零 。 当 它 们 在 本 机 不 支 持 池 清 零 的 操 作 系 统 （ 即 W i n d o w s   1 0 版 本 2 0 0 4 之 前 的 操 作 系 统 ） 上 使 用 时 ， 它 们 将 进 行 池 分 配 ， 然 后 将 分 配 内 存 设 置 为 零 。 目 的 是 使 驱 动 程 序 开 发 人 员 可 以 更 明 确 地 了 解 其 在 程 序 中 的 工 作 方 式 。 由 于 该 行 为 是 在 A P I 名 称 中 明 确 指 定 的 ， 因 此 开 发 人 员 是 否 真 正 打 算 将 分 配 初 始 化 或 归 零 将 永 远 不 会 有 任 何 问 题 。 E x A l l o c a t e P o o l 2   /   3 对 旧 A P I 的 改 进 投 掷 行 为
旧 的 池 A P I 具 有 令 人 困 惑 的 错 误 路 径 行 为 。 除 非 将 P O O L _ Q U O T A _ F A I L _ I N S T E A D _ O F _ R A I S E 标 志 传 递 给 它 ， 否 则 E x A l l o c a t e P o o l W i t h Q u o t a T a g 会 在 出 错 时 引 发 异 常 ， 在 这 种 情 况 下 ， 出 错 时 返 回 N U L L 。 除 非 将 P O O L _ R A I S E _ I F _ A L L O C A T I O N _ F A I L U R E 标 志 传 递 给 他 们 ， 否 则 E x A l l o c a t e P o o l W i t h T a g 和 E x A l l o c a t e P o o l W i t h T a g P r i o r i t y 将 在 失 败 时 返 回 N U L L ， 在 这 种 情 况 下 ， 它 们 将 引 发 异 常 。 一 组 具 有 不 同 语 义 的 A P I 有 点 令 人 困 惑 。 除 非 指 定 了 P O O L _ F L A G _ R A I S E _ O N _ F A I L U R E 标 志 ， 否 则 E x A l l o c a t e P o o l 2   /   3 在 失 败 时 将 返 回 N U L L ， 在 这 种 情 况 下 将 引 发 异 常 。 标 签 行 为 旧 的 池 A P I 接 受 的 池 标 记 为 零 。 这 会 使 调 试 更 加 困 难 。 新 的 池 A P I 不 接 受 零 池 标 记 。 默 认 情 况 下 ， 不 可 执 行 的 非 分 页 池 使 用 P O O L _ F L A G S _ N O N _ P A G E D 默 认 为 不 可 执 行 的 内 存 。 P O O L _ F L A G S _ N O N _ P A G E D _ E X E C U T A B L E 必 须 用 于 可 执 行 的 非 页 面 缓 冲 池 内 存 。 通 过 使 更 方 便 的 分 配 类 型 成 为 更 安 全 的 分 配 类 型 ， 开 发 人 员 不 太 可 能 意 外 地 执 行 不 安 全 的 操 作 。 注 意 ： 分 页 池 在 x 8 6 体 系 结 构 上 始 终 是 可 执 行 的 ， 而 在 所 有 其 他 体 系 结 构 上 则 不 能 执 行 。   默 认 清 零 默 认 情 况 下 ， 新 池 A P I 的 零 分 配 。 如 果 调 用 者 需 要 未 初 始 化 的 分 配 ， 则 必 须 指 定 P O O L _ F L A G S _ U N I N I T I A L I Z E D 标 志 。 性 能 优 化 由 于 该 性 能 在 现 实 世 界 中 的 测 试 中 看 起 来 不 错 ， 因 此 并 没 有 做 太 多 事 情 来 进 一 步 优 化 它 。 有 一 些 事 情 值 得 一 提 。 1 .   在 请 求 清 零 的 情 况 下 进 行 大 型 分 配 时 ， 堆 可 能 需 要 从 内 存 管 理 器 中 检 索 内 存 。 在 这 种 情 况 下 ， 堆 将 请 求 置 零 的 页 面 ， 并 且 内 存 管 理 器 将 尝 试 使 用 后 台 置 零 线 程 已 置 零 的 内 存 来 提 供 这 些 页 面 。 这 允 许 快 速 分 配 大 量 的 零 位 内 存 。 2 .   对 于 非 常 大 的 分 配 ， 开 发 人 员 可 以 使 用 适 当 的 标 志 手 动 从 零 中 退 出 分 配 。 通 常 不 会 在 热 路 径 中 进 行 很 大 的 分 配 ， 因 此 通 常 不 需 要 使 用 此 分 配 。 3 .   创 建 了 一 个 特 定 于 堆 的 归 零 函 数 ， 该 函 数 优 于 常 规 m e m s e t 实 现 。 我 们 计 划 将 来 发 布 有 关 此 的 另 一 篇 博 客 文 章 。 该 功 能 利 用 了 特 定 对 齐 方 式 的 保 证 ， 即 堆 可 以 为 其 分 配 进 行 分 配 。 无 需 其 他 优 化 。 部 署 计 划 与 I n i t A l l 不 同 ， 新 的 池 清 零 A P I 需 要 更 改 代 码 才 能 使 用 。
对 于 W i n d o w s   1 0 版 本 2 0 0 4 ， 整 个 W i n d o w s 内 存 管 理 器 已 转 换 为 使 用 新 的 池 清 零 A P I 。 除 了 一 个 地 方 （ 位 图 分 配 可 能 很 大 ） 以 外 的 所 有 位 置 都 使 用 归 零 分 配 。 我 们 还 对 H y p e r - V 和 许 多 网 络 组 件 进 行 了 更 改 （ 将 在 将 来 的 版 本 中 发 布 ） ， 以 使 用 这 些 新 的 A P I 。 我 们 目 前 的 计 划 是 在 不 久 的 将 来 使 用 自 动 错 误 归 档 工 具 将 所 有 内 核 模 式 代 码 转 换 为 新 的 A P I ， 以 帮 助 确 保 所 有 内 容 都 得 到 转 换 。 到 目 前 为 止 ， 对 新 A P I 的 反 馈 是 肯 定 的 。 没 有 发 现 性 能 问 题 ， 并 且 减 少 了 代 码 大 小 ， 因 为 如 果 开 发 人 员 需 要 零 分 配 ， 则 不 再 需 要 调 用 p o o l   A P I 和 内 存 集 。 我 们 也 希 望 在 我 们 如 何 能 够 帮 助 3 名 聚 会 司 机 摆 脱 旧 池 A P I 的 路 程 。 在 这 方 面 ， 我 们 还 没 有 任 何 可 共 享 的 计 划 ， 但 是 工 作 正 在 进 行 中 。 对 客 户 的 影 响 一 旦 我 们 完 成 了 将 代 码 过 渡 到 新 的 池 A P I 的 操 作 ， 当 前 会 影 响 客 户 的 大 多 数 未 初 始 化 的 内 存 漏 洞 将 在 W i n d o w s 上 得 到 缓 解 。 当 然 ， 仍 可 能 存 在 未 初 始 化 的 内 存 漏 洞 ， 但 是 在 保 护 堆 栈 的 I n i t A l l 和 使 用 归 零 标 志 的 大 多 数 分 配 之 间 ， 这 些 问 题 潜 伏 的 机 会 要 小 得 多 。 还 有 可 能 的 是 ， 在 初 始 化 内 存 时 ， 不 会 将 其 初 始 化 为 程 序 有 意 义 的 值 （ 即 ， 内 存 初 始 化 为 0 ， 但 应 将 其 初 始 化 为 其 他 值 才 能 使 程 序 正 确 ） 。 在 这 些 情 况 下 ， 我 们 至 少 会 在 程 序 中 产 生 确 定 性 的 行 为 （ 即 ， 由 于 错 误 地 初 始 化 了 值 ， 所 以 程 序 总 是 做 错 事 ） ， 而 不 是 随 机 的 行 为 （ 即 ， 根 据 未 初 始 化 的 值 是 什 么 ， 程 序 会 做 完 全 不 同 的 事 情 ）   ） 。 因 为 我 们 总 是 知 道 内 存 的 用 途 ， 所 以 这 使 问 题 更 易 于 分 类 ， 并 且 更 直 接 地 评 估 错 误 的 影 响 。 在 大 多 数 情 况 下 ， 即 使 零 不 是 一 个 正 确 的 值 ， 但 从 安 全 角 度 来 看 ， 它 仍 然 是 最 安 全 的 自 动 值 。 我 们 仍 然 希 望 这 些 缓 解 措 施 将 在 很 大 程 度 上 消 除 漏 洞 类 别 的 威 胁 ， 该 漏 洞 类 别 近 年 来 占 所 有 M i c r o s o f t   C V E 的 5 - 1 0 ％ 。 前 瞻 性 计 划 虽 然 池 清 零 对 我 们 来 说 是 一 个 不 错 的 开 始 ， 但 我 们 仍 然 需 要 研 究 以 下 几 个 方 面 ： 1 .   如 何 处 理 用 户 模 式 堆 。 我 们 应 该 禁 止 m a l l o c 并 强 制 使 用 c a l l o c 吗 ？ 还 有 吗 2 .   使 用 构 造 函 数 处 理 C   + + 类 的 方 法 。 是 否 应 该 选 择 退 出 调 零 ， 但 需 要 在 构 造 函 数 中 完 全 初 始 化 该 类 ？ 那 内 部 的 填 充 字 节 呢 ？ 我 们 还 计 划 在 将 来 的 博 客 文 章 中 发 布 有 关 如 何 为 内 核 池 创 建 新 的 专 用 内 存 集 以 用 于 零 分 配 以 及 如 何 使 所 有 W i n d o w s 应 用 程 序 实 现 更 高 性 能 的 内 存 集 实 现 的 博 客 文 章 。 本 文 翻 译 自 ： h t t p s : / / m s r c - b l o g . m i c r o s o f t . c o m / 2 0 2 0 / 0 7 / 0 2 / s o l v i n g - u n i n i t i a l i z e d - k e r n e l - p o o l - m e m o r y - o n - w i n d o w s /
阅 读 原 文
回复

举报

高级模式
B Color Image Link Quote Code Smilies
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

Archiver|
Powered by Discuz! X3.4 Copyright © 2001-2020, Tencent Cloud. 商业源码建议获取授权，如侵犯您的权益，请联系客服处理