Linux中的内存分配和释放之__alloc_pages()函数分析

  • Post author:
  • Post category:linux


在上篇文章的结尾,我们说会在接下来的文章分析分配函数的具体代码,结合我上篇文章说的伙伴机制和冷热区的概念,更好得去理解这个分配过程。好了,我们不再多说了,我们现在开始分析代码吧。

struct page * fastcall __alloc_pages(unsigned int gfp_mask, unsigned int order,struct zonelist *zonelist)

{


const int wait = gfp_mask & __GFP_WAIT;//gfp_mask是申请内存时用到的控制字,这一句就是为了检测我们的控制字里面是

//否有__GPF_WAIT这个属性,我们先来看些宏定义吧,这样你会更清楚的。

//#define GFP_LEVEL_MASK (__GFP_WAIT|__GFP_HIGH|__GFP_IO|__GFP_FS| /

__GFP_COLD|__GFP_NOWARN|__GFP_REPEAT| /

__GFP_NOFAIL|__GFP_NORETRY|__GFP_NO_GROW|__GFP_COMP)

//#define GFP_ATOMIC (__GFP_HIGH)

//#define GFP_NOIO (__GFP_WAIT)

//#define GFP_NOFS (__GFP_WAIT | __GFP_IO)

//#define GFP_KERNEL (__GFP_WAIT | __GFP_IO | __GFP_FS)

//#define GFP_USER (__GFP_WAIT | __GFP_IO | __GFP_FS)

//#define GFP_HIGHUSER (__GFP_WAIT | __GFP_IO | __GFP_FS | __GFP_HIGHMEM)

//可以看到上面的每个define都代表一个控制字,上面大部分都有__GPF_WAIT,只是GFP_ATOMIC是不包含的。如果当申请内存的控制字有__GFP_WAIT时,我们就要求一直等待到申请到内存为止,反之进程就进入睡眠状态,不进行等待。

unsigned long min;

struct zone **zones, *z;

struct page *page;

struct reclaim_state reclaim_state;

struct task_struct *p = current;

int i;

int alloc_type;

int do_retry;

int can_try_harder;

might_sleep_if(wait);//如果wait不等于0,则调用该函数的进程可能休眠。

can_try_harder = (unlikely(rt_task(p)) && !in_interrupt()) || !wait;//如果当前进程是实时进程的话同时又不在软中断和硬中断

//或者是wait=0。这样can_try_harder=1。

//#define rt_task(p)  (unlikely((p)->prio < MAX_RT_PRIO))当前进程的优先级prio是否小于MAX_RT_PRIO

//#define MAX_RT_PRIO  MAX_USER_RT_PRIO其中MAX_USER_RT_PRIO=100。如果prio<100

//我们就说当前进程是实时进程。

zones = zonelist->zones;//zonelist是struct node中的一个成员,它表示系统内所有normal内存页区的连接链表。

//我们这里的zonelist->zones是这个节点的normal内存zone的struct zoon指针。我们一般把zones称为

//struct zoon结构指针列表,这个表是以本次内存node的对应类型页区的struct zoon为头指针,即头指针是

//指向struct zoon这个结构体的。整个表都是结构类型为struct zoon的指针。

if (unlikely(zones[0] == NULL)) {

return NULL;

}//如果发现头指针为空,即没有指向struct zoon的有效指针,我们就直接返回错误。

alloc_type = zone_idx(zones[0]);/



版权声明:本文为satanwxd原创文章,遵循 CC 4.0 BY-SA 版权协议,转载请附上原文出处链接和本声明。