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 68df8bae1dSRodney W. Grimes #include <sys/param.h> 69df8bae1dSRodney W. Grimes #include <sys/systm.h> 70fb919e4dSMark Murray #include <sys/lock.h> 71867a482dSJohn Dyson #include <sys/mman.h> 72cf2819ccSJohn Dyson #include <sys/mount.h> 73b9b7a4beSMatthew Dillon #include <sys/kernel.h> 74b9b7a4beSMatthew Dillon #include <sys/sysctl.h> 751b367556SJason Evans #include <sys/mutex.h> 76fb919e4dSMark Murray #include <sys/proc.h> /* for curproc, pageproc */ 77fb919e4dSMark Murray #include <sys/socket.h> 78fb919e4dSMark Murray #include <sys/vnode.h> 79fb919e4dSMark Murray #include <sys/vmmeter.h> 801005a129SJohn Baldwin #include <sys/sx.h> 81df8bae1dSRodney W. Grimes 82df8bae1dSRodney W. Grimes #include <vm/vm.h> 83efeaf95aSDavid Greenman #include <vm/vm_param.h> 84efeaf95aSDavid Greenman #include <vm/pmap.h> 85efeaf95aSDavid Greenman #include <vm/vm_map.h> 86efeaf95aSDavid Greenman #include <vm/vm_object.h> 87df8bae1dSRodney W. Grimes #include <vm/vm_page.h> 8826f9a767SRodney W. Grimes #include <vm/vm_pageout.h> 890d94caffSDavid Greenman #include <vm/vm_pager.h> 9005f0fdd2SPoul-Henning Kamp #include <vm/swap_pager.h> 91a1f6d91cSDavid Greenman #include <vm/vm_kern.h> 92efeaf95aSDavid Greenman #include <vm/vm_extern.h> 93670d17b5SJeff Roberson #include <vm/uma.h> 9426f9a767SRodney W. Grimes 95b9b7a4beSMatthew Dillon #define EASY_SCAN_FACTOR 8 96b9b7a4beSMatthew Dillon 97b9b7a4beSMatthew Dillon #define MSYNC_FLUSH_HARDSEQ 0x01 98b9b7a4beSMatthew Dillon #define MSYNC_FLUSH_SOFTSEQ 0x02 99b9b7a4beSMatthew Dillon 100b9b7a4beSMatthew Dillon /* 101b9b7a4beSMatthew Dillon * msync / VM object flushing optimizations 102b9b7a4beSMatthew Dillon */ 103b9b7a4beSMatthew Dillon static int msync_flush_flags = MSYNC_FLUSH_HARDSEQ | MSYNC_FLUSH_SOFTSEQ; 104b9b7a4beSMatthew Dillon SYSCTL_INT(_vm, OID_AUTO, msync_flush_flags, 105b9b7a4beSMatthew Dillon CTLFLAG_RW, &msync_flush_flags, 0, ""); 106b9b7a4beSMatthew Dillon 107c53f7aceSDag-Erling Smørgrav static int old_msync; 108c53f7aceSDag-Erling Smørgrav SYSCTL_INT(_vm, OID_AUTO, old_msync, CTLFLAG_RW, &old_msync, 0, 109c53f7aceSDag-Erling Smørgrav "Use old (insecure) msync behavior"); 110c53f7aceSDag-Erling Smørgrav 111b9b7a4beSMatthew Dillon static void vm_object_qcollapse(vm_object_t object); 112b9b7a4beSMatthew Dillon static int vm_object_page_collect_flush(vm_object_t object, vm_page_t p, int curgeneration, int pagerflags); 113f6b04d2bSDavid Greenman 114df8bae1dSRodney W. Grimes /* 115df8bae1dSRodney W. Grimes * Virtual memory objects maintain the actual data 116df8bae1dSRodney W. Grimes * associated with allocated virtual memory. A given 117df8bae1dSRodney W. Grimes * page of memory exists within exactly one object. 118df8bae1dSRodney W. Grimes * 119df8bae1dSRodney W. Grimes * An object is only deallocated when all "references" 120df8bae1dSRodney W. Grimes * are given up. Only one "reference" to a given 121df8bae1dSRodney W. Grimes * region of an object should be writeable. 122df8bae1dSRodney W. Grimes * 123df8bae1dSRodney W. Grimes * Associated with each object is a list of all resident 124df8bae1dSRodney W. Grimes * memory pages belonging to that object; this list is 125df8bae1dSRodney W. Grimes * maintained by the "vm_page" module, and locked by the object's 126df8bae1dSRodney W. Grimes * lock. 127df8bae1dSRodney W. Grimes * 128df8bae1dSRodney W. Grimes * Each object also records a "pager" routine which is 129df8bae1dSRodney W. Grimes * used to retrieve (and store) pages to the proper backing 130df8bae1dSRodney W. Grimes * storage. In addition, objects may be backed by other 131df8bae1dSRodney W. Grimes * objects from which they were virtual-copied. 132df8bae1dSRodney W. Grimes * 133df8bae1dSRodney W. Grimes * The only items within the object structure which are 134df8bae1dSRodney W. Grimes * modified after time of creation are: 135df8bae1dSRodney W. Grimes * reference count locked by object's lock 136df8bae1dSRodney W. Grimes * pager routine locked by object's lock 137df8bae1dSRodney W. Grimes * 138df8bae1dSRodney W. Grimes */ 139df8bae1dSRodney W. Grimes 14028f8db14SBruce Evans struct object_q vm_object_list; 141a5698387SAlan Cox struct mtx vm_object_list_mtx; /* lock for object list and count */ 142cccf11b8SAlan Cox 143cccf11b8SAlan Cox struct vm_object kernel_object_store; 144cccf11b8SAlan Cox struct vm_object kmem_object_store; 145df8bae1dSRodney W. Grimes 146f708ef1bSPoul-Henning Kamp static long object_collapses; 147f708ef1bSPoul-Henning Kamp static long object_bypasses; 148dad740e9SAlan Cox 149dad740e9SAlan Cox /* 150dad740e9SAlan Cox * next_index determines the page color that is assigned to the next 151dad740e9SAlan Cox * allocated object. Accesses to next_index are not synchronized 152dad740e9SAlan Cox * because the effects of two or more object allocations using 153dad740e9SAlan Cox * next_index simultaneously are inconsequential. At any given time, 154dad740e9SAlan Cox * numerous objects have the same page color. 155dad740e9SAlan Cox */ 156dcc5840eSAlan Cox static int next_index; 157dad740e9SAlan Cox 158670d17b5SJeff Roberson static uma_zone_t obj_zone; 15999448ed1SJohn Dyson #define VM_OBJECTS_INIT 256 1608355f576SJeff Roberson 161b23f72e9SBrian Feldman static int vm_object_zinit(void *mem, int size, int flags); 1628355f576SJeff Roberson 1638355f576SJeff Roberson #ifdef INVARIANTS 1648355f576SJeff Roberson static void vm_object_zdtor(void *mem, int size, void *arg); 1658355f576SJeff Roberson 1668355f576SJeff Roberson static void 1678355f576SJeff Roberson vm_object_zdtor(void *mem, int size, void *arg) 1688355f576SJeff Roberson { 1698355f576SJeff Roberson vm_object_t object; 1708355f576SJeff Roberson 1718355f576SJeff Roberson object = (vm_object_t)mem; 17243186e53SAlan Cox KASSERT(TAILQ_EMPTY(&object->memq), 17343186e53SAlan Cox ("object %p has resident pages", 17443186e53SAlan Cox object)); 1758355f576SJeff Roberson KASSERT(object->paging_in_progress == 0, 1768355f576SJeff Roberson ("object %p paging_in_progress = %d", 1778355f576SJeff Roberson object, object->paging_in_progress)); 1788355f576SJeff Roberson KASSERT(object->resident_page_count == 0, 1798355f576SJeff Roberson ("object %p resident_page_count = %d", 1808355f576SJeff Roberson object, object->resident_page_count)); 1818355f576SJeff Roberson KASSERT(object->shadow_count == 0, 1828355f576SJeff Roberson ("object %p shadow_count = %d", 1838355f576SJeff Roberson object, object->shadow_count)); 1848355f576SJeff Roberson } 1858355f576SJeff Roberson #endif 1868355f576SJeff Roberson 187b23f72e9SBrian Feldman static int 188b23f72e9SBrian Feldman vm_object_zinit(void *mem, int size, int flags) 1898355f576SJeff Roberson { 1908355f576SJeff Roberson vm_object_t object; 1918355f576SJeff Roberson 1928355f576SJeff Roberson object = (vm_object_t)mem; 193e3a9e1b2SAlan Cox bzero(&object->mtx, sizeof(object->mtx)); 1945285558aSAlan Cox VM_OBJECT_LOCK_INIT(object, "standard object"); 1958355f576SJeff Roberson 1968355f576SJeff Roberson /* These are true for any object that has been freed */ 1978355f576SJeff Roberson object->paging_in_progress = 0; 1988355f576SJeff Roberson object->resident_page_count = 0; 1998355f576SJeff Roberson object->shadow_count = 0; 200b23f72e9SBrian Feldman return (0); 2018355f576SJeff Roberson } 202df8bae1dSRodney W. Grimes 2033075778bSJohn Dyson void 2046395da54SIan Dowse _vm_object_allocate(objtype_t type, vm_pindex_t size, vm_object_t object) 205df8bae1dSRodney W. Grimes { 206cf3e6e48SAlan Cox int incr; 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; 21624a1cce3SDavid Greenman object->flags = 0; 21760517fd1SJohn Baldwin if ((object->type == OBJT_DEFAULT) || (object->type == OBJT_SWAP)) 2183471677cSAlan Cox object->flags = OBJ_ONEMAPPING; 21999448ed1SJohn Dyson if (size > (PQ_L2_SIZE / 3 + PQ_PRIME1)) 22099448ed1SJohn Dyson incr = PQ_L2_SIZE / 3 + PQ_PRIME1; 22199448ed1SJohn Dyson else 22299448ed1SJohn Dyson incr = size; 223dcc5840eSAlan Cox object->pg_color = next_index; 224dad740e9SAlan Cox next_index = (object->pg_color + incr) & PQ_L2_MASK; 22524a1cce3SDavid Greenman object->handle = NULL; 22624a1cce3SDavid Greenman object->backing_object = NULL; 227a316d390SJohn Dyson object->backing_object_offset = (vm_ooffset_t) 0; 228a1f6d91cSDavid Greenman 229a5698387SAlan Cox mtx_lock(&vm_object_list_mtx); 23060517fd1SJohn Baldwin TAILQ_INSERT_TAIL(&vm_object_list, object, object_list); 231a5698387SAlan Cox mtx_unlock(&vm_object_list_mtx); 232df8bae1dSRodney W. Grimes } 233df8bae1dSRodney W. Grimes 234df8bae1dSRodney W. Grimes /* 23526f9a767SRodney W. Grimes * vm_object_init: 23626f9a767SRodney W. Grimes * 23726f9a767SRodney W. Grimes * Initialize the VM objects module. 23826f9a767SRodney W. Grimes */ 23926f9a767SRodney W. Grimes void 2401b40f8c0SMatthew Dillon vm_object_init(void) 24126f9a767SRodney W. Grimes { 24226f9a767SRodney W. Grimes TAILQ_INIT(&vm_object_list); 2436008862bSJohn Baldwin mtx_init(&vm_object_list_mtx, "vm object_list", NULL, MTX_DEF); 2440217125fSDavid Greenman 2455285558aSAlan Cox VM_OBJECT_LOCK_INIT(&kernel_object_store, "kernel object"); 246a316d390SJohn Dyson _vm_object_allocate(OBJT_DEFAULT, OFF_TO_IDX(VM_MAX_KERNEL_ADDRESS - VM_MIN_KERNEL_ADDRESS), 24726f9a767SRodney W. Grimes kernel_object); 24826f9a767SRodney W. Grimes 2495285558aSAlan Cox VM_OBJECT_LOCK_INIT(&kmem_object_store, "kmem object"); 250a316d390SJohn Dyson _vm_object_allocate(OBJT_DEFAULT, OFF_TO_IDX(VM_MAX_KERNEL_ADDRESS - VM_MIN_KERNEL_ADDRESS), 25126f9a767SRodney W. Grimes kmem_object); 252ed6a7863SAlan Cox 2538dbca793STor Egge /* 2548dbca793STor Egge * The lock portion of struct vm_object must be type stable due 2558dbca793STor Egge * to vm_pageout_fallback_object_lock locking a vm object 2568dbca793STor Egge * without holding any references to it. 2578dbca793STor Egge */ 2588355f576SJeff Roberson obj_zone = uma_zcreate("VM OBJECT", sizeof (struct vm_object), NULL, 2598355f576SJeff Roberson #ifdef INVARIANTS 2608355f576SJeff Roberson vm_object_zdtor, 2618355f576SJeff Roberson #else 2628355f576SJeff Roberson NULL, 2638355f576SJeff Roberson #endif 264f3c625e4SJeff Roberson vm_object_zinit, NULL, UMA_ALIGN_PTR, UMA_ZONE_VM|UMA_ZONE_NOFREE); 2658355f576SJeff Roberson uma_prealloc(obj_zone, VM_OBJECTS_INIT); 26699448ed1SJohn Dyson } 26799448ed1SJohn Dyson 26899448ed1SJohn Dyson void 2691b40f8c0SMatthew Dillon vm_object_clear_flag(vm_object_t object, u_short bits) 2701b40f8c0SMatthew Dillon { 2715440b5a9SAlan Cox 272d647a0edSAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 273b06805adSJake Burkholder object->flags &= ~bits; 2741b40f8c0SMatthew Dillon } 2751b40f8c0SMatthew Dillon 2761b40f8c0SMatthew Dillon void 2771b40f8c0SMatthew Dillon vm_object_pip_add(vm_object_t object, short i) 2781b40f8c0SMatthew Dillon { 279f279b88dSAlan Cox 280d647a0edSAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 281b06805adSJake Burkholder object->paging_in_progress += i; 2821b40f8c0SMatthew Dillon } 2831b40f8c0SMatthew Dillon 2841b40f8c0SMatthew Dillon void 2851b40f8c0SMatthew Dillon vm_object_pip_subtract(vm_object_t object, short i) 2861b40f8c0SMatthew Dillon { 287d647a0edSAlan Cox 2880fa05eaeSAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 289b06805adSJake Burkholder object->paging_in_progress -= i; 2901b40f8c0SMatthew Dillon } 2911b40f8c0SMatthew Dillon 2921b40f8c0SMatthew Dillon void 2931b40f8c0SMatthew Dillon vm_object_pip_wakeup(vm_object_t object) 2941b40f8c0SMatthew Dillon { 295f279b88dSAlan Cox 296d647a0edSAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 297b06805adSJake Burkholder object->paging_in_progress--; 2981b40f8c0SMatthew Dillon if ((object->flags & OBJ_PIPWNT) && object->paging_in_progress == 0) { 2991b40f8c0SMatthew Dillon vm_object_clear_flag(object, OBJ_PIPWNT); 3001b40f8c0SMatthew Dillon wakeup(object); 3011b40f8c0SMatthew Dillon } 3021b40f8c0SMatthew Dillon } 3031b40f8c0SMatthew Dillon 3041b40f8c0SMatthew Dillon void 3051b40f8c0SMatthew Dillon vm_object_pip_wakeupn(vm_object_t object, short i) 3061b40f8c0SMatthew Dillon { 307d647a0edSAlan Cox 3080d420ad3SAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 3091b40f8c0SMatthew Dillon if (i) 310b06805adSJake Burkholder object->paging_in_progress -= i; 3111b40f8c0SMatthew Dillon if ((object->flags & OBJ_PIPWNT) && object->paging_in_progress == 0) { 3121b40f8c0SMatthew Dillon vm_object_clear_flag(object, OBJ_PIPWNT); 3131b40f8c0SMatthew Dillon wakeup(object); 3141b40f8c0SMatthew Dillon } 3151b40f8c0SMatthew Dillon } 3161b40f8c0SMatthew Dillon 3171b40f8c0SMatthew Dillon void 3181b40f8c0SMatthew Dillon vm_object_pip_wait(vm_object_t object, char *waitid) 3191b40f8c0SMatthew Dillon { 3201ca58953SAlan Cox 3211ca58953SAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 3221ca58953SAlan Cox while (object->paging_in_progress) { 3231ca58953SAlan Cox object->flags |= OBJ_PIPWNT; 3241ca58953SAlan Cox msleep(object, VM_OBJECT_MTX(object), PVM, waitid, 0); 3251ca58953SAlan Cox } 3261b40f8c0SMatthew Dillon } 3271b40f8c0SMatthew Dillon 32826f9a767SRodney W. Grimes /* 32926f9a767SRodney W. Grimes * vm_object_allocate: 33026f9a767SRodney W. Grimes * 33126f9a767SRodney W. Grimes * Returns a new object with the given size. 33226f9a767SRodney W. Grimes */ 33326f9a767SRodney W. Grimes vm_object_t 3346395da54SIan Dowse vm_object_allocate(objtype_t type, vm_pindex_t size) 33526f9a767SRodney W. Grimes { 33690688d13SAlan Cox vm_object_t object; 33790688d13SAlan Cox 33890688d13SAlan Cox object = (vm_object_t)uma_zalloc(obj_zone, M_WAITOK); 33990688d13SAlan Cox _vm_object_allocate(type, size, object); 34090688d13SAlan Cox return (object); 34126f9a767SRodney W. Grimes } 34226f9a767SRodney W. Grimes 34326f9a767SRodney W. Grimes 34426f9a767SRodney W. Grimes /* 345df8bae1dSRodney W. Grimes * vm_object_reference: 346df8bae1dSRodney W. Grimes * 34715347817SAlan Cox * Gets another reference to the given object. Note: OBJ_DEAD 34815347817SAlan Cox * objects can be referenced during final cleaning. 349df8bae1dSRodney W. Grimes */ 3506476c0d2SJohn Dyson void 3511b40f8c0SMatthew Dillon vm_object_reference(vm_object_t object) 352df8bae1dSRodney W. Grimes { 35382f9defeSAlan Cox struct vnode *vp; 35482f9defeSAlan Cox int flags; 35582f9defeSAlan Cox 356df8bae1dSRodney W. Grimes if (object == NULL) 357df8bae1dSRodney W. Grimes return; 35815347817SAlan Cox VM_OBJECT_LOCK(object); 359df8bae1dSRodney W. Grimes object->ref_count++; 36047221757SJohn Dyson if (object->type == OBJT_VNODE) { 36182f9defeSAlan Cox vp = object->handle; 36282f9defeSAlan Cox VI_LOCK(vp); 36382f9defeSAlan Cox VM_OBJECT_UNLOCK(object); 36482f9defeSAlan Cox for (flags = LK_INTERLOCK; vget(vp, flags, curthread); 36582f9defeSAlan Cox flags = 0) 36682f9defeSAlan Cox printf("vm_object_reference: delay in vget\n"); 36782f9defeSAlan Cox } else 36882f9defeSAlan Cox VM_OBJECT_UNLOCK(object); 36995e5e988SJohn Dyson } 37095e5e988SJohn Dyson 37123955314SAlfred Perlstein /* 372b921a12bSAlan Cox * vm_object_reference_locked: 373b921a12bSAlan Cox * 374b921a12bSAlan Cox * Gets another reference to the given object. 375b921a12bSAlan Cox * 376b921a12bSAlan Cox * The object must be locked. 377b921a12bSAlan Cox */ 378b921a12bSAlan Cox void 379b921a12bSAlan Cox vm_object_reference_locked(vm_object_t object) 380b921a12bSAlan Cox { 381b921a12bSAlan Cox struct vnode *vp; 382b921a12bSAlan Cox 383b921a12bSAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 384b921a12bSAlan Cox KASSERT((object->flags & OBJ_DEAD) == 0, 385b921a12bSAlan Cox ("vm_object_reference_locked: dead object referenced")); 386b921a12bSAlan Cox object->ref_count++; 387b921a12bSAlan Cox if (object->type == OBJT_VNODE) { 388b921a12bSAlan Cox vp = object->handle; 389b921a12bSAlan Cox vref(vp); 390b921a12bSAlan Cox } 391b921a12bSAlan Cox } 392b921a12bSAlan Cox 393b921a12bSAlan Cox /* 3949d5abbddSJens Schweikhardt * Handle deallocating an object of type OBJT_VNODE. 39523955314SAlfred Perlstein */ 396bf27292bSJohn Dyson void 3971b40f8c0SMatthew Dillon vm_object_vndeallocate(vm_object_t object) 39895e5e988SJohn Dyson { 39995e5e988SJohn Dyson struct vnode *vp = (struct vnode *) object->handle; 400219cbf59SEivind Eklund 401ae51ff11SJeff Roberson VFS_ASSERT_GIANT(vp->v_mount); 402ad682c48SAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 4035526d2d9SEivind Eklund KASSERT(object->type == OBJT_VNODE, 4045526d2d9SEivind Eklund ("vm_object_vndeallocate: not a vnode object")); 405219cbf59SEivind Eklund KASSERT(vp != NULL, ("vm_object_vndeallocate: missing vp")); 406219cbf59SEivind Eklund #ifdef INVARIANTS 40795e5e988SJohn Dyson if (object->ref_count == 0) { 40895e5e988SJohn Dyson vprint("vm_object_vndeallocate", vp); 40995e5e988SJohn Dyson panic("vm_object_vndeallocate: bad object reference count"); 41095e5e988SJohn Dyson } 41195e5e988SJohn Dyson #endif 41295e5e988SJohn Dyson 41395e5e988SJohn Dyson object->ref_count--; 41447221757SJohn Dyson if (object->ref_count == 0) { 415e6e370a7SJeff Roberson mp_fixme("Unlocked vflag access."); 416e6e370a7SJeff Roberson vp->v_vflag &= ~VV_TEXT; 4172be70f79SJohn Dyson } 418ad682c48SAlan Cox VM_OBJECT_UNLOCK(object); 41923955314SAlfred Perlstein /* 42023955314SAlfred Perlstein * vrele may need a vop lock 42123955314SAlfred Perlstein */ 42247221757SJohn Dyson vrele(vp); 423df8bae1dSRodney W. Grimes } 424df8bae1dSRodney W. Grimes 425df8bae1dSRodney W. Grimes /* 426df8bae1dSRodney W. Grimes * vm_object_deallocate: 427df8bae1dSRodney W. Grimes * 428df8bae1dSRodney W. Grimes * Release a reference to the specified object, 429df8bae1dSRodney W. Grimes * gained either through a vm_object_allocate 430df8bae1dSRodney W. Grimes * or a vm_object_reference call. When all references 431df8bae1dSRodney W. Grimes * are gone, storage associated with this object 432df8bae1dSRodney W. Grimes * may be relinquished. 433df8bae1dSRodney W. Grimes * 434df8bae1dSRodney W. Grimes * No object may be locked. 435df8bae1dSRodney W. Grimes */ 43626f9a767SRodney W. Grimes void 4371b40f8c0SMatthew Dillon vm_object_deallocate(vm_object_t object) 438df8bae1dSRodney W. Grimes { 439df8bae1dSRodney W. Grimes vm_object_t temp; 440df8bae1dSRodney W. Grimes 441df8bae1dSRodney W. Grimes while (object != NULL) { 442ae51ff11SJeff Roberson int vfslocked; 44323b186d3SAlan Cox /* 44423b186d3SAlan Cox * In general, the object should be locked when working with 44523b186d3SAlan Cox * its type. In this case, in order to maintain proper lock 44623b186d3SAlan Cox * ordering, an exception is possible because a vnode-backed 44723b186d3SAlan Cox * object never changes its type. 44823b186d3SAlan Cox */ 449ae51ff11SJeff Roberson vfslocked = 0; 450ae51ff11SJeff Roberson if (object->type == OBJT_VNODE) { 451ae51ff11SJeff Roberson struct vnode *vp = (struct vnode *) object->handle; 452ae51ff11SJeff Roberson vfslocked = VFS_LOCK_GIANT(vp->v_mount); 453ae51ff11SJeff Roberson } 454ad682c48SAlan Cox VM_OBJECT_LOCK(object); 4553b68228cSAlan Cox if (object->type == OBJT_VNODE) { 45695e5e988SJohn Dyson vm_object_vndeallocate(object); 457ae51ff11SJeff Roberson VFS_UNLOCK_GIANT(vfslocked); 45823b186d3SAlan Cox return; 45995e5e988SJohn Dyson } 46095e5e988SJohn Dyson 4618125b1e6SAlfred Perlstein KASSERT(object->ref_count != 0, 4628125b1e6SAlfred Perlstein ("vm_object_deallocate: object deallocated too many times: %d", object->type)); 4632be70f79SJohn Dyson 4642be70f79SJohn Dyson /* 4658125b1e6SAlfred Perlstein * If the reference count goes to 0 we start calling 4668125b1e6SAlfred Perlstein * vm_object_terminate() on the object chain. 4678125b1e6SAlfred Perlstein * A ref count of 1 may be a special case depending on the 4688125b1e6SAlfred Perlstein * shadow count being 0 or 1. 4692be70f79SJohn Dyson */ 470c0877f10SJohn Dyson object->ref_count--; 4718125b1e6SAlfred Perlstein if (object->ref_count > 1) { 4723b68228cSAlan Cox VM_OBJECT_UNLOCK(object); 47323b186d3SAlan Cox return; 4748125b1e6SAlfred Perlstein } else if (object->ref_count == 1) { 4758125b1e6SAlfred Perlstein if (object->shadow_count == 0) { 4768125b1e6SAlfred Perlstein vm_object_set_flag(object, OBJ_ONEMAPPING); 4778125b1e6SAlfred Perlstein } else if ((object->shadow_count == 1) && 4788125b1e6SAlfred Perlstein (object->handle == NULL) && 47924a1cce3SDavid Greenman (object->type == OBJT_DEFAULT || 48024a1cce3SDavid Greenman object->type == OBJT_SWAP)) { 481a1f6d91cSDavid Greenman vm_object_t robject; 48295e5e988SJohn Dyson 4831c500307SAlan Cox robject = LIST_FIRST(&object->shadow_head); 4845526d2d9SEivind Eklund KASSERT(robject != NULL, 485219cbf59SEivind Eklund ("vm_object_deallocate: ref_count: %d, shadow_count: %d", 4865526d2d9SEivind Eklund object->ref_count, 4875526d2d9SEivind Eklund object->shadow_count)); 488b72b0115SAlan Cox if (!VM_OBJECT_TRYLOCK(robject)) { 489b72b0115SAlan Cox /* 490b72b0115SAlan Cox * Avoid a potential deadlock. 491b72b0115SAlan Cox */ 492b72b0115SAlan Cox object->ref_count++; 493b72b0115SAlan Cox VM_OBJECT_UNLOCK(object); 494a7d86121SAlan Cox /* 495a7d86121SAlan Cox * More likely than not the thread 496a7d86121SAlan Cox * holding robject's lock has lower 497a7d86121SAlan Cox * priority than the current thread. 498a7d86121SAlan Cox * Let the lower priority thread run. 499a7d86121SAlan Cox */ 500a7d86121SAlan Cox tsleep(&proc0, PVM, "vmo_de", 1); 501b72b0115SAlan Cox continue; 502b72b0115SAlan Cox } 503d936694fSAlan Cox /* 504d936694fSAlan Cox * Collapse object into its shadow unless its 505d936694fSAlan Cox * shadow is dead. In that case, object will 506d936694fSAlan Cox * be deallocated by the thread that is 507d936694fSAlan Cox * deallocating its shadow. 508d936694fSAlan Cox */ 509d936694fSAlan Cox if ((robject->flags & OBJ_DEAD) == 0 && 510d936694fSAlan Cox (robject->handle == NULL) && 51124a1cce3SDavid Greenman (robject->type == OBJT_DEFAULT || 51224a1cce3SDavid Greenman robject->type == OBJT_SWAP)) { 513a1f6d91cSDavid Greenman 51495e5e988SJohn Dyson robject->ref_count++; 515138449dcSAlan Cox retry: 516138449dcSAlan Cox if (robject->paging_in_progress) { 517138449dcSAlan Cox VM_OBJECT_UNLOCK(object); 518138449dcSAlan Cox vm_object_pip_wait(robject, 519138449dcSAlan Cox "objde1"); 520138449dcSAlan Cox VM_OBJECT_LOCK(object); 521138449dcSAlan Cox goto retry; 522138449dcSAlan Cox } else if (object->paging_in_progress) { 523138449dcSAlan Cox VM_OBJECT_UNLOCK(robject); 524138449dcSAlan Cox object->flags |= OBJ_PIPWNT; 525138449dcSAlan Cox msleep(object, 526138449dcSAlan Cox VM_OBJECT_MTX(object), 527138449dcSAlan Cox PDROP | PVM, "objde2", 0); 528138449dcSAlan Cox VM_OBJECT_LOCK(robject); 529138449dcSAlan Cox VM_OBJECT_LOCK(object); 530138449dcSAlan Cox goto retry; 531a1f6d91cSDavid Greenman } 5323b68228cSAlan Cox VM_OBJECT_UNLOCK(object); 53395e5e988SJohn Dyson if (robject->ref_count == 1) { 53495e5e988SJohn Dyson robject->ref_count--; 535ba8da839SDavid Greenman object = robject; 53695e5e988SJohn Dyson goto doterm; 53795e5e988SJohn Dyson } 53895e5e988SJohn Dyson object = robject; 53995e5e988SJohn Dyson vm_object_collapse(object); 540d7fc2210SAlan Cox VM_OBJECT_UNLOCK(object); 541ba8da839SDavid Greenman continue; 542a1f6d91cSDavid Greenman } 543b72b0115SAlan Cox VM_OBJECT_UNLOCK(robject); 54495e5e988SJohn Dyson } 5453b68228cSAlan Cox VM_OBJECT_UNLOCK(object); 54623b186d3SAlan Cox return; 54795e5e988SJohn Dyson } 54895e5e988SJohn Dyson doterm: 54924a1cce3SDavid Greenman temp = object->backing_object; 550c9917419SAlan Cox if (temp != NULL) { 551c9917419SAlan Cox VM_OBJECT_LOCK(temp); 5521c500307SAlan Cox LIST_REMOVE(object, shadow_list); 55395e5e988SJohn Dyson temp->shadow_count--; 554eaf13dd7SJohn Dyson temp->generation++; 555c9917419SAlan Cox VM_OBJECT_UNLOCK(temp); 55695461b45SJohn Dyson object->backing_object = NULL; 557de5f6a77SJohn Dyson } 558245df27cSMatthew Dillon /* 559245df27cSMatthew Dillon * Don't double-terminate, we could be in a termination 560245df27cSMatthew Dillon * recursion due to the terminate having to sync data 561245df27cSMatthew Dillon * to disk. 562245df27cSMatthew Dillon */ 563245df27cSMatthew Dillon if ((object->flags & OBJ_DEAD) == 0) 564df8bae1dSRodney W. Grimes vm_object_terminate(object); 565c829b9d0SAlan Cox else 566c829b9d0SAlan Cox VM_OBJECT_UNLOCK(object); 567df8bae1dSRodney W. Grimes object = temp; 568df8bae1dSRodney W. Grimes } 569df8bae1dSRodney W. Grimes } 570df8bae1dSRodney W. Grimes 571df8bae1dSRodney W. Grimes /* 572df8bae1dSRodney W. Grimes * vm_object_terminate actually destroys the specified object, freeing 573df8bae1dSRodney W. Grimes * up all previously used resources. 574df8bae1dSRodney W. Grimes * 575df8bae1dSRodney W. Grimes * The object must be locked. 5761c7c3c6aSMatthew Dillon * This routine may block. 577df8bae1dSRodney W. Grimes */ 57895e5e988SJohn Dyson void 5791b40f8c0SMatthew Dillon vm_object_terminate(vm_object_t object) 580df8bae1dSRodney W. Grimes { 581d031cff1SMatthew Dillon vm_page_t p; 582df8bae1dSRodney W. Grimes 583c829b9d0SAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 5840cddd8f0SMatthew Dillon 58595e5e988SJohn Dyson /* 58695e5e988SJohn Dyson * Make sure no one uses us. 58795e5e988SJohn Dyson */ 588069e9bc1SDoug Rabson vm_object_set_flag(object, OBJ_DEAD); 5893c631446SJohn Dyson 590df8bae1dSRodney W. Grimes /* 591f6b04d2bSDavid Greenman * wait for the pageout daemon to be done with the object 592df8bae1dSRodney W. Grimes */ 59366095752SJohn Dyson vm_object_pip_wait(object, "objtrm"); 594df8bae1dSRodney W. Grimes 5955526d2d9SEivind Eklund KASSERT(!object->paging_in_progress, 5965526d2d9SEivind Eklund ("vm_object_terminate: pageout in progress")); 59726f9a767SRodney W. Grimes 59826f9a767SRodney W. Grimes /* 5990d94caffSDavid Greenman * Clean and free the pages, as appropriate. All references to the 6000d94caffSDavid Greenman * object are gone, so we don't need to lock it. 60126f9a767SRodney W. Grimes */ 60224a1cce3SDavid Greenman if (object->type == OBJT_VNODE) { 603f7dd7b63SAlan Cox struct vnode *vp = (struct vnode *)object->handle; 60495e5e988SJohn Dyson 60595e5e988SJohn Dyson /* 60695e5e988SJohn Dyson * Clean pages and flush buffers. 60795e5e988SJohn Dyson */ 6088f9110f6SJohn Dyson vm_object_page_clean(object, 0, 0, OBJPC_SYNC); 609b6e48e03SAlan Cox VM_OBJECT_UNLOCK(object); 61095e5e988SJohn Dyson 6117c0745eeSPoul-Henning Kamp vinvalbuf(vp, V_SAVE, NULL, 0, 0); 612f7dd7b63SAlan Cox 613f7dd7b63SAlan Cox VM_OBJECT_LOCK(object); 614bef608bdSJohn Dyson } 615bef608bdSJohn Dyson 616971dd342SAlfred Perlstein KASSERT(object->ref_count == 0, 617971dd342SAlfred Perlstein ("vm_object_terminate: object with references, ref_count=%d", 618971dd342SAlfred Perlstein object->ref_count)); 619996c772fSJohn Dyson 6200d94caffSDavid Greenman /* 621356863ebSDavid Greenman * Now free any remaining pages. For internal objects, this also 622356863ebSDavid Greenman * removes them from paging queues. Don't free wired pages, just 623356863ebSDavid Greenman * remove them from the object. 624df8bae1dSRodney W. Grimes */ 62556030358SAlan Cox vm_page_lock_queues(); 626b18bfc3dSJohn Dyson while ((p = TAILQ_FIRST(&object->memq)) != NULL) { 627971dd342SAlfred Perlstein KASSERT(!p->busy && (p->flags & PG_BUSY) == 0, 628971dd342SAlfred Perlstein ("vm_object_terminate: freeing busy page %p " 629971dd342SAlfred Perlstein "p->busy = %d, p->flags %x\n", p, p->busy, p->flags)); 6300b10ba98SDavid Greenman if (p->wire_count == 0) { 631df8bae1dSRodney W. Grimes vm_page_free(p); 632df8bae1dSRodney W. Grimes cnt.v_pfree++; 6330b10ba98SDavid Greenman } else { 6340b10ba98SDavid Greenman vm_page_remove(p); 6350b10ba98SDavid Greenman } 636df8bae1dSRodney W. Grimes } 63756030358SAlan Cox vm_page_unlock_queues(); 638bef608bdSJohn Dyson 6392d8acc0fSJohn Dyson /* 6409fcfb650SDavid Greenman * Let the pager know object is dead. 6419fcfb650SDavid Greenman */ 6429fcfb650SDavid Greenman vm_pager_deallocate(object); 643658ad5ffSAlan Cox VM_OBJECT_UNLOCK(object); 6449fcfb650SDavid Greenman 6459fcfb650SDavid Greenman /* 6460b10ba98SDavid Greenman * Remove the object from the global object list. 6472d8acc0fSJohn Dyson */ 6489ed346baSBosko Milekic mtx_lock(&vm_object_list_mtx); 649df8bae1dSRodney W. Grimes TAILQ_REMOVE(&vm_object_list, object, object_list); 6509ed346baSBosko Milekic mtx_unlock(&vm_object_list_mtx); 6510b10ba98SDavid Greenman 652df8bae1dSRodney W. Grimes /* 653df8bae1dSRodney W. Grimes * Free the space for the object. 654df8bae1dSRodney W. Grimes */ 655670d17b5SJeff Roberson uma_zfree(obj_zone, object); 65647221757SJohn Dyson } 657df8bae1dSRodney W. Grimes 658df8bae1dSRodney W. Grimes /* 659df8bae1dSRodney W. Grimes * vm_object_page_clean 660df8bae1dSRodney W. Grimes * 6614f79d873SMatthew Dillon * Clean all dirty pages in the specified range of object. Leaves page 6624f79d873SMatthew Dillon * on whatever queue it is currently on. If NOSYNC is set then do not 6634f79d873SMatthew Dillon * write out pages with PG_NOSYNC set (originally comes from MAP_NOSYNC), 6644f79d873SMatthew Dillon * leaving the object dirty. 66526f9a767SRodney W. Grimes * 66643b7990eSMatthew Dillon * When stuffing pages asynchronously, allow clustering. XXX we need a 66743b7990eSMatthew Dillon * synchronous clustering mode implementation. 66843b7990eSMatthew Dillon * 66926f9a767SRodney W. Grimes * Odd semantics: if start == end, we clean everything. 67026f9a767SRodney W. Grimes * 67126f9a767SRodney W. Grimes * The object must be locked. 67226f9a767SRodney W. Grimes */ 673f6b04d2bSDavid Greenman void 6741b40f8c0SMatthew Dillon vm_object_page_clean(vm_object_t object, vm_pindex_t start, vm_pindex_t end, int flags) 675f6b04d2bSDavid Greenman { 676b9b7a4beSMatthew Dillon vm_page_t p, np; 6776395da54SIan Dowse vm_pindex_t tstart, tend; 678bd7e5f99SJohn Dyson vm_pindex_t pi; 6794f79d873SMatthew Dillon int clearobjflags; 6808f9110f6SJohn Dyson int pagerflags; 6812d8acc0fSJohn Dyson int curgeneration; 682f6b04d2bSDavid Greenman 683b6e48e03SAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 684aef922f5SJohn Dyson if (object->type != OBJT_VNODE || 685aef922f5SJohn Dyson (object->flags & OBJ_MIGHTBEDIRTY) == 0) 686f6b04d2bSDavid Greenman return; 687f6b04d2bSDavid Greenman 68843b7990eSMatthew Dillon pagerflags = (flags & (OBJPC_SYNC | OBJPC_INVAL)) ? VM_PAGER_PUT_SYNC : VM_PAGER_CLUSTER_OK; 6898f9110f6SJohn Dyson pagerflags |= (flags & OBJPC_INVAL) ? VM_PAGER_PUT_INVAL : 0; 6908f9110f6SJohn Dyson 691069e9bc1SDoug Rabson vm_object_set_flag(object, OBJ_CLEANING); 69224a1cce3SDavid Greenman 693f6b04d2bSDavid Greenman tstart = start; 694f6b04d2bSDavid Greenman if (end == 0) { 695f6b04d2bSDavid Greenman tend = object->size; 696f6b04d2bSDavid Greenman } else { 697f6b04d2bSDavid Greenman tend = end; 698f6b04d2bSDavid Greenman } 699eaf13dd7SJohn Dyson 70035c01631SAlan Cox vm_page_lock_queues(); 7014f79d873SMatthew Dillon /* 702b9b7a4beSMatthew Dillon * If the caller is smart and only msync()s a range he knows is 703b9b7a4beSMatthew Dillon * dirty, we may be able to avoid an object scan. This results in 704b9b7a4beSMatthew Dillon * a phenominal improvement in performance. We cannot do this 705b9b7a4beSMatthew Dillon * as a matter of course because the object may be huge - e.g. 706b9b7a4beSMatthew Dillon * the size might be in the gigabytes or terrabytes. 707b9b7a4beSMatthew Dillon */ 708b9b7a4beSMatthew Dillon if (msync_flush_flags & MSYNC_FLUSH_HARDSEQ) { 709300b96acSIan Dowse vm_pindex_t tscan; 710b9b7a4beSMatthew Dillon int scanlimit; 711b9b7a4beSMatthew Dillon int scanreset; 712b9b7a4beSMatthew Dillon 713b9b7a4beSMatthew Dillon scanreset = object->resident_page_count / EASY_SCAN_FACTOR; 714b9b7a4beSMatthew Dillon if (scanreset < 16) 715b9b7a4beSMatthew Dillon scanreset = 16; 71643b7990eSMatthew Dillon pagerflags |= VM_PAGER_IGNORE_CLEANCHK; 717b9b7a4beSMatthew Dillon 718b9b7a4beSMatthew Dillon scanlimit = scanreset; 719b9b7a4beSMatthew Dillon tscan = tstart; 720b9b7a4beSMatthew Dillon while (tscan < tend) { 721b9b7a4beSMatthew Dillon curgeneration = object->generation; 722b9b7a4beSMatthew Dillon p = vm_page_lookup(object, tscan); 723b9b7a4beSMatthew Dillon if (p == NULL || p->valid == 0 || 724b9b7a4beSMatthew Dillon (p->queue - p->pc) == PQ_CACHE) { 725b9b7a4beSMatthew Dillon if (--scanlimit == 0) 726b9b7a4beSMatthew Dillon break; 727b9b7a4beSMatthew Dillon ++tscan; 728b9b7a4beSMatthew Dillon continue; 729b9b7a4beSMatthew Dillon } 730b9b7a4beSMatthew Dillon vm_page_test_dirty(p); 731b9b7a4beSMatthew Dillon if ((p->dirty & p->valid) == 0) { 732b9b7a4beSMatthew Dillon if (--scanlimit == 0) 733b9b7a4beSMatthew Dillon break; 734b9b7a4beSMatthew Dillon ++tscan; 735b9b7a4beSMatthew Dillon continue; 736b9b7a4beSMatthew Dillon } 737b9b7a4beSMatthew Dillon /* 738b9b7a4beSMatthew Dillon * If we have been asked to skip nosync pages and 739b9b7a4beSMatthew Dillon * this is a nosync page, we can't continue. 740b9b7a4beSMatthew Dillon */ 741b9b7a4beSMatthew Dillon if ((flags & OBJPC_NOSYNC) && (p->flags & PG_NOSYNC)) { 742b9b7a4beSMatthew Dillon if (--scanlimit == 0) 743b9b7a4beSMatthew Dillon break; 744b9b7a4beSMatthew Dillon ++tscan; 745b9b7a4beSMatthew Dillon continue; 746b9b7a4beSMatthew Dillon } 747b9b7a4beSMatthew Dillon scanlimit = scanreset; 748b9b7a4beSMatthew Dillon 749b9b7a4beSMatthew Dillon /* 750b9b7a4beSMatthew Dillon * This returns 0 if it was unable to busy the first 751b9b7a4beSMatthew Dillon * page (i.e. had to sleep). 752b9b7a4beSMatthew Dillon */ 753b9b7a4beSMatthew Dillon tscan += vm_object_page_collect_flush(object, p, curgeneration, pagerflags); 754b9b7a4beSMatthew Dillon } 755b9b7a4beSMatthew Dillon 756b9b7a4beSMatthew Dillon /* 757b9b7a4beSMatthew Dillon * If everything was dirty and we flushed it successfully, 758b9b7a4beSMatthew Dillon * and the requested range is not the entire object, we 759b9b7a4beSMatthew Dillon * don't have to mess with CLEANCHK or MIGHTBEDIRTY and can 760b9b7a4beSMatthew Dillon * return immediately. 761b9b7a4beSMatthew Dillon */ 762b9b7a4beSMatthew Dillon if (tscan >= tend && (tstart || tend < object->size)) { 76335c01631SAlan Cox vm_page_unlock_queues(); 764b9b7a4beSMatthew Dillon vm_object_clear_flag(object, OBJ_CLEANING); 765b9b7a4beSMatthew Dillon return; 766b9b7a4beSMatthew Dillon } 76743b7990eSMatthew Dillon pagerflags &= ~VM_PAGER_IGNORE_CLEANCHK; 768b9b7a4beSMatthew Dillon } 769b9b7a4beSMatthew Dillon 770b9b7a4beSMatthew Dillon /* 7714f79d873SMatthew Dillon * Generally set CLEANCHK interlock and make the page read-only so 7724f79d873SMatthew Dillon * we can then clear the object flags. 7734f79d873SMatthew Dillon * 7744f79d873SMatthew Dillon * However, if this is a nosync mmap then the object is likely to 7754f79d873SMatthew Dillon * stay dirty so do not mess with the page and do not clear the 7764f79d873SMatthew Dillon * object flags. 7774f79d873SMatthew Dillon */ 7784f79d873SMatthew Dillon clearobjflags = 1; 779fc2ffbe6SPoul-Henning Kamp TAILQ_FOREACH(p, &object->memq, listq) { 780e69763a3SDoug Rabson vm_page_flag_set(p, PG_CLEANCHK); 7814f79d873SMatthew Dillon if ((flags & OBJPC_NOSYNC) && (p->flags & PG_NOSYNC)) 7824f79d873SMatthew Dillon clearobjflags = 0; 7834f79d873SMatthew Dillon else 784a12cc0e4SAlan Cox pmap_page_protect(p, VM_PROT_READ); 785eaf13dd7SJohn Dyson } 786eaf13dd7SJohn Dyson 7874f79d873SMatthew Dillon if (clearobjflags && (tstart == 0) && (tend == object->size)) { 788245df27cSMatthew Dillon struct vnode *vp; 789245df27cSMatthew Dillon 790069e9bc1SDoug Rabson vm_object_clear_flag(object, OBJ_WRITEABLE|OBJ_MIGHTBEDIRTY); 791245df27cSMatthew Dillon if (object->type == OBJT_VNODE && 792245df27cSMatthew Dillon (vp = (struct vnode *)object->handle) != NULL) { 793e6e370a7SJeff Roberson VI_LOCK(vp); 794e6e370a7SJeff Roberson if (vp->v_iflag & VI_OBJDIRTY) 795e6e370a7SJeff Roberson vp->v_iflag &= ~VI_OBJDIRTY; 796e6e370a7SJeff Roberson VI_UNLOCK(vp); 797245df27cSMatthew Dillon } 798ec4f9fb0SDavid Greenman } 799f6b04d2bSDavid Greenman 800bd7e5f99SJohn Dyson rescan: 8012d8acc0fSJohn Dyson curgeneration = object->generation; 8022d8acc0fSJohn Dyson 803b18bfc3dSJohn Dyson for (p = TAILQ_FIRST(&object->memq); p; p = np) { 804b9b7a4beSMatthew Dillon int n; 805b9b7a4beSMatthew Dillon 806b18bfc3dSJohn Dyson np = TAILQ_NEXT(p, listq); 807bd7e5f99SJohn Dyson 808b9b7a4beSMatthew Dillon again: 809bd7e5f99SJohn Dyson pi = p->pindex; 810bd7e5f99SJohn Dyson if (((p->flags & PG_CLEANCHK) == 0) || 811bd7e5f99SJohn Dyson (pi < tstart) || (pi >= tend) || 8125070c7f8SJohn Dyson (p->valid == 0) || 8135070c7f8SJohn Dyson ((p->queue - p->pc) == PQ_CACHE)) { 814e69763a3SDoug Rabson vm_page_flag_clear(p, PG_CLEANCHK); 815aef922f5SJohn Dyson continue; 816f6b04d2bSDavid Greenman } 817f6b04d2bSDavid Greenman 818bd7e5f99SJohn Dyson vm_page_test_dirty(p); 819bd7e5f99SJohn Dyson if ((p->dirty & p->valid) == 0) { 820e69763a3SDoug Rabson vm_page_flag_clear(p, PG_CLEANCHK); 821bd7e5f99SJohn Dyson continue; 822bd7e5f99SJohn Dyson } 823ec4f9fb0SDavid Greenman 8244f79d873SMatthew Dillon /* 8254f79d873SMatthew Dillon * If we have been asked to skip nosync pages and this is a 8264f79d873SMatthew Dillon * nosync page, skip it. Note that the object flags were 8274f79d873SMatthew Dillon * not cleared in this case so we do not have to set them. 8284f79d873SMatthew Dillon */ 8294f79d873SMatthew Dillon if ((flags & OBJPC_NOSYNC) && (p->flags & PG_NOSYNC)) { 8304f79d873SMatthew Dillon vm_page_flag_clear(p, PG_CLEANCHK); 8314f79d873SMatthew Dillon continue; 8324f79d873SMatthew Dillon } 8334f79d873SMatthew Dillon 834b9b7a4beSMatthew Dillon n = vm_object_page_collect_flush(object, p, 835b9b7a4beSMatthew Dillon curgeneration, pagerflags); 836b9b7a4beSMatthew Dillon if (n == 0) 837b9b7a4beSMatthew Dillon goto rescan; 838b9b7a4beSMatthew Dillon 839b9b7a4beSMatthew Dillon if (object->generation != curgeneration) 840b9b7a4beSMatthew Dillon goto rescan; 841b9b7a4beSMatthew Dillon 842b9b7a4beSMatthew Dillon /* 843b9b7a4beSMatthew Dillon * Try to optimize the next page. If we can't we pick up 844b9b7a4beSMatthew Dillon * our (random) scan where we left off. 845b9b7a4beSMatthew Dillon */ 846b9b7a4beSMatthew Dillon if (msync_flush_flags & MSYNC_FLUSH_SOFTSEQ) { 847b9b7a4beSMatthew Dillon if ((p = vm_page_lookup(object, pi + n)) != NULL) 848b9b7a4beSMatthew Dillon goto again; 849b9b7a4beSMatthew Dillon } 850b9b7a4beSMatthew Dillon } 85135c01631SAlan Cox vm_page_unlock_queues(); 852b9b7a4beSMatthew Dillon #if 0 8538df6bac4SPoul-Henning Kamp VOP_FSYNC(vp, (pagerflags & VM_PAGER_PUT_SYNC)?MNT_WAIT:0, curproc); 854b9b7a4beSMatthew Dillon #endif 855b9b7a4beSMatthew Dillon 856b9b7a4beSMatthew Dillon vm_object_clear_flag(object, OBJ_CLEANING); 857b9b7a4beSMatthew Dillon return; 858b9b7a4beSMatthew Dillon } 859b9b7a4beSMatthew Dillon 860b9b7a4beSMatthew Dillon static int 861b9b7a4beSMatthew Dillon vm_object_page_collect_flush(vm_object_t object, vm_page_t p, int curgeneration, int pagerflags) 862b9b7a4beSMatthew Dillon { 863b9b7a4beSMatthew Dillon int runlen; 864b9b7a4beSMatthew Dillon int maxf; 865b9b7a4beSMatthew Dillon int chkb; 866b9b7a4beSMatthew Dillon int maxb; 867b9b7a4beSMatthew Dillon int i; 868b9b7a4beSMatthew Dillon vm_pindex_t pi; 869b9b7a4beSMatthew Dillon vm_page_t maf[vm_pageout_page_count]; 870b9b7a4beSMatthew Dillon vm_page_t mab[vm_pageout_page_count]; 871b9b7a4beSMatthew Dillon vm_page_t ma[vm_pageout_page_count]; 872b9b7a4beSMatthew Dillon 87335c01631SAlan Cox mtx_assert(&vm_page_queue_mtx, MA_OWNED); 874b9b7a4beSMatthew Dillon pi = p->pindex; 875bd82dc74SAlan Cox while (vm_page_sleep_if_busy(p, TRUE, "vpcwai")) { 87635c01631SAlan Cox vm_page_lock_queues(); 8772d8acc0fSJohn Dyson if (object->generation != curgeneration) { 878b9b7a4beSMatthew Dillon return(0); 879f6b04d2bSDavid Greenman } 880bd82dc74SAlan Cox } 881bd7e5f99SJohn Dyson maxf = 0; 882bd7e5f99SJohn Dyson for(i = 1; i < vm_pageout_page_count; i++) { 883b9b7a4beSMatthew Dillon vm_page_t tp; 884b9b7a4beSMatthew Dillon 8858aef1712SMatthew Dillon if ((tp = vm_page_lookup(object, pi + i)) != NULL) { 886bd7e5f99SJohn Dyson if ((tp->flags & PG_BUSY) || 88743b7990eSMatthew Dillon ((pagerflags & VM_PAGER_IGNORE_CLEANCHK) == 0 && 88843b7990eSMatthew Dillon (tp->flags & PG_CLEANCHK) == 0) || 889ffc82b0aSJohn Dyson (tp->busy != 0)) 890bd7e5f99SJohn Dyson break; 8915070c7f8SJohn Dyson if((tp->queue - tp->pc) == PQ_CACHE) { 892e69763a3SDoug Rabson vm_page_flag_clear(tp, PG_CLEANCHK); 8933077a9c2SJohn Dyson break; 8943077a9c2SJohn Dyson } 895bd7e5f99SJohn Dyson vm_page_test_dirty(tp); 896bd7e5f99SJohn Dyson if ((tp->dirty & tp->valid) == 0) { 897e69763a3SDoug Rabson vm_page_flag_clear(tp, PG_CLEANCHK); 898bd7e5f99SJohn Dyson break; 899bd7e5f99SJohn Dyson } 900bd7e5f99SJohn Dyson maf[ i - 1 ] = tp; 901bd7e5f99SJohn Dyson maxf++; 902bd7e5f99SJohn Dyson continue; 903bd7e5f99SJohn Dyson } 904bd7e5f99SJohn Dyson break; 905bd7e5f99SJohn Dyson } 906aef922f5SJohn Dyson 907bd7e5f99SJohn Dyson maxb = 0; 908bd7e5f99SJohn Dyson chkb = vm_pageout_page_count - maxf; 909bd7e5f99SJohn Dyson if (chkb) { 910bd7e5f99SJohn Dyson for(i = 1; i < chkb;i++) { 911b9b7a4beSMatthew Dillon vm_page_t tp; 912b9b7a4beSMatthew Dillon 9138aef1712SMatthew Dillon if ((tp = vm_page_lookup(object, pi - i)) != NULL) { 914bd7e5f99SJohn Dyson if ((tp->flags & PG_BUSY) || 91543b7990eSMatthew Dillon ((pagerflags & VM_PAGER_IGNORE_CLEANCHK) == 0 && 91643b7990eSMatthew Dillon (tp->flags & PG_CLEANCHK) == 0) || 917ffc82b0aSJohn Dyson (tp->busy != 0)) 918bd7e5f99SJohn Dyson break; 9195070c7f8SJohn Dyson if ((tp->queue - tp->pc) == PQ_CACHE) { 920e69763a3SDoug Rabson vm_page_flag_clear(tp, PG_CLEANCHK); 9213077a9c2SJohn Dyson break; 9223077a9c2SJohn Dyson } 923bd7e5f99SJohn Dyson vm_page_test_dirty(tp); 924bd7e5f99SJohn Dyson if ((tp->dirty & tp->valid) == 0) { 925e69763a3SDoug Rabson vm_page_flag_clear(tp, PG_CLEANCHK); 926bd7e5f99SJohn Dyson break; 927bd7e5f99SJohn Dyson } 928bd7e5f99SJohn Dyson mab[ i - 1 ] = tp; 929bd7e5f99SJohn Dyson maxb++; 930bd7e5f99SJohn Dyson continue; 931bd7e5f99SJohn Dyson } 932bd7e5f99SJohn Dyson break; 933bd7e5f99SJohn Dyson } 934bd7e5f99SJohn Dyson } 935bd7e5f99SJohn Dyson 936bd7e5f99SJohn Dyson for(i = 0; i < maxb; i++) { 937bd7e5f99SJohn Dyson int index = (maxb - i) - 1; 938bd7e5f99SJohn Dyson ma[index] = mab[i]; 939e69763a3SDoug Rabson vm_page_flag_clear(ma[index], PG_CLEANCHK); 940bd7e5f99SJohn Dyson } 941e69763a3SDoug Rabson vm_page_flag_clear(p, PG_CLEANCHK); 942bd7e5f99SJohn Dyson ma[maxb] = p; 943bd7e5f99SJohn Dyson for(i = 0; i < maxf; i++) { 944bd7e5f99SJohn Dyson int index = (maxb + i) + 1; 945bd7e5f99SJohn Dyson ma[index] = maf[i]; 946e69763a3SDoug Rabson vm_page_flag_clear(ma[index], PG_CLEANCHK); 947f6b04d2bSDavid Greenman } 948bd7e5f99SJohn Dyson runlen = maxb + maxf + 1; 949cf2819ccSJohn Dyson 9507a935082SAlan Cox vm_pageout_flush(ma, runlen, pagerflags); 951cf2819ccSJohn Dyson for (i = 0; i < runlen; i++) { 952cf2819ccSJohn Dyson if (ma[i]->valid & ma[i]->dirty) { 953a12cc0e4SAlan Cox pmap_page_protect(ma[i], VM_PROT_READ); 954e69763a3SDoug Rabson vm_page_flag_set(ma[i], PG_CLEANCHK); 955aef922f5SJohn Dyson 956b9b7a4beSMatthew Dillon /* 957b9b7a4beSMatthew Dillon * maxf will end up being the actual number of pages 958b9b7a4beSMatthew Dillon * we wrote out contiguously, non-inclusive of the 959b9b7a4beSMatthew Dillon * first page. We do not count look-behind pages. 960b9b7a4beSMatthew Dillon */ 961b9b7a4beSMatthew Dillon if (i >= maxb + 1 && (maxf > i - maxb - 1)) 962b9b7a4beSMatthew Dillon maxf = i - maxb - 1; 963b9b7a4beSMatthew Dillon } 964b9b7a4beSMatthew Dillon } 965b9b7a4beSMatthew Dillon return(maxf + 1); 96626f9a767SRodney W. Grimes } 967df8bae1dSRodney W. Grimes 9681efb74fbSJohn Dyson /* 969950f8459SAlan Cox * Note that there is absolutely no sense in writing out 970950f8459SAlan Cox * anonymous objects, so we track down the vnode object 971950f8459SAlan Cox * to write out. 972950f8459SAlan Cox * We invalidate (remove) all pages from the address space 973950f8459SAlan Cox * for semantic correctness. 974950f8459SAlan Cox * 975950f8459SAlan Cox * Note: certain anonymous maps, such as MAP_NOSYNC maps, 976950f8459SAlan Cox * may start out with a NULL object. 977950f8459SAlan Cox */ 978950f8459SAlan Cox void 979950f8459SAlan Cox vm_object_sync(vm_object_t object, vm_ooffset_t offset, vm_size_t size, 980950f8459SAlan Cox boolean_t syncio, boolean_t invalidate) 981950f8459SAlan Cox { 982950f8459SAlan Cox vm_object_t backing_object; 983950f8459SAlan Cox struct vnode *vp; 984950f8459SAlan Cox int flags; 985950f8459SAlan Cox 986950f8459SAlan Cox if (object == NULL) 987950f8459SAlan Cox return; 988950f8459SAlan Cox VM_OBJECT_LOCK(object); 989950f8459SAlan Cox while ((backing_object = object->backing_object) != NULL) { 990950f8459SAlan Cox VM_OBJECT_LOCK(backing_object); 99156e0670fSAlan Cox offset += object->backing_object_offset; 992950f8459SAlan Cox VM_OBJECT_UNLOCK(object); 993950f8459SAlan Cox object = backing_object; 994950f8459SAlan Cox if (object->size < OFF_TO_IDX(offset + size)) 995950f8459SAlan Cox size = IDX_TO_OFF(object->size) - offset; 996950f8459SAlan Cox } 997950f8459SAlan Cox /* 998950f8459SAlan Cox * Flush pages if writing is allowed, invalidate them 999950f8459SAlan Cox * if invalidation requested. Pages undergoing I/O 1000950f8459SAlan Cox * will be ignored by vm_object_page_remove(). 1001950f8459SAlan Cox * 1002950f8459SAlan Cox * We cannot lock the vnode and then wait for paging 1003950f8459SAlan Cox * to complete without deadlocking against vm_fault. 1004950f8459SAlan Cox * Instead we simply call vm_object_page_remove() and 1005950f8459SAlan Cox * allow it to block internally on a page-by-page 1006950f8459SAlan Cox * basis when it encounters pages undergoing async 1007950f8459SAlan Cox * I/O. 1008950f8459SAlan Cox */ 1009950f8459SAlan Cox if (object->type == OBJT_VNODE && 1010950f8459SAlan Cox (object->flags & OBJ_MIGHTBEDIRTY) != 0) { 1011ae51ff11SJeff Roberson int vfslocked; 1012950f8459SAlan Cox vp = object->handle; 1013950f8459SAlan Cox VM_OBJECT_UNLOCK(object); 1014ae51ff11SJeff Roberson vfslocked = VFS_LOCK_GIANT(vp->v_mount); 1015950f8459SAlan Cox vn_lock(vp, LK_EXCLUSIVE | LK_RETRY, curthread); 1016950f8459SAlan Cox flags = (syncio || invalidate) ? OBJPC_SYNC : 0; 1017950f8459SAlan Cox flags |= invalidate ? OBJPC_INVAL : 0; 1018950f8459SAlan Cox VM_OBJECT_LOCK(object); 1019950f8459SAlan Cox vm_object_page_clean(object, 1020950f8459SAlan Cox OFF_TO_IDX(offset), 1021950f8459SAlan Cox OFF_TO_IDX(offset + size + PAGE_MASK), 1022950f8459SAlan Cox flags); 1023950f8459SAlan Cox VM_OBJECT_UNLOCK(object); 1024950f8459SAlan Cox VOP_UNLOCK(vp, 0, curthread); 1025ae51ff11SJeff Roberson VFS_UNLOCK_GIANT(vfslocked); 1026950f8459SAlan Cox VM_OBJECT_LOCK(object); 1027950f8459SAlan Cox } 1028950f8459SAlan Cox if ((object->type == OBJT_VNODE || 1029950f8459SAlan Cox object->type == OBJT_DEVICE) && invalidate) { 1030874f0135SDoug Rabson boolean_t purge; 1031874f0135SDoug Rabson purge = old_msync || (object->type == OBJT_DEVICE); 1032950f8459SAlan Cox vm_object_page_remove(object, 1033950f8459SAlan Cox OFF_TO_IDX(offset), 1034950f8459SAlan Cox OFF_TO_IDX(offset + size + PAGE_MASK), 1035874f0135SDoug Rabson purge ? FALSE : TRUE); 1036950f8459SAlan Cox } 1037950f8459SAlan Cox VM_OBJECT_UNLOCK(object); 1038950f8459SAlan Cox } 1039950f8459SAlan Cox 1040950f8459SAlan Cox /* 1041867a482dSJohn Dyson * vm_object_madvise: 1042867a482dSJohn Dyson * 1043867a482dSJohn Dyson * Implements the madvise function at the object/page level. 10441c7c3c6aSMatthew Dillon * 1045193b9358SAlan Cox * MADV_WILLNEED (any object) 1046193b9358SAlan Cox * 1047193b9358SAlan Cox * Activate the specified pages if they are resident. 1048193b9358SAlan Cox * 1049193b9358SAlan Cox * MADV_DONTNEED (any object) 1050193b9358SAlan Cox * 1051193b9358SAlan Cox * Deactivate the specified pages if they are resident. 1052193b9358SAlan Cox * 1053193b9358SAlan Cox * MADV_FREE (OBJT_DEFAULT/OBJT_SWAP objects, 1054193b9358SAlan Cox * OBJ_ONEMAPPING only) 1055193b9358SAlan Cox * 1056193b9358SAlan Cox * Deactivate and clean the specified pages if they are 1057193b9358SAlan Cox * resident. This permits the process to reuse the pages 1058193b9358SAlan Cox * without faulting or the kernel to reclaim the pages 1059193b9358SAlan Cox * without I/O. 1060867a482dSJohn Dyson */ 1061867a482dSJohn Dyson void 10621b40f8c0SMatthew Dillon vm_object_madvise(vm_object_t object, vm_pindex_t pindex, int count, int advise) 1063867a482dSJohn Dyson { 10646e20a165SJohn Dyson vm_pindex_t end, tpindex; 106534567de7SAlan Cox vm_object_t backing_object, tobject; 1066867a482dSJohn Dyson vm_page_t m; 1067867a482dSJohn Dyson 1068867a482dSJohn Dyson if (object == NULL) 1069867a482dSJohn Dyson return; 10709b98b796SAlan Cox VM_OBJECT_LOCK(object); 1071867a482dSJohn Dyson end = pindex + count; 10721c7c3c6aSMatthew Dillon /* 10731c7c3c6aSMatthew Dillon * Locate and adjust resident pages 10741c7c3c6aSMatthew Dillon */ 10751c7c3c6aSMatthew Dillon for (; pindex < end; pindex += 1) { 10766e20a165SJohn Dyson relookup: 10776e20a165SJohn Dyson tobject = object; 10786e20a165SJohn Dyson tpindex = pindex; 10796e20a165SJohn Dyson shadowlookup: 108058b4e6ccSAlan Cox /* 108158b4e6ccSAlan Cox * MADV_FREE only operates on OBJT_DEFAULT or OBJT_SWAP pages 108258b4e6ccSAlan Cox * and those pages must be OBJ_ONEMAPPING. 108358b4e6ccSAlan Cox */ 108458b4e6ccSAlan Cox if (advise == MADV_FREE) { 108558b4e6ccSAlan Cox if ((tobject->type != OBJT_DEFAULT && 108658b4e6ccSAlan Cox tobject->type != OBJT_SWAP) || 108758b4e6ccSAlan Cox (tobject->flags & OBJ_ONEMAPPING) == 0) { 108834567de7SAlan Cox goto unlock_tobject; 10896e20a165SJohn Dyson } 109058b4e6ccSAlan Cox } 10911c7c3c6aSMatthew Dillon m = vm_page_lookup(tobject, tpindex); 10921c7c3c6aSMatthew Dillon if (m == NULL) { 10931ce137beSMatthew Dillon /* 10941ce137beSMatthew Dillon * There may be swap even if there is no backing page 10951ce137beSMatthew Dillon */ 10961ce137beSMatthew Dillon if (advise == MADV_FREE && tobject->type == OBJT_SWAP) 10971ce137beSMatthew Dillon swap_pager_freespace(tobject, tpindex, 1); 10981ce137beSMatthew Dillon /* 10991ce137beSMatthew Dillon * next object 11001ce137beSMatthew Dillon */ 110134567de7SAlan Cox backing_object = tobject->backing_object; 110234567de7SAlan Cox if (backing_object == NULL) 110334567de7SAlan Cox goto unlock_tobject; 110434567de7SAlan Cox VM_OBJECT_LOCK(backing_object); 110556e0670fSAlan Cox tpindex += OFF_TO_IDX(tobject->backing_object_offset); 11069b98b796SAlan Cox if (tobject != object) 110734567de7SAlan Cox VM_OBJECT_UNLOCK(tobject); 110834567de7SAlan Cox tobject = backing_object; 11096e20a165SJohn Dyson goto shadowlookup; 11106e20a165SJohn Dyson } 1111867a482dSJohn Dyson /* 1112867a482dSJohn Dyson * If the page is busy or not in a normal active state, 11138b03c8edSMatthew Dillon * we skip it. If the page is not managed there are no 11148b03c8edSMatthew Dillon * page queues to mess with. Things can break if we mess 11158b03c8edSMatthew Dillon * with pages in any of the below states. 1116867a482dSJohn Dyson */ 111732585dd6SAlan Cox vm_page_lock_queues(); 111832585dd6SAlan Cox if (m->hold_count || 11191c7c3c6aSMatthew Dillon m->wire_count || 11208b03c8edSMatthew Dillon (m->flags & PG_UNMANAGED) || 112132585dd6SAlan Cox m->valid != VM_PAGE_BITS_ALL) { 112232585dd6SAlan Cox vm_page_unlock_queues(); 112334567de7SAlan Cox goto unlock_tobject; 11246e20a165SJohn Dyson } 11259b98b796SAlan Cox if ((m->flags & PG_BUSY) || m->busy) { 11269b98b796SAlan Cox vm_page_flag_set(m, PG_WANTED | PG_REFERENCED); 11279b98b796SAlan Cox if (object != tobject) 11289b98b796SAlan Cox VM_OBJECT_UNLOCK(object); 112934567de7SAlan Cox VM_OBJECT_UNLOCK(tobject); 11309b98b796SAlan Cox msleep(m, &vm_page_queue_mtx, PDROP | PVM, "madvpo", 0); 11319b98b796SAlan Cox VM_OBJECT_LOCK(object); 11326e20a165SJohn Dyson goto relookup; 113334567de7SAlan Cox } 1134867a482dSJohn Dyson if (advise == MADV_WILLNEED) { 1135867a482dSJohn Dyson vm_page_activate(m); 11366e20a165SJohn Dyson } else if (advise == MADV_DONTNEED) { 1137479112dfSMatthew Dillon vm_page_dontneed(m); 11380a47b48bSJohn Dyson } else if (advise == MADV_FREE) { 11391c7c3c6aSMatthew Dillon /* 11402aaeadf8SMatthew Dillon * Mark the page clean. This will allow the page 11412aaeadf8SMatthew Dillon * to be freed up by the system. However, such pages 11422aaeadf8SMatthew Dillon * are often reused quickly by malloc()/free() 11432aaeadf8SMatthew Dillon * so we do not do anything that would cause 11442aaeadf8SMatthew Dillon * a page fault if we can help it. 11452aaeadf8SMatthew Dillon * 11462aaeadf8SMatthew Dillon * Specifically, we do not try to actually free 11472aaeadf8SMatthew Dillon * the page now nor do we try to put it in the 11482aaeadf8SMatthew Dillon * cache (which would cause a page fault on reuse). 114941c67e12SMatthew Dillon * 115041c67e12SMatthew Dillon * But we do make the page is freeable as we 115141c67e12SMatthew Dillon * can without actually taking the step of unmapping 115241c67e12SMatthew Dillon * it. 11531c7c3c6aSMatthew Dillon */ 11540385347cSPeter Wemm pmap_clear_modify(m); 11556e20a165SJohn Dyson m->dirty = 0; 115641c67e12SMatthew Dillon m->act_count = 0; 1157479112dfSMatthew Dillon vm_page_dontneed(m); 1158867a482dSJohn Dyson } 11592999e9faSAlan Cox vm_page_unlock_queues(); 11602999e9faSAlan Cox if (advise == MADV_FREE && tobject->type == OBJT_SWAP) 11612999e9faSAlan Cox swap_pager_freespace(tobject, tpindex, 1); 116234567de7SAlan Cox unlock_tobject: 11639b98b796SAlan Cox if (tobject != object) 116434567de7SAlan Cox VM_OBJECT_UNLOCK(tobject); 1165867a482dSJohn Dyson } 11669b98b796SAlan Cox VM_OBJECT_UNLOCK(object); 1167867a482dSJohn Dyson } 1168867a482dSJohn Dyson 1169867a482dSJohn Dyson /* 1170df8bae1dSRodney W. Grimes * vm_object_shadow: 1171df8bae1dSRodney W. Grimes * 1172df8bae1dSRodney W. Grimes * Create a new object which is backed by the 1173df8bae1dSRodney W. Grimes * specified existing object range. The source 1174df8bae1dSRodney W. Grimes * object reference is deallocated. 1175df8bae1dSRodney W. Grimes * 1176df8bae1dSRodney W. Grimes * The new object and offset into that object 1177df8bae1dSRodney W. Grimes * are returned in the source parameters. 1178df8bae1dSRodney W. Grimes */ 117926f9a767SRodney W. Grimes void 11801b40f8c0SMatthew Dillon vm_object_shadow( 11811b40f8c0SMatthew Dillon vm_object_t *object, /* IN/OUT */ 11821b40f8c0SMatthew Dillon vm_ooffset_t *offset, /* IN/OUT */ 11831b40f8c0SMatthew Dillon vm_size_t length) 1184df8bae1dSRodney W. Grimes { 1185d031cff1SMatthew Dillon vm_object_t source; 1186d031cff1SMatthew Dillon vm_object_t result; 1187df8bae1dSRodney W. Grimes 1188df8bae1dSRodney W. Grimes source = *object; 1189df8bae1dSRodney W. Grimes 1190df8bae1dSRodney W. Grimes /* 11919a2f6362SAlan Cox * Don't create the new object if the old object isn't shared. 11929a2f6362SAlan Cox */ 1193570a2f4aSAlan Cox if (source != NULL) { 1194570a2f4aSAlan Cox VM_OBJECT_LOCK(source); 1195570a2f4aSAlan Cox if (source->ref_count == 1 && 11969a2f6362SAlan Cox source->handle == NULL && 11979a2f6362SAlan Cox (source->type == OBJT_DEFAULT || 11989917e010SAlan Cox source->type == OBJT_SWAP)) { 1199570a2f4aSAlan Cox VM_OBJECT_UNLOCK(source); 12009a2f6362SAlan Cox return; 12019917e010SAlan Cox } 1202570a2f4aSAlan Cox VM_OBJECT_UNLOCK(source); 1203570a2f4aSAlan Cox } 12049a2f6362SAlan Cox 12059a2f6362SAlan Cox /* 1206570a2f4aSAlan Cox * Allocate a new object with the given length. 1207df8bae1dSRodney W. Grimes */ 1208971dd342SAlfred Perlstein result = vm_object_allocate(OBJT_DEFAULT, length); 1209df8bae1dSRodney W. Grimes 1210df8bae1dSRodney W. Grimes /* 12110d94caffSDavid Greenman * The new object shadows the source object, adding a reference to it. 12120d94caffSDavid Greenman * Our caller changes his reference to point to the new object, 12130d94caffSDavid Greenman * removing a reference to the source object. Net result: no change 12140d94caffSDavid Greenman * of reference count. 12159b09fe24SMatthew Dillon * 12169b09fe24SMatthew Dillon * Try to optimize the result object's page color when shadowing 1217956f3135SPhilippe Charnier * in order to maintain page coloring consistency in the combined 12189b09fe24SMatthew Dillon * shadowed object. 1219df8bae1dSRodney W. Grimes */ 122024a1cce3SDavid Greenman result->backing_object = source; 12219174ca7bSTor Egge /* 12229174ca7bSTor Egge * Store the offset into the source object, and fix up the offset into 12239174ca7bSTor Egge * the new object. 12249174ca7bSTor Egge */ 12259174ca7bSTor Egge result->backing_object_offset = *offset; 1226570a2f4aSAlan Cox if (source != NULL) { 1227570a2f4aSAlan Cox VM_OBJECT_LOCK(source); 12281c500307SAlan Cox LIST_INSERT_HEAD(&source->shadow_head, result, shadow_list); 1229eaf13dd7SJohn Dyson source->shadow_count++; 1230eaf13dd7SJohn Dyson source->generation++; 1231dcc5840eSAlan Cox if (length < source->size) 1232dcc5840eSAlan Cox length = source->size; 1233dcc5840eSAlan Cox if (length > PQ_L2_SIZE / 3 + PQ_PRIME1 || 1234dcc5840eSAlan Cox source->generation > 1) 1235dcc5840eSAlan Cox length = PQ_L2_SIZE / 3 + PQ_PRIME1; 1236dcc5840eSAlan Cox result->pg_color = (source->pg_color + 1237dcc5840eSAlan Cox length * source->generation) & PQ_L2_MASK; 1238ed4fe4f4SJeff Roberson result->flags |= source->flags & OBJ_NEEDGIANT; 1239570a2f4aSAlan Cox VM_OBJECT_UNLOCK(source); 1240dcc5840eSAlan Cox next_index = (result->pg_color + PQ_L2_SIZE / 3 + PQ_PRIME1) & 1241dcc5840eSAlan Cox PQ_L2_MASK; 1242de5f6a77SJohn Dyson } 1243df8bae1dSRodney W. Grimes 1244df8bae1dSRodney W. Grimes 1245df8bae1dSRodney W. Grimes /* 1246df8bae1dSRodney W. Grimes * Return the new things 1247df8bae1dSRodney W. Grimes */ 1248df8bae1dSRodney W. Grimes *offset = 0; 1249df8bae1dSRodney W. Grimes *object = result; 1250df8bae1dSRodney W. Grimes } 1251df8bae1dSRodney W. Grimes 1252c5aaa06dSAlan Cox /* 1253c5aaa06dSAlan Cox * vm_object_split: 1254c5aaa06dSAlan Cox * 1255c5aaa06dSAlan Cox * Split the pages in a map entry into a new object. This affords 1256c5aaa06dSAlan Cox * easier removal of unused pages, and keeps object inheritance from 1257c5aaa06dSAlan Cox * being a negative impact on memory usage. 1258c5aaa06dSAlan Cox */ 1259c5aaa06dSAlan Cox void 1260c5aaa06dSAlan Cox vm_object_split(vm_map_entry_t entry) 1261c5aaa06dSAlan Cox { 1262c5aaa06dSAlan Cox vm_page_t m; 1263c5aaa06dSAlan Cox vm_object_t orig_object, new_object, source; 126423f09d50SIan Dowse vm_pindex_t offidxstart, offidxend; 126523f09d50SIan Dowse vm_size_t idx, size; 1266c5aaa06dSAlan Cox 1267c5aaa06dSAlan Cox orig_object = entry->object.vm_object; 1268c5aaa06dSAlan Cox if (orig_object->type != OBJT_DEFAULT && orig_object->type != OBJT_SWAP) 1269c5aaa06dSAlan Cox return; 1270c5aaa06dSAlan Cox if (orig_object->ref_count <= 1) 1271c5aaa06dSAlan Cox return; 12724da9f125SAlan Cox VM_OBJECT_UNLOCK(orig_object); 1273c5aaa06dSAlan Cox 12744da9f125SAlan Cox offidxstart = OFF_TO_IDX(entry->offset); 12754da9f125SAlan Cox offidxend = offidxstart + OFF_TO_IDX(entry->end - entry->start); 1276c5aaa06dSAlan Cox size = offidxend - offidxstart; 1277c5aaa06dSAlan Cox 12784da9f125SAlan Cox /* 12794da9f125SAlan Cox * If swap_pager_copy() is later called, it will convert new_object 12804da9f125SAlan Cox * into a swap object. 12814da9f125SAlan Cox */ 12824da9f125SAlan Cox new_object = vm_object_allocate(OBJT_DEFAULT, size); 1283c5aaa06dSAlan Cox 128463f6cefcSAlan Cox VM_OBJECT_LOCK(new_object); 128563f6cefcSAlan Cox VM_OBJECT_LOCK(orig_object); 1286c5aaa06dSAlan Cox source = orig_object->backing_object; 1287c5aaa06dSAlan Cox if (source != NULL) { 12888e3a76fbSAlan Cox VM_OBJECT_LOCK(source); 12891c500307SAlan Cox LIST_INSERT_HEAD(&source->shadow_head, 1290c5aaa06dSAlan Cox new_object, shadow_list); 12918e3a76fbSAlan Cox source->shadow_count++; 12928e3a76fbSAlan Cox source->generation++; 1293b921a12bSAlan Cox vm_object_reference_locked(source); /* for new_object */ 1294c5aaa06dSAlan Cox vm_object_clear_flag(source, OBJ_ONEMAPPING); 1295e2479b4fSAlan Cox VM_OBJECT_UNLOCK(source); 1296c5aaa06dSAlan Cox new_object->backing_object_offset = 12974da9f125SAlan Cox orig_object->backing_object_offset + entry->offset; 1298c5aaa06dSAlan Cox new_object->backing_object = source; 1299c5aaa06dSAlan Cox } 1300b8a0b997SJeff Roberson new_object->flags |= orig_object->flags & OBJ_NEEDGIANT; 13015ba514bcSAlan Cox vm_page_lock_queues(); 1302c5aaa06dSAlan Cox for (idx = 0; idx < size; idx++) { 1303c5aaa06dSAlan Cox retry: 1304c5aaa06dSAlan Cox m = vm_page_lookup(orig_object, offidxstart + idx); 1305c5aaa06dSAlan Cox if (m == NULL) 1306c5aaa06dSAlan Cox continue; 1307c5aaa06dSAlan Cox 1308c5aaa06dSAlan Cox /* 1309c5aaa06dSAlan Cox * We must wait for pending I/O to complete before we can 1310c5aaa06dSAlan Cox * rename the page. 1311c5aaa06dSAlan Cox * 1312c5aaa06dSAlan Cox * We do not have to VM_PROT_NONE the page as mappings should 1313c5aaa06dSAlan Cox * not be changed by this operation. 1314c5aaa06dSAlan Cox */ 1315de33beddSAlan Cox if ((m->flags & PG_BUSY) || m->busy) { 1316de33beddSAlan Cox vm_page_flag_set(m, PG_WANTED | PG_REFERENCED); 1317de33beddSAlan Cox VM_OBJECT_UNLOCK(orig_object); 1318de33beddSAlan Cox VM_OBJECT_UNLOCK(new_object); 1319de33beddSAlan Cox msleep(m, &vm_page_queue_mtx, PDROP | PVM, "spltwt", 0); 1320de33beddSAlan Cox VM_OBJECT_LOCK(new_object); 1321de33beddSAlan Cox VM_OBJECT_LOCK(orig_object); 13225ba514bcSAlan Cox vm_page_lock_queues(); 1323c5aaa06dSAlan Cox goto retry; 1324de33beddSAlan Cox } 1325c5aaa06dSAlan Cox vm_page_rename(m, new_object, idx); 1326c5aaa06dSAlan Cox /* page automatically made dirty by rename and cache handled */ 1327c5aaa06dSAlan Cox vm_page_busy(m); 1328c5aaa06dSAlan Cox } 13295ba514bcSAlan Cox vm_page_unlock_queues(); 1330d7a013c3SAlan Cox if (orig_object->type == OBJT_SWAP) { 1331c5aaa06dSAlan Cox /* 1332c7c8dd7eSAlan Cox * swap_pager_copy() can sleep, in which case the orig_object's 1333c7c8dd7eSAlan Cox * and new_object's locks are released and reacquired. 1334c5aaa06dSAlan Cox */ 1335c5aaa06dSAlan Cox swap_pager_copy(orig_object, new_object, offidxstart, 0); 1336c5aaa06dSAlan Cox } 1337d7a013c3SAlan Cox VM_OBJECT_UNLOCK(orig_object); 1338dc907f66SAlan Cox vm_page_lock_queues(); 1339c7118ed6SAlan Cox TAILQ_FOREACH(m, &new_object->memq, listq) 1340c5aaa06dSAlan Cox vm_page_wakeup(m); 1341dc907f66SAlan Cox vm_page_unlock_queues(); 1342c7c8dd7eSAlan Cox VM_OBJECT_UNLOCK(new_object); 1343c5aaa06dSAlan Cox entry->object.vm_object = new_object; 1344c5aaa06dSAlan Cox entry->offset = 0LL; 1345c5aaa06dSAlan Cox vm_object_deallocate(orig_object); 13464da9f125SAlan Cox VM_OBJECT_LOCK(new_object); 1347c5aaa06dSAlan Cox } 1348c5aaa06dSAlan Cox 13492ad1a3f7SMatthew Dillon #define OBSC_TEST_ALL_SHADOWED 0x0001 13502ad1a3f7SMatthew Dillon #define OBSC_COLLAPSE_NOWAIT 0x0002 13512ad1a3f7SMatthew Dillon #define OBSC_COLLAPSE_WAIT 0x0004 13522ad1a3f7SMatthew Dillon 1353b4ae4780SPoul-Henning Kamp static int 13542ad1a3f7SMatthew Dillon vm_object_backing_scan(vm_object_t object, int op) 13552ad1a3f7SMatthew Dillon { 13562ad1a3f7SMatthew Dillon int r = 1; 13572ad1a3f7SMatthew Dillon vm_page_t p; 13582ad1a3f7SMatthew Dillon vm_object_t backing_object; 13592ad1a3f7SMatthew Dillon vm_pindex_t backing_offset_index; 13602ad1a3f7SMatthew Dillon 13617ca33ad1SAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 13627ca33ad1SAlan Cox VM_OBJECT_LOCK_ASSERT(object->backing_object, MA_OWNED); 13632ad1a3f7SMatthew Dillon 13642ad1a3f7SMatthew Dillon backing_object = object->backing_object; 13652ad1a3f7SMatthew Dillon backing_offset_index = OFF_TO_IDX(object->backing_object_offset); 13662ad1a3f7SMatthew Dillon 13672ad1a3f7SMatthew Dillon /* 13682ad1a3f7SMatthew Dillon * Initial conditions 13692ad1a3f7SMatthew Dillon */ 13702ad1a3f7SMatthew Dillon if (op & OBSC_TEST_ALL_SHADOWED) { 13712ad1a3f7SMatthew Dillon /* 1372956f3135SPhilippe Charnier * We do not want to have to test for the existence of 13732ad1a3f7SMatthew Dillon * swap pages in the backing object. XXX but with the 13742ad1a3f7SMatthew Dillon * new swapper this would be pretty easy to do. 13752ad1a3f7SMatthew Dillon * 13762ad1a3f7SMatthew Dillon * XXX what about anonymous MAP_SHARED memory that hasn't 13772ad1a3f7SMatthew Dillon * been ZFOD faulted yet? If we do not test for this, the 13782ad1a3f7SMatthew Dillon * shadow test may succeed! XXX 13792ad1a3f7SMatthew Dillon */ 13802ad1a3f7SMatthew Dillon if (backing_object->type != OBJT_DEFAULT) { 13812ad1a3f7SMatthew Dillon return (0); 13822ad1a3f7SMatthew Dillon } 13832ad1a3f7SMatthew Dillon } 13842ad1a3f7SMatthew Dillon if (op & OBSC_COLLAPSE_WAIT) { 13852ad1a3f7SMatthew Dillon vm_object_set_flag(backing_object, OBJ_DEAD); 13862ad1a3f7SMatthew Dillon } 13872ad1a3f7SMatthew Dillon 13882ad1a3f7SMatthew Dillon /* 13892ad1a3f7SMatthew Dillon * Our scan 13902ad1a3f7SMatthew Dillon */ 13912ad1a3f7SMatthew Dillon p = TAILQ_FIRST(&backing_object->memq); 13922ad1a3f7SMatthew Dillon while (p) { 13932ad1a3f7SMatthew Dillon vm_page_t next = TAILQ_NEXT(p, listq); 13942ad1a3f7SMatthew Dillon vm_pindex_t new_pindex = p->pindex - backing_offset_index; 13952ad1a3f7SMatthew Dillon 13962ad1a3f7SMatthew Dillon if (op & OBSC_TEST_ALL_SHADOWED) { 13972ad1a3f7SMatthew Dillon vm_page_t pp; 13982ad1a3f7SMatthew Dillon 13992ad1a3f7SMatthew Dillon /* 14002ad1a3f7SMatthew Dillon * Ignore pages outside the parent object's range 14012ad1a3f7SMatthew Dillon * and outside the parent object's mapping of the 14022ad1a3f7SMatthew Dillon * backing object. 14032ad1a3f7SMatthew Dillon * 14042ad1a3f7SMatthew Dillon * note that we do not busy the backing object's 14052ad1a3f7SMatthew Dillon * page. 14062ad1a3f7SMatthew Dillon */ 14072ad1a3f7SMatthew Dillon if ( 14082ad1a3f7SMatthew Dillon p->pindex < backing_offset_index || 14092ad1a3f7SMatthew Dillon new_pindex >= object->size 14102ad1a3f7SMatthew Dillon ) { 14112ad1a3f7SMatthew Dillon p = next; 14122ad1a3f7SMatthew Dillon continue; 14132ad1a3f7SMatthew Dillon } 14142ad1a3f7SMatthew Dillon 14152ad1a3f7SMatthew Dillon /* 14162ad1a3f7SMatthew Dillon * See if the parent has the page or if the parent's 14172ad1a3f7SMatthew Dillon * object pager has the page. If the parent has the 14182ad1a3f7SMatthew Dillon * page but the page is not valid, the parent's 14192ad1a3f7SMatthew Dillon * object pager must have the page. 14202ad1a3f7SMatthew Dillon * 14212ad1a3f7SMatthew Dillon * If this fails, the parent does not completely shadow 14222ad1a3f7SMatthew Dillon * the object and we might as well give up now. 14232ad1a3f7SMatthew Dillon */ 14242ad1a3f7SMatthew Dillon 14252ad1a3f7SMatthew Dillon pp = vm_page_lookup(object, new_pindex); 14262ad1a3f7SMatthew Dillon if ( 14272ad1a3f7SMatthew Dillon (pp == NULL || pp->valid == 0) && 14282ad1a3f7SMatthew Dillon !vm_pager_has_page(object, new_pindex, NULL, NULL) 14292ad1a3f7SMatthew Dillon ) { 14302ad1a3f7SMatthew Dillon r = 0; 14312ad1a3f7SMatthew Dillon break; 14322ad1a3f7SMatthew Dillon } 14332ad1a3f7SMatthew Dillon } 14342ad1a3f7SMatthew Dillon 14352ad1a3f7SMatthew Dillon /* 14362ad1a3f7SMatthew Dillon * Check for busy page 14372ad1a3f7SMatthew Dillon */ 14382ad1a3f7SMatthew Dillon if (op & (OBSC_COLLAPSE_WAIT | OBSC_COLLAPSE_NOWAIT)) { 14392ad1a3f7SMatthew Dillon vm_page_t pp; 14402ad1a3f7SMatthew Dillon 14412ad1a3f7SMatthew Dillon if (op & OBSC_COLLAPSE_NOWAIT) { 144200f9e8b4SAlan Cox if ((p->flags & PG_BUSY) || 14432ad1a3f7SMatthew Dillon !p->valid || 144400f9e8b4SAlan Cox p->busy) { 14452ad1a3f7SMatthew Dillon p = next; 14462ad1a3f7SMatthew Dillon continue; 14472ad1a3f7SMatthew Dillon } 14482ad1a3f7SMatthew Dillon } else if (op & OBSC_COLLAPSE_WAIT) { 14497ca33ad1SAlan Cox if ((p->flags & PG_BUSY) || p->busy) { 1450c6ec6a7cSAlan Cox vm_page_lock_queues(); 14517ca33ad1SAlan Cox vm_page_flag_set(p, 14527ca33ad1SAlan Cox PG_WANTED | PG_REFERENCED); 14537ca33ad1SAlan Cox VM_OBJECT_UNLOCK(backing_object); 14547ca33ad1SAlan Cox VM_OBJECT_UNLOCK(object); 14557ca33ad1SAlan Cox msleep(p, &vm_page_queue_mtx, 14567ca33ad1SAlan Cox PDROP | PVM, "vmocol", 0); 14577ca33ad1SAlan Cox VM_OBJECT_LOCK(object); 14587ca33ad1SAlan Cox VM_OBJECT_LOCK(backing_object); 14592ad1a3f7SMatthew Dillon /* 14602ad1a3f7SMatthew Dillon * If we slept, anything could have 14612ad1a3f7SMatthew Dillon * happened. Since the object is 14622ad1a3f7SMatthew Dillon * marked dead, the backing offset 14632ad1a3f7SMatthew Dillon * should not have changed so we 14642ad1a3f7SMatthew Dillon * just restart our scan. 14652ad1a3f7SMatthew Dillon */ 14662ad1a3f7SMatthew Dillon p = TAILQ_FIRST(&backing_object->memq); 14672ad1a3f7SMatthew Dillon continue; 14682ad1a3f7SMatthew Dillon } 14692ad1a3f7SMatthew Dillon } 14702ad1a3f7SMatthew Dillon 14712ad1a3f7SMatthew Dillon KASSERT( 14722ad1a3f7SMatthew Dillon p->object == backing_object, 14738e99783bSAlan Cox ("vm_object_backing_scan: object mismatch") 14742ad1a3f7SMatthew Dillon ); 14752ad1a3f7SMatthew Dillon 14762ad1a3f7SMatthew Dillon /* 14772ad1a3f7SMatthew Dillon * Destroy any associated swap 14782ad1a3f7SMatthew Dillon */ 14792ad1a3f7SMatthew Dillon if (backing_object->type == OBJT_SWAP) { 14802ad1a3f7SMatthew Dillon swap_pager_freespace( 14812ad1a3f7SMatthew Dillon backing_object, 14822ad1a3f7SMatthew Dillon p->pindex, 14832ad1a3f7SMatthew Dillon 1 14842ad1a3f7SMatthew Dillon ); 14852ad1a3f7SMatthew Dillon } 14862ad1a3f7SMatthew Dillon 14872ad1a3f7SMatthew Dillon if ( 14882ad1a3f7SMatthew Dillon p->pindex < backing_offset_index || 14892ad1a3f7SMatthew Dillon new_pindex >= object->size 14902ad1a3f7SMatthew Dillon ) { 14912ad1a3f7SMatthew Dillon /* 14922ad1a3f7SMatthew Dillon * Page is out of the parent object's range, we 14932ad1a3f7SMatthew Dillon * can simply destroy it. 14942ad1a3f7SMatthew Dillon */ 14956a684ecfSAlan Cox vm_page_lock_queues(); 14964fec79beSAlan Cox pmap_remove_all(p); 14972ad1a3f7SMatthew Dillon vm_page_free(p); 14986a684ecfSAlan Cox vm_page_unlock_queues(); 14992ad1a3f7SMatthew Dillon p = next; 15002ad1a3f7SMatthew Dillon continue; 15012ad1a3f7SMatthew Dillon } 15022ad1a3f7SMatthew Dillon 15032ad1a3f7SMatthew Dillon pp = vm_page_lookup(object, new_pindex); 15042ad1a3f7SMatthew Dillon if ( 15052ad1a3f7SMatthew Dillon pp != NULL || 15062ad1a3f7SMatthew Dillon vm_pager_has_page(object, new_pindex, NULL, NULL) 15072ad1a3f7SMatthew Dillon ) { 15082ad1a3f7SMatthew Dillon /* 15092ad1a3f7SMatthew Dillon * page already exists in parent OR swap exists 15102ad1a3f7SMatthew Dillon * for this location in the parent. Destroy 15112ad1a3f7SMatthew Dillon * the original page from the backing object. 15122ad1a3f7SMatthew Dillon * 15132ad1a3f7SMatthew Dillon * Leave the parent's page alone 15142ad1a3f7SMatthew Dillon */ 15156a684ecfSAlan Cox vm_page_lock_queues(); 15164fec79beSAlan Cox pmap_remove_all(p); 15172ad1a3f7SMatthew Dillon vm_page_free(p); 15186a684ecfSAlan Cox vm_page_unlock_queues(); 15192ad1a3f7SMatthew Dillon p = next; 15202ad1a3f7SMatthew Dillon continue; 15212ad1a3f7SMatthew Dillon } 15222ad1a3f7SMatthew Dillon 15232ad1a3f7SMatthew Dillon /* 15242ad1a3f7SMatthew Dillon * Page does not exist in parent, rename the 15252ad1a3f7SMatthew Dillon * page from the backing object to the main object. 1526d1bf5d56SMatthew Dillon * 1527d1bf5d56SMatthew Dillon * If the page was mapped to a process, it can remain 1528d1bf5d56SMatthew Dillon * mapped through the rename. 15292ad1a3f7SMatthew Dillon */ 1530a28cc55eSAlan Cox vm_page_lock_queues(); 15312ad1a3f7SMatthew Dillon vm_page_rename(p, object, new_pindex); 1532a28cc55eSAlan Cox vm_page_unlock_queues(); 15332ad1a3f7SMatthew Dillon /* page automatically made dirty by rename */ 15342ad1a3f7SMatthew Dillon } 15352ad1a3f7SMatthew Dillon p = next; 15362ad1a3f7SMatthew Dillon } 15372ad1a3f7SMatthew Dillon return (r); 15382ad1a3f7SMatthew Dillon } 15392ad1a3f7SMatthew Dillon 1540df8bae1dSRodney W. Grimes 1541df8bae1dSRodney W. Grimes /* 15422fe6e4d7SDavid Greenman * this version of collapse allows the operation to occur earlier and 15432fe6e4d7SDavid Greenman * when paging_in_progress is true for an object... This is not a complete 15442fe6e4d7SDavid Greenman * operation, but should plug 99.9% of the rest of the leaks. 15452fe6e4d7SDavid Greenman */ 15462fe6e4d7SDavid Greenman static void 15471b40f8c0SMatthew Dillon vm_object_qcollapse(vm_object_t object) 15482fe6e4d7SDavid Greenman { 15492ad1a3f7SMatthew Dillon vm_object_t backing_object = object->backing_object; 15502fe6e4d7SDavid Greenman 155106ecade7SAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 155206ecade7SAlan Cox VM_OBJECT_LOCK_ASSERT(backing_object, MA_OWNED); 15531b40f8c0SMatthew Dillon 15542fe6e4d7SDavid Greenman if (backing_object->ref_count != 1) 15552fe6e4d7SDavid Greenman return; 15562fe6e4d7SDavid Greenman 15572ad1a3f7SMatthew Dillon vm_object_backing_scan(object, OBSC_COLLAPSE_NOWAIT); 15582fe6e4d7SDavid Greenman } 15592fe6e4d7SDavid Greenman 1560df8bae1dSRodney W. Grimes /* 1561df8bae1dSRodney W. Grimes * vm_object_collapse: 1562df8bae1dSRodney W. Grimes * 1563df8bae1dSRodney W. Grimes * Collapse an object with the object backing it. 1564df8bae1dSRodney W. Grimes * Pages in the backing object are moved into the 1565df8bae1dSRodney W. Grimes * parent, and the backing object is deallocated. 1566df8bae1dSRodney W. Grimes */ 156726f9a767SRodney W. Grimes void 15681b40f8c0SMatthew Dillon vm_object_collapse(vm_object_t object) 1569df8bae1dSRodney W. Grimes { 1570d7fc2210SAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 157123955314SAlfred Perlstein 1572df8bae1dSRodney W. Grimes while (TRUE) { 15732ad1a3f7SMatthew Dillon vm_object_t backing_object; 15742ad1a3f7SMatthew Dillon 1575df8bae1dSRodney W. Grimes /* 1576df8bae1dSRodney W. Grimes * Verify that the conditions are right for collapse: 1577df8bae1dSRodney W. Grimes * 15782ad1a3f7SMatthew Dillon * The object exists and the backing object exists. 1579df8bae1dSRodney W. Grimes */ 158024a1cce3SDavid Greenman if ((backing_object = object->backing_object) == NULL) 15812ad1a3f7SMatthew Dillon break; 1582df8bae1dSRodney W. Grimes 1583f919ebdeSDavid Greenman /* 1584f919ebdeSDavid Greenman * we check the backing object first, because it is most likely 158524a1cce3SDavid Greenman * not collapsable. 1586f919ebdeSDavid Greenman */ 158740b808a8SAlan Cox VM_OBJECT_LOCK(backing_object); 158824a1cce3SDavid Greenman if (backing_object->handle != NULL || 158924a1cce3SDavid Greenman (backing_object->type != OBJT_DEFAULT && 159024a1cce3SDavid Greenman backing_object->type != OBJT_SWAP) || 1591f919ebdeSDavid Greenman (backing_object->flags & OBJ_DEAD) || 159224a1cce3SDavid Greenman object->handle != NULL || 159324a1cce3SDavid Greenman (object->type != OBJT_DEFAULT && 159424a1cce3SDavid Greenman object->type != OBJT_SWAP) || 159524a1cce3SDavid Greenman (object->flags & OBJ_DEAD)) { 159640b808a8SAlan Cox VM_OBJECT_UNLOCK(backing_object); 15972ad1a3f7SMatthew Dillon break; 159824a1cce3SDavid Greenman } 15999b4814bbSDavid Greenman 16002ad1a3f7SMatthew Dillon if ( 16012ad1a3f7SMatthew Dillon object->paging_in_progress != 0 || 16022ad1a3f7SMatthew Dillon backing_object->paging_in_progress != 0 16032ad1a3f7SMatthew Dillon ) { 1604b9921222SDavid Greenman vm_object_qcollapse(object); 160540b808a8SAlan Cox VM_OBJECT_UNLOCK(backing_object); 16062ad1a3f7SMatthew Dillon break; 1607df8bae1dSRodney W. Grimes } 160826f9a767SRodney W. Grimes /* 16090d94caffSDavid Greenman * We know that we can either collapse the backing object (if 16102ad1a3f7SMatthew Dillon * the parent is the only reference to it) or (perhaps) have 16112ad1a3f7SMatthew Dillon * the parent bypass the object if the parent happens to shadow 16122ad1a3f7SMatthew Dillon * all the resident pages in the entire backing object. 16132ad1a3f7SMatthew Dillon * 16142ad1a3f7SMatthew Dillon * This is ignoring pager-backed pages such as swap pages. 16152ad1a3f7SMatthew Dillon * vm_object_backing_scan fails the shadowing test in this 16162ad1a3f7SMatthew Dillon * case. 1617df8bae1dSRodney W. Grimes */ 1618df8bae1dSRodney W. Grimes if (backing_object->ref_count == 1) { 1619df8bae1dSRodney W. Grimes /* 16202ad1a3f7SMatthew Dillon * If there is exactly one reference to the backing 16212ad1a3f7SMatthew Dillon * object, we can collapse it into the parent. 1622df8bae1dSRodney W. Grimes */ 16232ad1a3f7SMatthew Dillon vm_object_backing_scan(object, OBSC_COLLAPSE_WAIT); 1624df8bae1dSRodney W. Grimes 1625df8bae1dSRodney W. Grimes /* 1626df8bae1dSRodney W. Grimes * Move the pager from backing_object to object. 1627df8bae1dSRodney W. Grimes */ 16286be36525SAlan Cox if (backing_object->type == OBJT_SWAP) { 162924a1cce3SDavid Greenman /* 1630c7c8dd7eSAlan Cox * swap_pager_copy() can sleep, in which case 1631c7c8dd7eSAlan Cox * the backing_object's and object's locks are 1632c7c8dd7eSAlan Cox * released and reacquired. 163324a1cce3SDavid Greenman */ 16341c7c3c6aSMatthew Dillon swap_pager_copy( 16351c7c3c6aSMatthew Dillon backing_object, 16361c7c3c6aSMatthew Dillon object, 16371c7c3c6aSMatthew Dillon OFF_TO_IDX(object->backing_object_offset), TRUE); 1638c0503609SDavid Greenman } 1639df8bae1dSRodney W. Grimes /* 1640df8bae1dSRodney W. Grimes * Object now shadows whatever backing_object did. 16412ad1a3f7SMatthew Dillon * Note that the reference to 16422ad1a3f7SMatthew Dillon * backing_object->backing_object moves from within 16432ad1a3f7SMatthew Dillon * backing_object to within object. 1644df8bae1dSRodney W. Grimes */ 16451c500307SAlan Cox LIST_REMOVE(object, shadow_list); 16464f7c7f6eSAlan Cox backing_object->shadow_count--; 16474f7c7f6eSAlan Cox backing_object->generation++; 1648de5f6a77SJohn Dyson if (backing_object->backing_object) { 16496be36525SAlan Cox VM_OBJECT_LOCK(backing_object->backing_object); 16501c500307SAlan Cox LIST_REMOVE(backing_object, shadow_list); 165143186e53SAlan Cox LIST_INSERT_HEAD( 165243186e53SAlan Cox &backing_object->backing_object->shadow_head, 165343186e53SAlan Cox object, shadow_list); 165443186e53SAlan Cox /* 165543186e53SAlan Cox * The shadow_count has not changed. 165643186e53SAlan Cox */ 1657eaf13dd7SJohn Dyson backing_object->backing_object->generation++; 16586be36525SAlan Cox VM_OBJECT_UNLOCK(backing_object->backing_object); 1659de5f6a77SJohn Dyson } 166024a1cce3SDavid Greenman object->backing_object = backing_object->backing_object; 16612ad1a3f7SMatthew Dillon object->backing_object_offset += 16622ad1a3f7SMatthew Dillon backing_object->backing_object_offset; 16632ad1a3f7SMatthew Dillon 1664df8bae1dSRodney W. Grimes /* 1665df8bae1dSRodney W. Grimes * Discard backing_object. 1666df8bae1dSRodney W. Grimes * 16670d94caffSDavid Greenman * Since the backing object has no pages, no pager left, 16680d94caffSDavid Greenman * and no object references within it, all that is 16690d94caffSDavid Greenman * necessary is to dispose of it. 1670df8bae1dSRodney W. Grimes */ 1671245df27cSMatthew Dillon KASSERT(backing_object->ref_count == 1, ("backing_object %p was somehow re-referenced during collapse!", backing_object)); 16726be36525SAlan Cox VM_OBJECT_UNLOCK(backing_object); 1673df8bae1dSRodney W. Grimes 1674a5698387SAlan Cox mtx_lock(&vm_object_list_mtx); 16752ad1a3f7SMatthew Dillon TAILQ_REMOVE( 16762ad1a3f7SMatthew Dillon &vm_object_list, 16772ad1a3f7SMatthew Dillon backing_object, 16782ad1a3f7SMatthew Dillon object_list 16792ad1a3f7SMatthew Dillon ); 1680a5698387SAlan Cox mtx_unlock(&vm_object_list_mtx); 1681df8bae1dSRodney W. Grimes 1682670d17b5SJeff Roberson uma_zfree(obj_zone, backing_object); 1683df8bae1dSRodney W. Grimes 1684df8bae1dSRodney W. Grimes object_collapses++; 16850d94caffSDavid Greenman } else { 168695e5e988SJohn Dyson vm_object_t new_backing_object; 1687df8bae1dSRodney W. Grimes 1688df8bae1dSRodney W. Grimes /* 16892ad1a3f7SMatthew Dillon * If we do not entirely shadow the backing object, 16902ad1a3f7SMatthew Dillon * there is nothing we can do so we give up. 1691df8bae1dSRodney W. Grimes */ 16922ad1a3f7SMatthew Dillon if (vm_object_backing_scan(object, OBSC_TEST_ALL_SHADOWED) == 0) { 169340b808a8SAlan Cox VM_OBJECT_UNLOCK(backing_object); 16942ad1a3f7SMatthew Dillon break; 169524a1cce3SDavid Greenman } 1696df8bae1dSRodney W. Grimes 1697df8bae1dSRodney W. Grimes /* 16980d94caffSDavid Greenman * Make the parent shadow the next object in the 16990d94caffSDavid Greenman * chain. Deallocating backing_object will not remove 17000d94caffSDavid Greenman * it, since its reference count is at least 2. 1701df8bae1dSRodney W. Grimes */ 17021c500307SAlan Cox LIST_REMOVE(object, shadow_list); 1703eaf13dd7SJohn Dyson backing_object->shadow_count--; 1704eaf13dd7SJohn Dyson backing_object->generation++; 170595e5e988SJohn Dyson 170695e5e988SJohn Dyson new_backing_object = backing_object->backing_object; 17078aef1712SMatthew Dillon if ((object->backing_object = new_backing_object) != NULL) { 17086be36525SAlan Cox VM_OBJECT_LOCK(new_backing_object); 17091c500307SAlan Cox LIST_INSERT_HEAD( 17102ad1a3f7SMatthew Dillon &new_backing_object->shadow_head, 17112ad1a3f7SMatthew Dillon object, 17122ad1a3f7SMatthew Dillon shadow_list 17132ad1a3f7SMatthew Dillon ); 1714eaf13dd7SJohn Dyson new_backing_object->shadow_count++; 1715eaf13dd7SJohn Dyson new_backing_object->generation++; 1716b921a12bSAlan Cox vm_object_reference_locked(new_backing_object); 17176be36525SAlan Cox VM_OBJECT_UNLOCK(new_backing_object); 171895e5e988SJohn Dyson object->backing_object_offset += 171995e5e988SJohn Dyson backing_object->backing_object_offset; 1720de5f6a77SJohn Dyson } 1721df8bae1dSRodney W. Grimes 1722df8bae1dSRodney W. Grimes /* 17230d94caffSDavid Greenman * Drop the reference count on backing_object. Since 172422ec553fSAlan Cox * its ref_count was at least 2, it will not vanish. 1725df8bae1dSRodney W. Grimes */ 172622ec553fSAlan Cox backing_object->ref_count--; 172722ec553fSAlan Cox VM_OBJECT_UNLOCK(backing_object); 1728df8bae1dSRodney W. Grimes object_bypasses++; 1729df8bae1dSRodney W. Grimes } 1730df8bae1dSRodney W. Grimes 1731df8bae1dSRodney W. Grimes /* 1732df8bae1dSRodney W. Grimes * Try again with this object's new backing object. 1733df8bae1dSRodney W. Grimes */ 1734df8bae1dSRodney W. Grimes } 1735df8bae1dSRodney W. Grimes } 1736df8bae1dSRodney W. Grimes 1737df8bae1dSRodney W. Grimes /* 1738bff99f0dSAlan Cox * vm_object_page_remove: 1739df8bae1dSRodney W. Grimes * 1740bff99f0dSAlan Cox * Removes all physical pages in the given range from the 1741bff99f0dSAlan Cox * object's list of pages. If the range's end is zero, all 1742bff99f0dSAlan Cox * physical pages from the range's start to the end of the object 1743bff99f0dSAlan Cox * are deleted. 1744df8bae1dSRodney W. Grimes * 1745df8bae1dSRodney W. Grimes * The object must be locked. 1746df8bae1dSRodney W. Grimes */ 174726f9a767SRodney W. Grimes void 1748ecde4b32SAlan Cox vm_object_page_remove(vm_object_t object, vm_pindex_t start, vm_pindex_t end, 1749ecde4b32SAlan Cox boolean_t clean_only) 1750df8bae1dSRodney W. Grimes { 1751d031cff1SMatthew Dillon vm_page_t p, next; 1752df8bae1dSRodney W. Grimes 1753ecde4b32SAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 1754ecde4b32SAlan Cox if (object->resident_page_count == 0) 1755df8bae1dSRodney W. Grimes return; 175695e5e988SJohn Dyson 17578b03c8edSMatthew Dillon /* 17588b03c8edSMatthew Dillon * Since physically-backed objects do not use managed pages, we can't 17598b03c8edSMatthew Dillon * remove pages from the object (we must instead remove the page 17608b03c8edSMatthew Dillon * references, and then destroy the object). 17618b03c8edSMatthew Dillon */ 1762ecde4b32SAlan Cox KASSERT(object->type != OBJT_PHYS, 1763ecde4b32SAlan Cox ("attempt to remove pages from a physical object")); 17648b03c8edSMatthew Dillon 1765d474eaaaSDoug Rabson vm_object_pip_add(object, 1); 176626f9a767SRodney W. Grimes again: 176732585dd6SAlan Cox vm_page_lock_queues(); 176875741c04SAlan Cox if ((p = TAILQ_FIRST(&object->memq)) != NULL) { 176975741c04SAlan Cox if (p->pindex < start) { 177075741c04SAlan Cox p = vm_page_splay(start, object->root); 177175741c04SAlan Cox if ((object->root = p)->pindex < start) 177275741c04SAlan Cox p = TAILQ_NEXT(p, listq); 177375741c04SAlan Cox } 177475741c04SAlan Cox } 177575741c04SAlan Cox /* 177675741c04SAlan Cox * Assert: the variable p is either (1) the page with the 177775741c04SAlan Cox * least pindex greater than or equal to the parameter pindex 177875741c04SAlan Cox * or (2) NULL. 177975741c04SAlan Cox */ 178075741c04SAlan Cox for (; 1781bff99f0dSAlan Cox p != NULL && (p->pindex < end || end == 0); 178275741c04SAlan Cox p = next) { 1783b18bfc3dSJohn Dyson next = TAILQ_NEXT(p, listq); 178475741c04SAlan Cox 1785bd7e5f99SJohn Dyson if (p->wire_count != 0) { 17864fec79beSAlan Cox pmap_remove_all(p); 1787ce65e68cSDavid Greenman if (!clean_only) 1788bd7e5f99SJohn Dyson p->valid = 0; 17890d94caffSDavid Greenman continue; 17900d94caffSDavid Greenman } 179132585dd6SAlan Cox if (vm_page_sleep_if_busy(p, TRUE, "vmopar")) 179226f9a767SRodney W. Grimes goto again; 17938f9110f6SJohn Dyson if (clean_only && p->valid) { 179485b8d6b4SAlan Cox pmap_page_protect(p, VM_PROT_READ | VM_PROT_EXECUTE); 17957c1f6cedSDavid Greenman if (p->valid & p->dirty) 17967c1f6cedSDavid Greenman continue; 17977c1f6cedSDavid Greenman } 17984fec79beSAlan Cox pmap_remove_all(p); 1799df8bae1dSRodney W. Grimes vm_page_free(p); 180026f9a767SRodney W. Grimes } 180132585dd6SAlan Cox vm_page_unlock_queues(); 1802f919ebdeSDavid Greenman vm_object_pip_wakeup(object); 1803c0503609SDavid Greenman } 1804df8bae1dSRodney W. Grimes 1805df8bae1dSRodney W. Grimes /* 1806df8bae1dSRodney W. Grimes * Routine: vm_object_coalesce 1807df8bae1dSRodney W. Grimes * Function: Coalesces two objects backing up adjoining 1808df8bae1dSRodney W. Grimes * regions of memory into a single object. 1809df8bae1dSRodney W. Grimes * 1810df8bae1dSRodney W. Grimes * returns TRUE if objects were combined. 1811df8bae1dSRodney W. Grimes * 1812df8bae1dSRodney W. Grimes * NOTE: Only works at the moment if the second object is NULL - 1813df8bae1dSRodney W. Grimes * if it's not, which object do we lock first? 1814df8bae1dSRodney W. Grimes * 1815df8bae1dSRodney W. Grimes * Parameters: 1816df8bae1dSRodney W. Grimes * prev_object First object to coalesce 1817df8bae1dSRodney W. Grimes * prev_offset Offset into prev_object 1818df8bae1dSRodney W. Grimes * prev_size Size of reference to prev_object 181957a21abaSAlan Cox * next_size Size of reference to the second object 1820df8bae1dSRodney W. Grimes * 1821df8bae1dSRodney W. Grimes * Conditions: 1822df8bae1dSRodney W. Grimes * The object must *not* be locked. 1823df8bae1dSRodney W. Grimes */ 18240d94caffSDavid Greenman boolean_t 182557a21abaSAlan Cox vm_object_coalesce(vm_object_t prev_object, vm_ooffset_t prev_offset, 182600e1854aSAlan Cox vm_size_t prev_size, vm_size_t next_size) 1827df8bae1dSRodney W. Grimes { 1828ea41812fSAlan Cox vm_pindex_t next_pindex; 1829df8bae1dSRodney W. Grimes 183000e1854aSAlan Cox if (prev_object == NULL) 1831df8bae1dSRodney W. Grimes return (TRUE); 1832bdbfbaafSAlan Cox VM_OBJECT_LOCK(prev_object); 18334112823fSMatthew Dillon if (prev_object->type != OBJT_DEFAULT && 18344112823fSMatthew Dillon prev_object->type != OBJT_SWAP) { 1835bdbfbaafSAlan Cox VM_OBJECT_UNLOCK(prev_object); 183630dcfc09SJohn Dyson return (FALSE); 183730dcfc09SJohn Dyson } 183830dcfc09SJohn Dyson 1839df8bae1dSRodney W. Grimes /* 1840df8bae1dSRodney W. Grimes * Try to collapse the object first 1841df8bae1dSRodney W. Grimes */ 1842df8bae1dSRodney W. Grimes vm_object_collapse(prev_object); 1843df8bae1dSRodney W. Grimes 1844df8bae1dSRodney W. Grimes /* 18450d94caffSDavid Greenman * Can't coalesce if: . more than one reference . paged out . shadows 18460d94caffSDavid Greenman * another object . has a copy elsewhere (any of which mean that the 18470d94caffSDavid Greenman * pages not mapped to prev_entry may be in use anyway) 1848df8bae1dSRodney W. Grimes */ 18498cc7e047SJohn Dyson if (prev_object->backing_object != NULL) { 1850bdbfbaafSAlan Cox VM_OBJECT_UNLOCK(prev_object); 1851df8bae1dSRodney W. Grimes return (FALSE); 1852df8bae1dSRodney W. Grimes } 1853a316d390SJohn Dyson 1854a316d390SJohn Dyson prev_size >>= PAGE_SHIFT; 1855a316d390SJohn Dyson next_size >>= PAGE_SHIFT; 185657a21abaSAlan Cox next_pindex = OFF_TO_IDX(prev_offset) + prev_size; 18578cc7e047SJohn Dyson 18588cc7e047SJohn Dyson if ((prev_object->ref_count > 1) && 1859ea41812fSAlan Cox (prev_object->size != next_pindex)) { 1860bdbfbaafSAlan Cox VM_OBJECT_UNLOCK(prev_object); 18618cc7e047SJohn Dyson return (FALSE); 18628cc7e047SJohn Dyson } 18638cc7e047SJohn Dyson 1864df8bae1dSRodney W. Grimes /* 18650d94caffSDavid Greenman * Remove any pages that may still be in the object from a previous 18660d94caffSDavid Greenman * deallocation. 1867df8bae1dSRodney W. Grimes */ 1868ea41812fSAlan Cox if (next_pindex < prev_object->size) { 1869df8bae1dSRodney W. Grimes vm_object_page_remove(prev_object, 1870ea41812fSAlan Cox next_pindex, 1871ea41812fSAlan Cox next_pindex + next_size, FALSE); 1872ea41812fSAlan Cox if (prev_object->type == OBJT_SWAP) 1873ea41812fSAlan Cox swap_pager_freespace(prev_object, 1874ea41812fSAlan Cox next_pindex, next_size); 1875ea41812fSAlan Cox } 1876df8bae1dSRodney W. Grimes 1877df8bae1dSRodney W. Grimes /* 1878df8bae1dSRodney W. Grimes * Extend the object if necessary. 1879df8bae1dSRodney W. Grimes */ 1880ea41812fSAlan Cox if (next_pindex + next_size > prev_object->size) 1881ea41812fSAlan Cox prev_object->size = next_pindex + next_size; 1882df8bae1dSRodney W. Grimes 1883bdbfbaafSAlan Cox VM_OBJECT_UNLOCK(prev_object); 1884df8bae1dSRodney W. Grimes return (TRUE); 1885df8bae1dSRodney W. Grimes } 1886df8bae1dSRodney W. Grimes 18877a5a6352SMatthew Dillon void 18887a5a6352SMatthew Dillon vm_object_set_writeable_dirty(vm_object_t object) 18897a5a6352SMatthew Dillon { 18907a5a6352SMatthew Dillon struct vnode *vp; 18917a5a6352SMatthew Dillon 1892de33beddSAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 1893ee39666aSJeff Roberson if ((object->flags & (OBJ_MIGHTBEDIRTY|OBJ_WRITEABLE)) == 1894ee39666aSJeff Roberson (OBJ_MIGHTBEDIRTY|OBJ_WRITEABLE)) 1895ee39666aSJeff Roberson return; 18967a5a6352SMatthew Dillon vm_object_set_flag(object, OBJ_WRITEABLE|OBJ_MIGHTBEDIRTY); 18977a5a6352SMatthew Dillon if (object->type == OBJT_VNODE && 18987a5a6352SMatthew Dillon (vp = (struct vnode *)object->handle) != NULL) { 1899e6e370a7SJeff Roberson VI_LOCK(vp); 1900e6e370a7SJeff Roberson vp->v_iflag |= VI_OBJDIRTY; 1901e6e370a7SJeff Roberson VI_UNLOCK(vp); 19027a5a6352SMatthew Dillon } 19037a5a6352SMatthew Dillon } 19047a5a6352SMatthew Dillon 1905c7c34a24SBruce Evans #include "opt_ddb.h" 1906c3cb3e12SDavid Greenman #ifdef DDB 1907c7c34a24SBruce Evans #include <sys/kernel.h> 1908c7c34a24SBruce Evans 1909ce9edcf5SPoul-Henning Kamp #include <sys/cons.h> 1910c7c34a24SBruce Evans 1911c7c34a24SBruce Evans #include <ddb/ddb.h> 1912c7c34a24SBruce Evans 1913cac597e4SBruce Evans static int 19141b40f8c0SMatthew Dillon _vm_object_in_map(vm_map_t map, vm_object_t object, vm_map_entry_t entry) 1915a1f6d91cSDavid Greenman { 1916a1f6d91cSDavid Greenman vm_map_t tmpm; 1917a1f6d91cSDavid Greenman vm_map_entry_t tmpe; 1918a1f6d91cSDavid Greenman vm_object_t obj; 1919a1f6d91cSDavid Greenman int entcount; 1920a1f6d91cSDavid Greenman 1921a1f6d91cSDavid Greenman if (map == 0) 1922a1f6d91cSDavid Greenman return 0; 1923a1f6d91cSDavid Greenman 1924a1f6d91cSDavid Greenman if (entry == 0) { 1925a1f6d91cSDavid Greenman tmpe = map->header.next; 1926a1f6d91cSDavid Greenman entcount = map->nentries; 1927a1f6d91cSDavid Greenman while (entcount-- && (tmpe != &map->header)) { 1928a1f6d91cSDavid Greenman if (_vm_object_in_map(map, object, tmpe)) { 1929a1f6d91cSDavid Greenman return 1; 1930a1f6d91cSDavid Greenman } 1931a1f6d91cSDavid Greenman tmpe = tmpe->next; 1932a1f6d91cSDavid Greenman } 19339fdfe602SMatthew Dillon } else if (entry->eflags & MAP_ENTRY_IS_SUB_MAP) { 19349fdfe602SMatthew Dillon tmpm = entry->object.sub_map; 1935a1f6d91cSDavid Greenman tmpe = tmpm->header.next; 1936a1f6d91cSDavid Greenman entcount = tmpm->nentries; 1937a1f6d91cSDavid Greenman while (entcount-- && tmpe != &tmpm->header) { 1938a1f6d91cSDavid Greenman if (_vm_object_in_map(tmpm, object, tmpe)) { 1939a1f6d91cSDavid Greenman return 1; 1940a1f6d91cSDavid Greenman } 1941a1f6d91cSDavid Greenman tmpe = tmpe->next; 1942a1f6d91cSDavid Greenman } 19438aef1712SMatthew Dillon } else if ((obj = entry->object.vm_object) != NULL) { 194424a1cce3SDavid Greenman for (; obj; obj = obj->backing_object) 1945a1f6d91cSDavid Greenman if (obj == object) { 1946a1f6d91cSDavid Greenman return 1; 1947a1f6d91cSDavid Greenman } 1948a1f6d91cSDavid Greenman } 1949a1f6d91cSDavid Greenman return 0; 1950a1f6d91cSDavid Greenman } 1951a1f6d91cSDavid Greenman 1952cac597e4SBruce Evans static int 19531b40f8c0SMatthew Dillon vm_object_in_map(vm_object_t object) 1954a1f6d91cSDavid Greenman { 1955a1f6d91cSDavid Greenman struct proc *p; 19561005a129SJohn Baldwin 195760517fd1SJohn Baldwin /* sx_slock(&allproc_lock); */ 1958fc2ffbe6SPoul-Henning Kamp LIST_FOREACH(p, &allproc, p_list) { 1959a1f6d91cSDavid Greenman if (!p->p_vmspace /* || (p->p_flag & (P_SYSTEM|P_WEXIT)) */) 1960a1f6d91cSDavid Greenman continue; 1961553629ebSJake Burkholder if (_vm_object_in_map(&p->p_vmspace->vm_map, object, 0)) { 196260517fd1SJohn Baldwin /* sx_sunlock(&allproc_lock); */ 1963a1f6d91cSDavid Greenman return 1; 1964a1f6d91cSDavid Greenman } 1965553629ebSJake Burkholder } 196660517fd1SJohn Baldwin /* sx_sunlock(&allproc_lock); */ 1967a1f6d91cSDavid Greenman if (_vm_object_in_map(kernel_map, object, 0)) 1968a1f6d91cSDavid Greenman return 1; 1969a1f6d91cSDavid Greenman if (_vm_object_in_map(kmem_map, object, 0)) 1970a1f6d91cSDavid Greenman return 1; 1971a1f6d91cSDavid Greenman if (_vm_object_in_map(pager_map, object, 0)) 1972a1f6d91cSDavid Greenman return 1; 1973a1f6d91cSDavid Greenman if (_vm_object_in_map(buffer_map, object, 0)) 1974a1f6d91cSDavid Greenman return 1; 1975a1f6d91cSDavid Greenman return 0; 1976a1f6d91cSDavid Greenman } 1977a1f6d91cSDavid Greenman 1978c7c34a24SBruce Evans DB_SHOW_COMMAND(vmochk, vm_object_check) 1979f708ef1bSPoul-Henning Kamp { 1980a1f6d91cSDavid Greenman vm_object_t object; 1981a1f6d91cSDavid Greenman 1982a1f6d91cSDavid Greenman /* 1983a1f6d91cSDavid Greenman * make sure that internal objs are in a map somewhere 1984a1f6d91cSDavid Greenman * and none have zero ref counts. 1985a1f6d91cSDavid Greenman */ 1986cc64b484SAlfred Perlstein TAILQ_FOREACH(object, &vm_object_list, object_list) { 198724a1cce3SDavid Greenman if (object->handle == NULL && 198824a1cce3SDavid Greenman (object->type == OBJT_DEFAULT || object->type == OBJT_SWAP)) { 1989a1f6d91cSDavid Greenman if (object->ref_count == 0) { 19903efc015bSPeter Wemm db_printf("vmochk: internal obj has zero ref count: %ld\n", 19913efc015bSPeter Wemm (long)object->size); 1992a1f6d91cSDavid Greenman } 1993a1f6d91cSDavid Greenman if (!vm_object_in_map(object)) { 1994fc62ef1fSBruce Evans db_printf( 1995fc62ef1fSBruce Evans "vmochk: internal obj is not in a map: " 1996fc62ef1fSBruce Evans "ref: %d, size: %lu: 0x%lx, backing_object: %p\n", 1997fc62ef1fSBruce Evans object->ref_count, (u_long)object->size, 1998fc62ef1fSBruce Evans (u_long)object->size, 1999fc62ef1fSBruce Evans (void *)object->backing_object); 2000a1f6d91cSDavid Greenman } 2001a1f6d91cSDavid Greenman } 2002a1f6d91cSDavid Greenman } 2003a1f6d91cSDavid Greenman } 2004a1f6d91cSDavid Greenman 200526f9a767SRodney W. Grimes /* 2006df8bae1dSRodney W. Grimes * vm_object_print: [ debug ] 2007df8bae1dSRodney W. Grimes */ 2008c7c34a24SBruce Evans DB_SHOW_COMMAND(object, vm_object_print_static) 2009df8bae1dSRodney W. Grimes { 2010c7c34a24SBruce Evans /* XXX convert args. */ 2011c7c34a24SBruce Evans vm_object_t object = (vm_object_t)addr; 2012c7c34a24SBruce Evans boolean_t full = have_addr; 2013c7c34a24SBruce Evans 2014d031cff1SMatthew Dillon vm_page_t p; 2015df8bae1dSRodney W. Grimes 2016c7c34a24SBruce Evans /* XXX count is an (unused) arg. Avoid shadowing it. */ 2017c7c34a24SBruce Evans #define count was_count 2018c7c34a24SBruce Evans 2019d031cff1SMatthew Dillon int count; 2020df8bae1dSRodney W. Grimes 2021df8bae1dSRodney W. Grimes if (object == NULL) 2022df8bae1dSRodney W. Grimes return; 2023df8bae1dSRodney W. Grimes 2024eb95adefSBruce Evans db_iprintf( 2025e47cd172SMaxime Henrion "Object %p: type=%d, size=0x%jx, res=%d, ref=%d, flags=0x%x\n", 2026e47cd172SMaxime Henrion object, (int)object->type, (uintmax_t)object->size, 2027eb95adefSBruce Evans object->resident_page_count, object->ref_count, object->flags); 2028e47cd172SMaxime Henrion db_iprintf(" sref=%d, backing_object(%d)=(%p)+0x%jx\n", 20291c7c3c6aSMatthew Dillon object->shadow_count, 2030eb95adefSBruce Evans object->backing_object ? object->backing_object->ref_count : 0, 2031e47cd172SMaxime Henrion object->backing_object, (uintmax_t)object->backing_object_offset); 2032df8bae1dSRodney W. Grimes 2033df8bae1dSRodney W. Grimes if (!full) 2034df8bae1dSRodney W. Grimes return; 2035df8bae1dSRodney W. Grimes 2036c7c34a24SBruce Evans db_indent += 2; 2037df8bae1dSRodney W. Grimes count = 0; 2038fc2ffbe6SPoul-Henning Kamp TAILQ_FOREACH(p, &object->memq, listq) { 2039df8bae1dSRodney W. Grimes if (count == 0) 2040c7c34a24SBruce Evans db_iprintf("memory:="); 2041df8bae1dSRodney W. Grimes else if (count == 6) { 2042c7c34a24SBruce Evans db_printf("\n"); 2043c7c34a24SBruce Evans db_iprintf(" ..."); 2044df8bae1dSRodney W. Grimes count = 0; 2045df8bae1dSRodney W. Grimes } else 2046c7c34a24SBruce Evans db_printf(","); 2047df8bae1dSRodney W. Grimes count++; 2048df8bae1dSRodney W. Grimes 2049e47cd172SMaxime Henrion db_printf("(off=0x%jx,page=0x%jx)", 2050e47cd172SMaxime Henrion (uintmax_t)p->pindex, (uintmax_t)VM_PAGE_TO_PHYS(p)); 2051df8bae1dSRodney W. Grimes } 2052df8bae1dSRodney W. Grimes if (count != 0) 2053c7c34a24SBruce Evans db_printf("\n"); 2054c7c34a24SBruce Evans db_indent -= 2; 2055df8bae1dSRodney W. Grimes } 20565070c7f8SJohn Dyson 2057c7c34a24SBruce Evans /* XXX. */ 2058c7c34a24SBruce Evans #undef count 2059c7c34a24SBruce Evans 2060c7c34a24SBruce Evans /* XXX need this non-static entry for calling from vm_map_print. */ 20615070c7f8SJohn Dyson void 20621b40f8c0SMatthew Dillon vm_object_print( 20631b40f8c0SMatthew Dillon /* db_expr_t */ long addr, 20641b40f8c0SMatthew Dillon boolean_t have_addr, 20651b40f8c0SMatthew Dillon /* db_expr_t */ long count, 20661b40f8c0SMatthew Dillon char *modif) 2067c7c34a24SBruce Evans { 2068c7c34a24SBruce Evans vm_object_print_static(addr, have_addr, count, modif); 2069c7c34a24SBruce Evans } 2070c7c34a24SBruce Evans 2071c7c34a24SBruce Evans DB_SHOW_COMMAND(vmopag, vm_object_print_pages) 20725070c7f8SJohn Dyson { 20735070c7f8SJohn Dyson vm_object_t object; 20745070c7f8SJohn Dyson int nl = 0; 20755070c7f8SJohn Dyson int c; 2076cc64b484SAlfred Perlstein 2077cc64b484SAlfred Perlstein TAILQ_FOREACH(object, &vm_object_list, object_list) { 20785070c7f8SJohn Dyson vm_pindex_t idx, fidx; 20795070c7f8SJohn Dyson vm_pindex_t osize; 2080227f9a1cSJake Burkholder vm_paddr_t pa = -1, padiff; 20815070c7f8SJohn Dyson int rcount; 20825070c7f8SJohn Dyson vm_page_t m; 20835070c7f8SJohn Dyson 2084fc62ef1fSBruce Evans db_printf("new object: %p\n", (void *)object); 20855070c7f8SJohn Dyson if (nl > 18) { 20865070c7f8SJohn Dyson c = cngetc(); 20875070c7f8SJohn Dyson if (c != ' ') 20885070c7f8SJohn Dyson return; 20895070c7f8SJohn Dyson nl = 0; 20905070c7f8SJohn Dyson } 20915070c7f8SJohn Dyson nl++; 20925070c7f8SJohn Dyson rcount = 0; 20935070c7f8SJohn Dyson fidx = 0; 20945070c7f8SJohn Dyson osize = object->size; 20955070c7f8SJohn Dyson if (osize > 128) 20965070c7f8SJohn Dyson osize = 128; 20975070c7f8SJohn Dyson for (idx = 0; idx < osize; idx++) { 20985070c7f8SJohn Dyson m = vm_page_lookup(object, idx); 20995070c7f8SJohn Dyson if (m == NULL) { 21005070c7f8SJohn Dyson if (rcount) { 21013efc015bSPeter Wemm db_printf(" index(%ld)run(%d)pa(0x%lx)\n", 21023efc015bSPeter Wemm (long)fidx, rcount, (long)pa); 21035070c7f8SJohn Dyson if (nl > 18) { 21045070c7f8SJohn Dyson c = cngetc(); 21055070c7f8SJohn Dyson if (c != ' ') 21065070c7f8SJohn Dyson return; 21075070c7f8SJohn Dyson nl = 0; 21085070c7f8SJohn Dyson } 21095070c7f8SJohn Dyson nl++; 21105070c7f8SJohn Dyson rcount = 0; 21115070c7f8SJohn Dyson } 21125070c7f8SJohn Dyson continue; 21135070c7f8SJohn Dyson } 21145070c7f8SJohn Dyson 21155070c7f8SJohn Dyson 21165070c7f8SJohn Dyson if (rcount && 21175070c7f8SJohn Dyson (VM_PAGE_TO_PHYS(m) == pa + rcount * PAGE_SIZE)) { 21185070c7f8SJohn Dyson ++rcount; 21195070c7f8SJohn Dyson continue; 21205070c7f8SJohn Dyson } 21215070c7f8SJohn Dyson if (rcount) { 21225070c7f8SJohn Dyson padiff = pa + rcount * PAGE_SIZE - VM_PAGE_TO_PHYS(m); 21235070c7f8SJohn Dyson padiff >>= PAGE_SHIFT; 21245070c7f8SJohn Dyson padiff &= PQ_L2_MASK; 21255070c7f8SJohn Dyson if (padiff == 0) { 21265070c7f8SJohn Dyson pa = VM_PAGE_TO_PHYS(m) - rcount * PAGE_SIZE; 21275070c7f8SJohn Dyson ++rcount; 21285070c7f8SJohn Dyson continue; 21295070c7f8SJohn Dyson } 21303efc015bSPeter Wemm db_printf(" index(%ld)run(%d)pa(0x%lx)", 21313efc015bSPeter Wemm (long)fidx, rcount, (long)pa); 21323efc015bSPeter Wemm db_printf("pd(%ld)\n", (long)padiff); 21335070c7f8SJohn Dyson if (nl > 18) { 21345070c7f8SJohn Dyson c = cngetc(); 21355070c7f8SJohn Dyson if (c != ' ') 21365070c7f8SJohn Dyson return; 21375070c7f8SJohn Dyson nl = 0; 21385070c7f8SJohn Dyson } 21395070c7f8SJohn Dyson nl++; 21405070c7f8SJohn Dyson } 21415070c7f8SJohn Dyson fidx = idx; 21425070c7f8SJohn Dyson pa = VM_PAGE_TO_PHYS(m); 21435070c7f8SJohn Dyson rcount = 1; 21445070c7f8SJohn Dyson } 21455070c7f8SJohn Dyson if (rcount) { 21463efc015bSPeter Wemm db_printf(" index(%ld)run(%d)pa(0x%lx)\n", 21473efc015bSPeter Wemm (long)fidx, rcount, (long)pa); 21485070c7f8SJohn Dyson if (nl > 18) { 21495070c7f8SJohn Dyson c = cngetc(); 21505070c7f8SJohn Dyson if (c != ' ') 21515070c7f8SJohn Dyson return; 21525070c7f8SJohn Dyson nl = 0; 21535070c7f8SJohn Dyson } 21545070c7f8SJohn Dyson nl++; 21555070c7f8SJohn Dyson } 21565070c7f8SJohn Dyson } 21575070c7f8SJohn Dyson } 2158c3cb3e12SDavid Greenman #endif /* DDB */ 2159