Linux页框分配器之内存碎片化整理

系统 Linux
Linux内存对碎片化的整理算法主要应用了内核的页面迁移机制,是一种将可移动页面进行迁移后腾出连续物理内存的方法。

[[357683]]

本文转载自微信公众号「人人都是极客」,作者布道师Peter 。转载本文请联系人人都是极客公众号。 

页框分配器在慢速分配中包括内存碎片化整理和内存回收,代码如下:

static inline struct page * 
__alloc_pages_slowpath(gfp_t gfp_mask, unsigned int order
      struct alloc_context *ac) 

  page = __alloc_pages_direct_compact(gfp_mask, order,  
      alloc_flags, ac, 
      INIT_COMPACT_PRIORITY, 
      &compact_result); 
  ...... 
  page = __alloc_pages_direct_reclaim(gfp_mask, order, alloc_flags, ac,  
       &did_some_progress); 
  ...... 

  • 1.
  • 2.
  • 3.
  • 4.
  • 5.
  • 6.
  • 7.
  • 8.
  • 9.
  • 10.
  • 11.
  • 12.
  • 13.

出于篇幅设计,这次我们只讲内存的碎片化整理,下文再讲内存回收。

什么是内存碎片化

Linux物理内存碎片化包括两种:内部碎片化和外部碎片化。

内部碎片化:

指分配给用户的内存空间中未被使用的部分。例如进程需要使用3K bytes物理内存,于是向系统申请了大小等于3Kbytes的内存,但是由于Linux内核伙伴系统算法最小颗粒是4K bytes,所以分配的是4Kbytes内存,那么其中1K bytes未被使用的内存就是内存内碎片。

外部碎片化:

指系统中无法利用的小内存块。例如系统剩余内存为16K bytes,但是这16K bytes内存是由4个4K bytes的页面组成,即16K内存物理页帧号#1不连续。在系统剩余16K bytes内存的情况下,系统却无法成功分配大于4K的连续物理内存,该情况就是内存外碎片导致。

碎片化整理算法

Linux内存对碎片化的整理算法主要应用了内核的页面迁移机制,是一种将可移动页面进行迁移后腾出连续物理内存的方法。

假设存在一个非常小的内存域如下:

蓝色表示空闲的页面,白色表示已经被分配的页面,可以看到如上内存域的空闲页面(蓝色)非常零散,无法分配大于两页的连续物理内存。

下面演示一下内存规整的简化工作原理,内核会运行两个独立的扫描动作:第一个扫描从内存域的底部开始,一边扫描一边将已分配的可移动(MOVABLE)页面记录到一个列表中:

另外第二扫描是从内存域的顶部开始,扫描可以作为页面迁移目标的空闲页面位置,然后也记录到一个列表里面:

等两个扫描在域中间相遇,意味着扫描结束,然后将左边扫描得到的已分配的页面迁移到右边空闲的页面中,左边就形成了一段连续的物理内存,完成页面规整。

碎片化整理的三种方式

static struct page * 
__alloc_pages_direct_compact(gfp_t gfp_mask, unsigned int order
  unsigned int alloc_flags, const struct alloc_context *ac, 
  enum compact_priority prio, enum compact_result *compact_result) 

 struct page *page; 
 unsigned int noreclaim_flag; 
 
 if (!order
  return NULL
 
 noreclaim_flag = memalloc_noreclaim_save(); 
 *compact_result = try_to_compact_pages(gfp_mask, order, alloc_flags, ac, 
         prio); 
 memalloc_noreclaim_restore(noreclaim_flag); 
 
 if (*compact_result <= COMPACT_INACTIVE) 
  return NULL
 
 count_vm_event(COMPACTSTALL); 
 
 page = get_page_from_freelist(gfp_mask, order, alloc_flags, ac); 
 
 if (page) { 
  struct zone *zone = page_zone(page); 
 
  zone->compact_blockskip_flush = false
  compaction_defer_reset(zone, ordertrue); 
  count_vm_event(COMPACTSUCCESS); 
  return page; 
 } 
 
 count_vm_event(COMPACTFAIL); 
 
 cond_resched(); 
 
 return NULL

  • 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.

这也是上面memory compaction算法的代码实现。

在linux内核里一共有3种方式可以碎片化整理,我们总结如下:

这里就不展开源码的解析了,有了宏观的理解然后再去网上搜下具体实现细节相信不是什么难事,OK,我们进入下面的文章内容:内存回收(memory reclaim)。

 

责任编辑:武晓燕 来源: 人人都是极客
相关推荐

2013-10-12 11:15:09

Linux运维内存管理

2023-04-03 08:25:02

Linux内存slub

2021-08-03 09:02:58

LinuxSlab算法

2024-10-11 10:00:20

2009-12-25 15:34:54

slab分配器

2024-12-11 08:18:11

2020-07-07 07:57:39

Linux内存碎片化

2017-02-08 08:40:21

C++固定内存块

2017-01-17 16:17:48

C++固定分配器

2017-01-20 14:21:35

内存分配器存储

2020-03-11 13:44:20

编程语言PythonJava

2021-05-27 05:28:18

Linux 内存管理

2022-02-23 16:49:19

Linux内存数据结构

2013-10-14 10:41:41

分配器buddy syste

2014-09-01 10:09:44

Linux

2025-02-10 07:30:00

malloc内存分配器内存

2023-12-22 07:55:38

Go语言分配策略

2024-10-28 11:25:21

丰巢快递jemalloc

2023-04-13 14:42:26

PoE供电器PoE交换机

2015-09-28 10:12:21

Linux磁盘碎片
点赞
收藏

51CTO技术栈公众号