程序博客网 > 163网络硬盘

linux内存管理之sys_brk实现分析【三】

来源：互联网 发布：163网络硬盘 编辑：程序博客网 时间：2024/06/08 11:30
 

4.2   用户空间的伸展

4.2.1   find_vma_intersection

find_vma_intersection()在mm.h文件中，实现如下：

//判断进程的地址空间是否与给定的地址区间相交叉

[cpp] view plaincopyprint?
  1. /* Look up the first VMA which intersects the interval start_addr..end_addr-1, 
  2.    NULL if none.  Assume start_addr < end_addr. */  
  3. static inline struct vm_area_struct * find_vma_intersection(struct mm_struct * mm, unsigned long start_addr, unsigned long end_addr)  
  4. {  
  5.     struct vm_area_struct * vma = find_vma(mm,start_addr);  
  6.   
  7.     if (vma && end_addr <= vma->vm_start)  
  8.         vma = NULL;  
  9.     return vma;  
  10. }  


 

那为什么brk中find_vma_intersection(mm, oldbrk, newbrk+PAGE_SIZE)调用中，newbrk为什么要加上PAGE_SIZE呢？这是因为newbrk 与oldbrk已经是经过页框对齐后的地址：如下

      newbrk = PAGE_ALIGN(brk);

      oldbrk = PAGE_ALIGN(mm->brk);

而且，每个vma的起始地址跟长度都是与页框对齐的（参考ULK3）.注意到find_vma_intersection()判断是否交替的时候带有一个’=’.也就是判断newbrk的下一个页框是否在进程的线性区中。接着往下看，经过判断之后，就会进入到do_brk()：

4.2.2   do_brk

