.. include:: ../disclaimer-zh_CN.rst

:Original: Documentation/core-api/cachetlb.rst

:翻译:

 司延腾 Yanteng Si <siyanteng@loongson.cn>
 周彬彬 Binbin Zhou <zhoubinbin@loongson.cn>

:校译:

 吴想成 Wu XiangCheng <bobwxc@email.cn>

.. _cn_core-api_cachetlb:

======================
Linux下的缓存和TLB刷新
======================

:作者: David S. Miller <davem@redhat.com>

*译注:TLB,Translation Lookaside Buffer,页表缓存/变换旁查缓冲器*

本文描述了由Linux虚拟内存子系统调用的缓存/TLB刷新接口。它列举了每个接
口,描述了它的预期目的,以及接口被调用后的预期副作用。

下面描述的副作用是针对单处理器的实现,以及在单个处理器上发生的情况。若
为SMP,则只需将定义简单地扩展一下,使发生在某个特定接口的副作用扩展到系
统的所有处理器上。不要被这句话吓到,以为SMP的缓存/tlb刷新一定是很低
效的,事实上,这是一个可以进行很多优化的领域。例如,如果可以证明一个用
户地址空间从未在某个cpu上执行过(见mm_cpumask()),那么就不需要在该
cpu上对这个地址空间进行刷新。

首先是TLB刷新接口,因为它们是最简单的。在Linux下,TLB被抽象为cpu
用来缓存从软件页表获得的虚拟->物理地址转换的东西。这意味着,如果软件页
表发生变化,这个“TLB”缓存中就有可能出现过时(脏)的翻译。因此,当软件页表
发生变化时,内核会在页表发生 *变化后* 调用以下一种刷新方法:

1) ``void flush_tlb_all(void)``

	最严格的刷新。在这个接口运行后,任何以前的页表修改都会对cpu可见。

	这通常是在内核页表被改变时调用的,因为这种转换在本质上是“全局”的。

2) ``void flush_tlb_mm(struct mm_struct *mm)``

	这个接口从TLB中刷新整个用户地址空间。在运行后,这个接口必须确保
	以前对地址空间‘mm’的任何页表修改对cpu来说是可见的。也就是说,在
	运行后,TLB中不会有‘mm’的页表项。

	这个接口被用来处理整个地址空间的页表操作,比如在fork和exec过程
	中发生的事情。

3) ``void flush_tlb_range(struct vm_area_struct *vma,
   unsigned long start, unsigned long end)``

	这里我们要从TLB中刷新一个特定范围的(用户)虚拟地址转换。在运行后,
	这个接口必须确保以前对‘start’到‘end-1’范围内的地址空间‘vma->vm_mm’
	的任何页表修改对cpu来说是可见的。也就是说,在运行后,TLB中不会有
	‘mm’的页表项用于‘start’到‘end-1’范围内的虚拟地址。

	“vma”是用于该区域的备份存储。主要是用于munmap()类型的操作。

	提供这个接口是希望端口能够找到一个合适的有效方法来从TLB中删除多
	个页面大小的转换,而不是让内核为每个可能被修改的页表项调用
	flush_tlb_page(见下文)。

4) ``void flush_tlb_page(struct vm_area_struct *vma, unsigned long addr)``

	这一次我们需要从TLB中删除PAGE_SIZE大小的转换。‘vma’是Linux用来跟
	踪进程的mmap区域的支持结构体,地址空间可以通过vma->vm_mm获得。另
	外,可以通过测试(vma->vm_flags & VM_EXEC)来查看这个区域是否是
	可执行的(因此在split-tlb类型的设置中可能在“指令TLB”中)。

	在运行后,这个接口必须确保之前对用户虚拟地址“addr”的地址空间
	“vma->vm_mm”的页表修改对cpu来说是可见的。也就是说,在运行后,TLB
	中不会有虚拟地址‘addr’的‘vma->vm_mm’的页表项。

	这主要是在故障处理时使用。

