uvm_anon.c revision 1.62 1 1.62 yamt /* $NetBSD: uvm_anon.c,v 1.62 2011/08/18 14:13:59 yamt Exp $ */
2 1.1 chuck
3 1.1 chuck /*
4 1.1 chuck * Copyright (c) 1997 Charles D. Cranor and Washington University.
5 1.1 chuck * All rights reserved.
6 1.1 chuck *
7 1.1 chuck * Redistribution and use in source and binary forms, with or without
8 1.1 chuck * modification, are permitted provided that the following conditions
9 1.1 chuck * are met:
10 1.1 chuck * 1. Redistributions of source code must retain the above copyright
11 1.1 chuck * notice, this list of conditions and the following disclaimer.
12 1.1 chuck * 2. Redistributions in binary form must reproduce the above copyright
13 1.1 chuck * notice, this list of conditions and the following disclaimer in the
14 1.1 chuck * documentation and/or other materials provided with the distribution.
15 1.1 chuck *
16 1.1 chuck * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
17 1.1 chuck * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
18 1.1 chuck * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
19 1.1 chuck * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
20 1.1 chuck * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
21 1.1 chuck * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
22 1.1 chuck * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
23 1.1 chuck * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
24 1.1 chuck * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
25 1.1 chuck * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
26 1.1 chuck */
27 1.1 chuck
28 1.1 chuck /*
29 1.1 chuck * uvm_anon.c: uvm anon ops
30 1.1 chuck */
31 1.21 lukem
32 1.21 lukem #include <sys/cdefs.h>
33 1.62 yamt __KERNEL_RCSID(0, "$NetBSD: uvm_anon.c,v 1.62 2011/08/18 14:13:59 yamt Exp $");
34 1.1 chuck
35 1.1 chuck #include "opt_uvmhist.h"
36 1.1 chuck
37 1.1 chuck #include <sys/param.h>
38 1.1 chuck #include <sys/systm.h>
39 1.1 chuck #include <sys/pool.h>
40 1.5 chs #include <sys/kernel.h>
41 1.1 chuck
42 1.1 chuck #include <uvm/uvm.h>
43 1.1 chuck #include <uvm/uvm_swap.h>
44 1.39 yamt #include <uvm/uvm_pdpolicy.h>
45 1.1 chuck
46 1.55 rmind static struct pool_cache uvm_anon_cache;
47 1.5 chs
48 1.55 rmind static int uvm_anon_ctor(void *, void *, int);
49 1.5 chs
50 1.1 chuck void
51 1.34 thorpej uvm_anon_init(void)
52 1.1 chuck {
53 1.5 chs
54 1.49 ad pool_cache_bootstrap(&uvm_anon_cache, sizeof(struct vm_anon), 0, 0,
55 1.49 ad PR_LARGECACHE, "anonpl", NULL, IPL_NONE, uvm_anon_ctor,
56 1.55 rmind NULL, NULL);
57 1.1 chuck }
58 1.1 chuck
59 1.33 yamt static int
60 1.41 yamt uvm_anon_ctor(void *arg, void *object, int flags)
61 1.1 chuck {
62 1.33 yamt struct vm_anon *anon = object;
63 1.1 chuck
64 1.33 yamt anon->an_ref = 0;
65 1.59 rmind anon->an_lock = NULL;
66 1.33 yamt anon->an_page = NULL;
67 1.37 yamt #if defined(VMSWAP)
68 1.33 yamt anon->an_swslot = 0;
69 1.55 rmind #endif
70 1.11 chs return 0;
71 1.1 chuck }
72 1.1 chuck
73 1.1 chuck /*
74 1.55 rmind * uvm_analloc: allocate a new anon.
75 1.13 thorpej *
76 1.55 rmind * => anon will have no lock associated.
77 1.1 chuck */
78 1.1 chuck struct vm_anon *
79 1.34 thorpej uvm_analloc(void)
80 1.1 chuck {
81 1.33 yamt struct vm_anon *anon;
82 1.1 chuck
83 1.47 ad anon = pool_cache_get(&uvm_anon_cache, PR_NOWAIT);
84 1.33 yamt if (anon) {
85 1.33 yamt KASSERT(anon->an_ref == 0);
86 1.59 rmind KASSERT(anon->an_lock == NULL);
87 1.33 yamt KASSERT(anon->an_page == NULL);
88 1.37 yamt #if defined(VMSWAP)
89 1.33 yamt KASSERT(anon->an_swslot == 0);
90 1.55 rmind #endif
91 1.33 yamt anon->an_ref = 1;
92 1.1 chuck }
93 1.33 yamt return anon;
94 1.1 chuck }
95 1.1 chuck
96 1.1 chuck /*
97 1.59 rmind * uvm_anon_dispose: free any resident page or swap resources of anon.
98 1.1 chuck *
99 1.55 rmind * => anon must be removed from the amap (if anon was in an amap).
100 1.59 rmind * => amap must be locked; we may drop and re-acquire the lock here.
101 1.1 chuck */
102 1.60 rmind static bool
103 1.59 rmind uvm_anon_dispose(struct vm_anon *anon)
104 1.1 chuck {
105 1.55 rmind struct vm_page *pg = anon->an_page;
106 1.55 rmind
107 1.59 rmind UVMHIST_FUNC("uvm_anon_dispose"); UVMHIST_CALLED(maphist);
108 1.1 chuck UVMHIST_LOG(maphist,"(anon=0x%x)", anon, 0,0,0);
109 1.1 chuck
110 1.59 rmind KASSERT(mutex_owned(anon->an_lock));
111 1.12 thorpej
112 1.1 chuck /*
113 1.55 rmind * If there is a resident page and it is loaned, then anon may not
114 1.55 rmind * own it. Call out to uvm_anon_lockloanpg() to identify and lock
115 1.55 rmind * the real owner of the page.
116 1.1 chuck */
117 1.1 chuck
118 1.22 chs if (pg && pg->loan_count) {
119 1.54 rmind KASSERT(anon->an_lock != NULL);
120 1.1 chuck pg = uvm_anon_lockloanpg(anon);
121 1.22 chs }
122 1.1 chuck
123 1.1 chuck /*
124 1.55 rmind * Dispose the page, if it is resident.
125 1.1 chuck */
126 1.1 chuck
127 1.1 chuck if (pg) {
128 1.54 rmind KASSERT(anon->an_lock != NULL);
129 1.1 chuck
130 1.1 chuck /*
131 1.55 rmind * If the page is owned by a UVM object (now locked),
132 1.55 rmind * then kill the loan on the page rather than free it,
133 1.55 rmind * and release the object lock.
134 1.1 chuck */
135 1.1 chuck
136 1.1 chuck if (pg->uobject) {
137 1.50 ad mutex_enter(&uvm_pageqlock);
138 1.10 chs KASSERT(pg->loan_count > 0);
139 1.1 chuck pg->loan_count--;
140 1.1 chuck pg->uanon = NULL;
141 1.50 ad mutex_exit(&uvm_pageqlock);
142 1.54 rmind mutex_exit(pg->uobject->vmobjlock);
143 1.1 chuck } else {
144 1.1 chuck
145 1.1 chuck /*
146 1.55 rmind * If page has no UVM object, then anon is the owner,
147 1.55 rmind * and it is already locked.
148 1.1 chuck */
149 1.1 chuck
150 1.18 chs KASSERT((pg->flags & PG_RELEASED) == 0);
151 1.18 chs pmap_page_protect(pg, VM_PROT_NONE);
152 1.29 yamt
153 1.29 yamt /*
154 1.55 rmind * If the page is busy, mark it as PG_RELEASED, so
155 1.55 rmind * that uvm_anon_release(9) would release it later.
156 1.29 yamt */
157 1.29 yamt
158 1.29 yamt if (pg->flags & PG_BUSY) {
159 1.29 yamt pg->flags |= PG_RELEASED;
160 1.58 yamt mutex_obj_hold(anon->an_lock);
161 1.60 rmind return false;
162 1.17 chs }
163 1.50 ad mutex_enter(&uvm_pageqlock);
164 1.29 yamt uvm_pagefree(pg);
165 1.50 ad mutex_exit(&uvm_pageqlock);
166 1.18 chs UVMHIST_LOG(maphist, "anon 0x%x, page 0x%x: "
167 1.18 chs "freed now!", anon, pg, 0, 0);
168 1.1 chuck }
169 1.1 chuck }
170 1.55 rmind
171 1.37 yamt #if defined(VMSWAP)
172 1.26 pk if (pg == NULL && anon->an_swslot > 0) {
173 1.55 rmind /* This page is no longer only in swap. */
174 1.45 ad mutex_enter(&uvm_swap_data_lock);
175 1.20 chs KASSERT(uvmexp.swpgonly > 0);
176 1.20 chs uvmexp.swpgonly--;
177 1.45 ad mutex_exit(&uvm_swap_data_lock);
178 1.20 chs }
179 1.55 rmind #endif
180 1.1 chuck
181 1.1 chuck /*
182 1.59 rmind * Free any swap resources, leave a page replacement hint.
183 1.1 chuck */
184 1.18 chs
185 1.2 chs uvm_anon_dropswap(anon);
186 1.39 yamt uvmpdpol_anfree(anon);
187 1.59 rmind UVMHIST_LOG(maphist,"<- done!",0,0,0,0);
188 1.60 rmind return true;
189 1.59 rmind }
190 1.59 rmind
191 1.59 rmind /*
192 1.59 rmind * uvm_anon_free: free a single anon.
193 1.59 rmind *
194 1.59 rmind * => anon must be already disposed.
195 1.59 rmind */
196 1.59 rmind void
197 1.59 rmind uvm_anon_free(struct vm_anon *anon)
198 1.59 rmind {
199 1.39 yamt
200 1.59 rmind KASSERT(anon->an_ref == 0);
201 1.59 rmind KASSERT(anon->an_lock == NULL);
202 1.33 yamt KASSERT(anon->an_page == NULL);
203 1.37 yamt #if defined(VMSWAP)
204 1.31 yamt KASSERT(anon->an_swslot == 0);
205 1.55 rmind #endif
206 1.47 ad pool_cache_put(&uvm_anon_cache, anon);
207 1.2 chs }
208 1.2 chs
209 1.55 rmind /*
210 1.59 rmind * uvm_anon_freelst: free a linked list of anon structures.
211 1.59 rmind *
212 1.59 rmind * => anon must be locked, we will unlock it.
213 1.55 rmind */
214 1.54 rmind void
215 1.59 rmind uvm_anon_freelst(struct vm_amap *amap, struct vm_anon *anonlst)
216 1.54 rmind {
217 1.61 yamt struct vm_anon *anon;
218 1.61 yamt struct vm_anon **anonp = &anonlst;
219 1.59 rmind
220 1.59 rmind KASSERT(mutex_owned(amap->am_lock));
221 1.61 yamt while ((anon = *anonp) != NULL) {
222 1.60 rmind if (!uvm_anon_dispose(anon)) {
223 1.60 rmind /* Do not free this anon. */
224 1.61 yamt *anonp = anon->an_link;
225 1.61 yamt /* Note: clears an_ref as well. */
226 1.61 yamt anon->an_link = NULL;
227 1.61 yamt } else {
228 1.61 yamt anonp = &anon->an_link;
229 1.60 rmind }
230 1.59 rmind }
231 1.59 rmind amap_unlock(amap);
232 1.59 rmind
233 1.59 rmind while (anonlst) {
234 1.59 rmind anon = anonlst->an_link;
235 1.59 rmind /* Note: clears an_ref as well. */
236 1.59 rmind anonlst->an_link = NULL;
237 1.59 rmind anonlst->an_lock = NULL;
238 1.59 rmind uvm_anon_free(anonlst);
239 1.59 rmind anonlst = anon;
240 1.54 rmind }
241 1.54 rmind }
242 1.54 rmind
243 1.2 chs /*
244 1.55 rmind * uvm_anon_lockloanpg: given a locked anon, lock its resident page owner.
245 1.1 chuck *
246 1.1 chuck * => anon is locked by caller
247 1.1 chuck * => on return: anon is locked
248 1.1 chuck * if there is a resident page:
249 1.1 chuck * if it has a uobject, it is locked by us
250 1.1 chuck * if it is ownerless, we take over as owner
251 1.1 chuck * we return the resident page (it can change during
252 1.1 chuck * this function)
253 1.1 chuck * => note that the only time an anon has an ownerless resident page
254 1.1 chuck * is if the page was loaned from a uvm_object and the uvm_object
255 1.1 chuck * disowned it
256 1.1 chuck * => this only needs to be called when you want to do an operation
257 1.1 chuck * on an anon's resident page and that page has a non-zero loan
258 1.1 chuck * count.
259 1.1 chuck */
260 1.1 chuck struct vm_page *
261 1.34 thorpej uvm_anon_lockloanpg(struct vm_anon *anon)
262 1.1 chuck {
263 1.1 chuck struct vm_page *pg;
264 1.43 thorpej bool locked = false;
265 1.1 chuck
266 1.54 rmind KASSERT(mutex_owned(anon->an_lock));
267 1.12 thorpej
268 1.1 chuck /*
269 1.1 chuck * loop while we have a resident page that has a non-zero loan count.
270 1.1 chuck * if we successfully get our lock, we will "break" the loop.
271 1.1 chuck * note that the test for pg->loan_count is not protected -- this
272 1.1 chuck * may produce false positive results. note that a false positive
273 1.1 chuck * result may cause us to do more work than we need to, but it will
274 1.1 chuck * not produce an incorrect result.
275 1.1 chuck */
276 1.1 chuck
277 1.33 yamt while (((pg = anon->an_page) != NULL) && pg->loan_count != 0) {
278 1.1 chuck
279 1.1 chuck /*
280 1.1 chuck * quickly check to see if the page has an object before
281 1.1 chuck * bothering to lock the page queues. this may also produce
282 1.1 chuck * a false positive result, but that's ok because we do a real
283 1.1 chuck * check after that.
284 1.1 chuck */
285 1.1 chuck
286 1.1 chuck if (pg->uobject) {
287 1.50 ad mutex_enter(&uvm_pageqlock);
288 1.18 chs if (pg->uobject) {
289 1.1 chuck locked =
290 1.54 rmind mutex_tryenter(pg->uobject->vmobjlock);
291 1.1 chuck } else {
292 1.1 chuck /* object disowned before we got PQ lock */
293 1.43 thorpej locked = true;
294 1.1 chuck }
295 1.50 ad mutex_exit(&uvm_pageqlock);
296 1.1 chuck
297 1.1 chuck /*
298 1.1 chuck * if we didn't get a lock (try lock failed), then we
299 1.1 chuck * toggle our anon lock and try again
300 1.1 chuck */
301 1.1 chuck
302 1.1 chuck if (!locked) {
303 1.1 chuck /*
304 1.1 chuck * someone locking the object has a chance to
305 1.1 chuck * lock us right now
306 1.54 rmind *
307 1.54 rmind * XXX Better than yielding but inadequate.
308 1.1 chuck */
309 1.54 rmind kpause("livelock", false, 1, anon->an_lock);
310 1.10 chs continue;
311 1.1 chuck }
312 1.1 chuck }
313 1.1 chuck
314 1.1 chuck /*
315 1.55 rmind * If page is un-owned i.e. the object dropped its ownership,
316 1.55 rmind * then we have to take the ownership.
317 1.1 chuck */
318 1.1 chuck
319 1.1 chuck if (pg->uobject == NULL && (pg->pqflags & PQ_ANON) == 0) {
320 1.50 ad mutex_enter(&uvm_pageqlock);
321 1.18 chs pg->pqflags |= PQ_ANON;
322 1.18 chs pg->loan_count--;
323 1.50 ad mutex_exit(&uvm_pageqlock);
324 1.1 chuck }
325 1.1 chuck break;
326 1.1 chuck }
327 1.55 rmind return pg;
328 1.5 chs }
329 1.5 chs
330 1.37 yamt #if defined(VMSWAP)
331 1.37 yamt
332 1.5 chs /*
333 1.55 rmind * uvm_anon_pagein: fetch an anon's page.
334 1.5 chs *
335 1.5 chs * => anon must be locked, and is unlocked upon return.
336 1.43 thorpej * => returns true if pagein was aborted due to lack of memory.
337 1.5 chs */
338 1.5 chs
339 1.42 thorpej bool
340 1.57 rmind uvm_anon_pagein(struct vm_amap *amap, struct vm_anon *anon)
341 1.5 chs {
342 1.5 chs struct vm_page *pg;
343 1.5 chs struct uvm_object *uobj;
344 1.8 thorpej
345 1.54 rmind KASSERT(mutex_owned(anon->an_lock));
346 1.57 rmind KASSERT(anon->an_lock == amap->am_lock);
347 1.12 thorpej
348 1.8 thorpej /*
349 1.55 rmind * Get the page of the anon.
350 1.8 thorpej */
351 1.5 chs
352 1.57 rmind switch (uvmfault_anonget(NULL, amap, anon)) {
353 1.16 chs case 0:
354 1.55 rmind /* Success - we have the page. */
355 1.55 rmind KASSERT(mutex_owned(anon->an_lock));
356 1.5 chs break;
357 1.16 chs case EIO:
358 1.16 chs case ERESTART:
359 1.5 chs /*
360 1.55 rmind * Nothing more to do on errors. ERESTART means that the
361 1.55 rmind * anon was freed.
362 1.5 chs */
363 1.43 thorpej return false;
364 1.25 pk default:
365 1.43 thorpej return true;
366 1.5 chs }
367 1.5 chs
368 1.5 chs /*
369 1.55 rmind * Mark the page as dirty, clear its swslot and un-busy it.
370 1.5 chs */
371 1.5 chs
372 1.33 yamt pg = anon->an_page;
373 1.5 chs uobj = pg->uobject;
374 1.55 rmind if (anon->an_swslot > 0) {
375 1.23 pk uvm_swap_free(anon->an_swslot, 1);
376 1.55 rmind }
377 1.5 chs anon->an_swslot = 0;
378 1.55 rmind pg->flags &= ~PG_CLEAN;
379 1.5 chs
380 1.5 chs /*
381 1.55 rmind * Deactivate the page (to put it on a page queue).
382 1.5 chs */
383 1.5 chs
384 1.50 ad mutex_enter(&uvm_pageqlock);
385 1.55 rmind if (pg->wire_count == 0) {
386 1.24 pk uvm_pagedeactivate(pg);
387 1.55 rmind }
388 1.50 ad mutex_exit(&uvm_pageqlock);
389 1.25 pk
390 1.25 pk if (pg->flags & PG_WANTED) {
391 1.55 rmind pg->flags &= ~PG_WANTED;
392 1.25 pk wakeup(pg);
393 1.25 pk }
394 1.5 chs
395 1.54 rmind mutex_exit(anon->an_lock);
396 1.5 chs if (uobj) {
397 1.54 rmind mutex_exit(uobj->vmobjlock);
398 1.5 chs }
399 1.43 thorpej return false;
400 1.1 chuck }
401 1.29 yamt
402 1.55 rmind /*
403 1.55 rmind * uvm_anon_dropswap: release any swap resources from this anon.
404 1.55 rmind *
405 1.55 rmind * => anon must be locked or have a reference count of 0.
406 1.55 rmind */
407 1.55 rmind void
408 1.55 rmind uvm_anon_dropswap(struct vm_anon *anon)
409 1.55 rmind {
410 1.55 rmind UVMHIST_FUNC("uvm_anon_dropswap"); UVMHIST_CALLED(maphist);
411 1.55 rmind
412 1.55 rmind if (anon->an_swslot == 0)
413 1.55 rmind return;
414 1.55 rmind
415 1.55 rmind UVMHIST_LOG(maphist,"freeing swap for anon %p, paged to swslot 0x%x",
416 1.55 rmind anon, anon->an_swslot, 0, 0);
417 1.55 rmind uvm_swap_free(anon->an_swslot, 1);
418 1.55 rmind anon->an_swslot = 0;
419 1.55 rmind }
420 1.55 rmind
421 1.55 rmind #endif
422 1.37 yamt
423 1.29 yamt /*
424 1.29 yamt * uvm_anon_release: release an anon and its page.
425 1.29 yamt *
426 1.55 rmind * => anon should not have any references.
427 1.55 rmind * => anon must be locked.
428 1.29 yamt */
429 1.29 yamt
430 1.29 yamt void
431 1.34 thorpej uvm_anon_release(struct vm_anon *anon)
432 1.29 yamt {
433 1.33 yamt struct vm_page *pg = anon->an_page;
434 1.62 yamt bool success;
435 1.29 yamt
436 1.59 rmind KASSERT(mutex_owned(anon->an_lock));
437 1.29 yamt KASSERT(pg != NULL);
438 1.29 yamt KASSERT((pg->flags & PG_RELEASED) != 0);
439 1.29 yamt KASSERT((pg->flags & PG_BUSY) != 0);
440 1.29 yamt KASSERT(pg->uobject == NULL);
441 1.29 yamt KASSERT(pg->uanon == anon);
442 1.29 yamt KASSERT(pg->loan_count == 0);
443 1.29 yamt KASSERT(anon->an_ref == 0);
444 1.29 yamt
445 1.50 ad mutex_enter(&uvm_pageqlock);
446 1.29 yamt uvm_pagefree(pg);
447 1.50 ad mutex_exit(&uvm_pageqlock);
448 1.62 yamt KASSERT(anon->an_page == NULL);
449 1.62 yamt /* dispose should succeed as no one can reach this anon anymore. */
450 1.62 yamt success = uvm_anon_dispose(anon);
451 1.62 yamt KASSERT(success);
452 1.59 rmind mutex_exit(anon->an_lock);
453 1.59 rmind /* Note: extra reference is held for PG_RELEASED case. */
454 1.62 yamt mutex_obj_free(anon->an_lock);
455 1.59 rmind anon->an_lock = NULL;
456 1.59 rmind uvm_anon_free(anon);
457 1.29 yamt }
458