[cpp] view plaincopyprint?
  1. /* 
  2.  *  this is really a simplified "do_mmap".  it only handles 
  3.  *  anonymous maps.  eventually we may be able to do some 
  4.  *  brk-specific accounting here. 
  5.  */  
  6. unsigned long do_brk(unsigned long addr, unsigned long len)  
  7. {  
  8.     struct mm_struct * mm = current->mm;  
  9.     struct vm_area_struct * vma, * prev;  
  10.     unsigned long flags;  
  11.     struct rb_node ** rb_link, * rb_parent;  
  12.     pgoff_t pgoff = addr >> PAGE_SHIFT;  
  13.     int error;  
  14.     //长度按页框对齐，不过在我们这个流程来说，这个步骤是没必要的   
  15.     //因为start 与 end都与页框对齐，end – start肯定也是与页框对齐的  
  16.     len = PAGE_ALIGN(len);  
  17.     if (!len)  
  18.         return addr;  
  19. /*检查给定的地址是否能够进行安全的地址映射*/  
  20.     error = security_file_mmap(NULL, 0, 0, 0, addr, 1);  
  21.     if (error)  
  22.         return error;  
  23.   
  24.     flags = VM_DATA_DEFAULT_FLAGS | VM_ACCOUNT | mm->def_flags;  
  25.   
  26.     error = get_unmapped_area(NULL, addr, len, 0, MAP_FIXED);  
  27.     if (error & ~PAGE_MASK)  
  28.         return error;  
  29.   
  30.     /* 
  31.      * mlock MCL_FUTURE? 
  32.      */  
  33.     //VM_LOCKED: 页被锁住不能被交换出去   
  34.     if (mm->def_flags & VM_LOCKED) {  
  35.         unsigned long locked, lock_limit;  
  36.         locked = len >> PAGE_SHIFT;  
  37.         locked += mm->locked_vm;  
  38.         lock_limit = rlimit(RLIMIT_MEMLOCK);  
  39.         lock_limit >>= PAGE_SHIFT;  
  40.         if (locked > lock_limit && !capable(CAP_IPC_LOCK))  
  41.             return -EAGAIN;  
  42.     }  
  43.   
  44.     /* 
  45.      * mm->mmap_sem is required to protect against another thread 
  46.      * changing the mappings in case we sleep. 
  47.      */  
  48.     verify_mm_writelocked(mm);  
  49.   
  50.     /* 
  51.      * Clear old maps.  this also does some error checking for us 
  52.      */  
  53. / *find_vma_prepare函数扫描当前进程地址空间的vm_area_struct结构所形成的红黑树，试图找到结束地址高于addr的第一个区间；如果找到了一个虚拟区，说明addr所在的虚拟区已经在使用，也就是已经有映射存在，因此要调用do_munmap（）把这个老的虚拟区从进程地址空间中撤销，如果撤销不成功，就返回一个负数；如果撤销成功，就继续查找，直到在红黑树中找不到addr所在的虚拟区，并继续下面的检查*/  
  54.  munmap_back:  
  55.     vma = find_vma_prepare(mm, addr, &prev, &rb_link, &rb_parent);  
  56.     if (vma && vma->vm_start < addr + len) {  
  57.         if (do_munmap(mm, addr, len))  
  58.             return -ENOMEM;  
  59.         goto munmap_back;  
  60.     }  
  61.   
  62.     /* Check against address space limits *after* clearing old maps... */  
  63. /*检查是否要对此虚拟区间进行扩充*/  
  64.     if (!may_expand_vm(mm, len >> PAGE_SHIFT))  
  65.         return -ENOMEM;  
  66.   
  67.     if (mm->map_count > sysctl_max_map_count)  
  68.         return -ENOMEM;  
  69. //判断系统是否有足够的内存   
  70.     if (security_vm_enough_memory(len >> PAGE_SHIFT))  
  71.         return -ENOMEM;  
  72.   
  73.     /* Can we just expand an old private anonymous mapping? */  
  74. //判断是否可以合并, 如果可以合并，就将基合并为一个VMA区   
  75. /*如果是匿名映射（file为空），并且这个虚拟区是非共享的，则可以把这个虚拟区和*与它紧挨的前一个虚拟区进行合并；虚拟区的合并是由vma_merge()函数实现的。如*果合并成功，则转out处，请看后面out处的代码*/  
  76.     vma = vma_merge(mm, prev, addr, addr + len, flags,  
  77.                     NULL, NULL, pgoff, NULL);  
  78.     if (vma)  
  79.         goto out;  
  80.   
  81.     /* 
  82.      * create a vma struct for an anonymous mapping 
  83.      */  
  84. //不可以合并，新建一个VMA /*分配映射虚拟区空间*/   
  85.     vma = kmem_cache_zalloc(vm_area_cachep, GFP_KERNEL);  
  86.     if (!vma) {  
  87.         vm_unacct_memory(len >> PAGE_SHIFT);  
  88.         return -ENOMEM;  
  89.     }  
  90. //设值VMA的值   
  91.     INIT_LIST_HEAD(&vma->anon_vma_chain);  
  92.     vma->vm_mm = mm;  
  93.     vma->vm_start = addr;  
  94.     vma->vm_end = addr + len;  
  95.     vma->vm_pgoff = pgoff;  
  96.     vma->vm_flags = flags;  
  97.     vma->vm_page_prot = vm_get_page_prot(flags);  
  98. //将新分配的VMA插入到进程的VMA链表 /*把新建的虚拟区插入到进程的地址空间*/  
  99.     vma_link(mm, vma, prev, rb_link, rb_parent);  
  100. out:  
  101.     /*增加进程地址空间长度*/  
  102.     mm->total_vm += len >> PAGE_SHIFT;  
  103. //如果定义了LOCKED。就为其分配内存   
  104.     if (flags & VM_LOCKED) {  
  105. /*虚拟区间加锁状态下完成虚拟页面到物理页面的映射并完成文件到物理内存的真正调入 */  
  106.         if (!mlock_vma_pages_range(vma, addr, addr + len))  
  107.             mm->locked_vm += (len >> PAGE_SHIFT);  
  108.     }  
  109.     return addr;  
  110. }  


 

4.2.2.1         mlock_vma_pages_range

