Linux內核分析之進程地址空間

本文主要介紹linux內核中進程地址空間的數據結構描述，包括mm_struct/vm_area_struct。進程線性地址區間的分配流程，並對相應的源代碼做了注釋。 

內核中的函數以相當直接了當的方式獲得動態內存。當給用戶態進程分配內存時，情況完全不同了。進程對動態內存的請求被認為是不緊迫的，一般來說，內核總是盡量推遲給用戶態進程分配內存。由於用戶進程時不可信任的，因此，內核必須能隨時准備捕獲用戶態進程引起的所有尋址錯誤。當用戶態進程請求動態內存時，並沒有獲得請求的頁框，而僅僅獲得對一個新的線性地址區間的使用權，而這一線性地址區間就成為進程地址空間的一部分。

進程地址空間由允許進程使用的全部線性地址組成。內核可以通過增加或刪除某些線程地址區間來動態地修改進程的地址空間。內核通過所謂線性去得資源來標示線性地址區間，線性區是由起始線性地址、長度和一些訪問權限來描述的。進程獲得新線性區的一些典型情況：

1.但用戶在控制台輸入一條命令時，shell進程創建一個新的進程去執行這個命令。結果是，一個全新的地址空間（也就是一組線性區）分配給新進程。

2.正在運行的進程有可能決定裝入一個完全不同的程序。這時，進程描述符不變，可是在裝入這個程序以前所有的線性區卻被釋放，並有一組新的線性區被分配給這個進程。

3.正在運行的進程可能對一個文件執行內存映像。

4.進程可能持續向他的用戶態堆棧增加數據，知道映像這個堆棧的線性區用完為止，此時，內核也許會決定擴展這個線性區的大小。

5.進程可能創建一個IPC共享線性區來與其他合作進程共享數據。此時，內核給這個進程分配一個新的線性區以實現這個方案。

6.進程可能通過調用類似malloc這樣的函數擴展自己的動態堆。結果是，內核可能決定擴展給這個堆所分配的線性區。

數據結構描述

進程描述符task_struct中的mm字段描述了進程地址空間

1. struct mm_struct {  
2.     struct vm_area_struct * mmap;       /* list of VMAs */  
3.     struct rb_root mm_rb;  
4.     struct vm_area_struct * mmap_cache; /* last find_vma result */  
5.     unsigned long (*get_unmapped_area) (struct file *filp,  
6.                 unsigned long addr, unsigned long len,  
7.                 unsigned long pgoff, unsigned long flags);  
8.     void (*unmap_area) (struct mm_struct *mm, unsigned long addr);  
9.     unsigned long mmap_base;        /* base of mmap area */  
10.     unsigned long task_size;        /* size of task vm space */  
11.     unsigned long cached_hole_size;     /* if non-zero, the largest hole below free_area_cache */  
12.     unsigned long free_area_cache;      /* first hole of size cached_hole_size or larger */  
13.     pgd_t * pgd;  
14.     atomic_t mm_users;          /* How many users with user space? */  
15.     atomic_t mm_count;          /* How many references to "struct mm_struct" (users count as 1) */  
16.     int map_count;              /* number of VMAs */  
17.     struct rw_semaphore mmap_sem;  
18.     spinlock_t page_table_lock;     /* Protects page tables and some counters */  
19.   
20.     struct list_head mmlist;        /* List of maybe swapped mm's.  These are globally strung 
21.                          * together off init_mm.mmlist, and are protected 
22.                          * by mmlist_lock 
23.                          */  
24.   
25.     /* Special counters, in some configurations protected by the 
26.      * page_table_lock, in other configurations by being atomic. 
27.      */  
28.     mm_counter_t _file_rss;  
29.     mm_counter_t _anon_rss;  
30.   
31.     unsigned long hiwater_rss;  /* High-watermark of RSS usage */  
32.     unsigned long hiwater_vm;   /* High-water virtual memory usage */  
33.   
34.     unsigned long total_vm, locked_vm, shared_vm, exec_vm;  
35.     unsigned long stack_vm, reserved_vm, def_flags, nr_ptes;  
36.     unsigned long start_code, end_code, start_data, end_data;  
37.     unsigned long start_brk, brk, start_stack;  
38.     unsigned long arg_start, arg_end, env_start, env_end;  
39.   
40.     unsigned long saved_auxv[AT_VECTOR_SIZE]; /* for /proc/PID/auxv */  
41.   
42.     struct linux_binfmt *binfmt;  
43.   
44.     cpumask_t cpu_vm_mask;/*用於懶惰TLB交換的位掩碼*/  
45.   
46.     /* Architecture-specific MM context */  
47.     mm_context_t context;  
48.   
49.     /* Swap token stuff */  
50.     /* 
51.      * Last value of global fault stamp as seen by this process. 
52.      * In other words, this value gives an indication of how long 
53.      * it has been since this task got the token. 
54.      * Look at mm/thrash.c 
55.      */  
56.     unsigned int faultstamp;  
57.     unsigned int token_priority;  
58.     unsigned int last_interval;  
59.   
60.     unsigned long flags; /* Must use atomic bitops to access the bits */  
61.   
62.     struct core_state *core_state; /* coredumping support */  
63. #ifdef CONFIG_AIO   
64.     spinlock_t      ioctx_lock;  
65.     struct hlist_head   ioctx_list;/*一步IO上下文鏈表*/  
66. #endif   
67. #ifdef CONFIG_MM_OWNER   
68.     /* 
69.      * "owner" points to a task that is regarded as the canonical 
70.      * user/owner of this mm. All of the following must be true in 
71.      * order for it to be changed: 
72.      * 
73.      * current == mm->owner 
74.      * current->mm != mm 
75.      * new_owner->mm == mm 
76.      * new_owner->alloc_lock is held 
77.      */  
78.     struct task_struct *owner;  
79. #endif   
80.   
81. #ifdef CONFIG_PROC_FS   
82.     /* store ref to file /proc/<pid>/exe symlink points to */  
83.     struct file *exe_file;  
84.     unsigned long num_exe_file_vmas;  
85. #endif   
86. #ifdef CONFIG_MMU_NOTIFIER   
87.     struct mmu_notifier_mm *mmu_notifier_mm;  
88. #endif   
89. };