5) ``void update_mmu_cache(struct vm_area_struct *vma,
   unsigned long address, pte_t *ptep)``

	在每个缺页异常结束时,这个程序被调用,以告诉体系结构特定的代码,在
	软件页表中,在地址空间“vma->vm_mm”的虚拟地址“地址”处,现在存在
	一个翻译。

	可以用它所选择的任何方式使用这个信息来进行移植。例如,它可以使用这
	个事件来为软件管理的TLB配置预装TLB转换。目前sparc64移植就是这么干
	的。

接下来,我们有缓存刷新接口。一般来说,当Linux将现有的虚拟->物理映射
改变为新的值时,其顺序将是以下形式之一::

	1) flush_cache_mm(mm);
		change_all_page_tables_of(mm);
		flush_tlb_mm(mm);

	2) flush_cache_range(vma, start, end);
		change_range_of_page_tables(mm, start, end);
		flush_tlb_range(vma, start, end);

	3) flush_cache_page(vma, addr, pfn);
		set_pte(pte_pointer, new_pte_val);
		flush_tlb_page(vma, addr);

缓存级别的刷新将永远是第一位的,因为这允许我们正确处理那些缓存严格,
且在虚拟地址被从缓存中刷新时要求一个虚拟地址的虚拟->物理转换存在的系统。
HyperSparc cpu就是这样一个具有这种属性的cpu。

下面的缓存刷新程序只需要在特定的cpu需要的范围内处理缓存刷新。大多数
情况下,这些程序必须为cpu实现,这些cpu有虚拟索引的缓存,当虚拟->物
理转换被改变或移除时,必须被刷新。因此,例如,IA32处理器的物理索引
的物理标记的缓存没有必要实现这些接口,因为这些缓存是完全同步的,并
且不依赖于翻译信息。

下面逐个列出这些程序:

1) ``void flush_cache_mm(struct mm_struct *mm)``

	这个接口将整个用户地址空间从高速缓存中刷掉。也就是说,在运行后,
	将没有与‘mm’相关的缓存行。

	这个接口被用来处理整个地址空间的页表操作,比如在退出和执行过程
	中发生的事情。

2) ``void flush_cache_dup_mm(struct mm_struct *mm)``

	这个接口将整个用户地址空间从高速缓存中刷新掉。也就是说,在运行
	后,将没有与‘mm’相关的缓存行。

	这个接口被用来处理整个地址空间的页表操作,比如在fork过程中发生
	的事情。

	这个选项与flush_cache_mm分开,以允许对VIPT缓存进行一些优化。

3) ``void flush_cache_range(struct vm_area_struct *vma,
   unsigned long start, unsigned long end)``

	在这里,我们要从缓存中刷新一个特定范围的(用户)虚拟地址。运行
	后,在“start”到“end-1”范围内的虚拟地址的“vma->vm_mm”的缓存中
	将没有页表项。

	“vma”是被用于该区域的备份存储。主要是用于munmap()类型的操作。

	提供这个接口是希望端口能够找到一个合适的有效方法来从缓存中删
	除多个页面大小的区域, 而不是让内核为每个可能被修改的页表项调
	用 flush_cache_page (见下文)。

4) ``void flush_cache_page(struct vm_area_struct *vma, unsigned long addr, unsigned long pfn)``

	这一次我们需要从缓存中删除一个PAGE_SIZE大小的区域。“vma”是
	Linux用来跟踪进程的mmap区域的支持结构体,地址空间可以通过
	vma->vm_mm获得。另外,我们可以通过测试(vma->vm_flags &
	VM_EXEC)来查看这个区域是否是可执行的(因此在“Harvard”类
	型的缓存布局中可能是在“指令缓存”中)。

	“pfn”表示“addr”所对应的物理页框(通过PAGE_SHIFT左移这个
	值来获得物理地址)。正是这个映射应该从缓存中删除。

	在运行之后,对于虚拟地址‘addr’的‘vma->vm_mm’,在缓存中不会
	有任何页表项,它被翻译成‘pfn’。

	这主要是在故障处理过程中使用。

5) ``void flush_cache_kmaps(void)``

	只有在平台使用高位内存的情况下才需要实现这个程序。它将在所有的
	kmaps失效之前被调用。

	运行后,内核虚拟地址范围PKMAP_ADDR(0)到PKMAP_ADDR(LAST_PKMAP)
	的缓存中将没有页表项。

	这个程序应该在asm/highmem.h中实现。