[cpp] view plaincopyprint?
  1. /** 
  2.  * __mlock_vma_pages_range() -  mlock a range of pages in the vma. 
  3.  * @vma:   target vma 
  4.  * @start: start address 
  5.  * @end:   end address 
  6.  * 
  7.  * This takes care of making the pages present too. 
  8.  * 
  9.  * return 0 on success, negative error code on error. 
  10.  * 
  11.  * vma->vm_mm->mmap_sem must be held for at least read. 
  12.  */  
  13. static long __mlock_vma_pages_range(struct vm_area_struct *vma,  
  14.                     unsigned long start, unsigned long end)  
  15. {  
  16.     struct mm_struct *mm = vma->vm_mm;  
  17.     unsigned long addr = start;  
  18.     struct page *pages[16]; /* 16 gives a reasonable batch */  
  19.     int nr_pages = (end - start) / PAGE_SIZE;  
  20.     int ret = 0;  
  21.     int gup_flags;  
  22.   
  23.     VM_BUG_ON(start & ~PAGE_MASK);  
  24.     VM_BUG_ON(end   & ~PAGE_MASK);  
  25.     VM_BUG_ON(start < vma->vm_start);  
  26.     VM_BUG_ON(end   > vma->vm_end);  
  27.     VM_BUG_ON(!rwsem_is_locked(&mm->mmap_sem));  
  28.   
  29.     gup_flags = FOLL_TOUCH | FOLL_GET;  
  30.     if (vma->vm_flags & VM_WRITE)  
  31.         gup_flags |= FOLL_WRITE;  
  32.   
  33.     /* We don't try to access the guard page of a stack vma */  
  34.     if (stack_guard_page(vma, start)) {  
  35.         addr += PAGE_SIZE;  
  36.         nr_pages--;  
  37.     }  
  38.   
  39.     while (nr_pages > 0) {  
  40.         int i;  
  41.   
  42.         cond_resched();  
  43.   
  44.         /* 
  45.          * get_user_pages makes pages present if we are 
  46.          * setting mlock. and this extra reference count will 
  47.          * disable migration of this page.  However, page may 
  48.          * still be truncated out from under us. 
  49.          */  
  50.         ret = __get_user_pages(current, mm, addr,  
  51.                 min_t(int, nr_pages, ARRAY_SIZE(pages)),  
  52.                 gup_flags, pages, NULL);  
  53.         /* 
  54.          * This can happen for, e.g., VM_NONLINEAR regions before 
  55.          * a page has been allocated and mapped at a given offset, 
  56.          * or for addresses that map beyond end of a file. 
  57.          * We'll mlock the pages if/when they get faulted in. 
  58.          */  
  59.         if (ret < 0)  
  60.             break;  
  61.   
  62.         lru_add_drain();    /* push cached pages to LRU */  
  63.   
  64.         for (i = 0; i < ret; i++) {  
  65.             struct page *page = pages[i];  
  66.   
  67.             if (page->mapping) {  
  68.                 /* 
  69.                  * That preliminary check is mainly to avoid 
  70.                  * the pointless overhead of lock_page on the 
  71.                  * ZERO_PAGE: which might bounce very badly if 
  72.                  * there is contention.  However, we're still 
  73.                  * dirtying its cacheline with get/put_page: 
  74.                  * we'll add another __get_user_pages flag to 
  75.                  * avoid it if that case turns out to matter. 
  76.                  */  
  77.                 lock_page(page);  
  78.                 /* 
  79.                  * Because we lock page here and migration is 
  80.                  * blocked by the elevated reference, we need 
  81.                  * only check for file-cache page truncation. 
  82.                  */  
  83.                 if (page->mapping)  
  84.                     mlock_vma_page(page);  
  85.                 unlock_page(page);  
  86.             }  
  87.             put_page(page); /* ref from get_user_pages() */  
  88.         }  
  89.   
  90.         addr += ret * PAGE_SIZE;  
  91.         nr_pages -= ret;  
  92.         ret = 0;  
  93.     }  
  94.   
  95.     return ret; /* 0 or negative error code */  
  96. }  


 

4.3   流程图

回顾整个函数，整理出流程图如下：

4.4   新旧版本对比分析

在分析2.6.35.2的同时，我们小组也对另外的内核版本源码进行了简单的对比，发现一些异同。

在旧版本（2.4和2.6.26）中，系统调用应用的函数是sys_brk()，而在新版本2.6.27开始，sys_brk()这个函数已经不存在了，在2.6.35中，已形演变为：SYSCALL_DEFINE1(brk, unsigned long, brk)。其中SYSCALL_DEFINE1只是一个宏定义，这样做的目的是为了统一代码格式，封装性变得更好一些，便于以后源代码的拓展。

在旧版本中，Split_vma

新版本：__split_vma

 

旧：unmap_vma_list（），调用remove_vm_struct（）

新：直接remove_vma_list（），精简了代码，代码重构了。

 

旧：vma->vm_end - vma->vm_start) >> PAGE_SHIFT;以一行语句的形式展现，代码只限于在本函数内使用。

