zoukankan      html  css  js  c++  java

  • Linux内存管理--基本概念【转】

    转自：http://blog.csdn.net/myarrow/article/details/8624687

    1. Linux物理内存三级架构

         对于内存管理，Linux采用了与具体体系架构不相关的设计模型，实现了良好的可伸缩性。它主要由内存节点node、内存区域zone和物理页框page三级架构组成。

        • 内存节点node

           内存节点node是计算机系统中对物理内存的一种描述方法，一个总线主设备访问位于同一个节点中的任意内存单元所花的代价相同，而访问任意两个不同节点中的内存单元所花的代价不同。在一致存储结构(Uniform Memory Architecture，简称UMA)计算机系统中只有一个节点，而在非一致性存储结构(NUMA)计算机系统中有多个节点。Linux内核中使用数据结构pg_data_t来表示内存节点node。如常用的ARM架构为UMA架构。

        •  内存区域zone

           内存区域位于同一个内存节点之内，由于各种原因它们的用途和使用方法并不一样。如基于IA32体系结构的个人计算机系统中，由于历史原因使得ISA设备只能使用最低16MB来进行DMA传输。又如，由于Linux内核采用

        •  物理页框page

    2. Linux虚拟内存三级页表

          Linux虚拟内存三级管理由以下三级组成：

         • PGD: Page Global Directory (页目录)

         • PMD: Page Middle Directory (页目录)

         • PTE:  Page Table Entry  (页表项)

        

         每一级有以下三个关键描述宏：

         • SHIFT

         • SIZE

         • MASK

            如页的对应描述为：

    [cpp] view plaincopy在CODE上查看代码片派生到我的代码片
     
    1. /* PAGE_SHIFT determines the page size  asm/page.h */  
    2. #define PAGE_SHIFT      12  
    3. #define PAGE_SIZE       (_AC(1,UL) << PAGE_SHIFT)  
    4. #define PAGE_MASK       (~(PAGE_SIZE-1))  

        数据结构定义如下：

    [cpp] view plaincopy在CODE上查看代码片派生到我的代码片
     
    1. /* asm/page.h */  
    2. typedef unsigned long pteval_t;  
    3.   
    4. typedef pteval_t pte_t;  
    5. typedef unsigned long pmd_t;  
    6. typedef unsigned long pgd_t[2];  
    7. typedef unsigned long pgprot_t;  
    8.   
    9. #define pte_val(x)      (x)  
    10. #define pmd_val(x)      (x)  
    11. #define pgd_val(x)  ((x)[0])  
    12. #define pgprot_val(x)   (x)  
    13.   
    14. #define __pte(x)        (x)  
    15. #define __pmd(x)        (x)  
    16. #define __pgprot(x)     (x)  

    2.1 Page Directory (PGD and PMD)

         每个进程有它自己的PGD( Page Global Directory)，它是一个物理页，并包含一个pgd_t数组。其定义见<asm/page.h>。 进程的pgd_t数据见 task_struct -> mm_struct -> pgd_t * pgd;    

         ARM架构的PGD和PMD的定义如下<arch/arm/include/asm/pgtable.h>：

    [cpp] view plaincopy在CODE上查看代码片派生到我的代码片
     
    1. <p>#define PTRS_PER_PTE  512    // PTE中可包含的指针<u32>数 (21-12=9bit)  
    2. #define PTRS_PER_PMD  1  
    3. #define PTRS_PER_PGD  2048   // PGD中可包含的指针<u32>数 (32-21=11bit)</p><p>#define PTE_HWTABLE_PTRS (PTRS_PER_PTE)  
    4. #define PTE_HWTABLE_OFF  (PTE_HWTABLE_PTRS * sizeof(pte_t))  
    5. #define PTE_HWTABLE_SIZE (PTRS_PER_PTE * sizeof(u32))</p><p>/*  
    6.  * PMD_SHIFT determines the size of the area a second-level page table can map  
    7.  * PGDIR_SHIFT determines what a third-level page table entry can map  
    8.  */  
    9. #define PMD_SHIFT  21  
    10. #define PGDIR_SHIFT  21</p>  
    11.  <span style="font-size:18px;">     虚拟地址SHIFT宏图：</span>  

         虚拟地址MASK和SIZE宏图：

     2.2 Page Table Entry

          PTEs, PMDs和PGDs分别由pte_t, pmd_t 和pgd_t来描述。为了存储保护位，pgprot_t被定义，它拥有相关的flags并经常被存储在page table entry低位(lower bits)，其具体的存储方式依赖于CPU架构。

         每个pte_t指向一个物理页的地址，并且所有的地址都是页对齐的。因此在32位地址中有PAGE_SHIFT(12)位是空闲的，它可以为PTE的状态位。

         PTE的保护和状态位如下图所示：

    2.3 如何通过3级页表访问物理内存

           为了通过PGD、PMD和PTE访问物理内存，其相关宏在asm/pgtable.h中定义。

           • pgd_offset 

           根据当前虚拟地址和当前进程的mm_struct获取pgd项的宏定义如下： 

    [cpp] view plaincopy在CODE上查看代码片派生到我的代码片
     
    1. /* to find an entry in a page-table-directory */  
    2. #define pgd_index(addr)     ((addr) >> PGDIR_SHIFT)  //获得在pgd表中的索引  
    3.   
    4. #define pgd_offset(mm, addr)    ((mm)->pgd + pgd_index(addr)) //获得pmd表的起始地址  
    5.   
    6. /* to find an entry in a kernel page-table-directory */  
    7. #define pgd_offset_k(addr)  pgd_offset(&init_mm, addr)  

             • pmd_offset
                 根据通过pgd_offset获取的pgd 项和虚拟地址，获取相关的pmd项(即pte表的起始地址) 

    [cpp] view plaincopy在CODE上查看代码片派生到我的代码片
     
    1. /* Find an entry in the second-level page table.. */  
    2. #define pmd_offset(dir, addr)   ((pmd_t *)(dir))   //即为pgd项的值  

            • pte_offset

          根据通过pmd_offset获取的pmd项和虚拟地址，获取相关的pte项(即物理页的起始地址)

    [cpp] view plaincopy在CODE上查看代码片派生到我的代码片
     
    1. #ifndef CONFIG_HIGHPTE  
    2. #define __pte_map(pmd)      pmd_page_vaddr(*(pmd))  
    3. #define __pte_unmap(pte)    do { } while (0)  
    4. #else  
    5. #define __pte_map(pmd)      (pte_t *)kmap_atomic(pmd_page(*(pmd)))  
    6. #define __pte_unmap(pte)    kunmap_atomic(pte)  
    7. #endif  
    8.   
    9. #define pte_index(addr)     (((addr) >> PAGE_SHIFT) & (PTRS_PER_PTE - 1))  
    10.   
    11. #define pte_offset_kernel(pmd,addr) (pmd_page_vaddr(*(pmd)) + pte_index(addr))  
    12.   
    13. #define pte_offset_map(pmd,addr)    (__pte_map(pmd) + pte_index(addr))  
    14. #define pte_unmap(pte)          __pte_unmap(pte)  
    15.   
    16. #define pte_pfn(pte)        (pte_val(pte) >> PAGE_SHIFT)  
    17. #define pfn_pte(pfn,prot)   __pte(__pfn_to_phys(pfn) | pgprot_val(prot))  
    18.   
    19. #define pte_page(pte)       pfn_to_page(pte_pfn(pte))  
    20. #define mk_pte(page,prot)   pfn_pte(page_to_pfn(page), prot)  
    21.   
    22. #define set_pte_ext(ptep,pte,ext) cpu_set_pte_ext(ptep,pte,ext)  
    23. #define pte_clear(mm,addr,ptep) set_pte_ext(ptep, __pte(0), 0)  

            其示意图如下图所示：

     
      2.4 根据虚拟地址获取物理页的示例代码

            根据虚拟地址获取物理页的示例代码详见<mm/memory.c中的函数follow_page>。

    [cpp] view plaincopy在CODE上查看代码片派生到我的代码片
     
      1. /** 
      2.  * follow_page - look up a page descriptor from a user-virtual address 
      3.  * @vma: vm_area_struct mapping @address 
      4.  * @address: virtual address to look up 
      5.  * @flags: flags modifying lookup behaviour 
      6.  * 
      7.  * @flags can have FOLL_ flags set, defined in <linux/mm.h> 
      8.  * 
      9.  * Returns the mapped (struct page *), %NULL if no mapping exists, or 
      10.  * an error pointer if there is a mapping to something not represented 
      11.  * by a page descriptor (see also vm_normal_page()). 
      12.  */  
      13. struct page *follow_page(struct vm_area_struct *vma, unsigned long address,  
      14.             unsigned int flags)  
      15. {  
      16.     pgd_t *pgd;  
      17.     pud_t *pud;  
      18.     pmd_t *pmd;  
      19.     pte_t *ptep, pte;  
      20.     spinlock_t *ptl;  
      21.     struct page *page;  
      22.     struct mm_struct *mm = vma->vm_mm;  
      23.   
      24.     page = follow_huge_addr(mm, address, flags & FOLL_WRITE);  
      25.     if (!IS_ERR(page)) {  
      26.         BUG_ON(flags & FOLL_GET);  
      27.         goto out;  
      28.     }  
      29.   
      30.     page = NULL;  
      31.     pgd = pgd_offset(mm, address);  
      32.     if (pgd_none(*pgd) || unlikely(pgd_bad(*pgd)))  
      33.         goto no_page_table;  
      34.   
      35.     pud = pud_offset(pgd, address);  
      36.     if (pud_none(*pud))  
      37.         goto no_page_table;  
      38.     if (pud_huge(*pud) && vma->vm_flags & VM_HUGETLB) {  
      39.         BUG_ON(flags & FOLL_GET);  
      40.         page = follow_huge_pud(mm, address, pud, flags & FOLL_WRITE);  
      41.         goto out;  
      42.     }  
      43.     if (unlikely(pud_bad(*pud)))  
      44.         goto no_page_table;  
      45.   
      46.     pmd = pmd_offset(pud, address);  
      47.     if (pmd_none(*pmd))  
      48.         goto no_page_table;  
      49.     if (pmd_huge(*pmd) && vma->vm_flags & VM_HUGETLB) {  
      50.         BUG_ON(flags & FOLL_GET);  
      51.         page = follow_huge_pmd(mm, address, pmd, flags & FOLL_WRITE);  
      52.         goto out;  
      53.     }  
      54.     if (pmd_trans_huge(*pmd)) {  
      55.         if (flags & FOLL_SPLIT) {  
      56.             split_huge_page_pmd(mm, pmd);  
      57.             goto split_fallthrough;  
      58.         }  
      59.         spin_lock(&mm->page_table_lock);  
      60.         if (likely(pmd_trans_huge(*pmd))) {  
      61.             if (unlikely(pmd_trans_splitting(*pmd))) {  
      62.                 spin_unlock(&mm->page_table_lock);  
      63.                 wait_split_huge_page(vma->anon_vma, pmd);  
      64.             } else {  
      65.                 page = follow_trans_huge_pmd(mm, address,  
      66.                                  pmd, flags);  
      67.                 spin_unlock(&mm->page_table_lock);  
      68.                 goto out;  
      69.             }  
      70.         } else  
      71.             spin_unlock(&mm->page_table_lock);  
      72.         /* fall through */  
      73.     }  
      74. split_fallthrough:  
      75.     if (unlikely(pmd_bad(*pmd)))  
      76.         goto no_page_table;  
      77.   
      78.     ptep = pte_offset_map_lock(mm, pmd, address, &ptl);  
      79.   
      80.     pte = *ptep;  
      81.     if (!pte_present(pte))  
      82.         goto no_page;  
      83.     if ((flags & FOLL_WRITE) && !pte_write(pte))  
      84.         goto unlock;  
      85.   
      86.     page = vm_normal_page(vma, address, pte);  
      87.     if (unlikely(!page)) {  
      88.         if ((flags & FOLL_DUMP) ||  
      89.             !is_zero_pfn(pte_pfn(pte)))  
      90.             goto bad_page;  
      91.         page = pte_page(pte);  
      92.     }  
      93.   
      94.     if (flags & FOLL_GET)  
      95.         get_page(page);  
      96.     if (flags & FOLL_TOUCH) {  
      97.         if ((flags & FOLL_WRITE) &&  
      98.             !pte_dirty(pte) && !PageDirty(page))  
      99.             set_page_dirty(page);  
      100.         /* 
      101.          * pte_mkyoung() would be more correct here, but atomic care 
      102.          * is needed to avoid losing the dirty bit: it is easier to use 
      103.          * mark_page_accessed(). 
      104.          */  
      105.         mark_page_accessed(page);  
      106.     }  
      107.     if ((flags & FOLL_MLOCK) && (vma->vm_flags & VM_LOCKED)) {  
      108.         /* 
      109.          * The preliminary mapping check is mainly to avoid the 
      110.          * pointless overhead of lock_page on the ZERO_PAGE 
      111.          * which might bounce very badly if there is contention. 
      112.          * 
      113.          * If the page is already locked, we don't need to 
      114.          * handle it now - vmscan will handle it later if and 
      115.          * when it attempts to reclaim the page. 
      116.          */  
      117.         if (page->mapping && trylock_page(page)) {  
      118.             lru_add_drain();  /* push cached pages to LRU */  
      119.             /* 
      120.              * Because we lock page here and migration is 
      121.              * blocked by the pte's page reference, we need 
      122.              * only check for file-cache page truncation. 
      123.              */  
      124.             if (page->mapping)  
      125.                 mlock_vma_page(page);  
      126.             unlock_page(page);  
      127.         }  
      128.     }  
      129. unlock:  
      130.     pte_unmap_unlock(ptep, ptl);  
      131. out:  
      132.     return page;  
      133.   
      134. bad_page:  
      135.     pte_unmap_unlock(ptep, ptl);  
      136.     return ERR_PTR(-EFAULT);  
      137.   
      138. no_page:  
      139.     pte_unmap_unlock(ptep, ptl);  
      140.     if (!pte_none(pte))  
      141.         return page;  
      142.   
      143. no_page_table:  
      144.     /* 
      145.      * When core dumping an enormous anonymous area that nobody 
      146.      * has touched so far, we don't want to allocate unnecessary pages or 
      147.      * page tables.  Return error instead of NULL to skip handle_mm_fault, 
      148.      * then get_dump_page() will return NULL to leave a hole in the dump. 
      149.      * But we can only make this optimization where a hole would surely 
      150.      * be zero-filled if handle_mm_fault() actually did handle it. 
      151.      */  
      152.     if ((flags & FOLL_DUMP) &&  
      153.         (!vma->vm_ops || !vma->vm_ops->fault))  
      154.         return ERR_PTR(-EFAULT);  
      155.     return page;  
      156. }  
  • 相关阅读:
    谈谈对《镇魔曲》经济的一些看法
    谈谈对《神武2》经济的一些看法
    关于数值策划在使用Excel表时的一点想法
    游戏系统数值建模过程设计
    制作Excel工作薄目录
    制作当前表所在文件夹中所有文件的动态链接
    Excel各种tips汇总
    关于randbetween连乘的问题
    VBA实现两种方法生成任意概率分布的随机数
    Excel数值、文本相互转换
  • 原文地址：https://www.cnblogs.com/sky-heaven/p/4837249.html
Copyright © 2011-2022 走看看