2 * Copyright (c) 2002-2006 Rice University
3 * Copyright (c) 2007-2008 Alan L. Cox <alc@cs.rice.edu>
6 * This software was developed for the FreeBSD Project by Alan L. Cox,
7 * Olivier Crameri, Peter Druschel, Sitaram Iyer, and Juan Navarro.
9 * Redistribution and use in source and binary forms, with or without
10 * modification, are permitted provided that the following conditions
12 * 1. Redistributions of source code must retain the above copyright
13 * notice, this list of conditions and the following disclaimer.
14 * 2. Redistributions in binary form must reproduce the above copyright
15 * notice, this list of conditions and the following disclaimer in the
16 * documentation and/or other materials provided with the distribution.
18 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
19 * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
20 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
21 * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
22 * HOLDERS OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
23 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
24 * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS
25 * OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
26 * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
27 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY
28 * WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
29 * POSSIBILITY OF SUCH DAMAGE.
33 * Superpage reservation management module
36 #include <sys/cdefs.h>
37 __FBSDID("$FreeBSD$");
41 #include <sys/param.h>
42 #include <sys/kernel.h>
44 #include <sys/malloc.h>
45 #include <sys/mutex.h>
46 #include <sys/queue.h>
48 #include <sys/sysctl.h>
49 #include <sys/systm.h>
52 #include <vm/vm_param.h>
53 #include <vm/vm_object.h>
54 #include <vm/vm_page.h>
55 #include <vm/vm_phys.h>
56 #include <vm/vm_reserv.h>
59 * The reservation system supports the speculative allocation of large physical
60 * pages ("superpages"). Speculative allocation enables the fully-automatic
61 * utilization of superpages by the virtual memory system. In other words, no
62 * programmatic directives are required to use superpages.
65 #if VM_NRESERVLEVEL > 0
68 * The number of small pages that are contained in a level 0 reservation
70 #define VM_LEVEL_0_NPAGES (1 << VM_LEVEL_0_ORDER)
73 * The number of bits by which a physical address is shifted to obtain the
76 #define VM_LEVEL_0_SHIFT (VM_LEVEL_0_ORDER + PAGE_SHIFT)
79 * The size of a level 0 reservation in bytes
81 #define VM_LEVEL_0_SIZE (1 << VM_LEVEL_0_SHIFT)
84 * Computes the index of the small page underlying the given (object, pindex)
85 * within the reservation's array of small pages.
87 #define VM_RESERV_INDEX(object, pindex) \
88 (((object)->pg_color + (pindex)) & (VM_LEVEL_0_NPAGES - 1))
91 * The reservation structure
93 * A reservation structure is constructed whenever a large physical page is
94 * speculatively allocated to an object. The reservation provides the small
95 * physical pages for the range [pindex, pindex + VM_LEVEL_0_NPAGES) of offsets
96 * within that object. The reservation's "popcnt" tracks the number of these
97 * small physical pages that are in use at any given time. When and if the
98 * reservation is not fully utilized, it appears in the queue of partially-
99 * populated reservations. The reservation always appears on the containing
100 * object's list of reservations.
102 * A partially-populated reservation can be broken and reclaimed at any time.
105 TAILQ_ENTRY(vm_reserv) partpopq;
106 LIST_ENTRY(vm_reserv) objq;
107 vm_object_t object; /* containing object */
108 vm_pindex_t pindex; /* offset within object */
109 vm_page_t pages; /* first page of a superpage */
110 int popcnt; /* # of pages in use */
115 * The reservation array
117 * This array is analoguous in function to vm_page_array. It differs in the
118 * respect that it may contain a greater number of useful reservation
119 * structures than there are (physical) superpages. These "invalid"
120 * reservation structures exist to trade-off space for time in the
121 * implementation of vm_reserv_from_page(). Invalid reservation structures are
122 * distinguishable from "valid" reservation structures by inspecting the
123 * reservation's "pages" field. Invalid reservation structures have a NULL
126 * vm_reserv_from_page() maps a small (physical) page to an element of this
127 * array by computing a physical reservation number from the page's physical
128 * address. The physical reservation number is used as the array index.
130 * An "active" reservation is a valid reservation structure that has a non-NULL
131 * "object" field and a non-zero "popcnt" field. In other words, every active
132 * reservation belongs to a particular object. Moreover, every active
133 * reservation has an entry in the containing object's list of reservations.
135 static vm_reserv_t vm_reserv_array;
138 * The partially-populated reservation queue
140 * This queue enables the fast recovery of an unused cached or free small page
141 * from a partially-populated reservation. The reservation at the head of
142 * this queue is the least-recently-changed, partially-populated reservation.
144 * Access to this queue is synchronized by the free page queue lock.
146 static TAILQ_HEAD(, vm_reserv) vm_rvq_partpop =
147 TAILQ_HEAD_INITIALIZER(vm_rvq_partpop);
149 static SYSCTL_NODE(_vm, OID_AUTO, reserv, CTLFLAG_RD, 0, "Reservation Info");
151 static long vm_reserv_broken;
152 SYSCTL_LONG(_vm_reserv, OID_AUTO, broken, CTLFLAG_RD,
153 &vm_reserv_broken, 0, "Cumulative number of broken reservations");
155 static long vm_reserv_freed;
156 SYSCTL_LONG(_vm_reserv, OID_AUTO, freed, CTLFLAG_RD,
157 &vm_reserv_freed, 0, "Cumulative number of freed reservations");
159 static int sysctl_vm_reserv_partpopq(SYSCTL_HANDLER_ARGS);
161 SYSCTL_OID(_vm_reserv, OID_AUTO, partpopq, CTLTYPE_STRING | CTLFLAG_RD, NULL, 0,
162 sysctl_vm_reserv_partpopq, "A", "Partially-populated reservation queues");
164 static long vm_reserv_reclaimed;
165 SYSCTL_LONG(_vm_reserv, OID_AUTO, reclaimed, CTLFLAG_RD,
166 &vm_reserv_reclaimed, 0, "Cumulative number of reclaimed reservations");
168 static void vm_reserv_depopulate(vm_reserv_t rv);
169 static vm_reserv_t vm_reserv_from_page(vm_page_t m);
170 static boolean_t vm_reserv_has_pindex(vm_reserv_t rv,
172 static void vm_reserv_populate(vm_reserv_t rv);
173 static void vm_reserv_reclaim(vm_reserv_t rv);
176 * Describes the current state of the partially-populated reservation queue.
179 sysctl_vm_reserv_partpopq(SYSCTL_HANDLER_ARGS)
183 int counter, error, level, unused_pages;
185 error = sysctl_wire_old_buffer(req, 0);
188 sbuf_new_for_sysctl(&sbuf, NULL, 128, req);
189 sbuf_printf(&sbuf, "\nLEVEL SIZE NUMBER\n\n");
190 for (level = -1; level <= VM_NRESERVLEVEL - 2; level++) {
193 mtx_lock(&vm_page_queue_free_mtx);
194 TAILQ_FOREACH(rv, &vm_rvq_partpop/*[level]*/, partpopq) {
196 unused_pages += VM_LEVEL_0_NPAGES - rv->popcnt;
198 mtx_unlock(&vm_page_queue_free_mtx);
199 sbuf_printf(&sbuf, "%5d: %6dK, %6d\n", level,
200 unused_pages * ((int)PAGE_SIZE / 1024), counter);
202 error = sbuf_finish(&sbuf);
208 * Reduces the given reservation's population count. If the population count
209 * becomes zero, the reservation is destroyed. Additionally, moves the
210 * reservation to the tail of the partially-populated reservations queue if the
211 * population count is non-zero.
213 * The free page queue lock must be held.
216 vm_reserv_depopulate(vm_reserv_t rv)
219 mtx_assert(&vm_page_queue_free_mtx, MA_OWNED);
220 KASSERT(rv->object != NULL,
221 ("vm_reserv_depopulate: reserv %p is free", rv));
222 KASSERT(rv->popcnt > 0,
223 ("vm_reserv_depopulate: reserv %p's popcnt is corrupted", rv));
224 if (rv->inpartpopq) {
225 TAILQ_REMOVE(&vm_rvq_partpop, rv, partpopq);
226 rv->inpartpopq = FALSE;
229 if (rv->popcnt == 0) {
230 LIST_REMOVE(rv, objq);
232 vm_phys_free_pages(rv->pages, VM_LEVEL_0_ORDER);
235 rv->inpartpopq = TRUE;
236 TAILQ_INSERT_TAIL(&vm_rvq_partpop, rv, partpopq);
241 * Returns the reservation to which the given page might belong.
243 static __inline vm_reserv_t
244 vm_reserv_from_page(vm_page_t m)
247 return (&vm_reserv_array[VM_PAGE_TO_PHYS(m) >> VM_LEVEL_0_SHIFT]);
251 * Returns TRUE if the given reservation contains the given page index and
254 static __inline boolean_t
255 vm_reserv_has_pindex(vm_reserv_t rv, vm_pindex_t pindex)
258 return (((pindex - rv->pindex) & ~(VM_LEVEL_0_NPAGES - 1)) == 0);
262 * Increases the given reservation's population count. Moves the reservation
263 * to the tail of the partially-populated reservation queue.
265 * The free page queue must be locked.
268 vm_reserv_populate(vm_reserv_t rv)
271 mtx_assert(&vm_page_queue_free_mtx, MA_OWNED);
272 KASSERT(rv->object != NULL,
273 ("vm_reserv_populate: reserv %p is free", rv));
274 KASSERT(rv->popcnt < VM_LEVEL_0_NPAGES,
275 ("vm_reserv_populate: reserv %p is already full", rv));
276 if (rv->inpartpopq) {
277 TAILQ_REMOVE(&vm_rvq_partpop, rv, partpopq);
278 rv->inpartpopq = FALSE;
281 if (rv->popcnt < VM_LEVEL_0_NPAGES) {
282 rv->inpartpopq = TRUE;
283 TAILQ_INSERT_TAIL(&vm_rvq_partpop, rv, partpopq);
288 * Allocates a page from an existing or newly-created reservation.
290 * The object and free page queue must be locked.
293 vm_reserv_alloc_page(vm_object_t object, vm_pindex_t pindex)
295 vm_page_t m, mpred, msucc;
296 vm_pindex_t first, leftcap, rightcap;
299 mtx_assert(&vm_page_queue_free_mtx, MA_OWNED);
302 * Is a reservation fundamentally not possible?
304 VM_OBJECT_LOCK_ASSERT(object, MA_OWNED);
305 if (pindex < VM_RESERV_INDEX(object, pindex) ||
306 pindex >= object->size)
310 * Look for an existing reservation.
313 mpred = object->root;
314 while (mpred != NULL) {
315 KASSERT(mpred->pindex != pindex,
316 ("vm_reserv_alloc_page: pindex already allocated"));
317 rv = vm_reserv_from_page(mpred);
318 if (rv->object == object && vm_reserv_has_pindex(rv, pindex)) {
319 m = &rv->pages[VM_RESERV_INDEX(object, pindex)];
320 /* Handle vm_page_rename(m, new_object, ...). */
321 if ((m->flags & (PG_CACHED | PG_FREE)) == 0)
323 vm_reserv_populate(rv);
325 } else if (mpred->pindex < pindex) {
327 (msucc = TAILQ_NEXT(mpred, listq)) == NULL)
329 KASSERT(msucc->pindex != pindex,
330 ("vm_reserv_alloc_page: pindex already allocated"));
331 rv = vm_reserv_from_page(msucc);
332 if (rv->object == object &&
333 vm_reserv_has_pindex(rv, pindex)) {
334 m = &rv->pages[VM_RESERV_INDEX(object, pindex)];
335 /* Handle vm_page_rename(m, new_object, ...). */
336 if ((m->flags & (PG_CACHED | PG_FREE)) == 0)
338 vm_reserv_populate(rv);
340 } else if (pindex < msucc->pindex)
342 } else if (msucc == NULL) {
344 mpred = TAILQ_PREV(msucc, pglist, listq);
348 mpred = object->root = vm_page_splay(pindex, object->root);
352 * Determine the first index to the left that can be used.
356 else if ((rv = vm_reserv_from_page(mpred))->object != object)
357 leftcap = mpred->pindex + 1;
359 leftcap = rv->pindex + VM_LEVEL_0_NPAGES;
362 * Determine the first index to the right that cannot be used.
365 rightcap = pindex + VM_LEVEL_0_NPAGES;
366 else if ((rv = vm_reserv_from_page(msucc))->object != object)
367 rightcap = msucc->pindex;
369 rightcap = rv->pindex;
372 * Determine if a reservation fits between the first index to
373 * the left that can be used and the first index to the right
374 * that cannot be used.
376 first = pindex - VM_RESERV_INDEX(object, pindex);
377 if (first < leftcap || first + VM_LEVEL_0_NPAGES > rightcap)
381 * Would a new reservation extend past the end of the given object?
383 if (object->size < first + VM_LEVEL_0_NPAGES) {
385 * Don't allocate a new reservation if the object is a vnode or
386 * backed by another object that is a vnode.
388 if (object->type == OBJT_VNODE ||
389 (object->backing_object != NULL &&
390 object->backing_object->type == OBJT_VNODE))
392 /* Speculate that the object may grow. */
396 * Allocate a new reservation.
398 m = vm_phys_alloc_pages(VM_FREEPOOL_DEFAULT, VM_LEVEL_0_ORDER);
400 rv = vm_reserv_from_page(m);
401 KASSERT(rv->pages == m,
402 ("vm_reserv_alloc_page: reserv %p's pages is corrupted",
404 KASSERT(rv->object == NULL,
405 ("vm_reserv_alloc_page: reserv %p isn't free", rv));
406 LIST_INSERT_HEAD(&object->rvq, rv, objq);
409 KASSERT(rv->popcnt == 0,
410 ("vm_reserv_alloc_page: reserv %p's popcnt is corrupted",
412 KASSERT(!rv->inpartpopq,
413 ("vm_reserv_alloc_page: reserv %p's inpartpopq is TRUE",
415 vm_reserv_populate(rv);
416 m = &rv->pages[VM_RESERV_INDEX(object, pindex)];
422 * Breaks all reservations belonging to the given object.
425 vm_reserv_break_all(vm_object_t object)
430 mtx_lock(&vm_page_queue_free_mtx);
431 while ((rv = LIST_FIRST(&object->rvq)) != NULL) {
432 KASSERT(rv->object == object,
433 ("vm_reserv_break_all: reserv %p is corrupted", rv));
434 if (rv->inpartpopq) {
435 TAILQ_REMOVE(&vm_rvq_partpop, rv, partpopq);
436 rv->inpartpopq = FALSE;
438 LIST_REMOVE(rv, objq);
440 for (i = 0; i < VM_LEVEL_0_NPAGES; i++) {
441 if ((rv->pages[i].flags & (PG_CACHED | PG_FREE)) != 0)
442 vm_phys_free_pages(&rv->pages[i], 0);
446 KASSERT(rv->popcnt == 0,
447 ("vm_reserv_break_all: reserv %p's popcnt is corrupted",
451 mtx_unlock(&vm_page_queue_free_mtx);
455 * Frees the given page if it belongs to a reservation. Returns TRUE if the
456 * page is freed and FALSE otherwise.
458 * The free page queue lock must be held.
461 vm_reserv_free_page(vm_page_t m)
465 mtx_assert(&vm_page_queue_free_mtx, MA_OWNED);
466 rv = vm_reserv_from_page(m);
467 if (rv->object == NULL)
469 if ((m->flags & PG_CACHED) != 0 && m->pool != VM_FREEPOOL_CACHE)
470 vm_phys_set_pool(VM_FREEPOOL_CACHE, rv->pages,
472 vm_reserv_depopulate(rv);
477 * Initializes the reservation management system. Specifically, initializes
478 * the reservation array.
480 * Requires that vm_page_array and first_page are initialized!
489 * Initialize the reservation array. Specifically, initialize the
490 * "pages" field for every element that has an underlying superpage.
492 for (i = 0; phys_avail[i + 1] != 0; i += 2) {
493 paddr = roundup2(phys_avail[i], VM_LEVEL_0_SIZE);
494 while (paddr + VM_LEVEL_0_SIZE <= phys_avail[i + 1]) {
495 vm_reserv_array[paddr >> VM_LEVEL_0_SHIFT].pages =
496 PHYS_TO_VM_PAGE(paddr);
497 paddr += VM_LEVEL_0_SIZE;
503 * Returns a reservation level if the given page belongs to a fully-populated
504 * reservation and -1 otherwise.
507 vm_reserv_level_iffullpop(vm_page_t m)
511 rv = vm_reserv_from_page(m);
512 return (rv->popcnt == VM_LEVEL_0_NPAGES ? 0 : -1);
516 * Prepare for the reactivation of a cached page.
518 * First, suppose that the given page "m" was allocated individually, i.e., not
519 * as part of a reservation, and cached. Then, suppose a reservation
520 * containing "m" is allocated by the same object. Although "m" and the
521 * reservation belong to the same object, "m"'s pindex may not match the
524 * The free page queue must be locked.
527 vm_reserv_reactivate_page(vm_page_t m)
532 mtx_assert(&vm_page_queue_free_mtx, MA_OWNED);
533 rv = vm_reserv_from_page(m);
534 if (rv->object == NULL)
536 KASSERT((m->flags & PG_CACHED) != 0,
537 ("vm_reserv_uncache_page: page %p is not cached", m));
538 if (m->object == rv->object &&
539 m->pindex - rv->pindex == VM_RESERV_INDEX(m->object, m->pindex))
540 vm_reserv_populate(rv);
542 KASSERT(rv->inpartpopq,
543 ("vm_reserv_uncache_page: reserv %p's inpartpopq is FALSE",
545 TAILQ_REMOVE(&vm_rvq_partpop, rv, partpopq);
546 rv->inpartpopq = FALSE;
547 LIST_REMOVE(rv, objq);
549 /* Don't vm_phys_free_pages(m, 0). */
550 m_index = m - rv->pages;
551 for (i = 0; i < m_index; i++) {
552 if ((rv->pages[i].flags & (PG_CACHED | PG_FREE)) != 0)
553 vm_phys_free_pages(&rv->pages[i], 0);
557 for (i++; i < VM_LEVEL_0_NPAGES; i++) {
558 if ((rv->pages[i].flags & (PG_CACHED | PG_FREE)) != 0)
559 vm_phys_free_pages(&rv->pages[i], 0);
563 KASSERT(rv->popcnt == 0,
564 ("vm_reserv_uncache_page: reserv %p's popcnt is corrupted",
572 * Breaks the given partially-populated reservation, releasing its cached and
573 * free pages to the physical memory allocator.
575 * The free page queue lock must be held.
578 vm_reserv_reclaim(vm_reserv_t rv)
582 mtx_assert(&vm_page_queue_free_mtx, MA_OWNED);
583 KASSERT(rv->inpartpopq,
584 ("vm_reserv_reclaim: reserv %p's inpartpopq is corrupted", rv));
585 TAILQ_REMOVE(&vm_rvq_partpop, rv, partpopq);
586 rv->inpartpopq = FALSE;
587 KASSERT(rv->object != NULL,
588 ("vm_reserv_reclaim: reserv %p is free", rv));
589 LIST_REMOVE(rv, objq);
591 for (i = 0; i < VM_LEVEL_0_NPAGES; i++) {
592 if ((rv->pages[i].flags & (PG_CACHED | PG_FREE)) != 0)
593 vm_phys_free_pages(&rv->pages[i], 0);
597 KASSERT(rv->popcnt == 0,
598 ("vm_reserv_reclaim: reserv %p's popcnt is corrupted", rv));
599 vm_reserv_reclaimed++;
603 * Breaks the reservation at the head of the partially-populated reservation
604 * queue, releasing its cached and free pages to the physical memory
605 * allocator. Returns TRUE if a reservation is broken and FALSE otherwise.
607 * The free page queue lock must be held.
610 vm_reserv_reclaim_inactive(void)
614 mtx_assert(&vm_page_queue_free_mtx, MA_OWNED);
615 if ((rv = TAILQ_FIRST(&vm_rvq_partpop)) != NULL) {
616 vm_reserv_reclaim(rv);
623 * Searches the partially-populated reservation queue for the least recently
624 * active reservation with unused pages, i.e., cached or free, that satisfy the
625 * given request for contiguous physical memory. If a satisfactory reservation
626 * is found, it is broken. Returns TRUE if a reservation is broken and FALSE
629 * The free page queue lock must be held.
632 vm_reserv_reclaim_contig(vm_paddr_t size, vm_paddr_t low, vm_paddr_t high,
633 u_long alignment, u_long boundary)
635 vm_paddr_t pa, pa_length;
639 mtx_assert(&vm_page_queue_free_mtx, MA_OWNED);
640 if (size > VM_LEVEL_0_SIZE - PAGE_SIZE)
642 TAILQ_FOREACH(rv, &vm_rvq_partpop, partpopq) {
643 pa = VM_PAGE_TO_PHYS(&rv->pages[VM_LEVEL_0_NPAGES - 1]);
644 if (pa + PAGE_SIZE - size < low) {
645 /* this entire reservation is too low; go to next */
649 for (i = 0; i < VM_LEVEL_0_NPAGES; i++)
650 if ((rv->pages[i].flags & (PG_CACHED | PG_FREE)) != 0) {
651 pa_length += PAGE_SIZE;
652 if (pa_length == PAGE_SIZE) {
653 pa = VM_PAGE_TO_PHYS(&rv->pages[i]);
654 if (pa + size > high) {
655 /* skip to next reservation */
657 } else if (pa < low ||
658 (pa & (alignment - 1)) != 0 ||
659 ((pa ^ (pa + size - 1)) &
660 ~(boundary - 1)) != 0)
663 if (pa_length >= size) {
664 vm_reserv_reclaim(rv);
674 * Transfers the reservation underlying the given page to a new object.
676 * The object must be locked.
679 vm_reserv_rename(vm_page_t m, vm_object_t new_object, vm_object_t old_object,
680 vm_pindex_t old_object_offset)
684 VM_OBJECT_LOCK_ASSERT(new_object, MA_OWNED);
685 rv = vm_reserv_from_page(m);
686 if (rv->object == old_object) {
687 mtx_lock(&vm_page_queue_free_mtx);
688 if (rv->object == old_object) {
689 LIST_REMOVE(rv, objq);
690 LIST_INSERT_HEAD(&new_object->rvq, rv, objq);
691 rv->object = new_object;
692 rv->pindex -= old_object_offset;
694 mtx_unlock(&vm_page_queue_free_mtx);
699 * Allocates the virtual and physical memory required by the reservation
700 * management system's data structures, in particular, the reservation array.
703 vm_reserv_startup(vm_offset_t *vaddr, vm_paddr_t end, vm_paddr_t high_water)
709 * Calculate the size (in bytes) of the reservation array. Round up
710 * from "high_water" because every small page is mapped to an element
711 * in the reservation array based on its physical address. Thus, the
712 * number of elements in the reservation array can be greater than the
713 * number of superpages.
715 size = howmany(high_water, VM_LEVEL_0_SIZE) * sizeof(struct vm_reserv);
718 * Allocate and map the physical memory for the reservation array. The
719 * next available virtual address is returned by reference.
721 new_end = end - round_page(size);
722 vm_reserv_array = (void *)(uintptr_t)pmap_map(vaddr, new_end, end,
723 VM_PROT_READ | VM_PROT_WRITE);
724 bzero(vm_reserv_array, size);
727 * Return the next available physical address.
732 #endif /* VM_NRESERVLEVEL > 0 */