新：vma_pages（）函数，是对vma调整的封装，便于其它函数调用，应用范围变大。

 

旧：clear_page_tables（）

新：free_pgd_range（），做了一些封装。

旧：make_pages_present，

新：mlock_vma_pages_range。

 

2.4内核的流程图：

5       心得体会

在本次分析报告中，我们小组通过从各个方面查找资料，了解Linux操作系统中内存管理的过程。在研读代码的过程中，上网查阅了相关老版本的资料，发现新版本与老版本的源代码上，有了较多的不同之处。在分析过程中我使用了Windows下的工具Source Insight 3.5，锻炼了我们分析大型软件代码的能力。通过与同组同学的合作，加强了我们的团体合作能力。

通过对Linux源代码的阅读，让我们对C语言有了全新的认识，深感标准C的高级编程较难。代码中C语言的各种灵活运用让我们大开眼界，在源码中，大量使用了static关键字用来修饰函数和结构体定义，来限制函数或变量的作用域，以及高级宏定义的使用。函数指针的使用，函数之间的调用，使用较多。同时对于goto语句我们也有了全新的认识。在分析实验中虽然我们没有怎么编写代码但对Linux源码的阅读也是对我们编程能力的一次大的提升。

通过对Linux系统调用代码的分析，看到大型软件的编程习惯，体会到编程之美，小组成员决定在以后的编程过程中养成良好的编程习惯，同时着手研究开源软件项目，阅读更多优秀的代码，来增长见识和水平。

 

 

6   附录

6.1   参考文献

[1]毛德操，胡希明；Linux内核源代码情景分析；浙江大学出版社

[2]www.kerneltravel.com 内核之旅网站

[3] http://blog.chinaunix.net  ChinaUnix社区

 

6.2   相关工具

[1]Windows下的代码阅读工具 Source Insight3.5

[2]Microsoft Visio 2007 流程图绘制工具

[3]Microsoft Visual Stdio 2010 代码查看工具

163网络硬盘 163网络硬盘
原创粉丝点击
热门IT博客
2014 mac mini ssd2014 mac mini ssd
心理医生的证书知乎心理医生的证书知乎
windows 7状态不可用
apache cxf 2.6.1下载
java写json文件
淘宝里有家小崔韩代
微单哪款好 画幅知乎
微软小英 知乎
电脑keeper是什么软件
2008服务器端口开放
穆罕默德阿里改革知乎
python xpath 解析网页
最大公倍数java编程
闪迪sd卡数据恢复软件
淘宝压缩羽绒服男款
2016年网络歌曲大全
怎样搜索大数据
java 多线程 ftp上传
阿里云主机推荐码
永恒战士4网络连接失败
热门问题 老师的惩罚 人脸识别 我在镇武司摸鱼那些年 重生之率土为王 我在大康的咸鱼生活 盘龙之生命进化 天生仙种 凡人之先天五行 春回大明朝 姑娘不必设防，我是瞎子 吸气时胃里难受怎么办 ps字迹模糊怎么办 老婆智障怎么办 肌肉用力发抖怎么办 腿肌肉萎缩怎么办 汽轮机叶片结垢怎么办 maya蓝怎么办 maya文件打不开怎么办 楼下有流浪汉怎么办 道路塌陷车陷里怎么办 开关漏电怎么办 主观能动性太差怎么办 血压变化很大怎么办 甘精打多了怎么办 胰岛素高峰延迟怎么办 走路外八怎么办 小孩子掉床怎么办 月球表面脸怎么办 色彩初学怎么办 胰岛分泌延迟怎么办 后背变形怎么办 不想上体育课怎么办 定向越野迷路怎么办 空调主机被水浸了怎么办 自由泳好累怎么办 仰泳鼻子进水怎么办 自由泳不塌腰怎么办 游泳换气沉底怎么办 flash打不开怎么办 flash卸载不了怎么办 不支持flash怎么办 flash用不了怎么办 flash挂科怎么办 ipad没有flash怎么办 手机无法flash怎么办 flash保存不了怎么办 脖子不能动怎么办 flash无法预览怎么办 flash意外格式怎么办 flash录音怎么办 ps变成黑白怎么办

程序博客网，程序员的互联网技术博客家园。csdn论坛精品 msdn技术资料都在这里