6) ``void flush_cache_vmap(unsigned long start, unsigned long end)``
   ``void flush_cache_vunmap(unsigned long start, unsigned long end)``

	在这里,在这两个接口中,我们从缓存中刷新一个特定范围的(内核)
	虚拟地址。运行后,在“start”到“end-1”范围内的虚拟地址的内核地
	址空间的缓存中不会有页表项。

	这两个程序中的第一个是在vmap_range()安装了页表项之后调用的。
	第二个是在vunmap_range()删除页表项之前调用的。

还有一类cpu缓存问题,目前需要一套完全不同的接口来正确处理。最大
的问题是处理器的数据缓存中的虚拟别名。

.. note::

	这段内容有些晦涩,为了减轻中文阅读压力,特作此译注。

	别名(alias)属于缓存一致性问题,当不同的虚拟地址映射相同的
	物理地址,而这些虚拟地址的index不同,此时就发生了别名现象(多
	个虚拟地址被称为别名)。通俗点来说就是指同一个物理地址的数据被
	加载到不同的cacheline中就会出现别名现象。

	常见的解决方法有两种:第一种是硬件维护一致性,设计特定的cpu电
	路来解决问题(例如设计为PIPT的cache);第二种是软件维护一致性,
	就是下面介绍的sparc的解决方案——页面染色,涉及的技术细节太多,
	译者不便展开,请读者自行查阅相关资料。

您的移植是否容易在其D-cache中出现虚拟别名?嗯,如果您的D-cache
是虚拟索引的,且cache大于PAGE_SIZE(页大小),并且不能防止同一
物理地址的多个cache行同时存在,您就会遇到这个问题。

如果你的D-cache有这个问题,首先正确定义asm/shmparam.h SHMLBA,
它基本上应该是你的虚拟寻址D-cache的大小(或者如果大小是可变的,
则是最大的可能大小)。这个设置将迫使SYSv IPC层只允许用户进程在
这个值的倍数的地址上对共享内存进行映射。

.. note::

	这并不能解决共享mmaps的问题,请查看sparc64移植解决
	这个问题的一个方法(特别是 SPARC_FLAG_MMAPSHARED)。

