- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
序幕
我是一个操作系统爱好者,我的内核运行在 80486+ 上,并且已经支持虚拟内存。
从 80386 开始,Intel 的 x86 处理器家族及其各种克隆支持带分页的虚拟内存。众所周知,当PG
位在 CR0
设置后,处理器使用虚拟地址转换。然后,CR3
register 指向顶层页目录,也就是将虚拟地址映射到物理地址的 2-4 级页表结构的根目录。
处理器不会为生成的每个虚拟地址查询这些表,而是将它们缓存在名为 Translation Lookaside Buffer 的结构中。 , 或 TLB。但是,当对页表进行更改时,需要刷新 TLB。在 80386 处理器上,此刷新将由
重新加载 ( MOV
) CR3
与顶级页目录地址,或任务开关。据说这会无条件地刷新所有 TLB 条目。据我了解,对于虚拟内存系统来说, 是完全有效的。总是重新加载 CR3 后 任何 改变。
这是一种浪费,因为 TLB 现在会抛出完全好的条目,因此在 80486 处理器中 INVLPG
介绍了指令。 INVLPG
将使与源操作数地址匹配的 TLB 条目无效。
然而,从 Pentium Pro 开始,我们也有全局页面没有随着移动到 CR3
而刷新。或任务切换;和 AMD x86-64 ISA 说一些上层页表结构可能会被缓存并且不会被 INVLPG
失效。 .为了对每个 ISA 上需要什么和不需要什么有一个连贯的了解,人们真的需要为自 80 年代以来发布的大量 ISA 下载一份 1000 页的数据表,以阅读其中的几页,即使如此,这些文件似乎对于 TLB 失效以及如果 TLB 没有正确失效会发生什么情况要特别模糊。
题
为简单起见,可以假设 我们谈论的是单处理器系统 .此外,可以假设 更改页面结构后无需任务切换 . (因此 INVLPG
总是被认为至少与重新加载 CR3
寄存器一样好的选择)。
基本假设是需要重新加载 CR3
在每次更改页表和页目录后,这样的系统将是正确的。但是,如果想要避免不必要地刷新 TLB,则需要回答以下两个问题:
INVLPG
ISA 支持,经过什么样的更改可以安全地使用它而不是重新加载 CR3
?例如。 “如果取消映射一个页框(将相应的表条目设置为不存在),则始终可以使用 INVLPG
”? CR3
或执行 INVLPG
?例如。 “如果一个页面根本没有映射(不存在),你可以用 Present=1
为它写一个 PTE,而根本不刷新 TLB”? INVLPG
相关的所有内容之后在 Stack Overflow 上,我个人不确定我在那里展示的任何一个例子。确实,一个
notable post马上说:“我不知道你什么时候应该使用它,什么时候不应该使用它。”因此,您可以提供任何特定的、正确的示例,最好是记录在案的,并且适用于 IA32 或 x86-64。
最佳答案
用最简单的术语;要求是 CPU 的 TLB 可能记住的任何已更改的内容都必须在依赖于更改的任何内容发生之前失效。
CPU 可能记住的内容包括:
关于x86 - 何时执行或不执行 INVLPG,MOV 到 CR3 以最小化 TLB 刷新,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/28384234/
问题故障解决记录 -- Java RMI Connection refused to host: x.x.x.x .... 在学习JavaRMI时,我遇到了以下情况 问题原因:可
我正在玩 Rank-N-type 并尝试输入 x x .但我发现这两个函数可以以相同的方式输入,这很不直观。 f :: (forall a b. a -> b) -> c f x = x x g ::
这个问题已经有答案了: How do you compare two version Strings in Java? (31 个回答) 已关闭 8 年前。 有谁知道如何在Java中比较两个版本字符串
这个问题已经有答案了: How do the post increment (i++) and pre increment (++i) operators work in Java? (14 个回答)
下面是带有 -n 和 -r 选项的 netstat 命令的输出,其中目标字段显示压缩地址 (127.1/16)。我想知道 netstat 命令是否有任何方法或选项可以显示整个目标 IP (127.1.
我知道要证明 : (¬ ∀ x, p x) → (∃ x, ¬ p x) 证明是: theorem : (¬ ∀ x, p x) → (∃ x, ¬ p x) := begin intro n
x * x 如何通过将其存储在“auto 变量”中来更改?我认为它应该仍然是相同的,并且我的测试表明类型、大小和值显然都是相同的。 但即使 x * x == (xx = x * x) 也是错误的。什么
假设,我们这样表达: someIQueryable.Where(x => x.SomeBoolProperty) someIQueryable.Where(x => !x.SomeBoolProper
我有一个字符串 1234X5678 我使用这个正则表达式来匹配模式 .X|..X|X. 我得到了 34X 问题是为什么我没有得到 4X 或 X5? 为什么正则表达式选择执行第二种模式? 最佳答案 这里
我的一个 friend 在面试时遇到了这个问题 找到使该函数返回真值的 x 值 function f(x) { return (x++ !== x) && (x++ === x); } 面试官
这个问题在这里已经有了答案: 10年前关闭。 Possible Duplicate: Isn't it easier to work with foo when it is represented b
我是 android 的新手,我一直在练习开发一个针对 2.2 版本的应用程序,我需要帮助了解如何将我的应用程序扩展到其他版本,即 1.x、2.3.x、3 .x 和 4.x.x,以及一些针对屏幕分辨率
为什么案例 1 给我们 :error: TypeError: x is undefined on line... //case 1 var x; x.push(x); console.log(x);
代码优先: # CASE 01 def test1(x): x += x print x l = [100] test1(l) print l CASE01 输出: [100, 100
我正在努力温习我的大计算。如果我有将所有项目移至 'i' 2 个空格右侧的函数,我有一个如下所示的公式: (n -1) + (n - 2) + (n - 3) ... (n - n) 第一次迭代我必须
给定 IP 字符串(如 x.x.x.x/x),我如何或将如何计算 IP 的范围最常见的情况可能是 198.162.1.1/24但可以是任何东西,因为法律允许的任何东西。 我要带198.162.1.1/
在我作为初学者努力编写干净的 Javascript 代码时,我最近阅读了 this article当我偶然发现这一段时,关于 JavaScript 中的命名空间: The code at the ve
我正在编写一个脚本,我希望避免污染 DOM 的其余部分,它将是一个用于收集一些基本访问者分析数据的第 3 方脚本。 我通常使用以下内容创建一个伪“命名空间”: var x = x || {}; 我正在
我尝试运行我的test_container_services.py套件,但遇到了以下问题: docker.errors.APIError:500服务器错误:内部服务器错误(“ b'{” message
是否存在这两个 if 语句会产生不同结果的情况? if(x as X != null) { // Do something } if(x is X) { // Do something } 编
我是一名优秀的程序员,十分优秀!