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