天天看点

Linux kernel学习-内存管理

1、内存页及内存区域:

正如之前所说,Linux kernel 使用物理页作为内存管理的基本单位,其中重要的线程地址和物理地址的转换操作由页单元 MMU 来完成,系统的页表也由 MMU 来维护。kernel 使用 struct page 来表示一个物理页,它的定义在 include/linux/mm_types.h 头文件中:

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

46

47

48

49

50

51

52

53

54

55

56

57

58

59

60

61

62

63

64

65

66

67

68

69

70

<code>struct</code> <code>page {</code>

<code>    </code><code>unsigned</code><code>long</code> <code>flags;       </code><code>/* Atomic flags, some possibly</code>

<code>                     </code><code>* updated asynchronously */</code>

<code>    </code><code>atomic_t _count;       </code><code>/* Usage count, see below. */</code>

<code>    </code><code>union</code> <code>{</code>

<code>        </code><code>atomic_t _mapcount;</code><code>/* Count of ptes mapped in mms,</code>

<code>                     </code><code>* to show when page is mapped</code>

<code>                     </code><code>* &amp; limit reverse map searches.</code>

<code>                     </code><code>*/</code>

<code>        </code><code>struct</code> <code>{       </code><code>/* SLUB */</code>

<code>            </code><code>u16 inuse;</code>

<code>            </code><code>u16 objects;</code>

<code>        </code><code>};</code>

<code>    </code><code>};</code>

<code>        </code><code>struct</code> <code>{</code>

<code>        </code><code>unsigned</code><code>long</code> <code>private</code><code>;     </code><code>/* Mapping-private opaque data:</code>

<code>                         </code><code>* usually used for buffer_heads</code>

<code>                         </code><code>* if PagePrivate set; used for</code>

<code>                         </code><code>* swp_entry_t if PageSwapCache;</code>

<code>                         </code><code>* indicates order in the buddy</code>

<code>                         </code><code>* system if PG_buddy is set.</code>

<code>                         </code><code>*/</code>

<code>        </code><code>struct</code> <code>address_space *mapping; </code><code>/* If low bit clear, points to</code>

<code>                         </code><code>* inode address_space, or NULL.</code>

<code>                         </code><code>* If page mapped as anonymous</code>

<code>                         </code><code>* memory, low bit is set, and</code>

<code>                         </code><code>* it points to anon_vma object:</code>

<code>                         </code><code>* see PAGE_MAPPING_ANON below.</code>

<code>#if USE_SPLIT_PTLOCKS</code>

<code>        </code><code>spinlock_t ptl;</code>

<code>#endif</code>

<code>        </code><code>struct</code> <code>kmem_cache *slab;   </code><code>/* SLUB: Pointer to slab */</code>

<code>        </code><code>struct</code> <code>page *first_page;   </code><code>/* Compound tail pages */</code>

<code>        </code><code>pgoff_t index;     </code><code>/* Our offset within mapping. */</code>

<code>        </code><code>void</code> <code>*freelist;    </code><code>/* SLUB: freelist req. slab lock */</code>

<code>    </code><code>struct</code> <code>list_head lru;      </code><code>/* Pageout list, eg. active_list</code>

<code>                     </code><code>* protected by zone-&gt;lru_lock !</code>

<code>    </code><code>/*</code>

<code>     </code><code>* On machines where all RAM is mapped into kernel address space,</code>

<code>     </code><code>* we can simply calculate the virtual address. On machines with</code>

<code>     </code><code>* highmem some memory is mapped into kernel virtual memory</code>

<code>     </code><code>* dynamically, so we need a place to store that address.</code>

<code>     </code><code>* Note that this field could be 16 bits on x86 ... &lt;img src="//dn-zohead.qbox.me/wp-includes/images/smilies/icon_wink.gif" alt=";)" class="wp-smiley"&gt;</code>

<code>     </code><code>*</code>

<code>     </code><code>* Architectures with slow multiplication can define</code>

<code>     </code><code>* WANT_PAGE_VIRTUAL in asm/page.h</code>

<code>     </code><code>*/</code>

<code>#if defined(WANT_PAGE_VIRTUAL)</code>

<code>    </code><code>void</code> <code>*</code><code>virtual</code><code>;         </code><code>/* Kernel virtual address (NULL if</code>

<code>                       </code><code>not kmapped, ie. highmem) */</code>

<code>#endif /* WANT_PAGE_VIRTUAL */</code>

<code>#ifdef CONFIG_WANT_PAGE_DEBUG_FLAGS</code>

<code>    </code><code>unsigned</code><code>long</code> <code>debug_flags; </code><code>/* Use atomic bitops on this */</code>

<code>#ifdef CONFIG_KMEMCHECK</code>

<code>     </code><code>* kmemcheck wants to track the status of each byte in a page; this</code>

<code>     </code><code>* is a pointer to such a status block. NULL if not tracked.</code>

<code>    </code><code>void</code> <code>*shadow;</code>

<code>};</code>

其中的 flags 用于表示页的状态(是否为脏或者被锁定等),_count 即为页的引用计数,kernel 一般使用 page_count 宏调用 atomic_read 函数原子的读取此值,page_count 返回 0 表示此页可用。如果一个页被作为 page cache 使用,则 page 的 mapping 字段指向映射的 inode 的 address_space 对象,如果页被作为私有数据(作为 buffer_heads 缓冲、buddy 系统等),则 private 常包含对应的信息。注意其中的 virtual 字段为页的虚拟地址,结合之前的知识,对于高端内存来说,其并没有被固定映射到 kernel 地址空间中,因此如果 virtual 字段为 NULL,则表示此页必须被动态映射。

kernel 使用 page 结构记录系统中的所有页,因此 struct page 的大小应该要尽量小以减少内存占用,另外 kernel 必须知道页是否空闲,如果不空闲则拥有者是谁。

由于实际硬件限制,Linux kernel 不可能使用全部的物理内存,kernel 为此将内存划分为不同的区域,一个区域中的内存属性应该也相同。kernel 中常见的内存区域有 ZONE_DMA(可用于 DMA 的页)、ZONE_DMA32(与 ZONE_DMA 类似,但只对 32 位设备可用)、ZONE_NORMAL、ZONE_HIGHMEM(并没有被固定映射的高端内存区域),这些内存区域一般都是硬件相关的,例如在 x86 架构下,ZONE_DMA 的范围为 0MB - 16MB,ZONE_HIGHMEM 为高于 896MB 的物理内存,而在 x86_64 架构下 ZONE_HIGHMEM 则为空。需要注意的是内存的分配不会跨域这些不同的内存区域。内存区域在 kernel 中由 struct zone 结构来表示,其中的 name 字段即为内存区域名称。

2、获取页:

分配和释放内存是 Linux kernel 中极其重要又用的极多的接口。先看看 kernel 提供的直接获取以内存页面为单位的 alloc_pages 函数:

struct page * alloc_pages(gfp_t gfp_mask, unsigned int order)

此函数是最基本的用于分配大小为 2^order 并且连续的物理页的函数,其返回分配到的第一个页面的 page 指针。

来看看比较重要的 gfp_t 类型的 gfp_mask 值:

gfp_t 实际上就是 unsigned int 类型,gfp_mask 常用于指定行为方式、区域方式、类型等信息。常见的行为方式标志有:__GFP_WAIT(标志分配器可以睡眠,明显不适用于中断上下文中)、__GFP_IO(分配器可以启动磁盘 I/O)等。区域方式指定内存从哪里分配,对应的就有:__GFP_DMA、__GFP_DMA32、__GFP_HIGHMEM(从高端内存或普通内存中分配)。类型标志则用于简化分配时的指定操作,常见的有:GFP_ATOMIC(高优先级并不可睡眠,常用于中断、中断下半部、持有自旋锁等环境中)、GFP_NOIO(表示分配可中断但不可以发起 I/O 操作)、GFP_NOFS(分配时不可发起文件 I/O 操作)、GFP_KERNEL(最常见的分配标志,常用于可以睡眠的进程上下文中)、GFP_USER(用于分配内存给用户进程)、GFP_DMA 等。

需要注意的是对 __get_free_pages 和 kmalloc 函数(下面会分别说明)不能指定 __GFP_HIGHMEM 标志,因为它们都是直接返回的虚拟地址,而非 page 结构指针,如果指定了 __GFP_HIGHMEM,则他们可能分配到的内存并没有被映射到 kernel 地址空间,因此这样得不到虚拟地址。只有 alloc_page 函数可以分配高端内存,这个限制在下面的 __get_free_pages 函数的实现中可以看到。

使用 page_address 函数可以将 page 指针转换为虚拟地址(非物理地址)。实际使用中经常会用到 __get_free_pages 函数直接在分配页时直接得到虚拟地址,其参数为 alloc_pages 完全一样,看看它的实现就一目了然了:

<code>unsigned</code><code>long</code> <code>__get_free_pages(gfp_t gfp_mask, unsigned</code><code>int</code> <code>order)</code>

<code>{</code>

<code>    </code><code>struct</code> <code>page *page;</code>

<code>     </code><code>* __get_free_pages() returns a 32-bit address, which cannot represent</code>

<code>     </code><code>* a highmem page</code>

<code>    </code><code>VM_BUG_ON((gfp_mask &amp; __GFP_HIGHMEM) != 0);</code>

<code>    </code><code>page = alloc_pages(gfp_mask, order);</code>

<code>    </code><code>if</code> <code>(!page)</code>

<code>        </code><code>return</code> <code>0;</code>

<code>    </code><code>return</code> <code>(unsigned</code><code>long</code><code>) page_address(page);</code>

<code>}</code>

另外 kernel 还 “好心” 的提供了两个只分配一个页的函数:alloc_page 和 __get_free_page,可以想象只是把 order 参数设为 0 而已。你可以使用 get_zeroed_page 函数分配一个页并自动清零(gfp_mask 指定 __GFP_ZERO)。

对应的释放页可以用 __free_pages(page 指针为参数)、free_pages(虚拟地址为参数)、free_page(只释放一个页)这些函数。

下面是常用的分配非整数倍页大小的内存的函数。首先是最常用的 kmalloc 函数:

void *kmalloc(size_t size, gfp_t flags)

kmalloc 用于分配最少指定的 size 字节大小的内存(实际分配的可能比 size 多),这与用户空间的 malloc 函数很相似,但需要注意的是 kmalloc 分配的内存物理地址是连续的,这非常重要。

相应的释放内存函数是 kfree:

void kfree(const void *objp)

kfree 用于释放 kmalloc 分配的内存,注意如果使用 kfree 在不是的 kmalloc 分配的内存地址或者已经 kfree 过的地址上,都可能导致 kernel 出错。

void * vmalloc(unsigned long size)

与之对应的,使用 vfree 释放分配的内存。另外 vmalloc 和 vfree 都是可以睡眠的,因此它们对中断上下文是不适用的。

3、Slab分配器:

Slab 也是 Linux kernel 中非常重要的组成部分,它用于简化内存的分配和释放,它相当于一个可用内存列表,里面包含一堆已经分配好的数据结构,当 kernel 需要分配一个数据结构时,可以直接从这个可用内存列表中取出而节省分配的时间,不需要的时候又可以还给这个列表而不需要释放,因此这个列表用于缓存经常访问的某种类型的数据。为了统一管理和释放,Linux kernel 引入 Slab 分配器作为通用的数据结构缓存层给经常访问的数据结构使用。需要说明的是 kmalloc 就是在 Slab 分配器基础上实现的。

这里简单对 Slab 分配器做个介绍,有关其细节请参考这篇 PDF 文档:

<a href="http://students.mimuw.edu.pl/SO-MSUI/Wyklady/06_pamiec/bonwick.pdf" target="_blank">The Slab Allocator: An Object-Caching Kernel Memory Allocator</a>

Slab 层将不同的对象划分到名为 cache 的不同组中,每个组存储不同类型的数据,也就是每种数据类型都有一个 cache。每个 cache 然后被划分为多个 slab,slab 由一个或多个连续的物理页组成(通常只有一个页),每个 slab 又包含一些数量的对象,也就是实际缓存的数据。每个 slab 的状态可以是这三个中的一个:满、部分满、空。当 kernel 请求一个新对象时,优先从状态为 部分满 的 slab 中取,如果没有则从状态为 空 的 slab 中分配,如果没有状态为 空 的 slab 了就创建一个,可以看到这种策略可以相对的减少内存碎片。

kernel 中常用到的 struct inode 结构就是一个典型的例子,它在 VFS 等地方被用到的非常多,因此 kernel 中增加一个名为 inode_cachep 的 cache 用于缓存 inode 结构。

每个 cache 由 kmem_cache 结构来表示,它的 struct kmem_list3 *nodelists[MAX_NUMNODES] 类型字段即为该 cache 包含的所有 slab。每个 slab 由 struct slab 结构来表示,看看 kmem_list3 和 slab 结构的定义:

<code>struct</code> <code>slab {</code>

<code>    </code><code>struct</code> <code>list_head list;</code>

<code>    </code><code>unsigned</code><code>long</code> <code>colouroff;</code>

<code>    </code><code>void</code> <code>*s_mem;       </code><code>/* including colour offset */</code>

<code>    </code><code>unsigned</code><code>int</code> <code>inuse;</code><code>/* num of objs active in slab */</code>

<code>    </code><code>kmem_bufctl_t</code><code>free</code><code>;</code>

<code>    </code><code>unsigned</code><code>short</code> <code>nodeid;</code>

<code>struct</code> <code>kmem_list3 {</code>

<code>    </code><code>struct</code> <code>list_head slabs_partial;</code><code>/* partial list first, better asm code */</code>

<code>    </code><code>struct</code> <code>list_head slabs_full;</code>

<code>    </code><code>struct</code> <code>list_head slabs_free;</code>

<code>    </code><code>unsigned</code><code>long</code> <code>free_objects;</code>

<code>    </code><code>unsigned</code><code>int</code> <code>free_limit;</code>

<code>    </code><code>unsigned</code><code>int</code> <code>colour_next;  </code><code>/* Per-node cache coloring */</code>

<code>    </code><code>spinlock_t list_lock;</code>

<code>    </code><code>struct</code> <code>array_cache *shared;</code><code>/* shared per node */</code>

<code>    </code><code>struct</code> <code>array_cache **alien;</code><code>/* on other nodes */</code>

<code>    </code><code>unsigned</code><code>long</code> <code>next_reap;   </code><code>/* updated without locking */</code>

<code>    </code><code>int</code> <code>free_touched;      </code><code>/* updated without locking */</code>

多个 slab 可以分别链接到 kmem_list3 的 满(slabs_full)、部分满(slabs_partial)、空(slabs_free)3 个链表中。

Slab 分配器调用 kmem_getpages 函数分配新的 slab(关于 cache 的创建下面会提到),kmem_getpages 会调用 __get_free_pages 函数分配所需的内存用于保持 cache,因此 kmem_getpages 一般在当 部分满(partial) 和 空(free)slab 的情况下调用,来看看它的实现:

<code>static</code> <code>void</code> <code>*kmem_getpages(</code><code>struct</code> <code>kmem_cache *cachep, gfp_t flags,</code><code>int</code> <code>nodeid)</code>

<code>    </code><code>int</code> <code>nr_pages;</code>

<code>    </code><code>int</code> <code>i;</code>

<code>#ifndef CONFIG_MMU</code>

<code>     </code><code>* Nommu uses slab's for process anonymous memory allocations, and thus</code>

<code>     </code><code>* requires __GFP_COMP to properly refcount higher order allocations</code>

<code>    </code><code>flags |= __GFP_COMP;</code>

<code>    </code><code>flags |= cachep-&gt;gfpflags;</code>

<code>    </code><code>if</code> <code>(cachep-&gt;flags &amp; SLAB_RECLAIM_ACCOUNT)</code>

<code>        </code><code>flags |= __GFP_RECLAIMABLE;</code>

<code>    </code><code>page = alloc_pages_exact_node(nodeid, flags | __GFP_NOTRACK, cachep-&gt;gfporder);</code>

<code>        </code><code>return</code> <code>NULL;</code>

<code>    </code><code>nr_pages = (1 &lt;&lt; cachep-&gt;gfporder);</code>

<code>        </code><code>add_zone_page_state(page_zone(page),</code>

<code>            </code><code>NR_SLAB_RECLAIMABLE, nr_pages);</code>

<code>    </code><code>else</code>

<code>            </code><code>NR_SLAB_UNRECLAIMABLE, nr_pages);</code>

<code>    </code><code>for</code> <code>(i = 0; i &lt; nr_pages; i++)</code>

<code>        </code><code>__SetPageSlab(page + i);</code>

<code>    </code><code>if</code> <code>(kmemcheck_enabled &amp;&amp; !(cachep-&gt;flags &amp; SLAB_NOTRACK)) {</code>

<code>        </code><code>kmemcheck_alloc_shadow(page, cachep-&gt;gfporder, flags, nodeid);</code>

<code>        </code><code>if</code> <code>(cachep-&gt;ctor)</code>

<code>            </code><code>kmemcheck_mark_uninitialized_pages(page, nr_pages);</code>

<code>        </code><code>else</code>

<code>            </code><code>kmemcheck_mark_unallocated_pages(page, nr_pages);</code>

<code>    </code><code>}</code>

<code>    </code><code>return</code> <code>page_address(page);</code>

第一个参数 cachep 为需要分配页的 cache,cachep-&gt;gfporder 指定要分配的大小,上面的代码中对于 NUMA 架构做了必要的处理。

kmem_getpages 分配的内存通过 kmem_freepages 释放,它调用 free_pages 释放页,kmem_freepages 一般在系统检测到内存不足时调用或者在销毁 cache 时显示调用。

下面重点来看看 Slab 分配器如何使用。

使用 kmem_cache_create 函数创建新的 cache,其定义为:

struct kmem_cache * kmem_cache_create (const char *name, size_t size, size_t align, unsigned long flags, void (*ctor)(void *))

第一个 name 参数指定 cache 的名称,size 为 cache 中对象的大小,align 为对象的对齐(一般为 0),flags 控制 cache 的行为,最后一个参数 ctor 为对象的构造函数,cache 分配新页时会调用此构造函数,现在一般将 ctor 值设为 NULL。

cache 的标志可以是下面常用几种标志的 OR 值:

SLAB_HWCACHE_ALIGN:对 cache 中的每个对象做对齐处理,对齐之后可以提高 cache line 的访问性能,但由于要浪费内存空间,因此一般只在对性能有很高要求的场合使用;

SLAB_POISON:以固定的值填充 slab(默认 0xa5a5a5a5);

SLAB_PANIC:如果分配失败,kernel 直接 panic;

SLAB_CACHE_DMA :指定 Slab 层在 ZONE_DMA 上分配每个 slab。

kmem_cache_create 如果成功返回 struct kmem_cache 结构指针,注意由于 kmem_cache_create 函数可能会睡眠,因此不能在中断上下文中使用。

使用 kmem_cache_destroy 函数销毁 kmem_cache_create 返回的 cache,此函数一般在模块退出时调用,你也可以在很多模块的初始化中找到 kmem_cache_create。同样由于会睡眠,kmem_cache_destroy 也不能在中断上下文中使用。

cache 被创建之后,就可以调用 kmem_cache_alloc 函数从 cache 中取得对象,其定义为:

void * kmem_cache_alloc(struct kmem_cache *cachep, gfp_t flags)

此函数直接返回对象的指针,如果 cache 中所有 slab 都没有空闲的对象了,Slab 层就需要调用 kmem_getpages 获取新的页。

如果一个对象不再需要使用了,可以调用 kmem_cache_free 将其回收到 slab 中:

void kmem_cache_free(struct kmem_cache *cachep, void *objp)

需要注意的就是 kmem_cache_free 和 kmem_cache_destroy 不能混淆。

4、高端内存映射:

由于高端内存不是被固定映射到 kernel 地址空间中,因此 alloc_pages 函数使用时如果指定了 __GFP_HIGHMEM 标志,则它返回的 page 很可能没有有效的虚拟地址。

使用 kmap 函数可以将一个 page 固定的映射到 kernel 地址空间中:

void *kmap(struct page *page)

注意此函数对高端内存和低端内存都是适用的,如果 page 在低端内存,则直接返回页的虚拟地址,否则需要创建内存映射,由于 kmap 可能会睡眠,因此不能在中断上下文中使用。

被映射的高端内存不需要时应使用 kunmap 函数删除映射。

另外对于不能睡眠的进程环境,Linux kernel 又提供了临时的高端内存映射方法。kernel 可以原子地映射一个高端内存页到 kernel 中的保留映射集中的一个,此保留映射集也是专门用于中断上下文等不能睡眠的地方映射高端内存页的需要。临时高端内存映射函数为 kmap_atomic,看看它在 x86 下的实现:

<code>void</code> <code>*kmap_atomic_prot(</code><code>struct</code> <code>page *page,</code><code>enum</code> <code>km_type type, pgprot_t prot)</code>

<code>    </code><code>enum</code> <code>fixed_addresses idx;</code>

<code>    </code><code>unsigned</code><code>long</code> <code>vaddr;</code>

<code>    </code><code>/* even !CONFIG_PREEMPT needs this, for in_atomic in do_page_fault */</code>

<code>    </code><code>pagefault_disable();</code>

<code>    </code><code>if</code> <code>(!PageHighMem(page))</code>

<code>        </code><code>return</code> <code>page_address(page);</code>

<code>    </code><code>debug_kmap_atomic(type);</code>

<code>    </code><code>idx = type + KM_TYPE_NR*smp_processor_id();</code>

<code>    </code><code>vaddr = __fix_to_virt(FIX_KMAP_BEGIN + idx);</code>

<code>    </code><code>BUG_ON(!pte_none(*(kmap_pte-idx)));</code>

<code>    </code><code>set_pte(kmap_pte-idx, mk_pte(page, prot));</code>

<code>    </code><code>return</code> <code>(</code><code>void</code> <code>*)vaddr;</code>

<code>void</code> <code>*kmap_atomic(</code><code>struct</code> <code>page *page,</code><code>enum</code> <code>km_type type)</code>

<code>    </code><code>return</code> <code>kmap_atomic_prot(page, type, kmap_prot);</code>

kmap_atomic 函数的 type 参数用于临时映射的用途,此函数会禁用内核抢占,因为临时映射是和每个处理器相关的,它是直接调用 pagefault_disable 函数禁止 page fault handler,其中会自动禁用内核抢占,看看 pagefault_disable 的实现:

<code>static</code> <code>inline</code> <code>void</code> <code>pagefault_disable(</code><code>void</code><code>)</code>

<code>    </code><code>inc_preempt_count();</code>

<code>     </code><code>* make sure to have issued the store before a pagefault</code>

<code>     </code><code>* can hit.</code>

<code>    </code><code>barrier();</code>

临时高端内存映射可以使用 kunmap_atomic 函数删除,它会启用内核抢占,同时它也不会睡眠,需要注意的是此次的临时高端内存映射在下一次临时映射高端内存时就会无效。

本文中如果有任何问题,欢迎提出指正哦,玩的开心~~~ ^_^

相关文章:

<a href="https://zohead.com/archives/linux-kernel-learning-memory-addressing/">Linux kernel学习-内存寻址</a>

<a href="https://zohead.com/archives/linux-kernel-kfifo/">Linux kernel kfifo分析</a>

<a href="https://zohead.com/archives/linux-kernel-learning-process-address-space/">Linux kernel学习-进程地址空间</a>

<a href="https://zohead.com/archives/linux-kernel-percpu-variable/">Linux kernel percpu变量解析</a>

<a href="https://zohead.com/archives/linux-kernel-learning-block-layer/">Linux kernel学习-block层</a>

继续阅读