160727d8bSWarner Losh /*- 2df8bae1dSRodney W. Grimes * Copyright (c) 1991, 1993 3df8bae1dSRodney W. Grimes * The Regents of the University of California. All rights reserved. 4df8bae1dSRodney W. Grimes * 5df8bae1dSRodney W. Grimes * This code is derived from software contributed to Berkeley by 6df8bae1dSRodney W. Grimes * The Mach Operating System project at Carnegie-Mellon University. 7df8bae1dSRodney W. Grimes * 8df8bae1dSRodney W. Grimes * Redistribution and use in source and binary forms, with or without 9df8bae1dSRodney W. Grimes * modification, are permitted provided that the following conditions 10df8bae1dSRodney W. Grimes * are met: 11df8bae1dSRodney W. Grimes * 1. Redistributions of source code must retain the above copyright 12df8bae1dSRodney W. Grimes * notice, this list of conditions and the following disclaimer. 13df8bae1dSRodney W. Grimes * 2. Redistributions in binary form must reproduce the above copyright 14df8bae1dSRodney W. Grimes * notice, this list of conditions and the following disclaimer in the 15df8bae1dSRodney W. Grimes * documentation and/or other materials provided with the distribution. 16df8bae1dSRodney W. Grimes * 4. Neither the name of the University nor the names of its contributors 17df8bae1dSRodney W. Grimes * may be used to endorse or promote products derived from this software 18df8bae1dSRodney W. Grimes * without specific prior written permission. 19df8bae1dSRodney W. Grimes * 20df8bae1dSRodney W. Grimes * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND 21df8bae1dSRodney W. Grimes * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 22df8bae1dSRodney W. Grimes * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 23df8bae1dSRodney W. Grimes * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE 24df8bae1dSRodney W. Grimes * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 25df8bae1dSRodney W. Grimes * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS 26df8bae1dSRodney W. Grimes * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) 27df8bae1dSRodney W. Grimes * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT 28df8bae1dSRodney W. Grimes * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY 29df8bae1dSRodney W. Grimes * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF 30df8bae1dSRodney W. Grimes * SUCH DAMAGE. 31df8bae1dSRodney W. Grimes * 323c4dd356SDavid Greenman * from: @(#)vm_object.c 8.5 (Berkeley) 3/22/94 33df8bae1dSRodney W. Grimes * 34df8bae1dSRodney W. Grimes * 35df8bae1dSRodney W. Grimes * Copyright (c) 1987, 1990 Carnegie-Mellon University. 36df8bae1dSRodney W. Grimes * All rights reserved. 37df8bae1dSRodney W. Grimes * 38df8bae1dSRodney W. Grimes * Authors: Avadis Tevanian, Jr., Michael Wayne Young 39df8bae1dSRodney W. Grimes * 40df8bae1dSRodney W. Grimes * Permission to use, copy, modify and distribute this software and 41df8bae1dSRodney W. Grimes * its documentation is hereby granted, provided that both the copyright 42df8bae1dSRodney W. Grimes * notice and this permission notice appear in all copies of the 43df8bae1dSRodney W. Grimes * software, derivative works or modified versions, and any portions 44df8bae1dSRodney W. Grimes * thereof, and that both notices appear in supporting documentation. 45df8bae1dSRodney W. Grimes * 46df8bae1dSRodney W. Grimes * CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS "AS IS" 47df8bae1dSRodney W. Grimes * CONDITION. CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND 48df8bae1dSRodney W. Grimes * FOR ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE. 49df8bae1dSRodney W. Grimes * 50df8bae1dSRodney W. Grimes * Carnegie Mellon requests users of this software to return to 51df8bae1dSRodney W. Grimes * 52df8bae1dSRodney W. Grimes * Software Distribution Coordinator or Software.Distribution@CS.CMU.EDU 53df8bae1dSRodney W. Grimes * School of Computer Science 54df8bae1dSRodney W. Grimes * Carnegie Mellon University 55df8bae1dSRodney W. Grimes * Pittsburgh PA 15213-3890 56df8bae1dSRodney W. Grimes * 57df8bae1dSRodney W. Grimes * any improvements or extensions that they make and grant Carnegie the 58df8bae1dSRodney W. Grimes * rights to redistribute these changes. 59df8bae1dSRodney W. Grimes */ 60df8bae1dSRodney W. Grimes 61df8bae1dSRodney W. Grimes /* 62df8bae1dSRodney W. Grimes * Virtual memory object module. 63df8bae1dSRodney W. Grimes */ 64df8bae1dSRodney W. Grimes 65874651b1SDavid E. O'Brien #include <sys/cdefs.h> 66874651b1SDavid E. O'Brien __FBSDID("$FreeBSD$"); 67874651b1SDavid E. O'Brien 68f8a47341SAlan Cox #include "opt_vm.h" 69f8a47341SAlan Cox 70df8bae1dSRodney W. Grimes #include <sys/param.h> 71df8bae1dSRodney W. Grimes #include <sys/systm.h> 72fb919e4dSMark Murray #include <sys/lock.h> 73867a482dSJohn Dyson #include <sys/mman.h> 74cf2819ccSJohn Dyson #include <sys/mount.h> 75b9b7a4beSMatthew Dillon #include <sys/kernel.h> 76b9b7a4beSMatthew Dillon #include <sys/sysctl.h> 771b367556SJason Evans #include <sys/mutex.h> 78fb919e4dSMark Murray #include <sys/proc.h> /* for curproc, pageproc */ 79fb919e4dSMark Murray #include <sys/socket.h> 803364c323SKonstantin Belousov #include <sys/resourcevar.h> 81fb919e4dSMark Murray #include <sys/vnode.h> 82fb919e4dSMark Murray #include <sys/vmmeter.h> 831005a129SJohn Baldwin #include <sys/sx.h> 84df8bae1dSRodney W. Grimes 85df8bae1dSRodney W. Grimes #include <vm/vm.h> 86efeaf95aSDavid Greenman #include <vm/vm_param.h> 87efeaf95aSDavid Greenman #include <vm/pmap.h> 88efeaf95aSDavid Greenman #include <vm/vm_map.h> 89efeaf95aSDavid Greenman #include <vm/vm_object.h> 90df8bae1dSRodney W. Grimes #include <vm/vm_page.h> 9126f9a767SRodney W. Grimes #include <vm/vm_pageout.h> 920d94caffSDavid Greenman #include <vm/vm_pager.h> 9305f0fdd2SPoul-Henning Kamp #include <vm/swap_pager.h> 94a1f6d91cSDavid Greenman #include <vm/vm_kern.h> 95efeaf95aSDavid Greenman #include <vm/vm_extern.h> 96f8a47341SAlan Cox #include <vm/vm_reserv.h> 97670d17b5SJeff Roberson #include <vm/uma.h> 9826f9a767SRodney W. Grimes 99c53f7aceSDag-Erling Smørgrav static int old_msync; 100c53f7aceSDag-Erling Smørgrav SYSCTL_INT(_vm, OID_AUTO, old_msync, CTLFLAG_RW, &old_msync, 0, 101c53f7aceSDag-Erling Smørgrav "Use old (insecure) msync behavior"); 102c53f7aceSDag-Erling Smørgrav 103757216f3SKonstantin Belousov static int vm_object_page_collect_flush(vm_object_t object, vm_page_t p, 1043280870dSKonstantin Belousov int pagerflags, int flags, int *clearobjflags); 1053280870dSKonstantin Belousov static boolean_t vm_object_page_remove_write(vm_page_t p, int flags, 1063280870dSKonstantin Belousov int *clearobjflags); 107b9b7a4beSMatthew Dillon static void vm_object_qcollapse(vm_object_t object); 10802dd8331SAlan Cox static void vm_object_vndeallocate(vm_object_t object); 109f6b04d2bSDavid Greenman 110df8bae1dSRodney W. Grimes /* 111df8bae1dSRodney W. Grimes * Virtual memory objects maintain the actual data 112df8bae1dSRodney W. Grimes * associated with allocated virtual memory. A given 113df8bae1dSRodney W. Grimes * page of memory exists within exactly one object. 114df8bae1dSRodney W. Grimes * 115df8bae1dSRodney W. Grimes * An object is only deallocated when all "references" 116df8bae1dSRodney W. Grimes * are given up. Only one "reference" to a given 117df8bae1dSRodney W. Grimes * region of an object should be writeable. 118df8bae1dSRodney W. Grimes * 119df8bae1dSRodney W. Grimes * Associated with each object is a list of all resident 120df8bae1dSRodney W. Grimes * memory pages belonging to that object; this list is 121df8bae1dSRodney W. Grimes * maintained by the "vm_page" module, and locked by the object's 122df8bae1dSRodney W. Grimes * lock. 123df8bae1dSRodney W. Grimes * 124df8bae1dSRodney W. Grimes * Each object also records a "pager" routine which is 125df8bae1dSRodney W. Grimes * used to retrieve (and store) pages to the proper backing 126df8bae1dSRodney W. Grimes * storage. In addition, objects may be backed by other 127df8bae1dSRodney W. Grimes * objects from which they were virtual-copied. 128df8bae1dSRodney W. Grimes * 129df8bae1dSRodney W. Grimes * The only items within the object structure which are 130df8bae1dSRodney W. Grimes * modified after time of creation are: 131df8bae1dSRodney W. Grimes * reference count locked by object's lock 132df8bae1dSRodney W. Grimes * pager routine locked by object's lock 133df8bae1dSRodney W. Grimes * 134df8bae1dSRodney W. Grimes */ 135df8bae1dSRodney W. Grimes 13628f8db14SBruce Evans struct object_q vm_object_list; 137a5698387SAlan Cox struct mtx vm_object_list_mtx; /* lock for object list and count */ 138cccf11b8SAlan Cox 139cccf11b8SAlan Cox struct vm_object kernel_object_store; 140cccf11b8SAlan Cox struct vm_object kmem_object_store; 141df8bae1dSRodney W. Grimes 142604c2bbcSAlan Cox SYSCTL_NODE(_vm_stats, OID_AUTO, object, CTLFLAG_RD, 0, "VM object stats"); 143604c2bbcSAlan Cox 144f708ef1bSPoul-Henning Kamp static long object_collapses; 145604c2bbcSAlan Cox SYSCTL_LONG(_vm_stats_object, OID_AUTO, collapses, CTLFLAG_RD, 146604c2bbcSAlan Cox &object_collapses, 0, "VM object collapses"); 147604c2bbcSAlan Cox 148f708ef1bSPoul-Henning Kamp static long object_bypasses; 149604c2bbcSAlan Cox SYSCTL_LONG(_vm_stats_object, OID_AUTO, bypasses, CTLFLAG_RD, 150604c2bbcSAlan Cox &object_bypasses, 0, "VM object bypasses"); 151dad740e9SAlan Cox 152670d17b5SJeff Roberson static uma_zone_t obj_zone; 1538355f576SJeff Roberson 154b23f72e9SBrian Feldman static int vm_object_zinit(void *mem, int size, int flags); 1558355f576SJeff Roberson 1568355f576SJeff Roberson #ifdef INVARIANTS 1578355f576SJeff Roberson static void vm_object_zdtor(void *mem, int size, void *arg); 1588355f576SJeff Roberson 1598355f576SJeff Roberson static void 1608355f576SJeff Roberson vm_object_zdtor(void *mem, int size, void *arg) 1618355f576SJeff Roberson { 1628355f576SJeff Roberson vm_object_t object; 1638355f576SJeff Roberson 1648355f576SJeff Roberson object = (vm_object_t)mem; 16543186e53SAlan Cox KASSERT(TAILQ_EMPTY(&object->memq), 16643186e53SAlan Cox ("object %p has resident pages", 16743186e53SAlan Cox object)); 168f8a47341SAlan Cox #if VM_NRESERVLEVEL > 0 169f8a47341SAlan Cox KASSERT(LIST_EMPTY(&object->rvq), 170f8a47341SAlan Cox ("object %p has reservations", 171f8a47341SAlan Cox object)); 172f8a47341SAlan Cox #endif 1737bfda801SAlan Cox KASSERT(object->cache == NULL, 1747bfda801SAlan Cox ("object %p has cached pages", 1757bfda801SAlan Cox object)); 1768355f576SJeff Roberson KASSERT(object->paging_in_progress == 0, 1778355f576SJeff Roberson ("object %p paging_in_progress = %d", 1788355f576SJeff Roberson object, object->paging_in_progress)); 1798355f576SJeff Roberson KASSERT(object->resident_page_count == 0, 1808355f576SJeff Roberson ("object %p resident_page_count = %d", 1818355f576SJeff Roberson object, object->resident_page_count)); 1828355f576SJeff Roberson KASSERT(object->shadow_count == 0, 1838355f576SJeff Roberson ("object %p shadow_count = %d", 1848355f576SJeff Roberson object, object->shadow_count)); 1858355f576SJeff Roberson } 1868355f576SJeff Roberson #endif 1878355f576SJeff Roberson 188b23f72e9SBrian Feldman static int 189b23f72e9SBrian Feldman vm_object_zinit(void *mem, int size, int flags) 1908355f576SJeff Roberson { 1918355f576SJeff Roberson vm_object_t object; 1928355f576SJeff Roberson 1938355f576SJeff Roberson object = (vm_object_t)mem; 194e3a9e1b2SAlan Cox bzero(&object->mtx, sizeof(object->mtx)); 1955285558aSAlan Cox VM_OBJECT_LOCK_INIT(object, "standard object"); 1968355f576SJeff Roberson 1978355f576SJeff Roberson /* These are true for any object that has been freed */ 1988355f576SJeff Roberson object->paging_in_progress = 0; 1998355f576SJeff Roberson object->resident_page_count = 0; 2008355f576SJeff Roberson object->shadow_count = 0; 201b23f72e9SBrian Feldman return (0); 2028355f576SJeff Roberson } 203df8bae1dSRodney W. Grimes 2043075778bSJohn Dyson void 2056395da54SIan Dowse _vm_object_allocate(objtype_t type, vm_pindex_t size, vm_object_t object) 206df8bae1dSRodney W. Grimes { 2070cddd8f0SMatthew Dillon 208df8bae1dSRodney W. Grimes TAILQ_INIT(&object->memq); 2091c500307SAlan Cox LIST_INIT(&object->shadow_head); 210a1f6d91cSDavid Greenman 211b86ec922SMatthew Dillon object->root = NULL; 21224a1cce3SDavid Greenman object->type = type; 213df8bae1dSRodney W. Grimes object->size = size; 214b881da26SAlan Cox object->generation = 1; 215a1f6d91cSDavid Greenman object->ref_count = 1; 2163153e878SAlan Cox object->memattr = VM_MEMATTR_DEFAULT; 21724a1cce3SDavid Greenman object->flags = 0; 218ef694c1aSEdward Tomasz Napierala object->cred = NULL; 2193364c323SKonstantin Belousov object->charge = 0; 22060517fd1SJohn Baldwin if ((object->type == OBJT_DEFAULT) || (object->type == OBJT_SWAP)) 2213471677cSAlan Cox object->flags = OBJ_ONEMAPPING; 2222446e4f0SAlan Cox object->pg_color = 0; 22324a1cce3SDavid Greenman object->handle = NULL; 22424a1cce3SDavid Greenman object->backing_object = NULL; 225a316d390SJohn Dyson object->backing_object_offset = (vm_ooffset_t) 0; 226f8a47341SAlan Cox #if VM_NRESERVLEVEL > 0 227f8a47341SAlan Cox LIST_INIT(&object->rvq); 228f8a47341SAlan Cox #endif 2297bfda801SAlan Cox object->cache = NULL; 230a1f6d91cSDavid Greenman 231a5698387SAlan Cox mtx_lock(&vm_object_list_mtx); 23260517fd1SJohn Baldwin TAILQ_INSERT_TAIL(&vm_object_list, object, object_list); 233a5698387SAlan Cox mtx_unlock(&vm_object_list_mtx); 234df8bae1dSRodney W. Grimes } 235df8bae1dSRodney W. Grimes 236df8bae1dSRodney W. Grimes /* 23726f9a767SRodney W. Grimes * vm_object_init: 23826f9a767SRodney W. Grimes * 23926f9a767SRodney W. Grimes * Initialize the VM objects module. 24026f9a767SRodney W. Grimes */ 24126f9a767SRodney W. Grimes void 2421b40f8c0SMatthew Dillon vm_object_init(void) 24326f9a767SRodney W. Grimes { 24426f9a767SRodney W. Grimes TAILQ_INIT(&vm_object_list); 2456008862bSJohn Baldwin mtx_init(&vm_object_list_mtx, "vm object_list", NULL, MTX_DEF); 2460217125fSDavid Greenman 247c6c9025bSKonstantin Belousov VM_OBJECT_LOCK_INIT(kernel_object, "kernel object"); 2489f5c801bSAlan Cox _vm_object_allocate(OBJT_PHYS, OFF_TO_IDX(VM_MAX_KERNEL_ADDRESS - VM_MIN_KERNEL_ADDRESS), 24926f9a767SRodney W. Grimes kernel_object); 250f8a47341SAlan Cox #if VM_NRESERVLEVEL > 0 251f8a47341SAlan Cox kernel_object->flags |= OBJ_COLORED; 252f8a47341SAlan Cox kernel_object->pg_color = (u_short)atop(VM_MIN_KERNEL_ADDRESS); 253f8a47341SAlan Cox #endif 25426f9a767SRodney W. Grimes 255c6c9025bSKonstantin Belousov VM_OBJECT_LOCK_INIT(kmem_object, "kmem object"); 2569f5c801bSAlan Cox _vm_object_allocate(OBJT_PHYS, OFF_TO_IDX(VM_MAX_KERNEL_ADDRESS - VM_MIN_KERNEL_ADDRESS), 25726f9a767SRodney W. Grimes kmem_object); 258f8a47341SAlan Cox #if VM_NRESERVLEVEL > 0 259f8a47341SAlan Cox kmem_object->flags |= OBJ_COLORED; 260f8a47341SAlan Cox kmem_object->pg_color = (u_short)atop(VM_MIN_KERNEL_ADDRESS); 261f8a47341SAlan Cox #endif 262ed6a7863SAlan Cox 2638dbca793STor Egge /* 2648dbca793STor Egge * The lock portion of struct vm_object must be type stable due 2658dbca793STor Egge * to vm_pageout_fallback_object_lock locking a vm object 2668dbca793STor Egge * without holding any references to it. 2678dbca793STor Egge */ 2688355f576SJeff Roberson obj_zone = uma_zcreate("VM OBJECT", sizeof (struct vm_object), NULL, 2698355f576SJeff Roberson #ifdef INVARIANTS 2708355f576SJeff Roberson vm_object_zdtor, 2718355f576SJeff Roberson #else 2728355f576SJeff Roberson NULL, 2738355f576SJeff Roberson #endif 274f3c625e4SJeff Roberson vm_object_zinit, NULL, UMA_ALIGN_PTR, UMA_ZONE_VM|UMA_ZONE_NOFREE); 27599448ed1SJohn Dyson } 27699448ed1SJohn Dyson 27799448ed1SJohn Dyson void 2781b40f8c0SMatthew Dillon vm_object_clear_flag(vm_object_t object, u_short bits) 2791b40f8c0SMatthew Dillon { 2805440b5a9SAlan Cox 281d647a0edSAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 282b06805adSJake Burkholder object->flags &= ~bits; 2831b40f8c0SMatthew Dillon } 2841b40f8c0SMatthew Dillon 2853153e878SAlan Cox /* 2863153e878SAlan Cox * Sets the default memory attribute for the specified object. Pages 2873153e878SAlan Cox * that are allocated to this object are by default assigned this memory 2883153e878SAlan Cox * attribute. 2893153e878SAlan Cox * 2903153e878SAlan Cox * Presently, this function must be called before any pages are allocated 2913153e878SAlan Cox * to the object. In the future, this requirement may be relaxed for 2923153e878SAlan Cox * "default" and "swap" objects. 2933153e878SAlan Cox */ 2943153e878SAlan Cox int 2953153e878SAlan Cox vm_object_set_memattr(vm_object_t object, vm_memattr_t memattr) 2963153e878SAlan Cox { 2973153e878SAlan Cox 2983153e878SAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 2993153e878SAlan Cox switch (object->type) { 3003153e878SAlan Cox case OBJT_DEFAULT: 3013153e878SAlan Cox case OBJT_DEVICE: 3023153e878SAlan Cox case OBJT_PHYS: 30301381811SJohn Baldwin case OBJT_SG: 3043153e878SAlan Cox case OBJT_SWAP: 3053153e878SAlan Cox case OBJT_VNODE: 3063153e878SAlan Cox if (!TAILQ_EMPTY(&object->memq)) 3073153e878SAlan Cox return (KERN_FAILURE); 3083153e878SAlan Cox break; 3093153e878SAlan Cox case OBJT_DEAD: 3103153e878SAlan Cox return (KERN_INVALID_ARGUMENT); 3113153e878SAlan Cox } 3123153e878SAlan Cox object->memattr = memattr; 3133153e878SAlan Cox return (KERN_SUCCESS); 3143153e878SAlan Cox } 3153153e878SAlan Cox 3161b40f8c0SMatthew Dillon void 3171b40f8c0SMatthew Dillon vm_object_pip_add(vm_object_t object, short i) 3181b40f8c0SMatthew Dillon { 319f279b88dSAlan Cox 320d647a0edSAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 321b06805adSJake Burkholder object->paging_in_progress += i; 3221b40f8c0SMatthew Dillon } 3231b40f8c0SMatthew Dillon 3241b40f8c0SMatthew Dillon void 3251b40f8c0SMatthew Dillon vm_object_pip_subtract(vm_object_t object, short i) 3261b40f8c0SMatthew Dillon { 327d647a0edSAlan Cox 3280fa05eaeSAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 329b06805adSJake Burkholder object->paging_in_progress -= i; 3301b40f8c0SMatthew Dillon } 3311b40f8c0SMatthew Dillon 3321b40f8c0SMatthew Dillon void 3331b40f8c0SMatthew Dillon vm_object_pip_wakeup(vm_object_t object) 3341b40f8c0SMatthew Dillon { 335f279b88dSAlan Cox 336d647a0edSAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 337b06805adSJake Burkholder object->paging_in_progress--; 3381b40f8c0SMatthew Dillon if ((object->flags & OBJ_PIPWNT) && object->paging_in_progress == 0) { 3391b40f8c0SMatthew Dillon vm_object_clear_flag(object, OBJ_PIPWNT); 3401b40f8c0SMatthew Dillon wakeup(object); 3411b40f8c0SMatthew Dillon } 3421b40f8c0SMatthew Dillon } 3431b40f8c0SMatthew Dillon 3441b40f8c0SMatthew Dillon void 3451b40f8c0SMatthew Dillon vm_object_pip_wakeupn(vm_object_t object, short i) 3461b40f8c0SMatthew Dillon { 347d647a0edSAlan Cox 3480d420ad3SAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 3491b40f8c0SMatthew Dillon if (i) 350b06805adSJake Burkholder object->paging_in_progress -= i; 3511b40f8c0SMatthew Dillon if ((object->flags & OBJ_PIPWNT) && object->paging_in_progress == 0) { 3521b40f8c0SMatthew Dillon vm_object_clear_flag(object, OBJ_PIPWNT); 3531b40f8c0SMatthew Dillon wakeup(object); 3541b40f8c0SMatthew Dillon } 3551b40f8c0SMatthew Dillon } 3561b40f8c0SMatthew Dillon 3571b40f8c0SMatthew Dillon void 3581b40f8c0SMatthew Dillon vm_object_pip_wait(vm_object_t object, char *waitid) 3591b40f8c0SMatthew Dillon { 3601ca58953SAlan Cox 3611ca58953SAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 3621ca58953SAlan Cox while (object->paging_in_progress) { 3631ca58953SAlan Cox object->flags |= OBJ_PIPWNT; 3641ca58953SAlan Cox msleep(object, VM_OBJECT_MTX(object), PVM, waitid, 0); 3651ca58953SAlan Cox } 3661b40f8c0SMatthew Dillon } 3671b40f8c0SMatthew Dillon 36826f9a767SRodney W. Grimes /* 36926f9a767SRodney W. Grimes * vm_object_allocate: 37026f9a767SRodney W. Grimes * 37126f9a767SRodney W. Grimes * Returns a new object with the given size. 37226f9a767SRodney W. Grimes */ 37326f9a767SRodney W. Grimes vm_object_t 3746395da54SIan Dowse vm_object_allocate(objtype_t type, vm_pindex_t size) 37526f9a767SRodney W. Grimes { 37690688d13SAlan Cox vm_object_t object; 37790688d13SAlan Cox 37890688d13SAlan Cox object = (vm_object_t)uma_zalloc(obj_zone, M_WAITOK); 37990688d13SAlan Cox _vm_object_allocate(type, size, object); 38090688d13SAlan Cox return (object); 38126f9a767SRodney W. Grimes } 38226f9a767SRodney W. Grimes 38326f9a767SRodney W. Grimes 38426f9a767SRodney W. Grimes /* 385df8bae1dSRodney W. Grimes * vm_object_reference: 386df8bae1dSRodney W. Grimes * 38715347817SAlan Cox * Gets another reference to the given object. Note: OBJ_DEAD 38815347817SAlan Cox * objects can be referenced during final cleaning. 389df8bae1dSRodney W. Grimes */ 3906476c0d2SJohn Dyson void 3911b40f8c0SMatthew Dillon vm_object_reference(vm_object_t object) 392df8bae1dSRodney W. Grimes { 393df8bae1dSRodney W. Grimes if (object == NULL) 394df8bae1dSRodney W. Grimes return; 39515347817SAlan Cox VM_OBJECT_LOCK(object); 39652481a9aSJeff Roberson vm_object_reference_locked(object); 39782f9defeSAlan Cox VM_OBJECT_UNLOCK(object); 39895e5e988SJohn Dyson } 39995e5e988SJohn Dyson 40023955314SAlfred Perlstein /* 401b921a12bSAlan Cox * vm_object_reference_locked: 402b921a12bSAlan Cox * 403b921a12bSAlan Cox * Gets another reference to the given object. 404b921a12bSAlan Cox * 405b921a12bSAlan Cox * The object must be locked. 406b921a12bSAlan Cox */ 407b921a12bSAlan Cox void 408b921a12bSAlan Cox vm_object_reference_locked(vm_object_t object) 409b921a12bSAlan Cox { 410b921a12bSAlan Cox struct vnode *vp; 411b921a12bSAlan Cox 412b921a12bSAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 413b921a12bSAlan Cox object->ref_count++; 414b921a12bSAlan Cox if (object->type == OBJT_VNODE) { 415b921a12bSAlan Cox vp = object->handle; 416b921a12bSAlan Cox vref(vp); 417b921a12bSAlan Cox } 418b921a12bSAlan Cox } 419b921a12bSAlan Cox 420b921a12bSAlan Cox /* 4219d5abbddSJens Schweikhardt * Handle deallocating an object of type OBJT_VNODE. 42223955314SAlfred Perlstein */ 42302dd8331SAlan Cox static void 4241b40f8c0SMatthew Dillon vm_object_vndeallocate(vm_object_t object) 42595e5e988SJohn Dyson { 42695e5e988SJohn Dyson struct vnode *vp = (struct vnode *) object->handle; 427219cbf59SEivind Eklund 428ae51ff11SJeff Roberson VFS_ASSERT_GIANT(vp->v_mount); 429ad682c48SAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 4305526d2d9SEivind Eklund KASSERT(object->type == OBJT_VNODE, 4315526d2d9SEivind Eklund ("vm_object_vndeallocate: not a vnode object")); 432219cbf59SEivind Eklund KASSERT(vp != NULL, ("vm_object_vndeallocate: missing vp")); 433219cbf59SEivind Eklund #ifdef INVARIANTS 43495e5e988SJohn Dyson if (object->ref_count == 0) { 43595e5e988SJohn Dyson vprint("vm_object_vndeallocate", vp); 43695e5e988SJohn Dyson panic("vm_object_vndeallocate: bad object reference count"); 43795e5e988SJohn Dyson } 43895e5e988SJohn Dyson #endif 43995e5e988SJohn Dyson 44003fa5b34SKonstantin Belousov if (object->ref_count > 1) { 44195e5e988SJohn Dyson object->ref_count--; 442ad682c48SAlan Cox VM_OBJECT_UNLOCK(object); 44303fa5b34SKonstantin Belousov /* vrele may need the vnode lock. */ 44447221757SJohn Dyson vrele(vp); 44503fa5b34SKonstantin Belousov } else { 446*86769ac0SKonstantin Belousov vhold(vp); 44703fa5b34SKonstantin Belousov VM_OBJECT_UNLOCK(object); 44803fa5b34SKonstantin Belousov vn_lock(vp, LK_EXCLUSIVE | LK_RETRY); 449*86769ac0SKonstantin Belousov vdrop(vp); 45003fa5b34SKonstantin Belousov VM_OBJECT_LOCK(object); 45103fa5b34SKonstantin Belousov object->ref_count--; 452*86769ac0SKonstantin Belousov if (object->type == OBJT_DEAD) { 453*86769ac0SKonstantin Belousov VM_OBJECT_UNLOCK(object); 454*86769ac0SKonstantin Belousov VOP_UNLOCK(vp, 0); 455*86769ac0SKonstantin Belousov } else { 45603fa5b34SKonstantin Belousov if (object->ref_count == 0) 45703fa5b34SKonstantin Belousov vp->v_vflag &= ~VV_TEXT; 45803fa5b34SKonstantin Belousov VM_OBJECT_UNLOCK(object); 45903fa5b34SKonstantin Belousov vput(vp); 46003fa5b34SKonstantin Belousov } 461df8bae1dSRodney W. Grimes } 462*86769ac0SKonstantin Belousov } 463df8bae1dSRodney W. Grimes 464df8bae1dSRodney W. Grimes /* 465df8bae1dSRodney W. Grimes * vm_object_deallocate: 466df8bae1dSRodney W. Grimes * 467df8bae1dSRodney W. Grimes * Release a reference to the specified object, 468df8bae1dSRodney W. Grimes * gained either through a vm_object_allocate 469df8bae1dSRodney W. Grimes * or a vm_object_reference call. When all references 470df8bae1dSRodney W. Grimes * are gone, storage associated with this object 471df8bae1dSRodney W. Grimes * may be relinquished. 472df8bae1dSRodney W. Grimes * 473df8bae1dSRodney W. Grimes * No object may be locked. 474df8bae1dSRodney W. Grimes */ 47526f9a767SRodney W. Grimes void 4761b40f8c0SMatthew Dillon vm_object_deallocate(vm_object_t object) 477df8bae1dSRodney W. Grimes { 478df8bae1dSRodney W. Grimes vm_object_t temp; 479df8bae1dSRodney W. Grimes 480df8bae1dSRodney W. Grimes while (object != NULL) { 481ae51ff11SJeff Roberson int vfslocked; 482ca95b514SJohn Baldwin 483ae51ff11SJeff Roberson vfslocked = 0; 484ca95b514SJohn Baldwin restart: 485ad682c48SAlan Cox VM_OBJECT_LOCK(object); 4863b68228cSAlan Cox if (object->type == OBJT_VNODE) { 487ca95b514SJohn Baldwin struct vnode *vp = (struct vnode *) object->handle; 488ca95b514SJohn Baldwin 489ca95b514SJohn Baldwin /* 490ca95b514SJohn Baldwin * Conditionally acquire Giant for a vnode-backed 491ca95b514SJohn Baldwin * object. We have to be careful since the type of 492ca95b514SJohn Baldwin * a vnode object can change while the object is 493ca95b514SJohn Baldwin * unlocked. 494ca95b514SJohn Baldwin */ 495ca95b514SJohn Baldwin if (VFS_NEEDSGIANT(vp->v_mount) && !vfslocked) { 496ca95b514SJohn Baldwin vfslocked = 1; 497ca95b514SJohn Baldwin if (!mtx_trylock(&Giant)) { 498ca95b514SJohn Baldwin VM_OBJECT_UNLOCK(object); 499ca95b514SJohn Baldwin mtx_lock(&Giant); 500ca95b514SJohn Baldwin goto restart; 501ca95b514SJohn Baldwin } 502ca95b514SJohn Baldwin } 50395e5e988SJohn Dyson vm_object_vndeallocate(object); 504ae51ff11SJeff Roberson VFS_UNLOCK_GIANT(vfslocked); 50523b186d3SAlan Cox return; 506ca95b514SJohn Baldwin } else 507ca95b514SJohn Baldwin /* 508ca95b514SJohn Baldwin * This is to handle the case that the object 509ca95b514SJohn Baldwin * changed type while we dropped its lock to 510ca95b514SJohn Baldwin * obtain Giant. 511ca95b514SJohn Baldwin */ 512ca95b514SJohn Baldwin VFS_UNLOCK_GIANT(vfslocked); 51395e5e988SJohn Dyson 5148125b1e6SAlfred Perlstein KASSERT(object->ref_count != 0, 5158125b1e6SAlfred Perlstein ("vm_object_deallocate: object deallocated too many times: %d", object->type)); 5162be70f79SJohn Dyson 5172be70f79SJohn Dyson /* 5188125b1e6SAlfred Perlstein * If the reference count goes to 0 we start calling 5198125b1e6SAlfred Perlstein * vm_object_terminate() on the object chain. 5208125b1e6SAlfred Perlstein * A ref count of 1 may be a special case depending on the 5218125b1e6SAlfred Perlstein * shadow count being 0 or 1. 5222be70f79SJohn Dyson */ 523c0877f10SJohn Dyson object->ref_count--; 5248125b1e6SAlfred Perlstein if (object->ref_count > 1) { 5253b68228cSAlan Cox VM_OBJECT_UNLOCK(object); 52623b186d3SAlan Cox return; 5278125b1e6SAlfred Perlstein } else if (object->ref_count == 1) { 5284c8e0452SAlan Cox if (object->shadow_count == 0 && 5294c8e0452SAlan Cox object->handle == NULL && 5304c8e0452SAlan Cox (object->type == OBJT_DEFAULT || 5314c8e0452SAlan Cox object->type == OBJT_SWAP)) { 5328125b1e6SAlfred Perlstein vm_object_set_flag(object, OBJ_ONEMAPPING); 5338125b1e6SAlfred Perlstein } else if ((object->shadow_count == 1) && 5348125b1e6SAlfred Perlstein (object->handle == NULL) && 53524a1cce3SDavid Greenman (object->type == OBJT_DEFAULT || 53624a1cce3SDavid Greenman object->type == OBJT_SWAP)) { 537a1f6d91cSDavid Greenman vm_object_t robject; 53895e5e988SJohn Dyson 5391c500307SAlan Cox robject = LIST_FIRST(&object->shadow_head); 5405526d2d9SEivind Eklund KASSERT(robject != NULL, 541219cbf59SEivind Eklund ("vm_object_deallocate: ref_count: %d, shadow_count: %d", 5425526d2d9SEivind Eklund object->ref_count, 5435526d2d9SEivind Eklund object->shadow_count)); 544b72b0115SAlan Cox if (!VM_OBJECT_TRYLOCK(robject)) { 545b72b0115SAlan Cox /* 546b72b0115SAlan Cox * Avoid a potential deadlock. 547b72b0115SAlan Cox */ 548b72b0115SAlan Cox object->ref_count++; 549b72b0115SAlan Cox VM_OBJECT_UNLOCK(object); 550a7d86121SAlan Cox /* 551a7d86121SAlan Cox * More likely than not the thread 552a7d86121SAlan Cox * holding robject's lock has lower 553a7d86121SAlan Cox * priority than the current thread. 554a7d86121SAlan Cox * Let the lower priority thread run. 555a7d86121SAlan Cox */ 5568db5fc58SJohn Baldwin pause("vmo_de", 1); 557b72b0115SAlan Cox continue; 558b72b0115SAlan Cox } 559d936694fSAlan Cox /* 560d936694fSAlan Cox * Collapse object into its shadow unless its 561d936694fSAlan Cox * shadow is dead. In that case, object will 562d936694fSAlan Cox * be deallocated by the thread that is 563d936694fSAlan Cox * deallocating its shadow. 564d936694fSAlan Cox */ 565d936694fSAlan Cox if ((robject->flags & OBJ_DEAD) == 0 && 566d936694fSAlan Cox (robject->handle == NULL) && 56724a1cce3SDavid Greenman (robject->type == OBJT_DEFAULT || 56824a1cce3SDavid Greenman robject->type == OBJT_SWAP)) { 569a1f6d91cSDavid Greenman 57095e5e988SJohn Dyson robject->ref_count++; 571138449dcSAlan Cox retry: 572138449dcSAlan Cox if (robject->paging_in_progress) { 573138449dcSAlan Cox VM_OBJECT_UNLOCK(object); 574138449dcSAlan Cox vm_object_pip_wait(robject, 575138449dcSAlan Cox "objde1"); 5762e9f4a69SAlan Cox temp = robject->backing_object; 5772e9f4a69SAlan Cox if (object == temp) { 578138449dcSAlan Cox VM_OBJECT_LOCK(object); 579138449dcSAlan Cox goto retry; 5802e9f4a69SAlan Cox } 581138449dcSAlan Cox } else if (object->paging_in_progress) { 582138449dcSAlan Cox VM_OBJECT_UNLOCK(robject); 583138449dcSAlan Cox object->flags |= OBJ_PIPWNT; 584138449dcSAlan Cox msleep(object, 585138449dcSAlan Cox VM_OBJECT_MTX(object), 586138449dcSAlan Cox PDROP | PVM, "objde2", 0); 587138449dcSAlan Cox VM_OBJECT_LOCK(robject); 5882e9f4a69SAlan Cox temp = robject->backing_object; 5892e9f4a69SAlan Cox if (object == temp) { 590138449dcSAlan Cox VM_OBJECT_LOCK(object); 591138449dcSAlan Cox goto retry; 592a1f6d91cSDavid Greenman } 5932e9f4a69SAlan Cox } else 5943b68228cSAlan Cox VM_OBJECT_UNLOCK(object); 5952e9f4a69SAlan Cox 59695e5e988SJohn Dyson if (robject->ref_count == 1) { 59795e5e988SJohn Dyson robject->ref_count--; 598ba8da839SDavid Greenman object = robject; 59995e5e988SJohn Dyson goto doterm; 60095e5e988SJohn Dyson } 60195e5e988SJohn Dyson object = robject; 60295e5e988SJohn Dyson vm_object_collapse(object); 603d7fc2210SAlan Cox VM_OBJECT_UNLOCK(object); 604ba8da839SDavid Greenman continue; 605a1f6d91cSDavid Greenman } 606b72b0115SAlan Cox VM_OBJECT_UNLOCK(robject); 60795e5e988SJohn Dyson } 6083b68228cSAlan Cox VM_OBJECT_UNLOCK(object); 60923b186d3SAlan Cox return; 61095e5e988SJohn Dyson } 61195e5e988SJohn Dyson doterm: 61224a1cce3SDavid Greenman temp = object->backing_object; 613c9917419SAlan Cox if (temp != NULL) { 614c9917419SAlan Cox VM_OBJECT_LOCK(temp); 6151c500307SAlan Cox LIST_REMOVE(object, shadow_list); 61695e5e988SJohn Dyson temp->shadow_count--; 617c9917419SAlan Cox VM_OBJECT_UNLOCK(temp); 61895461b45SJohn Dyson object->backing_object = NULL; 619de5f6a77SJohn Dyson } 620245df27cSMatthew Dillon /* 621245df27cSMatthew Dillon * Don't double-terminate, we could be in a termination 622245df27cSMatthew Dillon * recursion due to the terminate having to sync data 623245df27cSMatthew Dillon * to disk. 624245df27cSMatthew Dillon */ 625245df27cSMatthew Dillon if ((object->flags & OBJ_DEAD) == 0) 626df8bae1dSRodney W. Grimes vm_object_terminate(object); 627c829b9d0SAlan Cox else 628c829b9d0SAlan Cox VM_OBJECT_UNLOCK(object); 629df8bae1dSRodney W. Grimes object = temp; 630df8bae1dSRodney W. Grimes } 631df8bae1dSRodney W. Grimes } 632df8bae1dSRodney W. Grimes 633df8bae1dSRodney W. Grimes /* 6342ac78f0eSStephan Uphoff * vm_object_destroy removes the object from the global object list 6352ac78f0eSStephan Uphoff * and frees the space for the object. 6362ac78f0eSStephan Uphoff */ 6372ac78f0eSStephan Uphoff void 6382ac78f0eSStephan Uphoff vm_object_destroy(vm_object_t object) 6392ac78f0eSStephan Uphoff { 6402ac78f0eSStephan Uphoff 6412ac78f0eSStephan Uphoff /* 6422ac78f0eSStephan Uphoff * Remove the object from the global object list. 6432ac78f0eSStephan Uphoff */ 6442ac78f0eSStephan Uphoff mtx_lock(&vm_object_list_mtx); 6452ac78f0eSStephan Uphoff TAILQ_REMOVE(&vm_object_list, object, object_list); 6462ac78f0eSStephan Uphoff mtx_unlock(&vm_object_list_mtx); 6472ac78f0eSStephan Uphoff 6482ac78f0eSStephan Uphoff /* 6493364c323SKonstantin Belousov * Release the allocation charge. 6503364c323SKonstantin Belousov */ 651ef694c1aSEdward Tomasz Napierala if (object->cred != NULL) { 6523364c323SKonstantin Belousov KASSERT(object->type == OBJT_DEFAULT || 6533364c323SKonstantin Belousov object->type == OBJT_SWAP, 654ef694c1aSEdward Tomasz Napierala ("vm_object_terminate: non-swap obj %p has cred", 6553364c323SKonstantin Belousov object)); 656ef694c1aSEdward Tomasz Napierala swap_release_by_cred(object->charge, object->cred); 6573364c323SKonstantin Belousov object->charge = 0; 658ef694c1aSEdward Tomasz Napierala crfree(object->cred); 659ef694c1aSEdward Tomasz Napierala object->cred = NULL; 6603364c323SKonstantin Belousov } 6613364c323SKonstantin Belousov 6623364c323SKonstantin Belousov /* 6632ac78f0eSStephan Uphoff * Free the space for the object. 6642ac78f0eSStephan Uphoff */ 6652ac78f0eSStephan Uphoff uma_zfree(obj_zone, object); 6662ac78f0eSStephan Uphoff } 6672ac78f0eSStephan Uphoff 6682ac78f0eSStephan Uphoff /* 669df8bae1dSRodney W. Grimes * vm_object_terminate actually destroys the specified object, freeing 670df8bae1dSRodney W. Grimes * up all previously used resources. 671df8bae1dSRodney W. Grimes * 672df8bae1dSRodney W. Grimes * The object must be locked. 6731c7c3c6aSMatthew Dillon * This routine may block. 674df8bae1dSRodney W. Grimes */ 67595e5e988SJohn Dyson void 6761b40f8c0SMatthew Dillon vm_object_terminate(vm_object_t object) 677df8bae1dSRodney W. Grimes { 67817ea6f00SAlan Cox vm_page_t p, p_next; 679df8bae1dSRodney W. Grimes 680c829b9d0SAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 6810cddd8f0SMatthew Dillon 68295e5e988SJohn Dyson /* 68395e5e988SJohn Dyson * Make sure no one uses us. 68495e5e988SJohn Dyson */ 685069e9bc1SDoug Rabson vm_object_set_flag(object, OBJ_DEAD); 6863c631446SJohn Dyson 687df8bae1dSRodney W. Grimes /* 688f6b04d2bSDavid Greenman * wait for the pageout daemon to be done with the object 689df8bae1dSRodney W. Grimes */ 69066095752SJohn Dyson vm_object_pip_wait(object, "objtrm"); 691df8bae1dSRodney W. Grimes 6925526d2d9SEivind Eklund KASSERT(!object->paging_in_progress, 6935526d2d9SEivind Eklund ("vm_object_terminate: pageout in progress")); 69426f9a767SRodney W. Grimes 69526f9a767SRodney W. Grimes /* 6960d94caffSDavid Greenman * Clean and free the pages, as appropriate. All references to the 6970d94caffSDavid Greenman * object are gone, so we don't need to lock it. 69826f9a767SRodney W. Grimes */ 69924a1cce3SDavid Greenman if (object->type == OBJT_VNODE) { 700f7dd7b63SAlan Cox struct vnode *vp = (struct vnode *)object->handle; 70195e5e988SJohn Dyson 70295e5e988SJohn Dyson /* 70395e5e988SJohn Dyson * Clean pages and flush buffers. 70495e5e988SJohn Dyson */ 7058f9110f6SJohn Dyson vm_object_page_clean(object, 0, 0, OBJPC_SYNC); 706b6e48e03SAlan Cox VM_OBJECT_UNLOCK(object); 70795e5e988SJohn Dyson 7080d7935fdSAttilio Rao vinvalbuf(vp, V_SAVE, 0, 0); 709f7dd7b63SAlan Cox 710f7dd7b63SAlan Cox VM_OBJECT_LOCK(object); 711bef608bdSJohn Dyson } 712bef608bdSJohn Dyson 713971dd342SAlfred Perlstein KASSERT(object->ref_count == 0, 714971dd342SAlfred Perlstein ("vm_object_terminate: object with references, ref_count=%d", 715971dd342SAlfred Perlstein object->ref_count)); 716996c772fSJohn Dyson 7170d94caffSDavid Greenman /* 71817ea6f00SAlan Cox * Free any remaining pageable pages. This also removes them from the 71917ea6f00SAlan Cox * paging queues. However, don't free wired pages, just remove them 72017ea6f00SAlan Cox * from the object. Rather than incrementally removing each page from 72117ea6f00SAlan Cox * the object, the page and object are reset to any empty state. 722df8bae1dSRodney W. Grimes */ 72317ea6f00SAlan Cox TAILQ_FOREACH_SAFE(p, &object->memq, listq, p_next) { 7249af80719SAlan Cox KASSERT(!p->busy && (p->oflags & VPO_BUSY) == 0, 72517ea6f00SAlan Cox ("vm_object_terminate: freeing busy page %p", p)); 7262965a453SKip Macy vm_page_lock(p); 72717ea6f00SAlan Cox /* 72817ea6f00SAlan Cox * Optimize the page's removal from the object by resetting 72917ea6f00SAlan Cox * its "object" field. Specifically, if the page is not 73017ea6f00SAlan Cox * wired, then the effect of this assignment is that 73117ea6f00SAlan Cox * vm_page_free()'s call to vm_page_remove() will return 73217ea6f00SAlan Cox * immediately without modifying the page or the object. 73317ea6f00SAlan Cox */ 73417ea6f00SAlan Cox p->object = NULL; 7350b10ba98SDavid Greenman if (p->wire_count == 0) { 736df8bae1dSRodney W. Grimes vm_page_free(p); 73770721880SAlan Cox PCPU_INC(cnt.v_pfree); 73817ea6f00SAlan Cox } 7392965a453SKip Macy vm_page_unlock(p); 7402965a453SKip Macy } 74117ea6f00SAlan Cox /* 74217ea6f00SAlan Cox * If the object contained any pages, then reset it to an empty state. 74317ea6f00SAlan Cox * None of the object's fields, including "resident_page_count", were 74417ea6f00SAlan Cox * modified by the preceding loop. 74517ea6f00SAlan Cox */ 74617ea6f00SAlan Cox if (object->resident_page_count != 0) { 74717ea6f00SAlan Cox object->root = NULL; 74817ea6f00SAlan Cox TAILQ_INIT(&object->memq); 74917ea6f00SAlan Cox object->resident_page_count = 0; 75017ea6f00SAlan Cox if (object->type == OBJT_VNODE) 75117ea6f00SAlan Cox vdrop(object->handle); 75217ea6f00SAlan Cox } 753bef608bdSJohn Dyson 754f8a47341SAlan Cox #if VM_NRESERVLEVEL > 0 755f8a47341SAlan Cox if (__predict_false(!LIST_EMPTY(&object->rvq))) 756f8a47341SAlan Cox vm_reserv_break_all(object); 757f8a47341SAlan Cox #endif 7587bfda801SAlan Cox if (__predict_false(object->cache != NULL)) 759c9444914SAlan Cox vm_page_cache_free(object, 0, 0); 7607bfda801SAlan Cox 7612d8acc0fSJohn Dyson /* 7629fcfb650SDavid Greenman * Let the pager know object is dead. 7639fcfb650SDavid Greenman */ 7649fcfb650SDavid Greenman vm_pager_deallocate(object); 765658ad5ffSAlan Cox VM_OBJECT_UNLOCK(object); 7669fcfb650SDavid Greenman 7672ac78f0eSStephan Uphoff vm_object_destroy(object); 76847221757SJohn Dyson } 769df8bae1dSRodney W. Grimes 770edf93b25SAlan Cox /* 771edf93b25SAlan Cox * Make the page read-only so that we can clear the object flags. However, if 772edf93b25SAlan Cox * this is a nosync mmap then the object is likely to stay dirty so do not 773edf93b25SAlan Cox * mess with the page and do not clear the object flags. Returns TRUE if the 774edf93b25SAlan Cox * page should be flushed, and FALSE otherwise. 775edf93b25SAlan Cox */ 7763280870dSKonstantin Belousov static boolean_t 7773280870dSKonstantin Belousov vm_object_page_remove_write(vm_page_t p, int flags, int *clearobjflags) 7783280870dSKonstantin Belousov { 7793280870dSKonstantin Belousov 7803280870dSKonstantin Belousov /* 7813280870dSKonstantin Belousov * If we have been asked to skip nosync pages and this is a 7823280870dSKonstantin Belousov * nosync page, skip it. Note that the object flags were not 7833280870dSKonstantin Belousov * cleared in this case so we do not have to set them. 7843280870dSKonstantin Belousov */ 7853280870dSKonstantin Belousov if ((flags & OBJPC_NOSYNC) != 0 && (p->oflags & VPO_NOSYNC) != 0) { 7863280870dSKonstantin Belousov *clearobjflags = 0; 7873280870dSKonstantin Belousov return (FALSE); 7883280870dSKonstantin Belousov } else { 7893280870dSKonstantin Belousov pmap_remove_write(p); 7903280870dSKonstantin Belousov return (p->dirty != 0); 7913280870dSKonstantin Belousov } 7923280870dSKonstantin Belousov } 7933280870dSKonstantin Belousov 794df8bae1dSRodney W. Grimes /* 795df8bae1dSRodney W. Grimes * vm_object_page_clean 796df8bae1dSRodney W. Grimes * 7974f79d873SMatthew Dillon * Clean all dirty pages in the specified range of object. Leaves page 7984f79d873SMatthew Dillon * on whatever queue it is currently on. If NOSYNC is set then do not 799b146f9e5SAlan Cox * write out pages with VPO_NOSYNC set (originally comes from MAP_NOSYNC), 8004f79d873SMatthew Dillon * leaving the object dirty. 80126f9a767SRodney W. Grimes * 80243b7990eSMatthew Dillon * When stuffing pages asynchronously, allow clustering. XXX we need a 80343b7990eSMatthew Dillon * synchronous clustering mode implementation. 80443b7990eSMatthew Dillon * 80526f9a767SRodney W. Grimes * Odd semantics: if start == end, we clean everything. 80626f9a767SRodney W. Grimes * 80726f9a767SRodney W. Grimes * The object must be locked. 80826f9a767SRodney W. Grimes */ 809f6b04d2bSDavid Greenman void 81017f3095dSAlan Cox vm_object_page_clean(vm_object_t object, vm_ooffset_t start, vm_ooffset_t end, 811e239bb97SKonstantin Belousov int flags) 812f6b04d2bSDavid Greenman { 813e239bb97SKonstantin Belousov vm_page_t np, p; 81417f3095dSAlan Cox vm_pindex_t pi, tend, tstart; 815e239bb97SKonstantin Belousov int clearobjflags, curgeneration, n, pagerflags; 816f6b04d2bSDavid Greenman 8177bec141bSKip Macy mtx_assert(&vm_page_queue_mtx, MA_NOTOWNED); 818b6e48e03SAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 819757216f3SKonstantin Belousov KASSERT(object->type == OBJT_VNODE, ("Not a vnode object")); 820e239bb97SKonstantin Belousov if ((object->flags & OBJ_MIGHTBEDIRTY) == 0 || 821e239bb97SKonstantin Belousov object->resident_page_count == 0) 822f6b04d2bSDavid Greenman return; 823f6b04d2bSDavid Greenman 824e239bb97SKonstantin Belousov pagerflags = (flags & (OBJPC_SYNC | OBJPC_INVAL)) != 0 ? 825e239bb97SKonstantin Belousov VM_PAGER_PUT_SYNC : VM_PAGER_CLUSTER_OK; 826e239bb97SKonstantin Belousov pagerflags |= (flags & OBJPC_INVAL) != 0 ? VM_PAGER_PUT_INVAL : 0; 827e239bb97SKonstantin Belousov 82817f3095dSAlan Cox tstart = OFF_TO_IDX(start); 82917f3095dSAlan Cox tend = (end == 0) ? object->size : OFF_TO_IDX(end + PAGE_MASK); 83017f3095dSAlan Cox clearobjflags = tstart == 0 && tend >= object->size; 831f6b04d2bSDavid Greenman 832bd7e5f99SJohn Dyson rescan: 8332d8acc0fSJohn Dyson curgeneration = object->generation; 8342d8acc0fSJohn Dyson 83517f3095dSAlan Cox for (p = vm_page_find_least(object, tstart); p != NULL; p = np) { 836bd7e5f99SJohn Dyson pi = p->pindex; 837e239bb97SKonstantin Belousov if (pi >= tend) 838e239bb97SKonstantin Belousov break; 839e239bb97SKonstantin Belousov np = TAILQ_NEXT(p, listq); 840e239bb97SKonstantin Belousov if (p->valid == 0) 841aef922f5SJohn Dyson continue; 842780636b7SKonstantin Belousov if (vm_page_sleep_if_busy(p, TRUE, "vpcwai")) { 843e239bb97SKonstantin Belousov if (object->generation != curgeneration) 844e239bb97SKonstantin Belousov goto rescan; 845780636b7SKonstantin Belousov np = vm_page_find_least(object, pi); 846780636b7SKonstantin Belousov continue; 847f6b04d2bSDavid Greenman } 8483280870dSKonstantin Belousov if (!vm_object_page_remove_write(p, flags, &clearobjflags)) 849bd7e5f99SJohn Dyson continue; 850e239bb97SKonstantin Belousov 8513280870dSKonstantin Belousov n = vm_object_page_collect_flush(object, p, pagerflags, 8523280870dSKonstantin Belousov flags, &clearobjflags); 8537bec141bSKip Macy if (object->generation != curgeneration) 854b9b7a4beSMatthew Dillon goto rescan; 855e239bb97SKonstantin Belousov np = vm_page_find_least(object, pi + n); 856b9b7a4beSMatthew Dillon } 857b9b7a4beSMatthew Dillon #if 0 858e239bb97SKonstantin Belousov VOP_FSYNC(vp, (pagerflags & VM_PAGER_PUT_SYNC) ? MNT_WAIT : 0); 859b9b7a4beSMatthew Dillon #endif 860b9b7a4beSMatthew Dillon 861edf93b25SAlan Cox if (clearobjflags) 8623280870dSKonstantin Belousov vm_object_clear_flag(object, OBJ_MIGHTBEDIRTY); 863b9b7a4beSMatthew Dillon } 864b9b7a4beSMatthew Dillon 865b9b7a4beSMatthew Dillon static int 8663280870dSKonstantin Belousov vm_object_page_collect_flush(vm_object_t object, vm_page_t p, int pagerflags, 8673280870dSKonstantin Belousov int flags, int *clearobjflags) 868b9b7a4beSMatthew Dillon { 8693157c503SKonstantin Belousov vm_page_t ma[vm_pageout_page_count], p_first, tp; 8703157c503SKonstantin Belousov int count, i, mreq, runlen; 871b9b7a4beSMatthew Dillon 8727bec141bSKip Macy mtx_assert(&vm_page_queue_mtx, MA_NOTOWNED); 8737bec141bSKip Macy vm_page_lock_assert(p, MA_NOTOWNED); 8747bec141bSKip Macy VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 8753157c503SKonstantin Belousov 8763157c503SKonstantin Belousov count = 1; 8773157c503SKonstantin Belousov mreq = 0; 8783157c503SKonstantin Belousov 8793157c503SKonstantin Belousov for (tp = p; count < vm_pageout_page_count; count++) { 8803157c503SKonstantin Belousov tp = vm_page_next(tp); 881e239bb97SKonstantin Belousov if (tp == NULL || tp->busy != 0 || (tp->oflags & VPO_BUSY) != 0) 882bd7e5f99SJohn Dyson break; 8833280870dSKonstantin Belousov if (!vm_object_page_remove_write(tp, flags, clearobjflags)) 884bd7e5f99SJohn Dyson break; 885bd7e5f99SJohn Dyson } 886aef922f5SJohn Dyson 8873157c503SKonstantin Belousov for (p_first = p; count < vm_pageout_page_count; count++) { 8883157c503SKonstantin Belousov tp = vm_page_prev(p_first); 889e239bb97SKonstantin Belousov if (tp == NULL || tp->busy != 0 || (tp->oflags & VPO_BUSY) != 0) 890bd7e5f99SJohn Dyson break; 8913280870dSKonstantin Belousov if (!vm_object_page_remove_write(tp, flags, clearobjflags)) 892bd7e5f99SJohn Dyson break; 8933157c503SKonstantin Belousov p_first = tp; 8943157c503SKonstantin Belousov mreq++; 895bd7e5f99SJohn Dyson } 896bd7e5f99SJohn Dyson 8973157c503SKonstantin Belousov for (tp = p_first, i = 0; i < count; tp = TAILQ_NEXT(tp, listq), i++) 8983157c503SKonstantin Belousov ma[i] = tp; 899cf2819ccSJohn Dyson 9003157c503SKonstantin Belousov vm_pageout_flush(ma, count, pagerflags, mreq, &runlen); 9011e8a675cSKonstantin Belousov return (runlen); 90226f9a767SRodney W. Grimes } 903df8bae1dSRodney W. Grimes 9041efb74fbSJohn Dyson /* 905950f8459SAlan Cox * Note that there is absolutely no sense in writing out 906950f8459SAlan Cox * anonymous objects, so we track down the vnode object 907950f8459SAlan Cox * to write out. 908950f8459SAlan Cox * We invalidate (remove) all pages from the address space 909950f8459SAlan Cox * for semantic correctness. 910950f8459SAlan Cox * 911950f8459SAlan Cox * Note: certain anonymous maps, such as MAP_NOSYNC maps, 912950f8459SAlan Cox * may start out with a NULL object. 913950f8459SAlan Cox */ 914950f8459SAlan Cox void 915950f8459SAlan Cox vm_object_sync(vm_object_t object, vm_ooffset_t offset, vm_size_t size, 916950f8459SAlan Cox boolean_t syncio, boolean_t invalidate) 917950f8459SAlan Cox { 918950f8459SAlan Cox vm_object_t backing_object; 919950f8459SAlan Cox struct vnode *vp; 9203b582b4eSTor Egge struct mount *mp; 921950f8459SAlan Cox int flags; 922950f8459SAlan Cox 923950f8459SAlan Cox if (object == NULL) 924950f8459SAlan Cox return; 925950f8459SAlan Cox VM_OBJECT_LOCK(object); 926950f8459SAlan Cox while ((backing_object = object->backing_object) != NULL) { 927950f8459SAlan Cox VM_OBJECT_LOCK(backing_object); 92856e0670fSAlan Cox offset += object->backing_object_offset; 929950f8459SAlan Cox VM_OBJECT_UNLOCK(object); 930950f8459SAlan Cox object = backing_object; 931950f8459SAlan Cox if (object->size < OFF_TO_IDX(offset + size)) 932950f8459SAlan Cox size = IDX_TO_OFF(object->size) - offset; 933950f8459SAlan Cox } 934950f8459SAlan Cox /* 935950f8459SAlan Cox * Flush pages if writing is allowed, invalidate them 936950f8459SAlan Cox * if invalidation requested. Pages undergoing I/O 937950f8459SAlan Cox * will be ignored by vm_object_page_remove(). 938950f8459SAlan Cox * 939950f8459SAlan Cox * We cannot lock the vnode and then wait for paging 940950f8459SAlan Cox * to complete without deadlocking against vm_fault. 941950f8459SAlan Cox * Instead we simply call vm_object_page_remove() and 942950f8459SAlan Cox * allow it to block internally on a page-by-page 943950f8459SAlan Cox * basis when it encounters pages undergoing async 944950f8459SAlan Cox * I/O. 945950f8459SAlan Cox */ 946950f8459SAlan Cox if (object->type == OBJT_VNODE && 947950f8459SAlan Cox (object->flags & OBJ_MIGHTBEDIRTY) != 0) { 948ae51ff11SJeff Roberson int vfslocked; 949950f8459SAlan Cox vp = object->handle; 950950f8459SAlan Cox VM_OBJECT_UNLOCK(object); 9513b582b4eSTor Egge (void) vn_start_write(vp, &mp, V_WAIT); 952ae51ff11SJeff Roberson vfslocked = VFS_LOCK_GIANT(vp->v_mount); 953cb05b60aSAttilio Rao vn_lock(vp, LK_EXCLUSIVE | LK_RETRY); 954950f8459SAlan Cox flags = (syncio || invalidate) ? OBJPC_SYNC : 0; 955950f8459SAlan Cox flags |= invalidate ? OBJPC_INVAL : 0; 956950f8459SAlan Cox VM_OBJECT_LOCK(object); 95717f3095dSAlan Cox vm_object_page_clean(object, offset, offset + size, flags); 958950f8459SAlan Cox VM_OBJECT_UNLOCK(object); 95922db15c0SAttilio Rao VOP_UNLOCK(vp, 0); 960ae51ff11SJeff Roberson VFS_UNLOCK_GIANT(vfslocked); 9613b582b4eSTor Egge vn_finished_write(mp); 962950f8459SAlan Cox VM_OBJECT_LOCK(object); 963950f8459SAlan Cox } 964950f8459SAlan Cox if ((object->type == OBJT_VNODE || 965950f8459SAlan Cox object->type == OBJT_DEVICE) && invalidate) { 966874f0135SDoug Rabson boolean_t purge; 967874f0135SDoug Rabson purge = old_msync || (object->type == OBJT_DEVICE); 968950f8459SAlan Cox vm_object_page_remove(object, 969950f8459SAlan Cox OFF_TO_IDX(offset), 970950f8459SAlan Cox OFF_TO_IDX(offset + size + PAGE_MASK), 971874f0135SDoug Rabson purge ? FALSE : TRUE); 972950f8459SAlan Cox } 973950f8459SAlan Cox VM_OBJECT_UNLOCK(object); 974950f8459SAlan Cox } 975950f8459SAlan Cox 976950f8459SAlan Cox /* 977867a482dSJohn Dyson * vm_object_madvise: 978867a482dSJohn Dyson * 979867a482dSJohn Dyson * Implements the madvise function at the object/page level. 9801c7c3c6aSMatthew Dillon * 981193b9358SAlan Cox * MADV_WILLNEED (any object) 982193b9358SAlan Cox * 983193b9358SAlan Cox * Activate the specified pages if they are resident. 984193b9358SAlan Cox * 985193b9358SAlan Cox * MADV_DONTNEED (any object) 986193b9358SAlan Cox * 987193b9358SAlan Cox * Deactivate the specified pages if they are resident. 988193b9358SAlan Cox * 989193b9358SAlan Cox * MADV_FREE (OBJT_DEFAULT/OBJT_SWAP objects, 990193b9358SAlan Cox * OBJ_ONEMAPPING only) 991193b9358SAlan Cox * 992193b9358SAlan Cox * Deactivate and clean the specified pages if they are 993193b9358SAlan Cox * resident. This permits the process to reuse the pages 994193b9358SAlan Cox * without faulting or the kernel to reclaim the pages 995193b9358SAlan Cox * without I/O. 996867a482dSJohn Dyson */ 997867a482dSJohn Dyson void 9981b40f8c0SMatthew Dillon vm_object_madvise(vm_object_t object, vm_pindex_t pindex, int count, int advise) 999867a482dSJohn Dyson { 10006e20a165SJohn Dyson vm_pindex_t end, tpindex; 100134567de7SAlan Cox vm_object_t backing_object, tobject; 1002867a482dSJohn Dyson vm_page_t m; 1003867a482dSJohn Dyson 1004867a482dSJohn Dyson if (object == NULL) 1005867a482dSJohn Dyson return; 10069b98b796SAlan Cox VM_OBJECT_LOCK(object); 1007867a482dSJohn Dyson end = pindex + count; 10081c7c3c6aSMatthew Dillon /* 10091c7c3c6aSMatthew Dillon * Locate and adjust resident pages 10101c7c3c6aSMatthew Dillon */ 10111c7c3c6aSMatthew Dillon for (; pindex < end; pindex += 1) { 10126e20a165SJohn Dyson relookup: 10136e20a165SJohn Dyson tobject = object; 10146e20a165SJohn Dyson tpindex = pindex; 10156e20a165SJohn Dyson shadowlookup: 101658b4e6ccSAlan Cox /* 101758b4e6ccSAlan Cox * MADV_FREE only operates on OBJT_DEFAULT or OBJT_SWAP pages 101858b4e6ccSAlan Cox * and those pages must be OBJ_ONEMAPPING. 101958b4e6ccSAlan Cox */ 102058b4e6ccSAlan Cox if (advise == MADV_FREE) { 102158b4e6ccSAlan Cox if ((tobject->type != OBJT_DEFAULT && 102258b4e6ccSAlan Cox tobject->type != OBJT_SWAP) || 102358b4e6ccSAlan Cox (tobject->flags & OBJ_ONEMAPPING) == 0) { 102434567de7SAlan Cox goto unlock_tobject; 10256e20a165SJohn Dyson } 10266a2a3d73SAlan Cox } else if (tobject->type == OBJT_PHYS) 10276a2a3d73SAlan Cox goto unlock_tobject; 10281c7c3c6aSMatthew Dillon m = vm_page_lookup(tobject, tpindex); 10297bfda801SAlan Cox if (m == NULL && advise == MADV_WILLNEED) { 10307bfda801SAlan Cox /* 10317bfda801SAlan Cox * If the page is cached, reactivate it. 10327bfda801SAlan Cox */ 1033f3a2ed4bSAlan Cox m = vm_page_alloc(tobject, tpindex, VM_ALLOC_IFCACHED | 1034f3a2ed4bSAlan Cox VM_ALLOC_NOBUSY); 10357bfda801SAlan Cox } 10361c7c3c6aSMatthew Dillon if (m == NULL) { 10371ce137beSMatthew Dillon /* 10381ce137beSMatthew Dillon * There may be swap even if there is no backing page 10391ce137beSMatthew Dillon */ 10401ce137beSMatthew Dillon if (advise == MADV_FREE && tobject->type == OBJT_SWAP) 10411ce137beSMatthew Dillon swap_pager_freespace(tobject, tpindex, 1); 10421ce137beSMatthew Dillon /* 10431ce137beSMatthew Dillon * next object 10441ce137beSMatthew Dillon */ 104534567de7SAlan Cox backing_object = tobject->backing_object; 104634567de7SAlan Cox if (backing_object == NULL) 104734567de7SAlan Cox goto unlock_tobject; 104834567de7SAlan Cox VM_OBJECT_LOCK(backing_object); 104956e0670fSAlan Cox tpindex += OFF_TO_IDX(tobject->backing_object_offset); 10509b98b796SAlan Cox if (tobject != object) 105134567de7SAlan Cox VM_OBJECT_UNLOCK(tobject); 105234567de7SAlan Cox tobject = backing_object; 10536e20a165SJohn Dyson goto shadowlookup; 10546a2a3d73SAlan Cox } else if (m->valid != VM_PAGE_BITS_ALL) 10556a2a3d73SAlan Cox goto unlock_tobject; 1056867a482dSJohn Dyson /* 10576a2a3d73SAlan Cox * If the page is not in a normal state, skip it. 1058867a482dSJohn Dyson */ 10592965a453SKip Macy vm_page_lock(m); 10606a2a3d73SAlan Cox if (m->hold_count != 0 || m->wire_count != 0) { 10612965a453SKip Macy vm_page_unlock(m); 106234567de7SAlan Cox goto unlock_tobject; 10636e20a165SJohn Dyson } 1064567e51e1SAlan Cox KASSERT((m->flags & (PG_FICTITIOUS | PG_UNMANAGED)) == 0, 1065567e51e1SAlan Cox ("vm_object_madvise: page %p is not managed", m)); 10669af80719SAlan Cox if ((m->oflags & VPO_BUSY) || m->busy) { 1067567e51e1SAlan Cox if (advise == MADV_WILLNEED) { 1068b11b56b5SAlan Cox /* 1069b11b56b5SAlan Cox * Reference the page before unlocking and 1070b11b56b5SAlan Cox * sleeping so that the page daemon is less 1071b11b56b5SAlan Cox * likely to reclaim it. 1072b11b56b5SAlan Cox */ 1073567e51e1SAlan Cox vm_page_lock_queues(); 10745786be7cSAlan Cox vm_page_flag_set(m, PG_REFERENCED); 107591449ce9SAlan Cox vm_page_unlock_queues(); 1076567e51e1SAlan Cox } 10772965a453SKip Macy vm_page_unlock(m); 10789b98b796SAlan Cox if (object != tobject) 10799b98b796SAlan Cox VM_OBJECT_UNLOCK(object); 10805786be7cSAlan Cox m->oflags |= VPO_WANTED; 1081b11b56b5SAlan Cox msleep(m, VM_OBJECT_MTX(tobject), PDROP | PVM, "madvpo", 1082b11b56b5SAlan Cox 0); 10839b98b796SAlan Cox VM_OBJECT_LOCK(object); 10846e20a165SJohn Dyson goto relookup; 108534567de7SAlan Cox } 1086867a482dSJohn Dyson if (advise == MADV_WILLNEED) { 1087867a482dSJohn Dyson vm_page_activate(m); 10886e20a165SJohn Dyson } else if (advise == MADV_DONTNEED) { 1089479112dfSMatthew Dillon vm_page_dontneed(m); 10900a47b48bSJohn Dyson } else if (advise == MADV_FREE) { 10911c7c3c6aSMatthew Dillon /* 10922aaeadf8SMatthew Dillon * Mark the page clean. This will allow the page 10932aaeadf8SMatthew Dillon * to be freed up by the system. However, such pages 10942aaeadf8SMatthew Dillon * are often reused quickly by malloc()/free() 10952aaeadf8SMatthew Dillon * so we do not do anything that would cause 10962aaeadf8SMatthew Dillon * a page fault if we can help it. 10972aaeadf8SMatthew Dillon * 10982aaeadf8SMatthew Dillon * Specifically, we do not try to actually free 10992aaeadf8SMatthew Dillon * the page now nor do we try to put it in the 11002aaeadf8SMatthew Dillon * cache (which would cause a page fault on reuse). 110141c67e12SMatthew Dillon * 110241c67e12SMatthew Dillon * But we do make the page is freeable as we 110341c67e12SMatthew Dillon * can without actually taking the step of unmapping 110441c67e12SMatthew Dillon * it. 11051c7c3c6aSMatthew Dillon */ 11060385347cSPeter Wemm pmap_clear_modify(m); 11076e20a165SJohn Dyson m->dirty = 0; 110841c67e12SMatthew Dillon m->act_count = 0; 1109479112dfSMatthew Dillon vm_page_dontneed(m); 1110867a482dSJohn Dyson } 11112965a453SKip Macy vm_page_unlock(m); 11122999e9faSAlan Cox if (advise == MADV_FREE && tobject->type == OBJT_SWAP) 11132999e9faSAlan Cox swap_pager_freespace(tobject, tpindex, 1); 111434567de7SAlan Cox unlock_tobject: 11159b98b796SAlan Cox if (tobject != object) 111634567de7SAlan Cox VM_OBJECT_UNLOCK(tobject); 1117867a482dSJohn Dyson } 11189b98b796SAlan Cox VM_OBJECT_UNLOCK(object); 1119867a482dSJohn Dyson } 1120867a482dSJohn Dyson 1121867a482dSJohn Dyson /* 1122df8bae1dSRodney W. Grimes * vm_object_shadow: 1123df8bae1dSRodney W. Grimes * 1124df8bae1dSRodney W. Grimes * Create a new object which is backed by the 1125df8bae1dSRodney W. Grimes * specified existing object range. The source 1126df8bae1dSRodney W. Grimes * object reference is deallocated. 1127df8bae1dSRodney W. Grimes * 1128df8bae1dSRodney W. Grimes * The new object and offset into that object 1129df8bae1dSRodney W. Grimes * are returned in the source parameters. 1130df8bae1dSRodney W. Grimes */ 113126f9a767SRodney W. Grimes void 11321b40f8c0SMatthew Dillon vm_object_shadow( 11331b40f8c0SMatthew Dillon vm_object_t *object, /* IN/OUT */ 11341b40f8c0SMatthew Dillon vm_ooffset_t *offset, /* IN/OUT */ 11351b40f8c0SMatthew Dillon vm_size_t length) 1136df8bae1dSRodney W. Grimes { 1137d031cff1SMatthew Dillon vm_object_t source; 1138d031cff1SMatthew Dillon vm_object_t result; 1139df8bae1dSRodney W. Grimes 1140df8bae1dSRodney W. Grimes source = *object; 1141df8bae1dSRodney W. Grimes 1142df8bae1dSRodney W. Grimes /* 11439a2f6362SAlan Cox * Don't create the new object if the old object isn't shared. 11449a2f6362SAlan Cox */ 1145570a2f4aSAlan Cox if (source != NULL) { 1146570a2f4aSAlan Cox VM_OBJECT_LOCK(source); 1147570a2f4aSAlan Cox if (source->ref_count == 1 && 11489a2f6362SAlan Cox source->handle == NULL && 11499a2f6362SAlan Cox (source->type == OBJT_DEFAULT || 11509917e010SAlan Cox source->type == OBJT_SWAP)) { 1151570a2f4aSAlan Cox VM_OBJECT_UNLOCK(source); 11529a2f6362SAlan Cox return; 11539917e010SAlan Cox } 1154570a2f4aSAlan Cox VM_OBJECT_UNLOCK(source); 1155570a2f4aSAlan Cox } 11569a2f6362SAlan Cox 11579a2f6362SAlan Cox /* 1158570a2f4aSAlan Cox * Allocate a new object with the given length. 1159df8bae1dSRodney W. Grimes */ 11600cc74f14SAlan Cox result = vm_object_allocate(OBJT_DEFAULT, atop(length)); 1161df8bae1dSRodney W. Grimes 1162df8bae1dSRodney W. Grimes /* 11630d94caffSDavid Greenman * The new object shadows the source object, adding a reference to it. 11640d94caffSDavid Greenman * Our caller changes his reference to point to the new object, 11650d94caffSDavid Greenman * removing a reference to the source object. Net result: no change 11660d94caffSDavid Greenman * of reference count. 11679b09fe24SMatthew Dillon * 11689b09fe24SMatthew Dillon * Try to optimize the result object's page color when shadowing 1169956f3135SPhilippe Charnier * in order to maintain page coloring consistency in the combined 11709b09fe24SMatthew Dillon * shadowed object. 1171df8bae1dSRodney W. Grimes */ 117224a1cce3SDavid Greenman result->backing_object = source; 11739174ca7bSTor Egge /* 11749174ca7bSTor Egge * Store the offset into the source object, and fix up the offset into 11759174ca7bSTor Egge * the new object. 11769174ca7bSTor Egge */ 11779174ca7bSTor Egge result->backing_object_offset = *offset; 1178570a2f4aSAlan Cox if (source != NULL) { 1179570a2f4aSAlan Cox VM_OBJECT_LOCK(source); 11801c500307SAlan Cox LIST_INSERT_HEAD(&source->shadow_head, result, shadow_list); 1181eaf13dd7SJohn Dyson source->shadow_count++; 1182f8a47341SAlan Cox #if VM_NRESERVLEVEL > 0 11837b54b1a9SAlan Cox result->flags |= source->flags & OBJ_COLORED; 1184f8a47341SAlan Cox result->pg_color = (source->pg_color + OFF_TO_IDX(*offset)) & 1185f8a47341SAlan Cox ((1 << (VM_NFREEORDER - 1)) - 1); 1186f8a47341SAlan Cox #endif 1187570a2f4aSAlan Cox VM_OBJECT_UNLOCK(source); 1188de5f6a77SJohn Dyson } 1189df8bae1dSRodney W. Grimes 1190df8bae1dSRodney W. Grimes 1191df8bae1dSRodney W. Grimes /* 1192df8bae1dSRodney W. Grimes * Return the new things 1193df8bae1dSRodney W. Grimes */ 1194df8bae1dSRodney W. Grimes *offset = 0; 1195df8bae1dSRodney W. Grimes *object = result; 1196df8bae1dSRodney W. Grimes } 1197df8bae1dSRodney W. Grimes 1198c5aaa06dSAlan Cox /* 1199c5aaa06dSAlan Cox * vm_object_split: 1200c5aaa06dSAlan Cox * 1201c5aaa06dSAlan Cox * Split the pages in a map entry into a new object. This affords 1202c5aaa06dSAlan Cox * easier removal of unused pages, and keeps object inheritance from 1203c5aaa06dSAlan Cox * being a negative impact on memory usage. 1204c5aaa06dSAlan Cox */ 1205c5aaa06dSAlan Cox void 1206c5aaa06dSAlan Cox vm_object_split(vm_map_entry_t entry) 1207c5aaa06dSAlan Cox { 120873000556SAlan Cox vm_page_t m, m_next; 1209c5aaa06dSAlan Cox vm_object_t orig_object, new_object, source; 121073000556SAlan Cox vm_pindex_t idx, offidxstart; 121173000556SAlan Cox vm_size_t size; 1212c5aaa06dSAlan Cox 1213c5aaa06dSAlan Cox orig_object = entry->object.vm_object; 1214c5aaa06dSAlan Cox if (orig_object->type != OBJT_DEFAULT && orig_object->type != OBJT_SWAP) 1215c5aaa06dSAlan Cox return; 1216c5aaa06dSAlan Cox if (orig_object->ref_count <= 1) 1217c5aaa06dSAlan Cox return; 12184da9f125SAlan Cox VM_OBJECT_UNLOCK(orig_object); 1219c5aaa06dSAlan Cox 12204da9f125SAlan Cox offidxstart = OFF_TO_IDX(entry->offset); 122195442adfSAlan Cox size = atop(entry->end - entry->start); 1222c5aaa06dSAlan Cox 12234da9f125SAlan Cox /* 12244da9f125SAlan Cox * If swap_pager_copy() is later called, it will convert new_object 12254da9f125SAlan Cox * into a swap object. 12264da9f125SAlan Cox */ 12274da9f125SAlan Cox new_object = vm_object_allocate(OBJT_DEFAULT, size); 1228c5aaa06dSAlan Cox 1229c5474b8fSAlan Cox /* 1230c5474b8fSAlan Cox * At this point, the new object is still private, so the order in 1231c5474b8fSAlan Cox * which the original and new objects are locked does not matter. 1232c5474b8fSAlan Cox */ 123363f6cefcSAlan Cox VM_OBJECT_LOCK(new_object); 123463f6cefcSAlan Cox VM_OBJECT_LOCK(orig_object); 1235c5aaa06dSAlan Cox source = orig_object->backing_object; 1236c5aaa06dSAlan Cox if (source != NULL) { 12378e3a76fbSAlan Cox VM_OBJECT_LOCK(source); 123819c244d0SAlan Cox if ((source->flags & OBJ_DEAD) != 0) { 123919c244d0SAlan Cox VM_OBJECT_UNLOCK(source); 124019c244d0SAlan Cox VM_OBJECT_UNLOCK(orig_object); 124119c244d0SAlan Cox VM_OBJECT_UNLOCK(new_object); 124219c244d0SAlan Cox vm_object_deallocate(new_object); 124319c244d0SAlan Cox VM_OBJECT_LOCK(orig_object); 124419c244d0SAlan Cox return; 124519c244d0SAlan Cox } 12461c500307SAlan Cox LIST_INSERT_HEAD(&source->shadow_head, 1247c5aaa06dSAlan Cox new_object, shadow_list); 12488e3a76fbSAlan Cox source->shadow_count++; 1249b921a12bSAlan Cox vm_object_reference_locked(source); /* for new_object */ 1250c5aaa06dSAlan Cox vm_object_clear_flag(source, OBJ_ONEMAPPING); 1251e2479b4fSAlan Cox VM_OBJECT_UNLOCK(source); 1252c5aaa06dSAlan Cox new_object->backing_object_offset = 12534da9f125SAlan Cox orig_object->backing_object_offset + entry->offset; 1254c5aaa06dSAlan Cox new_object->backing_object = source; 1255c5aaa06dSAlan Cox } 1256ef694c1aSEdward Tomasz Napierala if (orig_object->cred != NULL) { 1257ef694c1aSEdward Tomasz Napierala new_object->cred = orig_object->cred; 1258ef694c1aSEdward Tomasz Napierala crhold(orig_object->cred); 12593364c323SKonstantin Belousov new_object->charge = ptoa(size); 12603364c323SKonstantin Belousov KASSERT(orig_object->charge >= ptoa(size), 12613364c323SKonstantin Belousov ("orig_object->charge < 0")); 12623364c323SKonstantin Belousov orig_object->charge -= ptoa(size); 12633364c323SKonstantin Belousov } 1264c5aaa06dSAlan Cox retry: 1265b382c10aSKonstantin Belousov m = vm_page_find_least(orig_object, offidxstart); 126673000556SAlan Cox for (; m != NULL && (idx = m->pindex - offidxstart) < size; 126773000556SAlan Cox m = m_next) { 126873000556SAlan Cox m_next = TAILQ_NEXT(m, listq); 1269c5aaa06dSAlan Cox 1270c5aaa06dSAlan Cox /* 1271c5aaa06dSAlan Cox * We must wait for pending I/O to complete before we can 1272c5aaa06dSAlan Cox * rename the page. 1273c5aaa06dSAlan Cox * 1274c5aaa06dSAlan Cox * We do not have to VM_PROT_NONE the page as mappings should 1275c5aaa06dSAlan Cox * not be changed by this operation. 1276c5aaa06dSAlan Cox */ 12779af80719SAlan Cox if ((m->oflags & VPO_BUSY) || m->busy) { 1278de33beddSAlan Cox VM_OBJECT_UNLOCK(new_object); 12795786be7cSAlan Cox m->oflags |= VPO_WANTED; 1280c5474b8fSAlan Cox msleep(m, VM_OBJECT_MTX(orig_object), PVM, "spltwt", 0); 1281de33beddSAlan Cox VM_OBJECT_LOCK(new_object); 1282c5aaa06dSAlan Cox goto retry; 1283de33beddSAlan Cox } 12842965a453SKip Macy vm_page_lock(m); 1285c5aaa06dSAlan Cox vm_page_rename(m, new_object, idx); 12862965a453SKip Macy vm_page_unlock(m); 1287c5aaa06dSAlan Cox /* page automatically made dirty by rename and cache handled */ 1288c5aaa06dSAlan Cox vm_page_busy(m); 1289c5aaa06dSAlan Cox } 1290d7a013c3SAlan Cox if (orig_object->type == OBJT_SWAP) { 1291c5aaa06dSAlan Cox /* 1292c7c8dd7eSAlan Cox * swap_pager_copy() can sleep, in which case the orig_object's 1293c7c8dd7eSAlan Cox * and new_object's locks are released and reacquired. 1294c5aaa06dSAlan Cox */ 1295c5aaa06dSAlan Cox swap_pager_copy(orig_object, new_object, offidxstart, 0); 12967bfda801SAlan Cox 12977bfda801SAlan Cox /* 12987bfda801SAlan Cox * Transfer any cached pages from orig_object to new_object. 12997bfda801SAlan Cox */ 13007bfda801SAlan Cox if (__predict_false(orig_object->cache != NULL)) 13017bfda801SAlan Cox vm_page_cache_transfer(orig_object, offidxstart, 13027bfda801SAlan Cox new_object); 1303c5aaa06dSAlan Cox } 1304d7a013c3SAlan Cox VM_OBJECT_UNLOCK(orig_object); 1305c7118ed6SAlan Cox TAILQ_FOREACH(m, &new_object->memq, listq) 1306c5aaa06dSAlan Cox vm_page_wakeup(m); 1307c7c8dd7eSAlan Cox VM_OBJECT_UNLOCK(new_object); 1308c5aaa06dSAlan Cox entry->object.vm_object = new_object; 1309c5aaa06dSAlan Cox entry->offset = 0LL; 1310c5aaa06dSAlan Cox vm_object_deallocate(orig_object); 13114da9f125SAlan Cox VM_OBJECT_LOCK(new_object); 1312c5aaa06dSAlan Cox } 1313c5aaa06dSAlan Cox 13142ad1a3f7SMatthew Dillon #define OBSC_TEST_ALL_SHADOWED 0x0001 13152ad1a3f7SMatthew Dillon #define OBSC_COLLAPSE_NOWAIT 0x0002 13162ad1a3f7SMatthew Dillon #define OBSC_COLLAPSE_WAIT 0x0004 13172ad1a3f7SMatthew Dillon 1318b4ae4780SPoul-Henning Kamp static int 13192ad1a3f7SMatthew Dillon vm_object_backing_scan(vm_object_t object, int op) 13202ad1a3f7SMatthew Dillon { 13212ad1a3f7SMatthew Dillon int r = 1; 13222ad1a3f7SMatthew Dillon vm_page_t p; 13232ad1a3f7SMatthew Dillon vm_object_t backing_object; 13242ad1a3f7SMatthew Dillon vm_pindex_t backing_offset_index; 13252ad1a3f7SMatthew Dillon 13267ca33ad1SAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 13277ca33ad1SAlan Cox VM_OBJECT_LOCK_ASSERT(object->backing_object, MA_OWNED); 13282ad1a3f7SMatthew Dillon 13292ad1a3f7SMatthew Dillon backing_object = object->backing_object; 13302ad1a3f7SMatthew Dillon backing_offset_index = OFF_TO_IDX(object->backing_object_offset); 13312ad1a3f7SMatthew Dillon 13322ad1a3f7SMatthew Dillon /* 13332ad1a3f7SMatthew Dillon * Initial conditions 13342ad1a3f7SMatthew Dillon */ 13352ad1a3f7SMatthew Dillon if (op & OBSC_TEST_ALL_SHADOWED) { 13362ad1a3f7SMatthew Dillon /* 13377bfda801SAlan Cox * We do not want to have to test for the existence of cache 13387bfda801SAlan Cox * or swap pages in the backing object. XXX but with the 13392ad1a3f7SMatthew Dillon * new swapper this would be pretty easy to do. 13402ad1a3f7SMatthew Dillon * 13412ad1a3f7SMatthew Dillon * XXX what about anonymous MAP_SHARED memory that hasn't 13422ad1a3f7SMatthew Dillon * been ZFOD faulted yet? If we do not test for this, the 13432ad1a3f7SMatthew Dillon * shadow test may succeed! XXX 13442ad1a3f7SMatthew Dillon */ 13452ad1a3f7SMatthew Dillon if (backing_object->type != OBJT_DEFAULT) { 13462ad1a3f7SMatthew Dillon return (0); 13472ad1a3f7SMatthew Dillon } 13482ad1a3f7SMatthew Dillon } 13492ad1a3f7SMatthew Dillon if (op & OBSC_COLLAPSE_WAIT) { 13502ad1a3f7SMatthew Dillon vm_object_set_flag(backing_object, OBJ_DEAD); 13512ad1a3f7SMatthew Dillon } 13522ad1a3f7SMatthew Dillon 13532ad1a3f7SMatthew Dillon /* 13542ad1a3f7SMatthew Dillon * Our scan 13552ad1a3f7SMatthew Dillon */ 13562ad1a3f7SMatthew Dillon p = TAILQ_FIRST(&backing_object->memq); 13572ad1a3f7SMatthew Dillon while (p) { 13582ad1a3f7SMatthew Dillon vm_page_t next = TAILQ_NEXT(p, listq); 13592ad1a3f7SMatthew Dillon vm_pindex_t new_pindex = p->pindex - backing_offset_index; 13602ad1a3f7SMatthew Dillon 13612ad1a3f7SMatthew Dillon if (op & OBSC_TEST_ALL_SHADOWED) { 13622ad1a3f7SMatthew Dillon vm_page_t pp; 13632ad1a3f7SMatthew Dillon 13642ad1a3f7SMatthew Dillon /* 13652ad1a3f7SMatthew Dillon * Ignore pages outside the parent object's range 13662ad1a3f7SMatthew Dillon * and outside the parent object's mapping of the 13672ad1a3f7SMatthew Dillon * backing object. 13682ad1a3f7SMatthew Dillon * 13692ad1a3f7SMatthew Dillon * note that we do not busy the backing object's 13702ad1a3f7SMatthew Dillon * page. 13712ad1a3f7SMatthew Dillon */ 13722ad1a3f7SMatthew Dillon if ( 13732ad1a3f7SMatthew Dillon p->pindex < backing_offset_index || 13742ad1a3f7SMatthew Dillon new_pindex >= object->size 13752ad1a3f7SMatthew Dillon ) { 13762ad1a3f7SMatthew Dillon p = next; 13772ad1a3f7SMatthew Dillon continue; 13782ad1a3f7SMatthew Dillon } 13792ad1a3f7SMatthew Dillon 13802ad1a3f7SMatthew Dillon /* 13812ad1a3f7SMatthew Dillon * See if the parent has the page or if the parent's 13822ad1a3f7SMatthew Dillon * object pager has the page. If the parent has the 13832ad1a3f7SMatthew Dillon * page but the page is not valid, the parent's 13842ad1a3f7SMatthew Dillon * object pager must have the page. 13852ad1a3f7SMatthew Dillon * 13862ad1a3f7SMatthew Dillon * If this fails, the parent does not completely shadow 13872ad1a3f7SMatthew Dillon * the object and we might as well give up now. 13882ad1a3f7SMatthew Dillon */ 13892ad1a3f7SMatthew Dillon 13902ad1a3f7SMatthew Dillon pp = vm_page_lookup(object, new_pindex); 13912ad1a3f7SMatthew Dillon if ( 13922ad1a3f7SMatthew Dillon (pp == NULL || pp->valid == 0) && 13932ad1a3f7SMatthew Dillon !vm_pager_has_page(object, new_pindex, NULL, NULL) 13942ad1a3f7SMatthew Dillon ) { 13952ad1a3f7SMatthew Dillon r = 0; 13962ad1a3f7SMatthew Dillon break; 13972ad1a3f7SMatthew Dillon } 13982ad1a3f7SMatthew Dillon } 13992ad1a3f7SMatthew Dillon 14002ad1a3f7SMatthew Dillon /* 14012ad1a3f7SMatthew Dillon * Check for busy page 14022ad1a3f7SMatthew Dillon */ 14032ad1a3f7SMatthew Dillon if (op & (OBSC_COLLAPSE_WAIT | OBSC_COLLAPSE_NOWAIT)) { 14042ad1a3f7SMatthew Dillon vm_page_t pp; 14052ad1a3f7SMatthew Dillon 14062ad1a3f7SMatthew Dillon if (op & OBSC_COLLAPSE_NOWAIT) { 14079af80719SAlan Cox if ((p->oflags & VPO_BUSY) || 14082ad1a3f7SMatthew Dillon !p->valid || 140900f9e8b4SAlan Cox p->busy) { 14102ad1a3f7SMatthew Dillon p = next; 14112ad1a3f7SMatthew Dillon continue; 14122ad1a3f7SMatthew Dillon } 14132ad1a3f7SMatthew Dillon } else if (op & OBSC_COLLAPSE_WAIT) { 14149af80719SAlan Cox if ((p->oflags & VPO_BUSY) || p->busy) { 14157ca33ad1SAlan Cox VM_OBJECT_UNLOCK(object); 14165786be7cSAlan Cox p->oflags |= VPO_WANTED; 141791449ce9SAlan Cox msleep(p, VM_OBJECT_MTX(backing_object), 14187ca33ad1SAlan Cox PDROP | PVM, "vmocol", 0); 14197ca33ad1SAlan Cox VM_OBJECT_LOCK(object); 14207ca33ad1SAlan Cox VM_OBJECT_LOCK(backing_object); 14212ad1a3f7SMatthew Dillon /* 14222ad1a3f7SMatthew Dillon * If we slept, anything could have 14232ad1a3f7SMatthew Dillon * happened. Since the object is 14242ad1a3f7SMatthew Dillon * marked dead, the backing offset 14252ad1a3f7SMatthew Dillon * should not have changed so we 14262ad1a3f7SMatthew Dillon * just restart our scan. 14272ad1a3f7SMatthew Dillon */ 14282ad1a3f7SMatthew Dillon p = TAILQ_FIRST(&backing_object->memq); 14292ad1a3f7SMatthew Dillon continue; 14302ad1a3f7SMatthew Dillon } 14312ad1a3f7SMatthew Dillon } 14322ad1a3f7SMatthew Dillon 14332ad1a3f7SMatthew Dillon KASSERT( 14342ad1a3f7SMatthew Dillon p->object == backing_object, 14358e99783bSAlan Cox ("vm_object_backing_scan: object mismatch") 14362ad1a3f7SMatthew Dillon ); 14372ad1a3f7SMatthew Dillon 14382ad1a3f7SMatthew Dillon /* 14392ad1a3f7SMatthew Dillon * Destroy any associated swap 14402ad1a3f7SMatthew Dillon */ 14412ad1a3f7SMatthew Dillon if (backing_object->type == OBJT_SWAP) { 14422ad1a3f7SMatthew Dillon swap_pager_freespace( 14432ad1a3f7SMatthew Dillon backing_object, 14442ad1a3f7SMatthew Dillon p->pindex, 14452ad1a3f7SMatthew Dillon 1 14462ad1a3f7SMatthew Dillon ); 14472ad1a3f7SMatthew Dillon } 14482ad1a3f7SMatthew Dillon 14492ad1a3f7SMatthew Dillon if ( 14502ad1a3f7SMatthew Dillon p->pindex < backing_offset_index || 14512ad1a3f7SMatthew Dillon new_pindex >= object->size 14522ad1a3f7SMatthew Dillon ) { 14532ad1a3f7SMatthew Dillon /* 14542ad1a3f7SMatthew Dillon * Page is out of the parent object's range, we 14552ad1a3f7SMatthew Dillon * can simply destroy it. 14562ad1a3f7SMatthew Dillon */ 14572965a453SKip Macy vm_page_lock(p); 1458f6d89838SAlan Cox KASSERT(!pmap_page_is_mapped(p), 1459f6d89838SAlan Cox ("freeing mapped page %p", p)); 1460f6d89838SAlan Cox if (p->wire_count == 0) 14612ad1a3f7SMatthew Dillon vm_page_free(p); 1462f6d89838SAlan Cox else 1463f6d89838SAlan Cox vm_page_remove(p); 14642965a453SKip Macy vm_page_unlock(p); 14652ad1a3f7SMatthew Dillon p = next; 14662ad1a3f7SMatthew Dillon continue; 14672ad1a3f7SMatthew Dillon } 14682ad1a3f7SMatthew Dillon 14692ad1a3f7SMatthew Dillon pp = vm_page_lookup(object, new_pindex); 14702ad1a3f7SMatthew Dillon if ( 14712ad1a3f7SMatthew Dillon pp != NULL || 14722ad1a3f7SMatthew Dillon vm_pager_has_page(object, new_pindex, NULL, NULL) 14732ad1a3f7SMatthew Dillon ) { 14742ad1a3f7SMatthew Dillon /* 14752ad1a3f7SMatthew Dillon * page already exists in parent OR swap exists 14762ad1a3f7SMatthew Dillon * for this location in the parent. Destroy 14772ad1a3f7SMatthew Dillon * the original page from the backing object. 14782ad1a3f7SMatthew Dillon * 14792ad1a3f7SMatthew Dillon * Leave the parent's page alone 14802ad1a3f7SMatthew Dillon */ 14812965a453SKip Macy vm_page_lock(p); 1482f6d89838SAlan Cox KASSERT(!pmap_page_is_mapped(p), 1483f6d89838SAlan Cox ("freeing mapped page %p", p)); 1484f6d89838SAlan Cox if (p->wire_count == 0) 14852ad1a3f7SMatthew Dillon vm_page_free(p); 1486f6d89838SAlan Cox else 1487f6d89838SAlan Cox vm_page_remove(p); 14882965a453SKip Macy vm_page_unlock(p); 14892ad1a3f7SMatthew Dillon p = next; 14902ad1a3f7SMatthew Dillon continue; 14912ad1a3f7SMatthew Dillon } 14922ad1a3f7SMatthew Dillon 1493f8a47341SAlan Cox #if VM_NRESERVLEVEL > 0 1494f8a47341SAlan Cox /* 1495f8a47341SAlan Cox * Rename the reservation. 1496f8a47341SAlan Cox */ 1497f8a47341SAlan Cox vm_reserv_rename(p, object, backing_object, 1498f8a47341SAlan Cox backing_offset_index); 1499f8a47341SAlan Cox #endif 1500f8a47341SAlan Cox 15012ad1a3f7SMatthew Dillon /* 15022ad1a3f7SMatthew Dillon * Page does not exist in parent, rename the 15032ad1a3f7SMatthew Dillon * page from the backing object to the main object. 1504d1bf5d56SMatthew Dillon * 1505d1bf5d56SMatthew Dillon * If the page was mapped to a process, it can remain 1506d1bf5d56SMatthew Dillon * mapped through the rename. 15072ad1a3f7SMatthew Dillon */ 15082965a453SKip Macy vm_page_lock(p); 15092ad1a3f7SMatthew Dillon vm_page_rename(p, object, new_pindex); 15102965a453SKip Macy vm_page_unlock(p); 15112ad1a3f7SMatthew Dillon /* page automatically made dirty by rename */ 15122ad1a3f7SMatthew Dillon } 15132ad1a3f7SMatthew Dillon p = next; 15142ad1a3f7SMatthew Dillon } 15152ad1a3f7SMatthew Dillon return (r); 15162ad1a3f7SMatthew Dillon } 15172ad1a3f7SMatthew Dillon 1518df8bae1dSRodney W. Grimes 1519df8bae1dSRodney W. Grimes /* 15202fe6e4d7SDavid Greenman * this version of collapse allows the operation to occur earlier and 15212fe6e4d7SDavid Greenman * when paging_in_progress is true for an object... This is not a complete 15222fe6e4d7SDavid Greenman * operation, but should plug 99.9% of the rest of the leaks. 15232fe6e4d7SDavid Greenman */ 15242fe6e4d7SDavid Greenman static void 15251b40f8c0SMatthew Dillon vm_object_qcollapse(vm_object_t object) 15262fe6e4d7SDavid Greenman { 15272ad1a3f7SMatthew Dillon vm_object_t backing_object = object->backing_object; 15282fe6e4d7SDavid Greenman 152906ecade7SAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 153006ecade7SAlan Cox VM_OBJECT_LOCK_ASSERT(backing_object, MA_OWNED); 15311b40f8c0SMatthew Dillon 15322fe6e4d7SDavid Greenman if (backing_object->ref_count != 1) 15332fe6e4d7SDavid Greenman return; 15342fe6e4d7SDavid Greenman 15352ad1a3f7SMatthew Dillon vm_object_backing_scan(object, OBSC_COLLAPSE_NOWAIT); 15362fe6e4d7SDavid Greenman } 15372fe6e4d7SDavid Greenman 1538df8bae1dSRodney W. Grimes /* 1539df8bae1dSRodney W. Grimes * vm_object_collapse: 1540df8bae1dSRodney W. Grimes * 1541df8bae1dSRodney W. Grimes * Collapse an object with the object backing it. 1542df8bae1dSRodney W. Grimes * Pages in the backing object are moved into the 1543df8bae1dSRodney W. Grimes * parent, and the backing object is deallocated. 1544df8bae1dSRodney W. Grimes */ 154526f9a767SRodney W. Grimes void 15461b40f8c0SMatthew Dillon vm_object_collapse(vm_object_t object) 1547df8bae1dSRodney W. Grimes { 1548d7fc2210SAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 154923955314SAlfred Perlstein 1550df8bae1dSRodney W. Grimes while (TRUE) { 15512ad1a3f7SMatthew Dillon vm_object_t backing_object; 15522ad1a3f7SMatthew Dillon 1553df8bae1dSRodney W. Grimes /* 1554df8bae1dSRodney W. Grimes * Verify that the conditions are right for collapse: 1555df8bae1dSRodney W. Grimes * 15562ad1a3f7SMatthew Dillon * The object exists and the backing object exists. 1557df8bae1dSRodney W. Grimes */ 155824a1cce3SDavid Greenman if ((backing_object = object->backing_object) == NULL) 15592ad1a3f7SMatthew Dillon break; 1560df8bae1dSRodney W. Grimes 1561f919ebdeSDavid Greenman /* 1562f919ebdeSDavid Greenman * we check the backing object first, because it is most likely 156324a1cce3SDavid Greenman * not collapsable. 1564f919ebdeSDavid Greenman */ 156540b808a8SAlan Cox VM_OBJECT_LOCK(backing_object); 156624a1cce3SDavid Greenman if (backing_object->handle != NULL || 156724a1cce3SDavid Greenman (backing_object->type != OBJT_DEFAULT && 156824a1cce3SDavid Greenman backing_object->type != OBJT_SWAP) || 1569f919ebdeSDavid Greenman (backing_object->flags & OBJ_DEAD) || 157024a1cce3SDavid Greenman object->handle != NULL || 157124a1cce3SDavid Greenman (object->type != OBJT_DEFAULT && 157224a1cce3SDavid Greenman object->type != OBJT_SWAP) || 157324a1cce3SDavid Greenman (object->flags & OBJ_DEAD)) { 157440b808a8SAlan Cox VM_OBJECT_UNLOCK(backing_object); 15752ad1a3f7SMatthew Dillon break; 157624a1cce3SDavid Greenman } 15779b4814bbSDavid Greenman 15782ad1a3f7SMatthew Dillon if ( 15792ad1a3f7SMatthew Dillon object->paging_in_progress != 0 || 15802ad1a3f7SMatthew Dillon backing_object->paging_in_progress != 0 15812ad1a3f7SMatthew Dillon ) { 1582b9921222SDavid Greenman vm_object_qcollapse(object); 158340b808a8SAlan Cox VM_OBJECT_UNLOCK(backing_object); 15842ad1a3f7SMatthew Dillon break; 1585df8bae1dSRodney W. Grimes } 158626f9a767SRodney W. Grimes /* 15870d94caffSDavid Greenman * We know that we can either collapse the backing object (if 15882ad1a3f7SMatthew Dillon * the parent is the only reference to it) or (perhaps) have 15892ad1a3f7SMatthew Dillon * the parent bypass the object if the parent happens to shadow 15902ad1a3f7SMatthew Dillon * all the resident pages in the entire backing object. 15912ad1a3f7SMatthew Dillon * 15922ad1a3f7SMatthew Dillon * This is ignoring pager-backed pages such as swap pages. 15932ad1a3f7SMatthew Dillon * vm_object_backing_scan fails the shadowing test in this 15942ad1a3f7SMatthew Dillon * case. 1595df8bae1dSRodney W. Grimes */ 1596df8bae1dSRodney W. Grimes if (backing_object->ref_count == 1) { 1597df8bae1dSRodney W. Grimes /* 15982ad1a3f7SMatthew Dillon * If there is exactly one reference to the backing 15992ad1a3f7SMatthew Dillon * object, we can collapse it into the parent. 1600df8bae1dSRodney W. Grimes */ 16012ad1a3f7SMatthew Dillon vm_object_backing_scan(object, OBSC_COLLAPSE_WAIT); 1602df8bae1dSRodney W. Grimes 1603f8a47341SAlan Cox #if VM_NRESERVLEVEL > 0 1604f8a47341SAlan Cox /* 1605f8a47341SAlan Cox * Break any reservations from backing_object. 1606f8a47341SAlan Cox */ 1607f8a47341SAlan Cox if (__predict_false(!LIST_EMPTY(&backing_object->rvq))) 1608f8a47341SAlan Cox vm_reserv_break_all(backing_object); 1609f8a47341SAlan Cox #endif 1610f8a47341SAlan Cox 1611df8bae1dSRodney W. Grimes /* 1612df8bae1dSRodney W. Grimes * Move the pager from backing_object to object. 1613df8bae1dSRodney W. Grimes */ 16146be36525SAlan Cox if (backing_object->type == OBJT_SWAP) { 161524a1cce3SDavid Greenman /* 1616c7c8dd7eSAlan Cox * swap_pager_copy() can sleep, in which case 1617c7c8dd7eSAlan Cox * the backing_object's and object's locks are 1618c7c8dd7eSAlan Cox * released and reacquired. 161924a1cce3SDavid Greenman */ 16201c7c3c6aSMatthew Dillon swap_pager_copy( 16211c7c3c6aSMatthew Dillon backing_object, 16221c7c3c6aSMatthew Dillon object, 16231c7c3c6aSMatthew Dillon OFF_TO_IDX(object->backing_object_offset), TRUE); 16247bfda801SAlan Cox 16257bfda801SAlan Cox /* 16267bfda801SAlan Cox * Free any cached pages from backing_object. 16277bfda801SAlan Cox */ 16287bfda801SAlan Cox if (__predict_false(backing_object->cache != NULL)) 1629c9444914SAlan Cox vm_page_cache_free(backing_object, 0, 0); 1630c0503609SDavid Greenman } 1631df8bae1dSRodney W. Grimes /* 1632df8bae1dSRodney W. Grimes * Object now shadows whatever backing_object did. 16332ad1a3f7SMatthew Dillon * Note that the reference to 16342ad1a3f7SMatthew Dillon * backing_object->backing_object moves from within 16352ad1a3f7SMatthew Dillon * backing_object to within object. 1636df8bae1dSRodney W. Grimes */ 16371c500307SAlan Cox LIST_REMOVE(object, shadow_list); 16384f7c7f6eSAlan Cox backing_object->shadow_count--; 1639de5f6a77SJohn Dyson if (backing_object->backing_object) { 16406be36525SAlan Cox VM_OBJECT_LOCK(backing_object->backing_object); 16411c500307SAlan Cox LIST_REMOVE(backing_object, shadow_list); 164243186e53SAlan Cox LIST_INSERT_HEAD( 164343186e53SAlan Cox &backing_object->backing_object->shadow_head, 164443186e53SAlan Cox object, shadow_list); 164543186e53SAlan Cox /* 164643186e53SAlan Cox * The shadow_count has not changed. 164743186e53SAlan Cox */ 16486be36525SAlan Cox VM_OBJECT_UNLOCK(backing_object->backing_object); 1649de5f6a77SJohn Dyson } 165024a1cce3SDavid Greenman object->backing_object = backing_object->backing_object; 16512ad1a3f7SMatthew Dillon object->backing_object_offset += 16522ad1a3f7SMatthew Dillon backing_object->backing_object_offset; 16532ad1a3f7SMatthew Dillon 1654df8bae1dSRodney W. Grimes /* 1655df8bae1dSRodney W. Grimes * Discard backing_object. 1656df8bae1dSRodney W. Grimes * 16570d94caffSDavid Greenman * Since the backing object has no pages, no pager left, 16580d94caffSDavid Greenman * and no object references within it, all that is 16590d94caffSDavid Greenman * necessary is to dispose of it. 1660df8bae1dSRodney W. Grimes */ 16619b4d473aSKonstantin Belousov KASSERT(backing_object->ref_count == 1, ( 16629b4d473aSKonstantin Belousov "backing_object %p was somehow re-referenced during collapse!", 16639b4d473aSKonstantin Belousov backing_object)); 16646be36525SAlan Cox VM_OBJECT_UNLOCK(backing_object); 16659b4d473aSKonstantin Belousov vm_object_destroy(backing_object); 1666df8bae1dSRodney W. Grimes 1667df8bae1dSRodney W. Grimes object_collapses++; 16680d94caffSDavid Greenman } else { 166995e5e988SJohn Dyson vm_object_t new_backing_object; 1670df8bae1dSRodney W. Grimes 1671df8bae1dSRodney W. Grimes /* 16722ad1a3f7SMatthew Dillon * If we do not entirely shadow the backing object, 16732ad1a3f7SMatthew Dillon * there is nothing we can do so we give up. 1674df8bae1dSRodney W. Grimes */ 1675df59a0feSJeff Roberson if (object->resident_page_count != object->size && 1676df59a0feSJeff Roberson vm_object_backing_scan(object, 1677df59a0feSJeff Roberson OBSC_TEST_ALL_SHADOWED) == 0) { 167840b808a8SAlan Cox VM_OBJECT_UNLOCK(backing_object); 16792ad1a3f7SMatthew Dillon break; 168024a1cce3SDavid Greenman } 1681df8bae1dSRodney W. Grimes 1682df8bae1dSRodney W. Grimes /* 16830d94caffSDavid Greenman * Make the parent shadow the next object in the 16840d94caffSDavid Greenman * chain. Deallocating backing_object will not remove 16850d94caffSDavid Greenman * it, since its reference count is at least 2. 1686df8bae1dSRodney W. Grimes */ 16871c500307SAlan Cox LIST_REMOVE(object, shadow_list); 1688eaf13dd7SJohn Dyson backing_object->shadow_count--; 168995e5e988SJohn Dyson 169095e5e988SJohn Dyson new_backing_object = backing_object->backing_object; 16918aef1712SMatthew Dillon if ((object->backing_object = new_backing_object) != NULL) { 16926be36525SAlan Cox VM_OBJECT_LOCK(new_backing_object); 16931c500307SAlan Cox LIST_INSERT_HEAD( 16942ad1a3f7SMatthew Dillon &new_backing_object->shadow_head, 16952ad1a3f7SMatthew Dillon object, 16962ad1a3f7SMatthew Dillon shadow_list 16972ad1a3f7SMatthew Dillon ); 1698eaf13dd7SJohn Dyson new_backing_object->shadow_count++; 1699b921a12bSAlan Cox vm_object_reference_locked(new_backing_object); 17006be36525SAlan Cox VM_OBJECT_UNLOCK(new_backing_object); 170195e5e988SJohn Dyson object->backing_object_offset += 170295e5e988SJohn Dyson backing_object->backing_object_offset; 1703de5f6a77SJohn Dyson } 1704df8bae1dSRodney W. Grimes 1705df8bae1dSRodney W. Grimes /* 17060d94caffSDavid Greenman * Drop the reference count on backing_object. Since 170722ec553fSAlan Cox * its ref_count was at least 2, it will not vanish. 1708df8bae1dSRodney W. Grimes */ 170922ec553fSAlan Cox backing_object->ref_count--; 171022ec553fSAlan Cox VM_OBJECT_UNLOCK(backing_object); 1711df8bae1dSRodney W. Grimes object_bypasses++; 1712df8bae1dSRodney W. Grimes } 1713df8bae1dSRodney W. Grimes 1714df8bae1dSRodney W. Grimes /* 1715df8bae1dSRodney W. Grimes * Try again with this object's new backing object. 1716df8bae1dSRodney W. Grimes */ 1717df8bae1dSRodney W. Grimes } 1718df8bae1dSRodney W. Grimes } 1719df8bae1dSRodney W. Grimes 1720df8bae1dSRodney W. Grimes /* 1721bff99f0dSAlan Cox * vm_object_page_remove: 1722df8bae1dSRodney W. Grimes * 172368855966SAlan Cox * For the given object, either frees or invalidates each of the 172468855966SAlan Cox * specified pages. In general, a page is freed. However, if a 172568855966SAlan Cox * page is wired for any reason other than the existence of a 172668855966SAlan Cox * managed, wired mapping, then it may be invalidated but not 172768855966SAlan Cox * removed from the object. Pages are specified by the given 172868855966SAlan Cox * range ["start", "end") and Boolean "clean_only". As a 172968855966SAlan Cox * special case, if "end" is zero, then the range extends from 173068855966SAlan Cox * "start" to the end of the object. If "clean_only" is TRUE, 173168855966SAlan Cox * then only the non-dirty pages within the specified range are 173268855966SAlan Cox * affected. 173368855966SAlan Cox * 173468855966SAlan Cox * In general, this operation should only be performed on objects 173568855966SAlan Cox * that contain managed pages. There are two exceptions. First, 173668855966SAlan Cox * it may be performed on the kernel and kmem objects. Second, 173768855966SAlan Cox * it may be used by msync(..., MS_INVALIDATE) to invalidate 1738a1a95cd6SAlan Cox * device-backed pages. In both of these cases, "clean_only" 1739a1a95cd6SAlan Cox * must be FALSE. 1740df8bae1dSRodney W. Grimes * 1741df8bae1dSRodney W. Grimes * The object must be locked. 1742df8bae1dSRodney W. Grimes */ 174326f9a767SRodney W. Grimes void 1744ecde4b32SAlan Cox vm_object_page_remove(vm_object_t object, vm_pindex_t start, vm_pindex_t end, 1745ecde4b32SAlan Cox boolean_t clean_only) 1746df8bae1dSRodney W. Grimes { 1747d031cff1SMatthew Dillon vm_page_t p, next; 174859677d3cSAlan Cox int wirings; 1749df8bae1dSRodney W. Grimes 1750ecde4b32SAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 1751ecde4b32SAlan Cox if (object->resident_page_count == 0) 175225732691SAlan Cox goto skipmemq; 175395e5e988SJohn Dyson 17548b03c8edSMatthew Dillon /* 17558b03c8edSMatthew Dillon * Since physically-backed objects do not use managed pages, we can't 17568b03c8edSMatthew Dillon * remove pages from the object (we must instead remove the page 17578b03c8edSMatthew Dillon * references, and then destroy the object). 17588b03c8edSMatthew Dillon */ 17599f5c801bSAlan Cox KASSERT(object->type != OBJT_PHYS || object == kernel_object || 17609f5c801bSAlan Cox object == kmem_object, 1761ecde4b32SAlan Cox ("attempt to remove pages from a physical object")); 17628b03c8edSMatthew Dillon 1763d474eaaaSDoug Rabson vm_object_pip_add(object, 1); 176426f9a767SRodney W. Grimes again: 1765b382c10aSKonstantin Belousov p = vm_page_find_least(object, start); 17662965a453SKip Macy 176775741c04SAlan Cox /* 176875741c04SAlan Cox * Assert: the variable p is either (1) the page with the 176975741c04SAlan Cox * least pindex greater than or equal to the parameter pindex 177075741c04SAlan Cox * or (2) NULL. 177175741c04SAlan Cox */ 177275741c04SAlan Cox for (; 1773bff99f0dSAlan Cox p != NULL && (p->pindex < end || end == 0); 177475741c04SAlan Cox p = next) { 1775b18bfc3dSJohn Dyson next = TAILQ_NEXT(p, listq); 177675741c04SAlan Cox 177759677d3cSAlan Cox /* 177859677d3cSAlan Cox * If the page is wired for any reason besides the 177959677d3cSAlan Cox * existence of managed, wired mappings, then it cannot 178068855966SAlan Cox * be freed. For example, fictitious pages, which 178168855966SAlan Cox * represent device memory, are inherently wired and 178268855966SAlan Cox * cannot be freed. They can, however, be invalidated 178368855966SAlan Cox * if "clean_only" is FALSE. 178459677d3cSAlan Cox */ 17852965a453SKip Macy vm_page_lock(p); 178659677d3cSAlan Cox if ((wirings = p->wire_count) != 0 && 178759677d3cSAlan Cox (wirings = pmap_page_wired_mappings(p)) != p->wire_count) { 178868855966SAlan Cox /* Fictitious pages do not have managed mappings. */ 178968855966SAlan Cox if ((p->flags & PG_FICTITIOUS) == 0) 17904fec79beSAlan Cox pmap_remove_all(p); 179159677d3cSAlan Cox /* Account for removal of managed, wired mappings. */ 179259677d3cSAlan Cox p->wire_count -= wirings; 1793a28042d1SAlan Cox if (!clean_only) { 1794bd7e5f99SJohn Dyson p->valid = 0; 1795a28042d1SAlan Cox vm_page_undirty(p); 1796a28042d1SAlan Cox } 17972965a453SKip Macy vm_page_unlock(p); 17980d94caffSDavid Greenman continue; 17990d94caffSDavid Greenman } 180032585dd6SAlan Cox if (vm_page_sleep_if_busy(p, TRUE, "vmopar")) 180126f9a767SRodney W. Grimes goto again; 180268855966SAlan Cox KASSERT((p->flags & PG_FICTITIOUS) == 0, 180368855966SAlan Cox ("vm_object_page_remove: page %p is fictitious", p)); 18048f9110f6SJohn Dyson if (clean_only && p->valid) { 180578985e42SAlan Cox pmap_remove_write(p); 18062965a453SKip Macy if (p->dirty) { 18072965a453SKip Macy vm_page_unlock(p); 18087c1f6cedSDavid Greenman continue; 18097c1f6cedSDavid Greenman } 18102965a453SKip Macy } 18114fec79beSAlan Cox pmap_remove_all(p); 181259677d3cSAlan Cox /* Account for removal of managed, wired mappings. */ 181359677d3cSAlan Cox if (wirings != 0) 181459677d3cSAlan Cox p->wire_count -= wirings; 1815df8bae1dSRodney W. Grimes vm_page_free(p); 18162965a453SKip Macy vm_page_unlock(p); 18172965a453SKip Macy } 1818f919ebdeSDavid Greenman vm_object_pip_wakeup(object); 181925732691SAlan Cox skipmemq: 1820c9444914SAlan Cox if (__predict_false(object->cache != NULL)) 1821c9444914SAlan Cox vm_page_cache_free(object, start, end); 1822c0503609SDavid Greenman } 1823df8bae1dSRodney W. Grimes 1824df8bae1dSRodney W. Grimes /* 1825387aabc5SAlan Cox * Populate the specified range of the object with valid pages. Returns 1826387aabc5SAlan Cox * TRUE if the range is successfully populated and FALSE otherwise. 1827387aabc5SAlan Cox * 1828387aabc5SAlan Cox * Note: This function should be optimized to pass a larger array of 1829387aabc5SAlan Cox * pages to vm_pager_get_pages() before it is applied to a non- 1830387aabc5SAlan Cox * OBJT_DEVICE object. 1831387aabc5SAlan Cox * 1832387aabc5SAlan Cox * The object must be locked. 1833387aabc5SAlan Cox */ 1834387aabc5SAlan Cox boolean_t 1835387aabc5SAlan Cox vm_object_populate(vm_object_t object, vm_pindex_t start, vm_pindex_t end) 1836387aabc5SAlan Cox { 1837387aabc5SAlan Cox vm_page_t m, ma[1]; 1838387aabc5SAlan Cox vm_pindex_t pindex; 1839387aabc5SAlan Cox int rv; 1840387aabc5SAlan Cox 1841387aabc5SAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 1842387aabc5SAlan Cox for (pindex = start; pindex < end; pindex++) { 1843387aabc5SAlan Cox m = vm_page_grab(object, pindex, VM_ALLOC_NORMAL | 1844387aabc5SAlan Cox VM_ALLOC_RETRY); 1845387aabc5SAlan Cox if (m->valid != VM_PAGE_BITS_ALL) { 1846387aabc5SAlan Cox ma[0] = m; 1847387aabc5SAlan Cox rv = vm_pager_get_pages(object, ma, 1, 0); 1848387aabc5SAlan Cox m = vm_page_lookup(object, pindex); 1849387aabc5SAlan Cox if (m == NULL) 1850387aabc5SAlan Cox break; 1851387aabc5SAlan Cox if (rv != VM_PAGER_OK) { 18522965a453SKip Macy vm_page_lock(m); 1853387aabc5SAlan Cox vm_page_free(m); 18542965a453SKip Macy vm_page_unlock(m); 1855387aabc5SAlan Cox break; 1856387aabc5SAlan Cox } 1857387aabc5SAlan Cox } 1858387aabc5SAlan Cox /* 1859387aabc5SAlan Cox * Keep "m" busy because a subsequent iteration may unlock 1860387aabc5SAlan Cox * the object. 1861387aabc5SAlan Cox */ 1862387aabc5SAlan Cox } 1863387aabc5SAlan Cox if (pindex > start) { 1864387aabc5SAlan Cox m = vm_page_lookup(object, start); 1865387aabc5SAlan Cox while (m != NULL && m->pindex < pindex) { 1866387aabc5SAlan Cox vm_page_wakeup(m); 1867387aabc5SAlan Cox m = TAILQ_NEXT(m, listq); 1868387aabc5SAlan Cox } 1869387aabc5SAlan Cox } 1870387aabc5SAlan Cox return (pindex == end); 1871387aabc5SAlan Cox } 1872387aabc5SAlan Cox 1873387aabc5SAlan Cox /* 1874df8bae1dSRodney W. Grimes * Routine: vm_object_coalesce 1875df8bae1dSRodney W. Grimes * Function: Coalesces two objects backing up adjoining 1876df8bae1dSRodney W. Grimes * regions of memory into a single object. 1877df8bae1dSRodney W. Grimes * 1878df8bae1dSRodney W. Grimes * returns TRUE if objects were combined. 1879df8bae1dSRodney W. Grimes * 1880df8bae1dSRodney W. Grimes * NOTE: Only works at the moment if the second object is NULL - 1881df8bae1dSRodney W. Grimes * if it's not, which object do we lock first? 1882df8bae1dSRodney W. Grimes * 1883df8bae1dSRodney W. Grimes * Parameters: 1884df8bae1dSRodney W. Grimes * prev_object First object to coalesce 1885df8bae1dSRodney W. Grimes * prev_offset Offset into prev_object 1886df8bae1dSRodney W. Grimes * prev_size Size of reference to prev_object 188757a21abaSAlan Cox * next_size Size of reference to the second object 18883364c323SKonstantin Belousov * reserved Indicator that extension region has 18893364c323SKonstantin Belousov * swap accounted for 1890df8bae1dSRodney W. Grimes * 1891df8bae1dSRodney W. Grimes * Conditions: 1892df8bae1dSRodney W. Grimes * The object must *not* be locked. 1893df8bae1dSRodney W. Grimes */ 18940d94caffSDavid Greenman boolean_t 189557a21abaSAlan Cox vm_object_coalesce(vm_object_t prev_object, vm_ooffset_t prev_offset, 18963364c323SKonstantin Belousov vm_size_t prev_size, vm_size_t next_size, boolean_t reserved) 1897df8bae1dSRodney W. Grimes { 1898ea41812fSAlan Cox vm_pindex_t next_pindex; 1899df8bae1dSRodney W. Grimes 190000e1854aSAlan Cox if (prev_object == NULL) 1901df8bae1dSRodney W. Grimes return (TRUE); 1902bdbfbaafSAlan Cox VM_OBJECT_LOCK(prev_object); 19034112823fSMatthew Dillon if (prev_object->type != OBJT_DEFAULT && 19044112823fSMatthew Dillon prev_object->type != OBJT_SWAP) { 1905bdbfbaafSAlan Cox VM_OBJECT_UNLOCK(prev_object); 190630dcfc09SJohn Dyson return (FALSE); 190730dcfc09SJohn Dyson } 190830dcfc09SJohn Dyson 1909df8bae1dSRodney W. Grimes /* 1910df8bae1dSRodney W. Grimes * Try to collapse the object first 1911df8bae1dSRodney W. Grimes */ 1912df8bae1dSRodney W. Grimes vm_object_collapse(prev_object); 1913df8bae1dSRodney W. Grimes 1914df8bae1dSRodney W. Grimes /* 19150d94caffSDavid Greenman * Can't coalesce if: . more than one reference . paged out . shadows 19160d94caffSDavid Greenman * another object . has a copy elsewhere (any of which mean that the 19170d94caffSDavid Greenman * pages not mapped to prev_entry may be in use anyway) 1918df8bae1dSRodney W. Grimes */ 19198cc7e047SJohn Dyson if (prev_object->backing_object != NULL) { 1920bdbfbaafSAlan Cox VM_OBJECT_UNLOCK(prev_object); 1921df8bae1dSRodney W. Grimes return (FALSE); 1922df8bae1dSRodney W. Grimes } 1923a316d390SJohn Dyson 1924a316d390SJohn Dyson prev_size >>= PAGE_SHIFT; 1925a316d390SJohn Dyson next_size >>= PAGE_SHIFT; 192657a21abaSAlan Cox next_pindex = OFF_TO_IDX(prev_offset) + prev_size; 19278cc7e047SJohn Dyson 19288cc7e047SJohn Dyson if ((prev_object->ref_count > 1) && 1929ea41812fSAlan Cox (prev_object->size != next_pindex)) { 1930bdbfbaafSAlan Cox VM_OBJECT_UNLOCK(prev_object); 19318cc7e047SJohn Dyson return (FALSE); 19328cc7e047SJohn Dyson } 19338cc7e047SJohn Dyson 1934df8bae1dSRodney W. Grimes /* 19353364c323SKonstantin Belousov * Account for the charge. 19363364c323SKonstantin Belousov */ 1937ef694c1aSEdward Tomasz Napierala if (prev_object->cred != NULL) { 19383364c323SKonstantin Belousov 19393364c323SKonstantin Belousov /* 19403364c323SKonstantin Belousov * If prev_object was charged, then this mapping, 19413364c323SKonstantin Belousov * althought not charged now, may become writable 1942ef694c1aSEdward Tomasz Napierala * later. Non-NULL cred in the object would prevent 19433364c323SKonstantin Belousov * swap reservation during enabling of the write 19443364c323SKonstantin Belousov * access, so reserve swap now. Failed reservation 19453364c323SKonstantin Belousov * cause allocation of the separate object for the map 19463364c323SKonstantin Belousov * entry, and swap reservation for this entry is 19473364c323SKonstantin Belousov * managed in appropriate time. 19483364c323SKonstantin Belousov */ 1949ef694c1aSEdward Tomasz Napierala if (!reserved && !swap_reserve_by_cred(ptoa(next_size), 1950ef694c1aSEdward Tomasz Napierala prev_object->cred)) { 19513364c323SKonstantin Belousov return (FALSE); 19523364c323SKonstantin Belousov } 19533364c323SKonstantin Belousov prev_object->charge += ptoa(next_size); 19543364c323SKonstantin Belousov } 19553364c323SKonstantin Belousov 19563364c323SKonstantin Belousov /* 19570d94caffSDavid Greenman * Remove any pages that may still be in the object from a previous 19580d94caffSDavid Greenman * deallocation. 1959df8bae1dSRodney W. Grimes */ 1960ea41812fSAlan Cox if (next_pindex < prev_object->size) { 1961df8bae1dSRodney W. Grimes vm_object_page_remove(prev_object, 1962ea41812fSAlan Cox next_pindex, 1963ea41812fSAlan Cox next_pindex + next_size, FALSE); 1964ea41812fSAlan Cox if (prev_object->type == OBJT_SWAP) 1965ea41812fSAlan Cox swap_pager_freespace(prev_object, 1966ea41812fSAlan Cox next_pindex, next_size); 19673364c323SKonstantin Belousov #if 0 1968ef694c1aSEdward Tomasz Napierala if (prev_object->cred != NULL) { 19693364c323SKonstantin Belousov KASSERT(prev_object->charge >= 19703364c323SKonstantin Belousov ptoa(prev_object->size - next_pindex), 19713364c323SKonstantin Belousov ("object %p overcharged 1 %jx %jx", prev_object, 19723364c323SKonstantin Belousov (uintmax_t)next_pindex, (uintmax_t)next_size)); 19733364c323SKonstantin Belousov prev_object->charge -= ptoa(prev_object->size - 19743364c323SKonstantin Belousov next_pindex); 19753364c323SKonstantin Belousov } 19763364c323SKonstantin Belousov #endif 1977ea41812fSAlan Cox } 1978df8bae1dSRodney W. Grimes 1979df8bae1dSRodney W. Grimes /* 1980df8bae1dSRodney W. Grimes * Extend the object if necessary. 1981df8bae1dSRodney W. Grimes */ 1982ea41812fSAlan Cox if (next_pindex + next_size > prev_object->size) 1983ea41812fSAlan Cox prev_object->size = next_pindex + next_size; 1984df8bae1dSRodney W. Grimes 1985bdbfbaafSAlan Cox VM_OBJECT_UNLOCK(prev_object); 1986df8bae1dSRodney W. Grimes return (TRUE); 1987df8bae1dSRodney W. Grimes } 1988df8bae1dSRodney W. Grimes 19897a5a6352SMatthew Dillon void 19907a5a6352SMatthew Dillon vm_object_set_writeable_dirty(vm_object_t object) 19917a5a6352SMatthew Dillon { 19927a5a6352SMatthew Dillon 1993de33beddSAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 19943280870dSKonstantin Belousov if (object->type != OBJT_VNODE) 19953280870dSKonstantin Belousov return; 19963280870dSKonstantin Belousov object->generation++; 19973280870dSKonstantin Belousov if ((object->flags & OBJ_MIGHTBEDIRTY) != 0) 1998ee39666aSJeff Roberson return; 1999af51d7bfSAlan Cox vm_object_set_flag(object, OBJ_MIGHTBEDIRTY); 20007a5a6352SMatthew Dillon } 20017a5a6352SMatthew Dillon 2002c7c34a24SBruce Evans #include "opt_ddb.h" 2003c3cb3e12SDavid Greenman #ifdef DDB 2004c7c34a24SBruce Evans #include <sys/kernel.h> 2005c7c34a24SBruce Evans 2006ce9edcf5SPoul-Henning Kamp #include <sys/cons.h> 2007c7c34a24SBruce Evans 2008c7c34a24SBruce Evans #include <ddb/ddb.h> 2009c7c34a24SBruce Evans 2010cac597e4SBruce Evans static int 20111b40f8c0SMatthew Dillon _vm_object_in_map(vm_map_t map, vm_object_t object, vm_map_entry_t entry) 2012a1f6d91cSDavid Greenman { 2013a1f6d91cSDavid Greenman vm_map_t tmpm; 2014a1f6d91cSDavid Greenman vm_map_entry_t tmpe; 2015a1f6d91cSDavid Greenman vm_object_t obj; 2016a1f6d91cSDavid Greenman int entcount; 2017a1f6d91cSDavid Greenman 2018a1f6d91cSDavid Greenman if (map == 0) 2019a1f6d91cSDavid Greenman return 0; 2020a1f6d91cSDavid Greenman 2021a1f6d91cSDavid Greenman if (entry == 0) { 2022a1f6d91cSDavid Greenman tmpe = map->header.next; 2023a1f6d91cSDavid Greenman entcount = map->nentries; 2024a1f6d91cSDavid Greenman while (entcount-- && (tmpe != &map->header)) { 2025a1f6d91cSDavid Greenman if (_vm_object_in_map(map, object, tmpe)) { 2026a1f6d91cSDavid Greenman return 1; 2027a1f6d91cSDavid Greenman } 2028a1f6d91cSDavid Greenman tmpe = tmpe->next; 2029a1f6d91cSDavid Greenman } 20309fdfe602SMatthew Dillon } else if (entry->eflags & MAP_ENTRY_IS_SUB_MAP) { 20319fdfe602SMatthew Dillon tmpm = entry->object.sub_map; 2032a1f6d91cSDavid Greenman tmpe = tmpm->header.next; 2033a1f6d91cSDavid Greenman entcount = tmpm->nentries; 2034a1f6d91cSDavid Greenman while (entcount-- && tmpe != &tmpm->header) { 2035a1f6d91cSDavid Greenman if (_vm_object_in_map(tmpm, object, tmpe)) { 2036a1f6d91cSDavid Greenman return 1; 2037a1f6d91cSDavid Greenman } 2038a1f6d91cSDavid Greenman tmpe = tmpe->next; 2039a1f6d91cSDavid Greenman } 20408aef1712SMatthew Dillon } else if ((obj = entry->object.vm_object) != NULL) { 204124a1cce3SDavid Greenman for (; obj; obj = obj->backing_object) 2042a1f6d91cSDavid Greenman if (obj == object) { 2043a1f6d91cSDavid Greenman return 1; 2044a1f6d91cSDavid Greenman } 2045a1f6d91cSDavid Greenman } 2046a1f6d91cSDavid Greenman return 0; 2047a1f6d91cSDavid Greenman } 2048a1f6d91cSDavid Greenman 2049cac597e4SBruce Evans static int 20501b40f8c0SMatthew Dillon vm_object_in_map(vm_object_t object) 2051a1f6d91cSDavid Greenman { 2052a1f6d91cSDavid Greenman struct proc *p; 20531005a129SJohn Baldwin 205460517fd1SJohn Baldwin /* sx_slock(&allproc_lock); */ 2055f67af5c9SXin LI FOREACH_PROC_IN_SYSTEM(p) { 2056a1f6d91cSDavid Greenman if (!p->p_vmspace /* || (p->p_flag & (P_SYSTEM|P_WEXIT)) */) 2057a1f6d91cSDavid Greenman continue; 2058553629ebSJake Burkholder if (_vm_object_in_map(&p->p_vmspace->vm_map, object, 0)) { 205960517fd1SJohn Baldwin /* sx_sunlock(&allproc_lock); */ 2060a1f6d91cSDavid Greenman return 1; 2061a1f6d91cSDavid Greenman } 2062553629ebSJake Burkholder } 206360517fd1SJohn Baldwin /* sx_sunlock(&allproc_lock); */ 2064a1f6d91cSDavid Greenman if (_vm_object_in_map(kernel_map, object, 0)) 2065a1f6d91cSDavid Greenman return 1; 2066a1f6d91cSDavid Greenman if (_vm_object_in_map(kmem_map, object, 0)) 2067a1f6d91cSDavid Greenman return 1; 2068a1f6d91cSDavid Greenman if (_vm_object_in_map(pager_map, object, 0)) 2069a1f6d91cSDavid Greenman return 1; 2070a1f6d91cSDavid Greenman if (_vm_object_in_map(buffer_map, object, 0)) 2071a1f6d91cSDavid Greenman return 1; 2072a1f6d91cSDavid Greenman return 0; 2073a1f6d91cSDavid Greenman } 2074a1f6d91cSDavid Greenman 2075c7c34a24SBruce Evans DB_SHOW_COMMAND(vmochk, vm_object_check) 2076f708ef1bSPoul-Henning Kamp { 2077a1f6d91cSDavid Greenman vm_object_t object; 2078a1f6d91cSDavid Greenman 2079a1f6d91cSDavid Greenman /* 2080a1f6d91cSDavid Greenman * make sure that internal objs are in a map somewhere 2081a1f6d91cSDavid Greenman * and none have zero ref counts. 2082a1f6d91cSDavid Greenman */ 2083cc64b484SAlfred Perlstein TAILQ_FOREACH(object, &vm_object_list, object_list) { 208424a1cce3SDavid Greenman if (object->handle == NULL && 208524a1cce3SDavid Greenman (object->type == OBJT_DEFAULT || object->type == OBJT_SWAP)) { 2086a1f6d91cSDavid Greenman if (object->ref_count == 0) { 20873efc015bSPeter Wemm db_printf("vmochk: internal obj has zero ref count: %ld\n", 20883efc015bSPeter Wemm (long)object->size); 2089a1f6d91cSDavid Greenman } 2090a1f6d91cSDavid Greenman if (!vm_object_in_map(object)) { 2091fc62ef1fSBruce Evans db_printf( 2092fc62ef1fSBruce Evans "vmochk: internal obj is not in a map: " 2093fc62ef1fSBruce Evans "ref: %d, size: %lu: 0x%lx, backing_object: %p\n", 2094fc62ef1fSBruce Evans object->ref_count, (u_long)object->size, 2095fc62ef1fSBruce Evans (u_long)object->size, 2096fc62ef1fSBruce Evans (void *)object->backing_object); 2097a1f6d91cSDavid Greenman } 2098a1f6d91cSDavid Greenman } 2099a1f6d91cSDavid Greenman } 2100a1f6d91cSDavid Greenman } 2101a1f6d91cSDavid Greenman 210226f9a767SRodney W. Grimes /* 2103df8bae1dSRodney W. Grimes * vm_object_print: [ debug ] 2104df8bae1dSRodney W. Grimes */ 2105c7c34a24SBruce Evans DB_SHOW_COMMAND(object, vm_object_print_static) 2106df8bae1dSRodney W. Grimes { 2107c7c34a24SBruce Evans /* XXX convert args. */ 2108c7c34a24SBruce Evans vm_object_t object = (vm_object_t)addr; 2109c7c34a24SBruce Evans boolean_t full = have_addr; 2110c7c34a24SBruce Evans 2111d031cff1SMatthew Dillon vm_page_t p; 2112df8bae1dSRodney W. Grimes 2113c7c34a24SBruce Evans /* XXX count is an (unused) arg. Avoid shadowing it. */ 2114c7c34a24SBruce Evans #define count was_count 2115c7c34a24SBruce Evans 2116d031cff1SMatthew Dillon int count; 2117df8bae1dSRodney W. Grimes 2118df8bae1dSRodney W. Grimes if (object == NULL) 2119df8bae1dSRodney W. Grimes return; 2120df8bae1dSRodney W. Grimes 2121eb95adefSBruce Evans db_iprintf( 2122ef694c1aSEdward Tomasz Napierala "Object %p: type=%d, size=0x%jx, res=%d, ref=%d, flags=0x%x ruid %d charge %jx\n", 2123e47cd172SMaxime Henrion object, (int)object->type, (uintmax_t)object->size, 21243364c323SKonstantin Belousov object->resident_page_count, object->ref_count, object->flags, 2125ef694c1aSEdward Tomasz Napierala object->cred ? object->cred->cr_ruid : -1, (uintmax_t)object->charge); 2126e47cd172SMaxime Henrion db_iprintf(" sref=%d, backing_object(%d)=(%p)+0x%jx\n", 21271c7c3c6aSMatthew Dillon object->shadow_count, 2128eb95adefSBruce Evans object->backing_object ? object->backing_object->ref_count : 0, 2129e47cd172SMaxime Henrion object->backing_object, (uintmax_t)object->backing_object_offset); 2130df8bae1dSRodney W. Grimes 2131df8bae1dSRodney W. Grimes if (!full) 2132df8bae1dSRodney W. Grimes return; 2133df8bae1dSRodney W. Grimes 2134c7c34a24SBruce Evans db_indent += 2; 2135df8bae1dSRodney W. Grimes count = 0; 2136fc2ffbe6SPoul-Henning Kamp TAILQ_FOREACH(p, &object->memq, listq) { 2137df8bae1dSRodney W. Grimes if (count == 0) 2138c7c34a24SBruce Evans db_iprintf("memory:="); 2139df8bae1dSRodney W. Grimes else if (count == 6) { 2140c7c34a24SBruce Evans db_printf("\n"); 2141c7c34a24SBruce Evans db_iprintf(" ..."); 2142df8bae1dSRodney W. Grimes count = 0; 2143df8bae1dSRodney W. Grimes } else 2144c7c34a24SBruce Evans db_printf(","); 2145df8bae1dSRodney W. Grimes count++; 2146df8bae1dSRodney W. Grimes 2147e47cd172SMaxime Henrion db_printf("(off=0x%jx,page=0x%jx)", 2148e47cd172SMaxime Henrion (uintmax_t)p->pindex, (uintmax_t)VM_PAGE_TO_PHYS(p)); 2149df8bae1dSRodney W. Grimes } 2150df8bae1dSRodney W. Grimes if (count != 0) 2151c7c34a24SBruce Evans db_printf("\n"); 2152c7c34a24SBruce Evans db_indent -= 2; 2153df8bae1dSRodney W. Grimes } 21545070c7f8SJohn Dyson 2155c7c34a24SBruce Evans /* XXX. */ 2156c7c34a24SBruce Evans #undef count 2157c7c34a24SBruce Evans 2158c7c34a24SBruce Evans /* XXX need this non-static entry for calling from vm_map_print. */ 21595070c7f8SJohn Dyson void 21601b40f8c0SMatthew Dillon vm_object_print( 21611b40f8c0SMatthew Dillon /* db_expr_t */ long addr, 21621b40f8c0SMatthew Dillon boolean_t have_addr, 21631b40f8c0SMatthew Dillon /* db_expr_t */ long count, 21641b40f8c0SMatthew Dillon char *modif) 2165c7c34a24SBruce Evans { 2166c7c34a24SBruce Evans vm_object_print_static(addr, have_addr, count, modif); 2167c7c34a24SBruce Evans } 2168c7c34a24SBruce Evans 2169c7c34a24SBruce Evans DB_SHOW_COMMAND(vmopag, vm_object_print_pages) 21705070c7f8SJohn Dyson { 21715070c7f8SJohn Dyson vm_object_t object; 2172bb2ac86fSKonstantin Belousov vm_pindex_t fidx; 2173bb2ac86fSKonstantin Belousov vm_paddr_t pa; 2174bb2ac86fSKonstantin Belousov vm_page_t m, prev_m; 2175bb2ac86fSKonstantin Belousov int rcount, nl, c; 2176cc64b484SAlfred Perlstein 2177bb2ac86fSKonstantin Belousov nl = 0; 2178cc64b484SAlfred Perlstein TAILQ_FOREACH(object, &vm_object_list, object_list) { 2179fc62ef1fSBruce Evans db_printf("new object: %p\n", (void *)object); 21805070c7f8SJohn Dyson if (nl > 18) { 21815070c7f8SJohn Dyson c = cngetc(); 21825070c7f8SJohn Dyson if (c != ' ') 21835070c7f8SJohn Dyson return; 21845070c7f8SJohn Dyson nl = 0; 21855070c7f8SJohn Dyson } 21865070c7f8SJohn Dyson nl++; 21875070c7f8SJohn Dyson rcount = 0; 21885070c7f8SJohn Dyson fidx = 0; 2189bb2ac86fSKonstantin Belousov pa = -1; 2190bb2ac86fSKonstantin Belousov TAILQ_FOREACH(m, &object->memq, listq) { 2191bb2ac86fSKonstantin Belousov if (m->pindex > 128) 2192bb2ac86fSKonstantin Belousov break; 2193bb2ac86fSKonstantin Belousov if ((prev_m = TAILQ_PREV(m, pglist, listq)) != NULL && 2194bb2ac86fSKonstantin Belousov prev_m->pindex + 1 != m->pindex) { 21955070c7f8SJohn Dyson if (rcount) { 21963efc015bSPeter Wemm db_printf(" index(%ld)run(%d)pa(0x%lx)\n", 21973efc015bSPeter Wemm (long)fidx, rcount, (long)pa); 21985070c7f8SJohn Dyson if (nl > 18) { 21995070c7f8SJohn Dyson c = cngetc(); 22005070c7f8SJohn Dyson if (c != ' ') 22015070c7f8SJohn Dyson return; 22025070c7f8SJohn Dyson nl = 0; 22035070c7f8SJohn Dyson } 22045070c7f8SJohn Dyson nl++; 22055070c7f8SJohn Dyson rcount = 0; 22065070c7f8SJohn Dyson } 22075070c7f8SJohn Dyson } 22085070c7f8SJohn Dyson if (rcount && 22095070c7f8SJohn Dyson (VM_PAGE_TO_PHYS(m) == pa + rcount * PAGE_SIZE)) { 22105070c7f8SJohn Dyson ++rcount; 22115070c7f8SJohn Dyson continue; 22125070c7f8SJohn Dyson } 22135070c7f8SJohn Dyson if (rcount) { 22142446e4f0SAlan Cox db_printf(" index(%ld)run(%d)pa(0x%lx)\n", 22153efc015bSPeter Wemm (long)fidx, rcount, (long)pa); 22165070c7f8SJohn Dyson if (nl > 18) { 22175070c7f8SJohn Dyson c = cngetc(); 22185070c7f8SJohn Dyson if (c != ' ') 22195070c7f8SJohn Dyson return; 22205070c7f8SJohn Dyson nl = 0; 22215070c7f8SJohn Dyson } 22225070c7f8SJohn Dyson nl++; 22235070c7f8SJohn Dyson } 2224bb2ac86fSKonstantin Belousov fidx = m->pindex; 22255070c7f8SJohn Dyson pa = VM_PAGE_TO_PHYS(m); 22265070c7f8SJohn Dyson rcount = 1; 22275070c7f8SJohn Dyson } 22285070c7f8SJohn Dyson if (rcount) { 22293efc015bSPeter Wemm db_printf(" index(%ld)run(%d)pa(0x%lx)\n", 22303efc015bSPeter Wemm (long)fidx, rcount, (long)pa); 22315070c7f8SJohn Dyson if (nl > 18) { 22325070c7f8SJohn Dyson c = cngetc(); 22335070c7f8SJohn Dyson if (c != ' ') 22345070c7f8SJohn Dyson return; 22355070c7f8SJohn Dyson nl = 0; 22365070c7f8SJohn Dyson } 22375070c7f8SJohn Dyson nl++; 22385070c7f8SJohn Dyson } 22395070c7f8SJohn Dyson } 22405070c7f8SJohn Dyson } 2241c3cb3e12SDavid Greenman #endif /* DDB */ 2242