接下来,你必须解决所有其他情况下的D-cache别名问题。请记住这个事
实,对于一个给定的页面映射到某个用户地址空间,总是至少还有一个映
射,那就是内核在其线性映射中从PAGE_OFFSET开始。因此,一旦第一个
用户将一个给定的物理页映射到它的地址空间,就意味着D-cache的别名
问题有可能存在,因为内核已经将这个页映射到它的虚拟地址。

  ``void copy_user_page(void *to, void *from, unsigned long addr, struct page *page)``
  ``void clear_user_page(void *to, unsigned long addr, struct page *page)``

	这两个程序在用户匿名或COW页中存储数据。它允许一个端口有效地
	避免用户空间和内核之间的D-cache别名问题。

	例如,一个端口可以在复制过程中把“from”和“to”暂时映射到内核
	的虚拟地址上。这两个页面的虚拟地址的选择方式是,内核的加载/存
	储指令发生在虚拟地址上,而这些虚拟地址与用户的页面映射是相同
	的“颜色”。例如,Sparc64就使用这种技术。

	“addr”参数告诉了用户最终要映射这个页面的虚拟地址,“page”参
	数给出了一个指向目标页结构体的指针。

	如果D-cache别名不是问题,这两个程序可以简单地直接调用
	memcpy/memset而不做其他事情。

  ``void flush_dcache_page(struct page *page)``

	任何时候,当内核写到一个页面缓存页,或者内核要从一个页面缓存
	页中读出,并且这个页面的用户空间共享/可写映射可能存在时,
	这个程序就会被调用。

	.. note::

			这个程序只需要为有可能被映射到用户进程的地址空间的
			页面缓存调用。因此,例如,处理页面缓存中vfs符号链
			接的VFS层代码根本不需要调用这个接口。

	“内核写入页面缓存的页面”这句话的意思是,具体来说,内核执行存
	储指令,在该页面的页面->虚拟映射处弄脏该页面的数据。在这里,通
	过刷新的手段处理D-cache的别名是很重要的,以确保这些内核存储对
	该页的用户空间映射是可见的。

	推论的情况也同样重要,如果有用户对这个文件有共享+可写的映射,
	我们必须确保内核对这些页面的读取会看到用户所做的最新的存储。

	如果D-cache别名不是一个问题,这个程序可以简单地定义为该架构上
	的nop。

	在page->flags (PG_arch_1)中有一个位是“架构私有”。内核保证,
	对于分页缓存的页面,当这样的页面第一次进入分页缓存时,它将清除
	这个位。

	这使得这些接口可以更有效地被实现。如果目前没有用户进程映射这个
	页面,它允许我们“推迟”(也许是无限期)实际的刷新过程。请看
	sparc64的flush_dcache_page和update_mmu_cache实现,以了解如
	何做到这一点。

	这个想法是,首先在flush_dcache_page()时,如果page->mapping->i_mmap
	是一个空树,只需标记架构私有页标志位。之后,在update_mmu_cache()
	中,会对这个标志位进行检查,如果设置了,就进行刷新,并清除标志位。

	.. important::

				通常很重要的是,如果你推迟刷新,实际的刷新发生在同一个
				CPU上,因为它将cpu存储到页面上,使其变脏。同样,请看
				sparc64关于如何处理这个问题的例子。

  ``void flush_dcache_folio(struct folio *folio)``

	该函数的调用情形与flush_dcache_page()相同。它允许架构针对刷新整个
	folio页面进行优化,而不是一次刷新一页。

  ``void copy_to_user_page(struct vm_area_struct *vma, struct page *page,
  unsigned long user_vaddr, void *dst, void *src, int len)``
  ``void copy_from_user_page(struct vm_area_struct *vma, struct page *page,
  unsigned long user_vaddr, void *dst, void *src, int len)``

	当内核需要复制任意的数据进出任意的用户页时(比如ptrace()),它将使
	用这两个程序。

	任何必要的缓存刷新或其他需要发生的一致性操作都应该在这里发生。如果
	处理器的指令缓存没有对cpu存储进行窥探,那么你很可能需要为
	copy_to_user_page()刷新指令缓存。

  ``void flush_anon_page(struct vm_area_struct *vma, struct page *page,
  unsigned long vmaddr)``

	当内核需要访问一个匿名页的内容时,它会调用这个函数(目前只有
	get_user_pages())。注意:flush_dcache_page()故意对匿名页不起作
	用。默认的实现是nop(对于所有相干的架构应该保持这样)。对于不一致性
	的架构,它应该刷新vmaddr处的页面缓存。

  ``void flush_icache_range(unsigned long start, unsigned long end)``

	当内核存储到它将执行的地址中时(例如在加载模块时),这个函数被调用。

	如果icache不对存储进行窥探,那么这个程序将需要对其进行刷新。

  ``void flush_icache_page(struct vm_area_struct *vma, struct page *page)``

	flush_icache_page的所有功能都可以在flush_dcache_page和update_mmu_cache
	中实现。在未来,我们希望能够完全删除这个接口。

最后一类API是用于I/O到内核内特意设置的别名地址范围。这种别名是通过使用
vmap/vmalloc API设置的。由于内核I/O是通过物理页进行的,I/O子系统假定用户
映射和内核偏移映射是唯一的别名。这对vmap别名来说是不正确的,所以内核中任何
试图对vmap区域进行I/O的东西都必须手动管理一致性。它必须在做I/O之前刷新vmap
范围,并在I/O返回后使其失效。

  ``void flush_kernel_vmap_range(void *vaddr, int size)``

	刷新vmap区域中指定的虚拟地址范围的内核缓存。这是为了确保内核在vmap范围
	内修改的任何数据对物理页是可见的。这个设计是为了使这个区域可以安全地执
	行I/O。注意,这个API并 *没有* 刷新该区域的偏移映射别名。

  ``void invalidate_kernel_vmap_range(void *vaddr, int size) invalidates``

	在vmap区域的一个给定的虚拟地址范围的缓存,这可以防止处理器在物理页的I/O
	发生时通过投机性地读取数据而使缓存变脏。这只对读入vmap区域的数据是必要的。