需求分页
需求分页提供了一种机制,其中数据只根据当前执行上下文的需要将其带入物理内存中。物理内存在概念上被划分为页面大小的页面帧,作为保存数据的区域。
当处理器尝试访问数据并且数据页面存在于其中一个页面帧中时,将继续执行而没有任何中断。
当处理器试图访问任何页面帧中都不存在的数据页时,会出现页面故障。如果有空闲的页帧,分页码就会将相应的数据页从备份存储引入到物理内存中。如果没有更多的免费页面帧,则调用驱逐算法来选择要分页的数据页,从而释放一个页面帧以供新数据分页。如果此数据页在第一次分页后被修改,则数据将被写入回备份存储。如果没有进行任何修改或重新写入备份存储,数据页面现在被认为是分页的,相应的页面帧现在是免费的。然后,分页代码调用备份存储到与所请求数据的位置对应的数据页面中的页面。备份存储器会将该数据页面复制到自由页面框架中。现在数据页面在物理内存中,执行可以继续。
在一些函数中,可以使用k_mem_page_in()
和k_mem_page_out()
手动调用分页。k_mem_page_in()
可以用于页面页面中的数据页面,预计在不久的将来需要它们。这是用于最小化页面故障的数量,因为这些数据页面已经在物理内存中,从而最小化延迟。k_mem_page_out()
可以用于页面出相当长时间内不会被访问的数据页面。这释放了页面帧,以便在中的下一页可以更快地执行,因为分页代码不需要调用驱逐算法。
术语
数据页面
数据页面是一个页面大小的数据区域。它可能存在于一个页面框架中,也可能被分页到某个备份存储库中。它的位置总是可以通过虚拟地址在CPU的页表(或等效的页表)中查