我想知道一种更好的“命名事物”的方法(关于linux中的内存管理),以避免我的文章的读者误解某些东西,但也避免每次都使用长短语。
- 我将文件备份称为一个页面,在回收的情况下,可以将其丢弃,因为可以再次从磁盘检索其内容。但是,当关注“file-backed =可以在页面回收的情况下丢弃”的意义上时,我不知道是否存在特殊情况,在页面回收的情况下可以丢弃页面,但仍然不能考虑文件支持。考虑特殊的零页:虽然它不能被回收,但它的内容是“恒定的”。如果虚拟页被映射到零页,您可以安全地“取消映射”它,因为您可以“再次映射它”而不会丢失信息。是否存在“在页面回收的情况下可以被丢弃”的断言与文件支持页面的想法不太匹配的情况?或者这两个概念之间实际上存在一个当且仅当?
- 区分整个可寻址范围中的虚拟内存和当前存在的虚拟页中的虚拟内存。
- 关于“映射”:如果我说映射一个页面,它意味着什么,创建一个新的虚拟页面并将其放在整个可寻址范围内的某个位置,或者“页面映射”意味着:“将虚拟页面与页面关联页面错误后在 RAM 中”?当页面被换出然后再次移动到 RAM 时,说“页面映射”来指代第二种情况是否正确,即先前映射到交换中的页面的虚拟页面现在指向新的页面内存页?
- 物理页:它是专门指 RAM 中的页,还是物理存在于某处(RAM 或磁盘)的页?
- 我想区分“映射”到位于某处的页面的虚拟页面与位于某处的页面本身。我喜欢用“未使用的页面”来表示没有人映射的虚拟页面,因此我在这里描述的情况与此相反。但如果我说“已使用的页面”,我不知道是否可以将其理解为“最近引用”或类似的内容。例如,映射到零页的虚拟页不是物理页,零页是物理页,但我不知道如何正确命名这两个概念。
- 我想区分旨在共享的页面与实际共享的页面。例如,映射到
.text
二进制文件本身的部分的页面。该页面旨在共享或潜在共享(换句话说,并不意味着私有)。但是,它是否实际上共享取决于是否有多个进程执行相同的二进制文件。与“私有”相同:页面可以是私有的,也可以是共享的,但意味着是私有的。例如,CoW 虚拟页面(例如映射到零页面的虚拟页面或在 a 之后从父进程继承的虚拟页面)fork
:两者都是共享的,但意味着是私有的。我想知道如何用名称来区分这两种情况。 - 匿名与文件支持的页面:另一个造成混乱的原因。考虑以下情况:动态链接库在运行时虚拟映射到进程。尚未分配 RAM 页。该
.so
文件有一个 8kB 的.data
部分,其中包含一些全局变量。一些全局变量已被访问,然后两个页面都被分配 RAM。这些是真正的文件支持页面(在页面回收的情况下,它们可以被丢弃而不是移动到交换区)。现在,一些变量被修改,导致两个页面与文件分离,因此变得匿名(因此它们不能再被丢弃)。但是,如果我cat smaps
会看到引用该文件的相应地址范围(inode 不同于 0,并且该文件的路径.so
显示文件);但是,现在两个页面都是匿名的(输出Anonymous
字段smaps
将等于8 kB
)。这里,“地址范围”指的是一个文件,但是现在它的页面都不是文件支持的。有没有办法区分“引用文件”的页面或范围,或者“来自文件”,或者它们在过去的某个时刻“文件支持”,其中页面是现在有文件支持吗?