diff options
author | Balbir Singh <balbir@linux.vnet.ibm.com> | 2008-02-07 03:13:46 -0500 |
---|---|---|
committer | Linus Torvalds <torvalds@woody.linux-foundation.org> | 2008-02-07 11:42:18 -0500 |
commit | 1b6df3aa457690100f9827548943101447766572 (patch) | |
tree | 1dd18ba2688a4a3b6144b1c569c4e214d528da6a | |
parent | e9685a03c8c3162cfa9ff02d254ea5c848f9facb (diff) |
Memory controller: add document
Signed-off-by: Balbir Singh <balbir@linux.vnet.ibm.com>
Cc: Pavel Emelianov <xemul@openvz.org>
Cc: Paul Menage <menage@google.com>
Cc: Peter Zijlstra <a.p.zijlstra@chello.nl>
Cc: "Eric W. Biederman" <ebiederm@xmission.com>
Cc: Nick Piggin <nickpiggin@yahoo.com.au>
Cc: Kirill Korotaev <dev@sw.ru>
Cc: Herbert Poetzl <herbert@13thfloor.at>
Cc: David Rientjes <rientjes@google.com>
Cc: Vaidyanathan Srinivasan <svaidy@linux.vnet.ibm.com>
Signed-off-by: Andrew Morton <akpm@linux-foundation.org>
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
-rw-r--r-- | Documentation/controllers/memory.txt | 259 |
1 files changed, 259 insertions, 0 deletions
diff --git a/Documentation/controllers/memory.txt b/Documentation/controllers/memory.txt new file mode 100644 index 000000000000..7e27baacca7b --- /dev/null +++ b/Documentation/controllers/memory.txt | |||
@@ -0,0 +1,259 @@ | |||
1 | Memory Controller | ||
2 | |||
3 | Salient features | ||
4 | |||
5 | a. Enable control of both RSS (mapped) and Page Cache (unmapped) pages | ||
6 | b. The infrastructure allows easy addition of other types of memory to control | ||
7 | c. Provides *zero overhead* for non memory controller users | ||
8 | d. Provides a double LRU: global memory pressure causes reclaim from the | ||
9 | global LRU; a cgroup on hitting a limit, reclaims from the per | ||
10 | cgroup LRU | ||
11 | |||
12 | NOTE: Page Cache (unmapped) also includes Swap Cache pages as a subset | ||
13 | and will not be referred to explicitly in the rest of the documentation. | ||
14 | |||
15 | Benefits and Purpose of the memory controller | ||
16 | |||
17 | The memory controller isolates the memory behaviour of a group of tasks | ||
18 | from the rest of the system. The article on LWN [12] mentions some probable | ||
19 | uses of the memory controller. The memory controller can be used to | ||
20 | |||
21 | a. Isolate an application or a group of applications | ||
22 | Memory hungry applications can be isolated and limited to a smaller | ||
23 | amount of memory. | ||
24 | b. Create a cgroup with limited amount of memory, this can be used | ||
25 | as a good alternative to booting with mem=XXXX. | ||
26 | c. Virtualization solutions can control the amount of memory they want | ||
27 | to assign to a virtual machine instance. | ||
28 | d. A CD/DVD burner could control the amount of memory used by the | ||
29 | rest of the system to ensure that burning does not fail due to lack | ||
30 | of available memory. | ||
31 | e. There are several other use cases, find one or use the controller just | ||
32 | for fun (to learn and hack on the VM subsystem). | ||
33 | |||
34 | 1. History | ||
35 | |||
36 | The memory controller has a long history. A request for comments for the memory | ||
37 | controller was posted by Balbir Singh [1]. At the time the RFC was posted | ||
38 | there were several implementations for memory control. The goal of the | ||
39 | RFC was to build consensus and agreement for the minimal features required | ||
40 | for memory control. The first RSS controller was posted by Balbir Singh[2] | ||
41 | in Feb 2007. Pavel Emelianov [3][4][5] has since posted three versions of the | ||
42 | RSS controller. At OLS, at the resource management BoF, everyone suggested | ||
43 | that we handle both page cache and RSS together. Another request was raised | ||
44 | to allow user space handling of OOM. The current memory controller is | ||
45 | at version 6; it combines both mapped (RSS) and unmapped Page | ||
46 | Cache Control [11]. | ||
47 | |||
48 | 2. Memory Control | ||
49 | |||
50 | Memory is a unique resource in the sense that it is present in a limited | ||
51 | amount. If a task requires a lot of CPU processing, the task can spread | ||
52 | its processing over a period of hours, days, months or years, but with | ||
53 | memory, the same physical memory needs to be reused to accomplish the task. | ||
54 | |||
55 | The memory controller implementation has been divided into phases. These | ||
56 | are: | ||
57 | |||
58 | 1. Memory controller | ||
59 | 2. mlock(2) controller | ||
60 | 3. Kernel user memory accounting and slab control | ||
61 | 4. user mappings length controller | ||
62 | |||
63 | The memory controller is the first controller developed. | ||
64 | |||
65 | 2.1. Design | ||
66 | |||
67 | The core of the design is a counter called the res_counter. The res_counter | ||
68 | tracks the current memory usage and limit of the group of processes associated | ||
69 | with the controller. Each cgroup has a memory controller specific data | ||
70 | structure (mem_cgroup) associated with it. | ||
71 | |||
72 | 2.2. Accounting | ||
73 | |||
74 | +--------------------+ | ||
75 | | mem_cgroup | | ||
76 | | (res_counter) | | ||
77 | +--------------------+ | ||
78 | / ^ \ | ||
79 | / | \ | ||
80 | +---------------+ | +---------------+ | ||
81 | | mm_struct | |.... | mm_struct | | ||
82 | | | | | | | ||
83 | +---------------+ | +---------------+ | ||
84 | | | ||
85 | + --------------+ | ||
86 | | | ||
87 | +---------------+ +------+--------+ | ||
88 | | page +----------> page_cgroup| | ||
89 | | | | | | ||
90 | +---------------+ +---------------+ | ||
91 | |||
92 | (Figure 1: Hierarchy of Accounting) | ||
93 | |||
94 | |||
95 | Figure 1 shows the important aspects of the controller | ||
96 | |||
97 | 1. Accounting happens per cgroup | ||
98 | 2. Each mm_struct knows about which cgroup it belongs to | ||
99 | 3. Each page has a pointer to the page_cgroup, which in turn knows the | ||
100 | cgroup it belongs to | ||
101 | |||
102 | The accounting is done as follows: mem_cgroup_charge() is invoked to setup | ||
103 | the necessary data structures and check if the cgroup that is being charged | ||
104 | is over its limit. If it is then reclaim is invoked on the cgroup. | ||
105 | More details can be found in the reclaim section of this document. | ||
106 | If everything goes well, a page meta-data-structure called page_cgroup is | ||
107 | allocated and associated with the page. This routine also adds the page to | ||
108 | the per cgroup LRU. | ||
109 | |||
110 | 2.2.1 Accounting details | ||
111 | |||
112 | All mapped pages (RSS) and unmapped user pages (Page Cache) are accounted. | ||
113 | RSS pages are accounted at the time of page_add_*_rmap() unless they've already | ||
114 | been accounted for earlier. A file page will be accounted for as Page Cache; | ||
115 | it's mapped into the page tables of a process, duplicate accounting is carefully | ||
116 | avoided. Page Cache pages are accounted at the time of add_to_page_cache(). | ||
117 | The corresponding routines that remove a page from the page tables or removes | ||
118 | a page from Page Cache is used to decrement the accounting counters of the | ||
119 | cgroup. | ||
120 | |||
121 | 2.3 Shared Page Accounting | ||
122 | |||
123 | Shared pages are accounted on the basis of the first touch approach. The | ||
124 | cgroup that first touches a page is accounted for the page. The principle | ||
125 | behind this approach is that a cgroup that aggressively uses a shared | ||
126 | page will eventually get charged for it (once it is uncharged from | ||
127 | the cgroup that brought it in -- this will happen on memory pressure). | ||
128 | |||
129 | 2.4 Reclaim | ||
130 | |||
131 | Each cgroup maintains a per cgroup LRU that consists of an active | ||
132 | and inactive list. When a cgroup goes over its limit, we first try | ||
133 | to reclaim memory from the cgroup so as to make space for the new | ||
134 | pages that the cgroup has touched. If the reclaim is unsuccessful, | ||
135 | an OOM routine is invoked to select and kill the bulkiest task in the | ||
136 | cgroup. | ||
137 | |||
138 | The reclaim algorithm has not been modified for cgroups, except that | ||
139 | pages that are selected for reclaiming come from the per cgroup LRU | ||
140 | list. | ||
141 | |||
142 | 2. Locking | ||
143 | |||
144 | The memory controller uses the following hierarchy | ||
145 | |||
146 | 1. zone->lru_lock is used for selecting pages to be isolated | ||
147 | 2. mem->lru_lock protects the per cgroup LRU | ||
148 | 3. lock_page_cgroup() is used to protect page->page_cgroup | ||
149 | |||
150 | 3. User Interface | ||
151 | |||
152 | 0. Configuration | ||
153 | |||
154 | a. Enable CONFIG_CGROUPS | ||
155 | b. Enable CONFIG_RESOURCE_COUNTERS | ||
156 | c. Enable CONFIG_CGROUP_MEM_CONT | ||
157 | |||
158 | 1. Prepare the cgroups | ||
159 | # mkdir -p /cgroups | ||
160 | # mount -t cgroup none /cgroups -o memory | ||
161 | |||
162 | 2. Make the new group and move bash into it | ||
163 | # mkdir /cgroups/0 | ||
164 | # echo $$ > /cgroups/0/tasks | ||
165 | |||
166 | Since now we're in the 0 cgroup, | ||
167 | We can alter the memory limit: | ||
168 | # echo -n 6000 > /cgroups/0/memory.limit | ||
169 | |||
170 | We can check the usage: | ||
171 | # cat /cgroups/0/memory.usage | ||
172 | 25 | ||
173 | |||
174 | The memory.failcnt field gives the number of times that the cgroup limit was | ||
175 | exceeded. | ||
176 | |||
177 | 4. Testing | ||
178 | |||
179 | Balbir posted lmbench, AIM9, LTP and vmmstress results [10] and [11]. | ||
180 | Apart from that v6 has been tested with several applications and regular | ||
181 | daily use. The controller has also been tested on the PPC64, x86_64 and | ||
182 | UML platforms. | ||
183 | |||
184 | 4.1 Troubleshooting | ||
185 | |||
186 | Sometimes a user might find that the application under a cgroup is | ||
187 | terminated. There are several causes for this: | ||
188 | |||
189 | 1. The cgroup limit is too low (just too low to do anything useful) | ||
190 | 2. The user is using anonymous memory and swap is turned off or too low | ||
191 | |||
192 | A sync followed by echo 1 > /proc/sys/vm/drop_caches will help get rid of | ||
193 | some of the pages cached in the cgroup (page cache pages). | ||
194 | |||
195 | 4.2 Task migration | ||
196 | |||
197 | When a task migrates from one cgroup to another, it's charge is not | ||
198 | carried forward. The pages allocated from the original cgroup still | ||
199 | remain charged to it, the charge is dropped when the page is freed or | ||
200 | reclaimed. | ||
201 | |||
202 | 4.3 Removing a cgroup | ||
203 | |||
204 | A cgroup can be removed by rmdir, but as discussed in sections 4.1 and 4.2, a | ||
205 | cgroup might have some charge associated with it, even though all | ||
206 | tasks have migrated away from it. If some pages are still left, after following | ||
207 | the steps listed in sections 4.1 and 4.2, check the Swap Cache usage in | ||
208 | /proc/meminfo to see if the Swap Cache usage is showing up in the | ||
209 | cgroups memory.usage counter. A simple test of swapoff -a and swapon -a | ||
210 | should free any pending Swap Cache usage. | ||
211 | |||
212 | 4.4 Choosing what to account -- Page Cache (unmapped) vs RSS (mapped)? | ||
213 | |||
214 | The type of memory accounted by the cgroup can be limited to just | ||
215 | mapped pages by writing "1" to memory.control_type field | ||
216 | |||
217 | echo -n 1 > memory.control_type | ||
218 | |||
219 | 5. TODO | ||
220 | |||
221 | 1. Add support for accounting huge pages (as a separate controller) | ||
222 | 2. Improve the user interface to accept/display memory limits in KB or MB | ||
223 | rather than pages (since page sizes can differ across platforms/machines). | ||
224 | 3. Make cgroup lists per-zone | ||
225 | 4. Make per-cgroup scanner reclaim not-shared pages first | ||
226 | 5. Teach controller to account for shared-pages | ||
227 | 6. Start reclamation when the limit is lowered | ||
228 | 7. Start reclamation in the background when the limit is | ||
229 | not yet hit but the usage is getting closer | ||
230 | 8. Create per zone LRU lists per cgroup | ||
231 | |||
232 | Summary | ||
233 | |||
234 | Overall, the memory controller has been a stable controller and has been | ||
235 | commented and discussed quite extensively in the community. | ||
236 | |||
237 | References | ||
238 | |||
239 | 1. Singh, Balbir. RFC: Memory Controller, http://lwn.net/Articles/206697/ | ||
240 | 2. Singh, Balbir. Memory Controller (RSS Control), | ||
241 | http://lwn.net/Articles/222762/ | ||
242 | 3. Emelianov, Pavel. Resource controllers based on process cgroups | ||
243 | http://lkml.org/lkml/2007/3/6/198 | ||
244 | 4. Emelianov, Pavel. RSS controller based on process cgroups (v2) | ||
245 | http://lkml.org/lkml/2007/4/9/74 | ||
246 | 5. Emelianov, Pavel. RSS controller based on process cgroups (v3) | ||
247 | http://lkml.org/lkml/2007/5/30/244 | ||
248 | 6. Menage, Paul. Control Groups v10, http://lwn.net/Articles/236032/ | ||
249 | 7. Vaidyanathan, Srinivasan, Control Groups: Pagecache accounting and control | ||
250 | subsystem (v3), http://lwn.net/Articles/235534/ | ||
251 | 8. Singh, Balbir. RSS controller V2 test results (lmbench), | ||
252 | http://lkml.org/lkml/2007/5/17/232 | ||
253 | 9. Singh, Balbir. RSS controller V2 AIM9 results | ||
254 | http://lkml.org/lkml/2007/5/18/1 | ||
255 | 10. Singh, Balbir. Memory controller v6 results, | ||
256 | http://lkml.org/lkml/2007/8/19/36 | ||
257 | 11. Singh, Balbir. Memory controller v6, http://lkml.org/lkml/2007/8/17/69 | ||
258 | 12. Corbet, Jonathan, Controlling memory use in cgroups, | ||
259 | http://lwn.net/Articles/243795/ | ||