1df8bae1dSRodney W. Grimes /* 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 * 3. All advertising materials mentioning features or use of this software 175929bcfaSPhilippe Charnier * must display the following acknowledgement: 18df8bae1dSRodney W. Grimes * This product includes software developed by the University of 19df8bae1dSRodney W. Grimes * California, Berkeley and its contributors. 20df8bae1dSRodney W. Grimes * 4. Neither the name of the University nor the names of its contributors 21df8bae1dSRodney W. Grimes * may be used to endorse or promote products derived from this software 22df8bae1dSRodney W. Grimes * without specific prior written permission. 23df8bae1dSRodney W. Grimes * 24df8bae1dSRodney W. Grimes * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND 25df8bae1dSRodney W. Grimes * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 26df8bae1dSRodney W. Grimes * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 27df8bae1dSRodney W. Grimes * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE 28df8bae1dSRodney W. Grimes * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 29df8bae1dSRodney W. Grimes * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS 30df8bae1dSRodney W. Grimes * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) 31df8bae1dSRodney W. Grimes * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT 32df8bae1dSRodney W. Grimes * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY 33df8bae1dSRodney W. Grimes * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF 34df8bae1dSRodney W. Grimes * SUCH DAMAGE. 35df8bae1dSRodney W. Grimes * 363c4dd356SDavid Greenman * from: @(#)vm_object.c 8.5 (Berkeley) 3/22/94 37df8bae1dSRodney W. Grimes * 38df8bae1dSRodney W. Grimes * 39df8bae1dSRodney W. Grimes * Copyright (c) 1987, 1990 Carnegie-Mellon University. 40df8bae1dSRodney W. Grimes * All rights reserved. 41df8bae1dSRodney W. Grimes * 42df8bae1dSRodney W. Grimes * Authors: Avadis Tevanian, Jr., Michael Wayne Young 43df8bae1dSRodney W. Grimes * 44df8bae1dSRodney W. Grimes * Permission to use, copy, modify and distribute this software and 45df8bae1dSRodney W. Grimes * its documentation is hereby granted, provided that both the copyright 46df8bae1dSRodney W. Grimes * notice and this permission notice appear in all copies of the 47df8bae1dSRodney W. Grimes * software, derivative works or modified versions, and any portions 48df8bae1dSRodney W. Grimes * thereof, and that both notices appear in supporting documentation. 49df8bae1dSRodney W. Grimes * 50df8bae1dSRodney W. Grimes * CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS "AS IS" 51df8bae1dSRodney W. Grimes * CONDITION. CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND 52df8bae1dSRodney W. Grimes * FOR ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE. 53df8bae1dSRodney W. Grimes * 54df8bae1dSRodney W. Grimes * Carnegie Mellon requests users of this software to return to 55df8bae1dSRodney W. Grimes * 56df8bae1dSRodney W. Grimes * Software Distribution Coordinator or Software.Distribution@CS.CMU.EDU 57df8bae1dSRodney W. Grimes * School of Computer Science 58df8bae1dSRodney W. Grimes * Carnegie Mellon University 59df8bae1dSRodney W. Grimes * Pittsburgh PA 15213-3890 60df8bae1dSRodney W. Grimes * 61df8bae1dSRodney W. Grimes * any improvements or extensions that they make and grant Carnegie the 62df8bae1dSRodney W. Grimes * rights to redistribute these changes. 63df8bae1dSRodney W. Grimes */ 64df8bae1dSRodney W. Grimes 65df8bae1dSRodney W. Grimes /* 66df8bae1dSRodney W. Grimes * Virtual memory object module. 67df8bae1dSRodney W. Grimes */ 68df8bae1dSRodney W. Grimes 69874651b1SDavid E. O'Brien #include <sys/cdefs.h> 70874651b1SDavid E. O'Brien __FBSDID("$FreeBSD$"); 71874651b1SDavid E. O'Brien 72df8bae1dSRodney W. Grimes #include <sys/param.h> 73df8bae1dSRodney W. Grimes #include <sys/systm.h> 74fb919e4dSMark Murray #include <sys/lock.h> 75867a482dSJohn Dyson #include <sys/mman.h> 76cf2819ccSJohn Dyson #include <sys/mount.h> 77b9b7a4beSMatthew Dillon #include <sys/kernel.h> 78b9b7a4beSMatthew Dillon #include <sys/sysctl.h> 791b367556SJason Evans #include <sys/mutex.h> 80fb919e4dSMark Murray #include <sys/proc.h> /* for curproc, pageproc */ 81fb919e4dSMark Murray #include <sys/socket.h> 82fb919e4dSMark Murray #include <sys/vnode.h> 83fb919e4dSMark Murray #include <sys/vmmeter.h> 841005a129SJohn Baldwin #include <sys/sx.h> 85df8bae1dSRodney W. Grimes 86df8bae1dSRodney W. Grimes #include <vm/vm.h> 87efeaf95aSDavid Greenman #include <vm/vm_param.h> 88efeaf95aSDavid Greenman #include <vm/pmap.h> 89efeaf95aSDavid Greenman #include <vm/vm_map.h> 90efeaf95aSDavid Greenman #include <vm/vm_object.h> 91df8bae1dSRodney W. Grimes #include <vm/vm_page.h> 9226f9a767SRodney W. Grimes #include <vm/vm_pageout.h> 930d94caffSDavid Greenman #include <vm/vm_pager.h> 9405f0fdd2SPoul-Henning Kamp #include <vm/swap_pager.h> 95a1f6d91cSDavid Greenman #include <vm/vm_kern.h> 96efeaf95aSDavid Greenman #include <vm/vm_extern.h> 97670d17b5SJeff Roberson #include <vm/uma.h> 9826f9a767SRodney W. Grimes 99b9b7a4beSMatthew Dillon #define EASY_SCAN_FACTOR 8 100b9b7a4beSMatthew Dillon 101b9b7a4beSMatthew Dillon #define MSYNC_FLUSH_HARDSEQ 0x01 102b9b7a4beSMatthew Dillon #define MSYNC_FLUSH_SOFTSEQ 0x02 103b9b7a4beSMatthew Dillon 104b9b7a4beSMatthew Dillon /* 105b9b7a4beSMatthew Dillon * msync / VM object flushing optimizations 106b9b7a4beSMatthew Dillon */ 107b9b7a4beSMatthew Dillon static int msync_flush_flags = MSYNC_FLUSH_HARDSEQ | MSYNC_FLUSH_SOFTSEQ; 108b9b7a4beSMatthew Dillon SYSCTL_INT(_vm, OID_AUTO, msync_flush_flags, 109b9b7a4beSMatthew Dillon CTLFLAG_RW, &msync_flush_flags, 0, ""); 110b9b7a4beSMatthew Dillon 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; 148dcc5840eSAlan Cox static int next_index; 149670d17b5SJeff Roberson static uma_zone_t obj_zone; 15099448ed1SJohn Dyson #define VM_OBJECTS_INIT 256 1518355f576SJeff Roberson 1528355f576SJeff Roberson static void vm_object_zinit(void *mem, int size); 1538355f576SJeff Roberson 1548355f576SJeff Roberson #ifdef INVARIANTS 1558355f576SJeff Roberson static void vm_object_zdtor(void *mem, int size, void *arg); 1568355f576SJeff Roberson 1578355f576SJeff Roberson static void 1588355f576SJeff Roberson vm_object_zdtor(void *mem, int size, void *arg) 1598355f576SJeff Roberson { 1608355f576SJeff Roberson vm_object_t object; 1618355f576SJeff Roberson 1628355f576SJeff Roberson object = (vm_object_t)mem; 16343186e53SAlan Cox KASSERT(TAILQ_EMPTY(&object->memq), 16443186e53SAlan Cox ("object %p has resident pages", 16543186e53SAlan Cox object)); 1668355f576SJeff Roberson KASSERT(object->paging_in_progress == 0, 1678355f576SJeff Roberson ("object %p paging_in_progress = %d", 1688355f576SJeff Roberson object, object->paging_in_progress)); 1698355f576SJeff Roberson KASSERT(object->resident_page_count == 0, 1708355f576SJeff Roberson ("object %p resident_page_count = %d", 1718355f576SJeff Roberson object, object->resident_page_count)); 1728355f576SJeff Roberson KASSERT(object->shadow_count == 0, 1738355f576SJeff Roberson ("object %p shadow_count = %d", 1748355f576SJeff Roberson object, object->shadow_count)); 1758355f576SJeff Roberson } 1768355f576SJeff Roberson #endif 1778355f576SJeff Roberson 1788355f576SJeff Roberson static void 1798355f576SJeff Roberson vm_object_zinit(void *mem, int size) 1808355f576SJeff Roberson { 1818355f576SJeff Roberson vm_object_t object; 1828355f576SJeff Roberson 1838355f576SJeff Roberson object = (vm_object_t)mem; 184e3a9e1b2SAlan Cox bzero(&object->mtx, sizeof(object->mtx)); 185ed6a7863SAlan Cox VM_OBJECT_LOCK_INIT(object); 1868355f576SJeff Roberson 1878355f576SJeff Roberson /* These are true for any object that has been freed */ 1888355f576SJeff Roberson object->paging_in_progress = 0; 1898355f576SJeff Roberson object->resident_page_count = 0; 1908355f576SJeff Roberson object->shadow_count = 0; 1918355f576SJeff Roberson } 192df8bae1dSRodney W. Grimes 1933075778bSJohn Dyson void 1946395da54SIan Dowse _vm_object_allocate(objtype_t type, vm_pindex_t size, vm_object_t object) 195df8bae1dSRodney W. Grimes { 196cf3e6e48SAlan Cox int incr; 1970cddd8f0SMatthew Dillon 198df8bae1dSRodney W. Grimes TAILQ_INIT(&object->memq); 1991c500307SAlan Cox LIST_INIT(&object->shadow_head); 200a1f6d91cSDavid Greenman 201b86ec922SMatthew Dillon object->root = NULL; 20224a1cce3SDavid Greenman object->type = type; 203df8bae1dSRodney W. Grimes object->size = size; 204b881da26SAlan Cox object->generation = 1; 205a1f6d91cSDavid Greenman object->ref_count = 1; 20624a1cce3SDavid Greenman object->flags = 0; 20760517fd1SJohn Baldwin if ((object->type == OBJT_DEFAULT) || (object->type == OBJT_SWAP)) 2083471677cSAlan Cox object->flags = OBJ_ONEMAPPING; 20999448ed1SJohn Dyson if (size > (PQ_L2_SIZE / 3 + PQ_PRIME1)) 21099448ed1SJohn Dyson incr = PQ_L2_SIZE / 3 + PQ_PRIME1; 21199448ed1SJohn Dyson else 21299448ed1SJohn Dyson incr = size; 213dcc5840eSAlan Cox do 214dcc5840eSAlan Cox object->pg_color = next_index; 215dcc5840eSAlan Cox while (!atomic_cmpset_int(&next_index, object->pg_color, 21679660d83SAlan Cox (object->pg_color + incr) & PQ_L2_MASK)); 21724a1cce3SDavid Greenman object->handle = NULL; 21824a1cce3SDavid Greenman object->backing_object = NULL; 219a316d390SJohn Dyson object->backing_object_offset = (vm_ooffset_t) 0; 220a1f6d91cSDavid Greenman 221a5698387SAlan Cox mtx_lock(&vm_object_list_mtx); 22260517fd1SJohn Baldwin TAILQ_INSERT_TAIL(&vm_object_list, object, object_list); 223a5698387SAlan Cox mtx_unlock(&vm_object_list_mtx); 224df8bae1dSRodney W. Grimes } 225df8bae1dSRodney W. Grimes 226df8bae1dSRodney W. Grimes /* 22726f9a767SRodney W. Grimes * vm_object_init: 22826f9a767SRodney W. Grimes * 22926f9a767SRodney W. Grimes * Initialize the VM objects module. 23026f9a767SRodney W. Grimes */ 23126f9a767SRodney W. Grimes void 2321b40f8c0SMatthew Dillon vm_object_init(void) 23326f9a767SRodney W. Grimes { 23426f9a767SRodney W. Grimes TAILQ_INIT(&vm_object_list); 2356008862bSJohn Baldwin mtx_init(&vm_object_list_mtx, "vm object_list", NULL, MTX_DEF); 2360217125fSDavid Greenman 237ed6a7863SAlan Cox VM_OBJECT_LOCK_INIT(&kernel_object_store); 238a316d390SJohn Dyson _vm_object_allocate(OBJT_DEFAULT, OFF_TO_IDX(VM_MAX_KERNEL_ADDRESS - VM_MIN_KERNEL_ADDRESS), 23926f9a767SRodney W. Grimes kernel_object); 24026f9a767SRodney W. Grimes 2413a12f5daSAlan Cox /* 2423a12f5daSAlan Cox * The kmem object's mutex is given a unique name, instead of 2433a12f5daSAlan Cox * "vm object", to avoid false reports of lock-order reversal 2443a12f5daSAlan Cox * with a system map mutex. 2453a12f5daSAlan Cox */ 2463a12f5daSAlan Cox mtx_init(VM_OBJECT_MTX(kmem_object), "kmem object", NULL, MTX_DEF); 247a316d390SJohn Dyson _vm_object_allocate(OBJT_DEFAULT, OFF_TO_IDX(VM_MAX_KERNEL_ADDRESS - VM_MIN_KERNEL_ADDRESS), 24826f9a767SRodney W. Grimes kmem_object); 249ed6a7863SAlan Cox 2508355f576SJeff Roberson obj_zone = uma_zcreate("VM OBJECT", sizeof (struct vm_object), NULL, 2518355f576SJeff Roberson #ifdef INVARIANTS 2528355f576SJeff Roberson vm_object_zdtor, 2538355f576SJeff Roberson #else 2548355f576SJeff Roberson NULL, 2558355f576SJeff Roberson #endif 256f3c625e4SJeff Roberson vm_object_zinit, NULL, UMA_ALIGN_PTR, UMA_ZONE_VM|UMA_ZONE_NOFREE); 2578355f576SJeff Roberson uma_prealloc(obj_zone, VM_OBJECTS_INIT); 25899448ed1SJohn Dyson } 25999448ed1SJohn Dyson 26099448ed1SJohn Dyson void 2611b40f8c0SMatthew Dillon vm_object_clear_flag(vm_object_t object, u_short bits) 2621b40f8c0SMatthew Dillon { 2635440b5a9SAlan Cox 264d647a0edSAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 265b06805adSJake Burkholder object->flags &= ~bits; 2661b40f8c0SMatthew Dillon } 2671b40f8c0SMatthew Dillon 2681b40f8c0SMatthew Dillon void 2691b40f8c0SMatthew Dillon vm_object_pip_add(vm_object_t object, short i) 2701b40f8c0SMatthew Dillon { 271f279b88dSAlan Cox 272d647a0edSAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 273b06805adSJake Burkholder object->paging_in_progress += i; 2741b40f8c0SMatthew Dillon } 2751b40f8c0SMatthew Dillon 2761b40f8c0SMatthew Dillon void 2771b40f8c0SMatthew Dillon vm_object_pip_subtract(vm_object_t object, short i) 2781b40f8c0SMatthew Dillon { 279d647a0edSAlan Cox 2800fa05eaeSAlan 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_wakeup(vm_object_t object) 2861b40f8c0SMatthew Dillon { 287f279b88dSAlan Cox 288d647a0edSAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 289b06805adSJake Burkholder object->paging_in_progress--; 2901b40f8c0SMatthew Dillon if ((object->flags & OBJ_PIPWNT) && object->paging_in_progress == 0) { 2911b40f8c0SMatthew Dillon vm_object_clear_flag(object, OBJ_PIPWNT); 2921b40f8c0SMatthew Dillon wakeup(object); 2931b40f8c0SMatthew Dillon } 2941b40f8c0SMatthew Dillon } 2951b40f8c0SMatthew Dillon 2961b40f8c0SMatthew Dillon void 2971b40f8c0SMatthew Dillon vm_object_pip_wakeupn(vm_object_t object, short i) 2981b40f8c0SMatthew Dillon { 299d647a0edSAlan Cox 3000d420ad3SAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 3011b40f8c0SMatthew Dillon if (i) 302b06805adSJake Burkholder object->paging_in_progress -= i; 3031b40f8c0SMatthew Dillon if ((object->flags & OBJ_PIPWNT) && object->paging_in_progress == 0) { 3041b40f8c0SMatthew Dillon vm_object_clear_flag(object, OBJ_PIPWNT); 3051b40f8c0SMatthew Dillon wakeup(object); 3061b40f8c0SMatthew Dillon } 3071b40f8c0SMatthew Dillon } 3081b40f8c0SMatthew Dillon 3091b40f8c0SMatthew Dillon void 3101b40f8c0SMatthew Dillon vm_object_pip_wait(vm_object_t object, char *waitid) 3111b40f8c0SMatthew Dillon { 3121ca58953SAlan Cox 3131ca58953SAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 3141ca58953SAlan Cox while (object->paging_in_progress) { 3151ca58953SAlan Cox object->flags |= OBJ_PIPWNT; 3161ca58953SAlan Cox msleep(object, VM_OBJECT_MTX(object), PVM, waitid, 0); 3171ca58953SAlan Cox } 3181b40f8c0SMatthew Dillon } 3191b40f8c0SMatthew Dillon 32026f9a767SRodney W. Grimes /* 32198cb733cSKenneth D. Merry * vm_object_allocate_wait 32298cb733cSKenneth D. Merry * 32398cb733cSKenneth D. Merry * Return a new object with the given size, and give the user the 32498cb733cSKenneth D. Merry * option of waiting for it to complete or failing if the needed 32598cb733cSKenneth D. Merry * memory isn't available. 32698cb733cSKenneth D. Merry */ 32798cb733cSKenneth D. Merry vm_object_t 32898cb733cSKenneth D. Merry vm_object_allocate_wait(objtype_t type, vm_pindex_t size, int flags) 32998cb733cSKenneth D. Merry { 33098cb733cSKenneth D. Merry vm_object_t result; 33198cb733cSKenneth D. Merry 33298cb733cSKenneth D. Merry result = (vm_object_t) uma_zalloc(obj_zone, flags); 33398cb733cSKenneth D. Merry 33498cb733cSKenneth D. Merry if (result != NULL) 33598cb733cSKenneth D. Merry _vm_object_allocate(type, size, result); 33698cb733cSKenneth D. Merry 33798cb733cSKenneth D. Merry return (result); 33898cb733cSKenneth D. Merry } 33998cb733cSKenneth D. Merry 34098cb733cSKenneth D. Merry /* 34126f9a767SRodney W. Grimes * vm_object_allocate: 34226f9a767SRodney W. Grimes * 34326f9a767SRodney W. Grimes * Returns a new object with the given size. 34426f9a767SRodney W. Grimes */ 34526f9a767SRodney W. Grimes vm_object_t 3466395da54SIan Dowse vm_object_allocate(objtype_t type, vm_pindex_t size) 34726f9a767SRodney W. Grimes { 348a163d034SWarner Losh return(vm_object_allocate_wait(type, size, M_WAITOK)); 34926f9a767SRodney W. Grimes } 35026f9a767SRodney W. Grimes 35126f9a767SRodney W. Grimes 35226f9a767SRodney W. Grimes /* 353df8bae1dSRodney W. Grimes * vm_object_reference: 354df8bae1dSRodney W. Grimes * 35515347817SAlan Cox * Gets another reference to the given object. Note: OBJ_DEAD 35615347817SAlan Cox * objects can be referenced during final cleaning. 357df8bae1dSRodney W. Grimes */ 3586476c0d2SJohn Dyson void 3591b40f8c0SMatthew Dillon vm_object_reference(vm_object_t object) 360df8bae1dSRodney W. Grimes { 36182f9defeSAlan Cox struct vnode *vp; 36282f9defeSAlan Cox int flags; 36382f9defeSAlan Cox 364df8bae1dSRodney W. Grimes if (object == NULL) 365df8bae1dSRodney W. Grimes return; 36615347817SAlan Cox VM_OBJECT_LOCK(object); 367df8bae1dSRodney W. Grimes object->ref_count++; 36847221757SJohn Dyson if (object->type == OBJT_VNODE) { 36982f9defeSAlan Cox vp = object->handle; 37082f9defeSAlan Cox VI_LOCK(vp); 37182f9defeSAlan Cox VM_OBJECT_UNLOCK(object); 37282f9defeSAlan Cox for (flags = LK_INTERLOCK; vget(vp, flags, curthread); 37382f9defeSAlan Cox flags = 0) 37482f9defeSAlan Cox printf("vm_object_reference: delay in vget\n"); 37582f9defeSAlan Cox } else 37682f9defeSAlan Cox VM_OBJECT_UNLOCK(object); 37795e5e988SJohn Dyson } 37895e5e988SJohn Dyson 37923955314SAlfred Perlstein /* 380b921a12bSAlan Cox * vm_object_reference_locked: 381b921a12bSAlan Cox * 382b921a12bSAlan Cox * Gets another reference to the given object. 383b921a12bSAlan Cox * 384b921a12bSAlan Cox * The object must be locked. 385b921a12bSAlan Cox */ 386b921a12bSAlan Cox void 387b921a12bSAlan Cox vm_object_reference_locked(vm_object_t object) 388b921a12bSAlan Cox { 389b921a12bSAlan Cox struct vnode *vp; 390b921a12bSAlan Cox 391b921a12bSAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 392b921a12bSAlan Cox KASSERT((object->flags & OBJ_DEAD) == 0, 393b921a12bSAlan Cox ("vm_object_reference_locked: dead object referenced")); 394b921a12bSAlan Cox object->ref_count++; 395b921a12bSAlan Cox if (object->type == OBJT_VNODE) { 396b921a12bSAlan Cox vp = object->handle; 397b921a12bSAlan Cox vref(vp); 398b921a12bSAlan Cox } 399b921a12bSAlan Cox } 400b921a12bSAlan Cox 401b921a12bSAlan Cox /* 4029d5abbddSJens Schweikhardt * Handle deallocating an object of type OBJT_VNODE. 40323955314SAlfred Perlstein */ 404bf27292bSJohn Dyson void 4051b40f8c0SMatthew Dillon vm_object_vndeallocate(vm_object_t object) 40695e5e988SJohn Dyson { 40795e5e988SJohn Dyson struct vnode *vp = (struct vnode *) object->handle; 408219cbf59SEivind Eklund 4090cddd8f0SMatthew Dillon GIANT_REQUIRED; 410ad682c48SAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 4115526d2d9SEivind Eklund KASSERT(object->type == OBJT_VNODE, 4125526d2d9SEivind Eklund ("vm_object_vndeallocate: not a vnode object")); 413219cbf59SEivind Eklund KASSERT(vp != NULL, ("vm_object_vndeallocate: missing vp")); 414219cbf59SEivind Eklund #ifdef INVARIANTS 41595e5e988SJohn Dyson if (object->ref_count == 0) { 41695e5e988SJohn Dyson vprint("vm_object_vndeallocate", vp); 41795e5e988SJohn Dyson panic("vm_object_vndeallocate: bad object reference count"); 41895e5e988SJohn Dyson } 41995e5e988SJohn Dyson #endif 42095e5e988SJohn Dyson 42195e5e988SJohn Dyson object->ref_count--; 42247221757SJohn Dyson if (object->ref_count == 0) { 423e6e370a7SJeff Roberson mp_fixme("Unlocked vflag access."); 424e6e370a7SJeff Roberson vp->v_vflag &= ~VV_TEXT; 4252be70f79SJohn Dyson } 426ad682c48SAlan Cox VM_OBJECT_UNLOCK(object); 42723955314SAlfred Perlstein /* 42823955314SAlfred Perlstein * vrele may need a vop lock 42923955314SAlfred Perlstein */ 43047221757SJohn Dyson vrele(vp); 431df8bae1dSRodney W. Grimes } 432df8bae1dSRodney W. Grimes 433df8bae1dSRodney W. Grimes /* 434df8bae1dSRodney W. Grimes * vm_object_deallocate: 435df8bae1dSRodney W. Grimes * 436df8bae1dSRodney W. Grimes * Release a reference to the specified object, 437df8bae1dSRodney W. Grimes * gained either through a vm_object_allocate 438df8bae1dSRodney W. Grimes * or a vm_object_reference call. When all references 439df8bae1dSRodney W. Grimes * are gone, storage associated with this object 440df8bae1dSRodney W. Grimes * may be relinquished. 441df8bae1dSRodney W. Grimes * 442df8bae1dSRodney W. Grimes * No object may be locked. 443df8bae1dSRodney W. Grimes */ 44426f9a767SRodney W. Grimes void 4451b40f8c0SMatthew Dillon vm_object_deallocate(vm_object_t object) 446df8bae1dSRodney W. Grimes { 447df8bae1dSRodney W. Grimes vm_object_t temp; 448df8bae1dSRodney W. Grimes 449df8bae1dSRodney W. Grimes while (object != NULL) { 45023b186d3SAlan Cox /* 45123b186d3SAlan Cox * In general, the object should be locked when working with 45223b186d3SAlan Cox * its type. In this case, in order to maintain proper lock 45323b186d3SAlan Cox * ordering, an exception is possible because a vnode-backed 45423b186d3SAlan Cox * object never changes its type. 45523b186d3SAlan Cox */ 45623b186d3SAlan Cox if (object->type == OBJT_VNODE) 45723b186d3SAlan Cox mtx_lock(&Giant); 458ad682c48SAlan Cox VM_OBJECT_LOCK(object); 4593b68228cSAlan Cox if (object->type == OBJT_VNODE) { 46095e5e988SJohn Dyson vm_object_vndeallocate(object); 46123b186d3SAlan Cox mtx_unlock(&Giant); 46223b186d3SAlan Cox return; 46395e5e988SJohn Dyson } 46495e5e988SJohn Dyson 4658125b1e6SAlfred Perlstein KASSERT(object->ref_count != 0, 4668125b1e6SAlfred Perlstein ("vm_object_deallocate: object deallocated too many times: %d", object->type)); 4672be70f79SJohn Dyson 4682be70f79SJohn Dyson /* 4698125b1e6SAlfred Perlstein * If the reference count goes to 0 we start calling 4708125b1e6SAlfred Perlstein * vm_object_terminate() on the object chain. 4718125b1e6SAlfred Perlstein * A ref count of 1 may be a special case depending on the 4728125b1e6SAlfred Perlstein * shadow count being 0 or 1. 4732be70f79SJohn Dyson */ 474c0877f10SJohn Dyson object->ref_count--; 4758125b1e6SAlfred Perlstein if (object->ref_count > 1) { 4763b68228cSAlan Cox VM_OBJECT_UNLOCK(object); 47723b186d3SAlan Cox return; 4788125b1e6SAlfred Perlstein } else if (object->ref_count == 1) { 4798125b1e6SAlfred Perlstein if (object->shadow_count == 0) { 4808125b1e6SAlfred Perlstein vm_object_set_flag(object, OBJ_ONEMAPPING); 4818125b1e6SAlfred Perlstein } else if ((object->shadow_count == 1) && 4828125b1e6SAlfred Perlstein (object->handle == NULL) && 48324a1cce3SDavid Greenman (object->type == OBJT_DEFAULT || 48424a1cce3SDavid Greenman object->type == OBJT_SWAP)) { 485a1f6d91cSDavid Greenman vm_object_t robject; 48695e5e988SJohn Dyson 4871c500307SAlan Cox robject = LIST_FIRST(&object->shadow_head); 4885526d2d9SEivind Eklund KASSERT(robject != NULL, 489219cbf59SEivind Eklund ("vm_object_deallocate: ref_count: %d, shadow_count: %d", 4905526d2d9SEivind Eklund object->ref_count, 4915526d2d9SEivind Eklund object->shadow_count)); 492b72b0115SAlan Cox if (!VM_OBJECT_TRYLOCK(robject)) { 493b72b0115SAlan Cox /* 494b72b0115SAlan Cox * Avoid a potential deadlock. 495b72b0115SAlan Cox */ 496b72b0115SAlan Cox object->ref_count++; 497b72b0115SAlan Cox VM_OBJECT_UNLOCK(object); 498b72b0115SAlan Cox continue; 499b72b0115SAlan Cox } 50095e5e988SJohn Dyson if ((robject->handle == NULL) && 50124a1cce3SDavid Greenman (robject->type == OBJT_DEFAULT || 50224a1cce3SDavid Greenman robject->type == OBJT_SWAP)) { 503a1f6d91cSDavid Greenman 50495e5e988SJohn Dyson robject->ref_count++; 505138449dcSAlan Cox retry: 506138449dcSAlan Cox if (robject->paging_in_progress) { 507138449dcSAlan Cox VM_OBJECT_UNLOCK(object); 508138449dcSAlan Cox vm_object_pip_wait(robject, 509138449dcSAlan Cox "objde1"); 510138449dcSAlan Cox VM_OBJECT_LOCK(object); 511138449dcSAlan Cox goto retry; 512138449dcSAlan Cox } else if (object->paging_in_progress) { 513138449dcSAlan Cox VM_OBJECT_UNLOCK(robject); 514138449dcSAlan Cox object->flags |= OBJ_PIPWNT; 515138449dcSAlan Cox msleep(object, 516138449dcSAlan Cox VM_OBJECT_MTX(object), 517138449dcSAlan Cox PDROP | PVM, "objde2", 0); 518138449dcSAlan Cox VM_OBJECT_LOCK(robject); 519138449dcSAlan Cox VM_OBJECT_LOCK(object); 520138449dcSAlan Cox goto retry; 521a1f6d91cSDavid Greenman } 5223b68228cSAlan Cox VM_OBJECT_UNLOCK(object); 52395e5e988SJohn Dyson if (robject->ref_count == 1) { 52495e5e988SJohn Dyson robject->ref_count--; 525ba8da839SDavid Greenman object = robject; 52695e5e988SJohn Dyson goto doterm; 52795e5e988SJohn Dyson } 52895e5e988SJohn Dyson object = robject; 52995e5e988SJohn Dyson vm_object_collapse(object); 530d7fc2210SAlan Cox VM_OBJECT_UNLOCK(object); 531ba8da839SDavid Greenman continue; 532a1f6d91cSDavid Greenman } 533b72b0115SAlan Cox VM_OBJECT_UNLOCK(robject); 53495e5e988SJohn Dyson } 5353b68228cSAlan Cox VM_OBJECT_UNLOCK(object); 53623b186d3SAlan Cox return; 53795e5e988SJohn Dyson } 53895e5e988SJohn Dyson doterm: 53924a1cce3SDavid Greenman temp = object->backing_object; 540c9917419SAlan Cox if (temp != NULL) { 541c9917419SAlan Cox VM_OBJECT_LOCK(temp); 5421c500307SAlan Cox LIST_REMOVE(object, shadow_list); 54395e5e988SJohn Dyson temp->shadow_count--; 544eaf13dd7SJohn Dyson temp->generation++; 545c9917419SAlan Cox VM_OBJECT_UNLOCK(temp); 54695461b45SJohn Dyson object->backing_object = NULL; 547de5f6a77SJohn Dyson } 548245df27cSMatthew Dillon /* 549245df27cSMatthew Dillon * Don't double-terminate, we could be in a termination 550245df27cSMatthew Dillon * recursion due to the terminate having to sync data 551245df27cSMatthew Dillon * to disk. 552245df27cSMatthew Dillon */ 553245df27cSMatthew Dillon if ((object->flags & OBJ_DEAD) == 0) 554df8bae1dSRodney W. Grimes vm_object_terminate(object); 555c829b9d0SAlan Cox else 556c829b9d0SAlan Cox VM_OBJECT_UNLOCK(object); 557df8bae1dSRodney W. Grimes object = temp; 558df8bae1dSRodney W. Grimes } 559df8bae1dSRodney W. Grimes } 560df8bae1dSRodney W. Grimes 561df8bae1dSRodney W. Grimes /* 562df8bae1dSRodney W. Grimes * vm_object_terminate actually destroys the specified object, freeing 563df8bae1dSRodney W. Grimes * up all previously used resources. 564df8bae1dSRodney W. Grimes * 565df8bae1dSRodney W. Grimes * The object must be locked. 5661c7c3c6aSMatthew Dillon * This routine may block. 567df8bae1dSRodney W. Grimes */ 56895e5e988SJohn Dyson void 5691b40f8c0SMatthew Dillon vm_object_terminate(vm_object_t object) 570df8bae1dSRodney W. Grimes { 571d031cff1SMatthew Dillon vm_page_t p; 572e4b7635dSDavid Greenman int s; 573df8bae1dSRodney W. Grimes 574c829b9d0SAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 5750cddd8f0SMatthew Dillon 57695e5e988SJohn Dyson /* 57795e5e988SJohn Dyson * Make sure no one uses us. 57895e5e988SJohn Dyson */ 579069e9bc1SDoug Rabson vm_object_set_flag(object, OBJ_DEAD); 5803c631446SJohn Dyson 581df8bae1dSRodney W. Grimes /* 582f6b04d2bSDavid Greenman * wait for the pageout daemon to be done with the object 583df8bae1dSRodney W. Grimes */ 58466095752SJohn Dyson vm_object_pip_wait(object, "objtrm"); 585df8bae1dSRodney W. Grimes 5865526d2d9SEivind Eklund KASSERT(!object->paging_in_progress, 5875526d2d9SEivind Eklund ("vm_object_terminate: pageout in progress")); 58826f9a767SRodney W. Grimes 58926f9a767SRodney W. Grimes /* 5900d94caffSDavid Greenman * Clean and free the pages, as appropriate. All references to the 5910d94caffSDavid Greenman * object are gone, so we don't need to lock it. 59226f9a767SRodney W. Grimes */ 59324a1cce3SDavid Greenman if (object->type == OBJT_VNODE) { 594f7dd7b63SAlan Cox struct vnode *vp = (struct vnode *)object->handle; 59595e5e988SJohn Dyson 59695e5e988SJohn Dyson /* 59795e5e988SJohn Dyson * Clean pages and flush buffers. 59895e5e988SJohn Dyson */ 5998f9110f6SJohn Dyson vm_object_page_clean(object, 0, 0, OBJPC_SYNC); 600b6e48e03SAlan Cox VM_OBJECT_UNLOCK(object); 60195e5e988SJohn Dyson 602f6b04d2bSDavid Greenman vinvalbuf(vp, V_SAVE, NOCRED, NULL, 0, 0); 603f7dd7b63SAlan Cox 604f7dd7b63SAlan Cox VM_OBJECT_LOCK(object); 605bef608bdSJohn Dyson } 606bef608bdSJohn Dyson 607971dd342SAlfred Perlstein KASSERT(object->ref_count == 0, 608971dd342SAlfred Perlstein ("vm_object_terminate: object with references, ref_count=%d", 609971dd342SAlfred Perlstein object->ref_count)); 610996c772fSJohn Dyson 6110d94caffSDavid Greenman /* 612356863ebSDavid Greenman * Now free any remaining pages. For internal objects, this also 613356863ebSDavid Greenman * removes them from paging queues. Don't free wired pages, just 614356863ebSDavid Greenman * remove them from the object. 615df8bae1dSRodney W. Grimes */ 616e4b7635dSDavid Greenman s = splvm(); 61756030358SAlan Cox vm_page_lock_queues(); 618b18bfc3dSJohn Dyson while ((p = TAILQ_FIRST(&object->memq)) != NULL) { 619971dd342SAlfred Perlstein KASSERT(!p->busy && (p->flags & PG_BUSY) == 0, 620971dd342SAlfred Perlstein ("vm_object_terminate: freeing busy page %p " 621971dd342SAlfred Perlstein "p->busy = %d, p->flags %x\n", p, p->busy, p->flags)); 6220b10ba98SDavid Greenman if (p->wire_count == 0) { 623e69763a3SDoug Rabson vm_page_busy(p); 624df8bae1dSRodney W. Grimes vm_page_free(p); 625df8bae1dSRodney W. Grimes cnt.v_pfree++; 6260b10ba98SDavid Greenman } else { 627356863ebSDavid Greenman vm_page_busy(p); 6280b10ba98SDavid Greenman vm_page_remove(p); 6290b10ba98SDavid Greenman } 630df8bae1dSRodney W. Grimes } 63156030358SAlan Cox vm_page_unlock_queues(); 632e4b7635dSDavid Greenman splx(s); 633bef608bdSJohn Dyson 6342d8acc0fSJohn Dyson /* 6359fcfb650SDavid Greenman * Let the pager know object is dead. 6369fcfb650SDavid Greenman */ 6379fcfb650SDavid Greenman vm_pager_deallocate(object); 638658ad5ffSAlan Cox VM_OBJECT_UNLOCK(object); 6399fcfb650SDavid Greenman 6409fcfb650SDavid Greenman /* 6410b10ba98SDavid Greenman * Remove the object from the global object list. 6422d8acc0fSJohn Dyson */ 6439ed346baSBosko Milekic mtx_lock(&vm_object_list_mtx); 644df8bae1dSRodney W. Grimes TAILQ_REMOVE(&vm_object_list, object, object_list); 6459ed346baSBosko Milekic mtx_unlock(&vm_object_list_mtx); 6460b10ba98SDavid Greenman 6470b10ba98SDavid Greenman wakeup(object); 6480b10ba98SDavid Greenman 649df8bae1dSRodney W. Grimes /* 650df8bae1dSRodney W. Grimes * Free the space for the object. 651df8bae1dSRodney W. Grimes */ 652670d17b5SJeff Roberson uma_zfree(obj_zone, object); 65347221757SJohn Dyson } 654df8bae1dSRodney W. Grimes 655df8bae1dSRodney W. Grimes /* 656df8bae1dSRodney W. Grimes * vm_object_page_clean 657df8bae1dSRodney W. Grimes * 6584f79d873SMatthew Dillon * Clean all dirty pages in the specified range of object. Leaves page 6594f79d873SMatthew Dillon * on whatever queue it is currently on. If NOSYNC is set then do not 6604f79d873SMatthew Dillon * write out pages with PG_NOSYNC set (originally comes from MAP_NOSYNC), 6614f79d873SMatthew Dillon * leaving the object dirty. 66226f9a767SRodney W. Grimes * 66343b7990eSMatthew Dillon * When stuffing pages asynchronously, allow clustering. XXX we need a 66443b7990eSMatthew Dillon * synchronous clustering mode implementation. 66543b7990eSMatthew Dillon * 66626f9a767SRodney W. Grimes * Odd semantics: if start == end, we clean everything. 66726f9a767SRodney W. Grimes * 66826f9a767SRodney W. Grimes * The object must be locked. 66926f9a767SRodney W. Grimes */ 670f6b04d2bSDavid Greenman void 6711b40f8c0SMatthew Dillon vm_object_page_clean(vm_object_t object, vm_pindex_t start, vm_pindex_t end, int flags) 672f6b04d2bSDavid Greenman { 673b9b7a4beSMatthew Dillon vm_page_t p, np; 6746395da54SIan Dowse vm_pindex_t tstart, tend; 675bd7e5f99SJohn Dyson vm_pindex_t pi; 6764f79d873SMatthew Dillon int clearobjflags; 6778f9110f6SJohn Dyson int pagerflags; 6782d8acc0fSJohn Dyson int curgeneration; 679f6b04d2bSDavid Greenman 6800cddd8f0SMatthew Dillon GIANT_REQUIRED; 681b6e48e03SAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 682aef922f5SJohn Dyson if (object->type != OBJT_VNODE || 683aef922f5SJohn Dyson (object->flags & OBJ_MIGHTBEDIRTY) == 0) 684f6b04d2bSDavid Greenman return; 685f6b04d2bSDavid Greenman 68643b7990eSMatthew Dillon pagerflags = (flags & (OBJPC_SYNC | OBJPC_INVAL)) ? VM_PAGER_PUT_SYNC : VM_PAGER_CLUSTER_OK; 6878f9110f6SJohn Dyson pagerflags |= (flags & OBJPC_INVAL) ? VM_PAGER_PUT_INVAL : 0; 6888f9110f6SJohn Dyson 689069e9bc1SDoug Rabson vm_object_set_flag(object, OBJ_CLEANING); 69024a1cce3SDavid Greenman 691f6b04d2bSDavid Greenman tstart = start; 692f6b04d2bSDavid Greenman if (end == 0) { 693f6b04d2bSDavid Greenman tend = object->size; 694f6b04d2bSDavid Greenman } else { 695f6b04d2bSDavid Greenman tend = end; 696f6b04d2bSDavid Greenman } 697eaf13dd7SJohn Dyson 69835c01631SAlan Cox vm_page_lock_queues(); 6994f79d873SMatthew Dillon /* 700b9b7a4beSMatthew Dillon * If the caller is smart and only msync()s a range he knows is 701b9b7a4beSMatthew Dillon * dirty, we may be able to avoid an object scan. This results in 702b9b7a4beSMatthew Dillon * a phenominal improvement in performance. We cannot do this 703b9b7a4beSMatthew Dillon * as a matter of course because the object may be huge - e.g. 704b9b7a4beSMatthew Dillon * the size might be in the gigabytes or terrabytes. 705b9b7a4beSMatthew Dillon */ 706b9b7a4beSMatthew Dillon if (msync_flush_flags & MSYNC_FLUSH_HARDSEQ) { 707300b96acSIan Dowse vm_pindex_t tscan; 708b9b7a4beSMatthew Dillon int scanlimit; 709b9b7a4beSMatthew Dillon int scanreset; 710b9b7a4beSMatthew Dillon 711b9b7a4beSMatthew Dillon scanreset = object->resident_page_count / EASY_SCAN_FACTOR; 712b9b7a4beSMatthew Dillon if (scanreset < 16) 713b9b7a4beSMatthew Dillon scanreset = 16; 71443b7990eSMatthew Dillon pagerflags |= VM_PAGER_IGNORE_CLEANCHK; 715b9b7a4beSMatthew Dillon 716b9b7a4beSMatthew Dillon scanlimit = scanreset; 717b9b7a4beSMatthew Dillon tscan = tstart; 718b9b7a4beSMatthew Dillon while (tscan < tend) { 719b9b7a4beSMatthew Dillon curgeneration = object->generation; 720b9b7a4beSMatthew Dillon p = vm_page_lookup(object, tscan); 721b9b7a4beSMatthew Dillon if (p == NULL || p->valid == 0 || 722b9b7a4beSMatthew Dillon (p->queue - p->pc) == PQ_CACHE) { 723b9b7a4beSMatthew Dillon if (--scanlimit == 0) 724b9b7a4beSMatthew Dillon break; 725b9b7a4beSMatthew Dillon ++tscan; 726b9b7a4beSMatthew Dillon continue; 727b9b7a4beSMatthew Dillon } 728b9b7a4beSMatthew Dillon vm_page_test_dirty(p); 729b9b7a4beSMatthew Dillon if ((p->dirty & p->valid) == 0) { 730b9b7a4beSMatthew Dillon if (--scanlimit == 0) 731b9b7a4beSMatthew Dillon break; 732b9b7a4beSMatthew Dillon ++tscan; 733b9b7a4beSMatthew Dillon continue; 734b9b7a4beSMatthew Dillon } 735b9b7a4beSMatthew Dillon /* 736b9b7a4beSMatthew Dillon * If we have been asked to skip nosync pages and 737b9b7a4beSMatthew Dillon * this is a nosync page, we can't continue. 738b9b7a4beSMatthew Dillon */ 739b9b7a4beSMatthew Dillon if ((flags & OBJPC_NOSYNC) && (p->flags & PG_NOSYNC)) { 740b9b7a4beSMatthew Dillon if (--scanlimit == 0) 741b9b7a4beSMatthew Dillon break; 742b9b7a4beSMatthew Dillon ++tscan; 743b9b7a4beSMatthew Dillon continue; 744b9b7a4beSMatthew Dillon } 745b9b7a4beSMatthew Dillon scanlimit = scanreset; 746b9b7a4beSMatthew Dillon 747b9b7a4beSMatthew Dillon /* 748b9b7a4beSMatthew Dillon * This returns 0 if it was unable to busy the first 749b9b7a4beSMatthew Dillon * page (i.e. had to sleep). 750b9b7a4beSMatthew Dillon */ 751b9b7a4beSMatthew Dillon tscan += vm_object_page_collect_flush(object, p, curgeneration, pagerflags); 752b9b7a4beSMatthew Dillon } 753b9b7a4beSMatthew Dillon 754b9b7a4beSMatthew Dillon /* 755b9b7a4beSMatthew Dillon * If everything was dirty and we flushed it successfully, 756b9b7a4beSMatthew Dillon * and the requested range is not the entire object, we 757b9b7a4beSMatthew Dillon * don't have to mess with CLEANCHK or MIGHTBEDIRTY and can 758b9b7a4beSMatthew Dillon * return immediately. 759b9b7a4beSMatthew Dillon */ 760b9b7a4beSMatthew Dillon if (tscan >= tend && (tstart || tend < object->size)) { 76135c01631SAlan Cox vm_page_unlock_queues(); 762b9b7a4beSMatthew Dillon vm_object_clear_flag(object, OBJ_CLEANING); 763b9b7a4beSMatthew Dillon return; 764b9b7a4beSMatthew Dillon } 76543b7990eSMatthew Dillon pagerflags &= ~VM_PAGER_IGNORE_CLEANCHK; 766b9b7a4beSMatthew Dillon } 767b9b7a4beSMatthew Dillon 768b9b7a4beSMatthew Dillon /* 7694f79d873SMatthew Dillon * Generally set CLEANCHK interlock and make the page read-only so 7704f79d873SMatthew Dillon * we can then clear the object flags. 7714f79d873SMatthew Dillon * 7724f79d873SMatthew Dillon * However, if this is a nosync mmap then the object is likely to 7734f79d873SMatthew Dillon * stay dirty so do not mess with the page and do not clear the 7744f79d873SMatthew Dillon * object flags. 7754f79d873SMatthew Dillon */ 7764f79d873SMatthew Dillon clearobjflags = 1; 777fc2ffbe6SPoul-Henning Kamp TAILQ_FOREACH(p, &object->memq, listq) { 778e69763a3SDoug Rabson vm_page_flag_set(p, PG_CLEANCHK); 7794f79d873SMatthew Dillon if ((flags & OBJPC_NOSYNC) && (p->flags & PG_NOSYNC)) 7804f79d873SMatthew Dillon clearobjflags = 0; 7814f79d873SMatthew Dillon else 782a12cc0e4SAlan Cox pmap_page_protect(p, VM_PROT_READ); 783eaf13dd7SJohn Dyson } 784eaf13dd7SJohn Dyson 7854f79d873SMatthew Dillon if (clearobjflags && (tstart == 0) && (tend == object->size)) { 786245df27cSMatthew Dillon struct vnode *vp; 787245df27cSMatthew Dillon 788069e9bc1SDoug Rabson vm_object_clear_flag(object, OBJ_WRITEABLE|OBJ_MIGHTBEDIRTY); 789245df27cSMatthew Dillon if (object->type == OBJT_VNODE && 790245df27cSMatthew Dillon (vp = (struct vnode *)object->handle) != NULL) { 791e6e370a7SJeff Roberson VI_LOCK(vp); 792e6e370a7SJeff Roberson if (vp->v_iflag & VI_OBJDIRTY) 793e6e370a7SJeff Roberson vp->v_iflag &= ~VI_OBJDIRTY; 794e6e370a7SJeff Roberson VI_UNLOCK(vp); 795245df27cSMatthew Dillon } 796ec4f9fb0SDavid Greenman } 797f6b04d2bSDavid Greenman 798bd7e5f99SJohn Dyson rescan: 7992d8acc0fSJohn Dyson curgeneration = object->generation; 8002d8acc0fSJohn Dyson 801b18bfc3dSJohn Dyson for (p = TAILQ_FIRST(&object->memq); p; p = np) { 802b9b7a4beSMatthew Dillon int n; 803b9b7a4beSMatthew Dillon 804b18bfc3dSJohn Dyson np = TAILQ_NEXT(p, listq); 805bd7e5f99SJohn Dyson 806b9b7a4beSMatthew Dillon again: 807bd7e5f99SJohn Dyson pi = p->pindex; 808bd7e5f99SJohn Dyson if (((p->flags & PG_CLEANCHK) == 0) || 809bd7e5f99SJohn Dyson (pi < tstart) || (pi >= tend) || 8105070c7f8SJohn Dyson (p->valid == 0) || 8115070c7f8SJohn Dyson ((p->queue - p->pc) == PQ_CACHE)) { 812e69763a3SDoug Rabson vm_page_flag_clear(p, PG_CLEANCHK); 813aef922f5SJohn Dyson continue; 814f6b04d2bSDavid Greenman } 815f6b04d2bSDavid Greenman 816bd7e5f99SJohn Dyson vm_page_test_dirty(p); 817bd7e5f99SJohn Dyson if ((p->dirty & p->valid) == 0) { 818e69763a3SDoug Rabson vm_page_flag_clear(p, PG_CLEANCHK); 819bd7e5f99SJohn Dyson continue; 820bd7e5f99SJohn Dyson } 821ec4f9fb0SDavid Greenman 8224f79d873SMatthew Dillon /* 8234f79d873SMatthew Dillon * If we have been asked to skip nosync pages and this is a 8244f79d873SMatthew Dillon * nosync page, skip it. Note that the object flags were 8254f79d873SMatthew Dillon * not cleared in this case so we do not have to set them. 8264f79d873SMatthew Dillon */ 8274f79d873SMatthew Dillon if ((flags & OBJPC_NOSYNC) && (p->flags & PG_NOSYNC)) { 8284f79d873SMatthew Dillon vm_page_flag_clear(p, PG_CLEANCHK); 8294f79d873SMatthew Dillon continue; 8304f79d873SMatthew Dillon } 8314f79d873SMatthew Dillon 832b9b7a4beSMatthew Dillon n = vm_object_page_collect_flush(object, p, 833b9b7a4beSMatthew Dillon curgeneration, pagerflags); 834b9b7a4beSMatthew Dillon if (n == 0) 835b9b7a4beSMatthew Dillon goto rescan; 836b9b7a4beSMatthew Dillon 837b9b7a4beSMatthew Dillon if (object->generation != curgeneration) 838b9b7a4beSMatthew Dillon goto rescan; 839b9b7a4beSMatthew Dillon 840b9b7a4beSMatthew Dillon /* 841b9b7a4beSMatthew Dillon * Try to optimize the next page. If we can't we pick up 842b9b7a4beSMatthew Dillon * our (random) scan where we left off. 843b9b7a4beSMatthew Dillon */ 844b9b7a4beSMatthew Dillon if (msync_flush_flags & MSYNC_FLUSH_SOFTSEQ) { 845b9b7a4beSMatthew Dillon if ((p = vm_page_lookup(object, pi + n)) != NULL) 846b9b7a4beSMatthew Dillon goto again; 847b9b7a4beSMatthew Dillon } 848b9b7a4beSMatthew Dillon } 84935c01631SAlan Cox vm_page_unlock_queues(); 850b9b7a4beSMatthew Dillon #if 0 851b9b7a4beSMatthew Dillon VOP_FSYNC(vp, NULL, (pagerflags & VM_PAGER_PUT_SYNC)?MNT_WAIT:0, curproc); 852b9b7a4beSMatthew Dillon #endif 853b9b7a4beSMatthew Dillon 854b9b7a4beSMatthew Dillon vm_object_clear_flag(object, OBJ_CLEANING); 855b9b7a4beSMatthew Dillon return; 856b9b7a4beSMatthew Dillon } 857b9b7a4beSMatthew Dillon 858b9b7a4beSMatthew Dillon static int 859b9b7a4beSMatthew Dillon vm_object_page_collect_flush(vm_object_t object, vm_page_t p, int curgeneration, int pagerflags) 860b9b7a4beSMatthew Dillon { 861b9b7a4beSMatthew Dillon int runlen; 862b9b7a4beSMatthew Dillon int s; 863b9b7a4beSMatthew Dillon int maxf; 864b9b7a4beSMatthew Dillon int chkb; 865b9b7a4beSMatthew Dillon int maxb; 866b9b7a4beSMatthew Dillon int i; 867b9b7a4beSMatthew Dillon vm_pindex_t pi; 868b9b7a4beSMatthew Dillon vm_page_t maf[vm_pageout_page_count]; 869b9b7a4beSMatthew Dillon vm_page_t mab[vm_pageout_page_count]; 870b9b7a4beSMatthew Dillon vm_page_t ma[vm_pageout_page_count]; 871b9b7a4beSMatthew Dillon 872b18bfc3dSJohn Dyson s = splvm(); 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) { 878f6b04d2bSDavid Greenman splx(s); 879b9b7a4beSMatthew Dillon return(0); 880f6b04d2bSDavid Greenman } 881bd82dc74SAlan Cox } 882bd7e5f99SJohn Dyson maxf = 0; 883bd7e5f99SJohn Dyson for(i = 1; i < vm_pageout_page_count; i++) { 884b9b7a4beSMatthew Dillon vm_page_t tp; 885b9b7a4beSMatthew Dillon 8868aef1712SMatthew Dillon if ((tp = vm_page_lookup(object, pi + i)) != NULL) { 887bd7e5f99SJohn Dyson if ((tp->flags & PG_BUSY) || 88843b7990eSMatthew Dillon ((pagerflags & VM_PAGER_IGNORE_CLEANCHK) == 0 && 88943b7990eSMatthew Dillon (tp->flags & PG_CLEANCHK) == 0) || 890ffc82b0aSJohn Dyson (tp->busy != 0)) 891bd7e5f99SJohn Dyson break; 8925070c7f8SJohn Dyson if((tp->queue - tp->pc) == PQ_CACHE) { 893e69763a3SDoug Rabson vm_page_flag_clear(tp, PG_CLEANCHK); 8943077a9c2SJohn Dyson break; 8953077a9c2SJohn Dyson } 896bd7e5f99SJohn Dyson vm_page_test_dirty(tp); 897bd7e5f99SJohn Dyson if ((tp->dirty & tp->valid) == 0) { 898e69763a3SDoug Rabson vm_page_flag_clear(tp, PG_CLEANCHK); 899bd7e5f99SJohn Dyson break; 900bd7e5f99SJohn Dyson } 901bd7e5f99SJohn Dyson maf[ i - 1 ] = tp; 902bd7e5f99SJohn Dyson maxf++; 903bd7e5f99SJohn Dyson continue; 904bd7e5f99SJohn Dyson } 905bd7e5f99SJohn Dyson break; 906bd7e5f99SJohn Dyson } 907aef922f5SJohn Dyson 908bd7e5f99SJohn Dyson maxb = 0; 909bd7e5f99SJohn Dyson chkb = vm_pageout_page_count - maxf; 910bd7e5f99SJohn Dyson if (chkb) { 911bd7e5f99SJohn Dyson for(i = 1; i < chkb;i++) { 912b9b7a4beSMatthew Dillon vm_page_t tp; 913b9b7a4beSMatthew Dillon 9148aef1712SMatthew Dillon if ((tp = vm_page_lookup(object, pi - i)) != NULL) { 915bd7e5f99SJohn Dyson if ((tp->flags & PG_BUSY) || 91643b7990eSMatthew Dillon ((pagerflags & VM_PAGER_IGNORE_CLEANCHK) == 0 && 91743b7990eSMatthew Dillon (tp->flags & PG_CLEANCHK) == 0) || 918ffc82b0aSJohn Dyson (tp->busy != 0)) 919bd7e5f99SJohn Dyson break; 9205070c7f8SJohn Dyson if ((tp->queue - tp->pc) == PQ_CACHE) { 921e69763a3SDoug Rabson vm_page_flag_clear(tp, PG_CLEANCHK); 9223077a9c2SJohn Dyson break; 9233077a9c2SJohn Dyson } 924bd7e5f99SJohn Dyson vm_page_test_dirty(tp); 925bd7e5f99SJohn Dyson if ((tp->dirty & tp->valid) == 0) { 926e69763a3SDoug Rabson vm_page_flag_clear(tp, PG_CLEANCHK); 927bd7e5f99SJohn Dyson break; 928bd7e5f99SJohn Dyson } 929bd7e5f99SJohn Dyson mab[ i - 1 ] = tp; 930bd7e5f99SJohn Dyson maxb++; 931bd7e5f99SJohn Dyson continue; 932bd7e5f99SJohn Dyson } 933bd7e5f99SJohn Dyson break; 934bd7e5f99SJohn Dyson } 935bd7e5f99SJohn Dyson } 936bd7e5f99SJohn Dyson 937bd7e5f99SJohn Dyson for(i = 0; i < maxb; i++) { 938bd7e5f99SJohn Dyson int index = (maxb - i) - 1; 939bd7e5f99SJohn Dyson ma[index] = mab[i]; 940e69763a3SDoug Rabson vm_page_flag_clear(ma[index], PG_CLEANCHK); 941bd7e5f99SJohn Dyson } 942e69763a3SDoug Rabson vm_page_flag_clear(p, PG_CLEANCHK); 943bd7e5f99SJohn Dyson ma[maxb] = p; 944bd7e5f99SJohn Dyson for(i = 0; i < maxf; i++) { 945bd7e5f99SJohn Dyson int index = (maxb + i) + 1; 946bd7e5f99SJohn Dyson ma[index] = maf[i]; 947e69763a3SDoug Rabson vm_page_flag_clear(ma[index], PG_CLEANCHK); 948f6b04d2bSDavid Greenman } 949bd7e5f99SJohn Dyson runlen = maxb + maxf + 1; 950cf2819ccSJohn Dyson 951f35329acSJohn Dyson splx(s); 9527a935082SAlan Cox vm_pageout_flush(ma, runlen, pagerflags); 953cf2819ccSJohn Dyson for (i = 0; i < runlen; i++) { 954cf2819ccSJohn Dyson if (ma[i]->valid & ma[i]->dirty) { 955a12cc0e4SAlan Cox pmap_page_protect(ma[i], VM_PROT_READ); 956e69763a3SDoug Rabson vm_page_flag_set(ma[i], PG_CLEANCHK); 957aef922f5SJohn Dyson 958b9b7a4beSMatthew Dillon /* 959b9b7a4beSMatthew Dillon * maxf will end up being the actual number of pages 960b9b7a4beSMatthew Dillon * we wrote out contiguously, non-inclusive of the 961b9b7a4beSMatthew Dillon * first page. We do not count look-behind pages. 962b9b7a4beSMatthew Dillon */ 963b9b7a4beSMatthew Dillon if (i >= maxb + 1 && (maxf > i - maxb - 1)) 964b9b7a4beSMatthew Dillon maxf = i - maxb - 1; 965b9b7a4beSMatthew Dillon } 966b9b7a4beSMatthew Dillon } 967b9b7a4beSMatthew Dillon return(maxf + 1); 96826f9a767SRodney W. Grimes } 969df8bae1dSRodney W. Grimes 9701efb74fbSJohn Dyson /* 971950f8459SAlan Cox * Note that there is absolutely no sense in writing out 972950f8459SAlan Cox * anonymous objects, so we track down the vnode object 973950f8459SAlan Cox * to write out. 974950f8459SAlan Cox * We invalidate (remove) all pages from the address space 975950f8459SAlan Cox * for semantic correctness. 976950f8459SAlan Cox * 977950f8459SAlan Cox * Note: certain anonymous maps, such as MAP_NOSYNC maps, 978950f8459SAlan Cox * may start out with a NULL object. 979950f8459SAlan Cox */ 980950f8459SAlan Cox void 981950f8459SAlan Cox vm_object_sync(vm_object_t object, vm_ooffset_t offset, vm_size_t size, 982950f8459SAlan Cox boolean_t syncio, boolean_t invalidate) 983950f8459SAlan Cox { 984950f8459SAlan Cox vm_object_t backing_object; 985950f8459SAlan Cox struct vnode *vp; 986950f8459SAlan Cox int flags; 987950f8459SAlan Cox 988950f8459SAlan Cox if (object == NULL) 989950f8459SAlan Cox return; 990950f8459SAlan Cox VM_OBJECT_LOCK(object); 991950f8459SAlan Cox while ((backing_object = object->backing_object) != NULL) { 992950f8459SAlan Cox VM_OBJECT_LOCK(backing_object); 993950f8459SAlan Cox VM_OBJECT_UNLOCK(object); 994950f8459SAlan Cox object = backing_object; 995950f8459SAlan Cox offset += object->backing_object_offset; 996950f8459SAlan Cox if (object->size < OFF_TO_IDX(offset + size)) 997950f8459SAlan Cox size = IDX_TO_OFF(object->size) - offset; 998950f8459SAlan Cox } 999950f8459SAlan Cox /* 1000950f8459SAlan Cox * Flush pages if writing is allowed, invalidate them 1001950f8459SAlan Cox * if invalidation requested. Pages undergoing I/O 1002950f8459SAlan Cox * will be ignored by vm_object_page_remove(). 1003950f8459SAlan Cox * 1004950f8459SAlan Cox * We cannot lock the vnode and then wait for paging 1005950f8459SAlan Cox * to complete without deadlocking against vm_fault. 1006950f8459SAlan Cox * Instead we simply call vm_object_page_remove() and 1007950f8459SAlan Cox * allow it to block internally on a page-by-page 1008950f8459SAlan Cox * basis when it encounters pages undergoing async 1009950f8459SAlan Cox * I/O. 1010950f8459SAlan Cox */ 1011950f8459SAlan Cox if (object->type == OBJT_VNODE && 1012950f8459SAlan Cox (object->flags & OBJ_MIGHTBEDIRTY) != 0) { 1013950f8459SAlan Cox vp = object->handle; 1014950f8459SAlan Cox VM_OBJECT_UNLOCK(object); 1015950f8459SAlan Cox mtx_lock(&Giant); 1016950f8459SAlan Cox vn_lock(vp, LK_EXCLUSIVE | LK_RETRY, curthread); 1017950f8459SAlan Cox flags = (syncio || invalidate) ? OBJPC_SYNC : 0; 1018950f8459SAlan Cox flags |= invalidate ? OBJPC_INVAL : 0; 1019950f8459SAlan Cox VM_OBJECT_LOCK(object); 1020950f8459SAlan Cox vm_object_page_clean(object, 1021950f8459SAlan Cox OFF_TO_IDX(offset), 1022950f8459SAlan Cox OFF_TO_IDX(offset + size + PAGE_MASK), 1023950f8459SAlan Cox flags); 1024950f8459SAlan Cox VM_OBJECT_UNLOCK(object); 1025950f8459SAlan Cox VOP_UNLOCK(vp, 0, curthread); 1026950f8459SAlan Cox mtx_unlock(&Giant); 1027950f8459SAlan Cox VM_OBJECT_LOCK(object); 1028950f8459SAlan Cox } 1029950f8459SAlan Cox if ((object->type == OBJT_VNODE || 1030950f8459SAlan Cox object->type == OBJT_DEVICE) && invalidate) { 1031950f8459SAlan Cox vm_object_page_remove(object, 1032950f8459SAlan Cox OFF_TO_IDX(offset), 1033950f8459SAlan Cox OFF_TO_IDX(offset + size + PAGE_MASK), 1034950f8459SAlan Cox FALSE); 1035950f8459SAlan Cox } 1036950f8459SAlan Cox VM_OBJECT_UNLOCK(object); 1037950f8459SAlan Cox } 1038950f8459SAlan Cox 1039950f8459SAlan Cox /* 1040867a482dSJohn Dyson * vm_object_madvise: 1041867a482dSJohn Dyson * 1042867a482dSJohn Dyson * Implements the madvise function at the object/page level. 10431c7c3c6aSMatthew Dillon * 1044193b9358SAlan Cox * MADV_WILLNEED (any object) 1045193b9358SAlan Cox * 1046193b9358SAlan Cox * Activate the specified pages if they are resident. 1047193b9358SAlan Cox * 1048193b9358SAlan Cox * MADV_DONTNEED (any object) 1049193b9358SAlan Cox * 1050193b9358SAlan Cox * Deactivate the specified pages if they are resident. 1051193b9358SAlan Cox * 1052193b9358SAlan Cox * MADV_FREE (OBJT_DEFAULT/OBJT_SWAP objects, 1053193b9358SAlan Cox * OBJ_ONEMAPPING only) 1054193b9358SAlan Cox * 1055193b9358SAlan Cox * Deactivate and clean the specified pages if they are 1056193b9358SAlan Cox * resident. This permits the process to reuse the pages 1057193b9358SAlan Cox * without faulting or the kernel to reclaim the pages 1058193b9358SAlan Cox * without I/O. 1059867a482dSJohn Dyson */ 1060867a482dSJohn Dyson void 10611b40f8c0SMatthew Dillon vm_object_madvise(vm_object_t object, vm_pindex_t pindex, int count, int advise) 1062867a482dSJohn Dyson { 10636e20a165SJohn Dyson vm_pindex_t end, tpindex; 106434567de7SAlan Cox vm_object_t backing_object, tobject; 1065867a482dSJohn Dyson vm_page_t m; 1066867a482dSJohn Dyson 1067867a482dSJohn Dyson if (object == NULL) 1068867a482dSJohn Dyson return; 1069867a482dSJohn Dyson end = pindex + count; 10701c7c3c6aSMatthew Dillon /* 10711c7c3c6aSMatthew Dillon * Locate and adjust resident pages 10721c7c3c6aSMatthew Dillon */ 10731c7c3c6aSMatthew Dillon for (; pindex < end; pindex += 1) { 10746e20a165SJohn Dyson relookup: 10756e20a165SJohn Dyson tobject = object; 10766e20a165SJohn Dyson tpindex = pindex; 107734567de7SAlan Cox VM_OBJECT_LOCK(tobject); 10786e20a165SJohn Dyson shadowlookup: 107958b4e6ccSAlan Cox /* 108058b4e6ccSAlan Cox * MADV_FREE only operates on OBJT_DEFAULT or OBJT_SWAP pages 108158b4e6ccSAlan Cox * and those pages must be OBJ_ONEMAPPING. 108258b4e6ccSAlan Cox */ 108358b4e6ccSAlan Cox if (advise == MADV_FREE) { 108458b4e6ccSAlan Cox if ((tobject->type != OBJT_DEFAULT && 108558b4e6ccSAlan Cox tobject->type != OBJT_SWAP) || 108658b4e6ccSAlan Cox (tobject->flags & OBJ_ONEMAPPING) == 0) { 108734567de7SAlan Cox goto unlock_tobject; 10886e20a165SJohn Dyson } 108958b4e6ccSAlan Cox } 10901c7c3c6aSMatthew Dillon m = vm_page_lookup(tobject, tpindex); 10911c7c3c6aSMatthew Dillon if (m == NULL) { 10921ce137beSMatthew Dillon /* 10931ce137beSMatthew Dillon * There may be swap even if there is no backing page 10941ce137beSMatthew Dillon */ 10951ce137beSMatthew Dillon if (advise == MADV_FREE && tobject->type == OBJT_SWAP) 10961ce137beSMatthew Dillon swap_pager_freespace(tobject, tpindex, 1); 10971ce137beSMatthew Dillon /* 10981ce137beSMatthew Dillon * next object 10991ce137beSMatthew Dillon */ 110034567de7SAlan Cox backing_object = tobject->backing_object; 110134567de7SAlan Cox if (backing_object == NULL) 110234567de7SAlan Cox goto unlock_tobject; 110334567de7SAlan Cox VM_OBJECT_LOCK(backing_object); 110434567de7SAlan Cox VM_OBJECT_UNLOCK(tobject); 110534567de7SAlan Cox tobject = backing_object; 11066e20a165SJohn Dyson tpindex += OFF_TO_IDX(tobject->backing_object_offset); 11076e20a165SJohn Dyson goto shadowlookup; 11086e20a165SJohn Dyson } 1109867a482dSJohn Dyson /* 1110867a482dSJohn Dyson * If the page is busy or not in a normal active state, 11118b03c8edSMatthew Dillon * we skip it. If the page is not managed there are no 11128b03c8edSMatthew Dillon * page queues to mess with. Things can break if we mess 11138b03c8edSMatthew Dillon * with pages in any of the below states. 1114867a482dSJohn Dyson */ 111532585dd6SAlan Cox vm_page_lock_queues(); 111632585dd6SAlan Cox if (m->hold_count || 11171c7c3c6aSMatthew Dillon m->wire_count || 11188b03c8edSMatthew Dillon (m->flags & PG_UNMANAGED) || 111932585dd6SAlan Cox m->valid != VM_PAGE_BITS_ALL) { 112032585dd6SAlan Cox vm_page_unlock_queues(); 112134567de7SAlan Cox goto unlock_tobject; 11226e20a165SJohn Dyson } 112334567de7SAlan Cox if (vm_page_sleep_if_busy(m, TRUE, "madvpo")) { 112434567de7SAlan Cox VM_OBJECT_UNLOCK(tobject); 11256e20a165SJohn Dyson goto relookup; 112634567de7SAlan Cox } 1127867a482dSJohn Dyson if (advise == MADV_WILLNEED) { 1128867a482dSJohn Dyson vm_page_activate(m); 11296e20a165SJohn Dyson } else if (advise == MADV_DONTNEED) { 1130479112dfSMatthew Dillon vm_page_dontneed(m); 11310a47b48bSJohn Dyson } else if (advise == MADV_FREE) { 11321c7c3c6aSMatthew Dillon /* 11332aaeadf8SMatthew Dillon * Mark the page clean. This will allow the page 11342aaeadf8SMatthew Dillon * to be freed up by the system. However, such pages 11352aaeadf8SMatthew Dillon * are often reused quickly by malloc()/free() 11362aaeadf8SMatthew Dillon * so we do not do anything that would cause 11372aaeadf8SMatthew Dillon * a page fault if we can help it. 11382aaeadf8SMatthew Dillon * 11392aaeadf8SMatthew Dillon * Specifically, we do not try to actually free 11402aaeadf8SMatthew Dillon * the page now nor do we try to put it in the 11412aaeadf8SMatthew Dillon * cache (which would cause a page fault on reuse). 114241c67e12SMatthew Dillon * 114341c67e12SMatthew Dillon * But we do make the page is freeable as we 114441c67e12SMatthew Dillon * can without actually taking the step of unmapping 114541c67e12SMatthew Dillon * it. 11461c7c3c6aSMatthew Dillon */ 11470385347cSPeter Wemm pmap_clear_modify(m); 11486e20a165SJohn Dyson m->dirty = 0; 114941c67e12SMatthew Dillon m->act_count = 0; 1150479112dfSMatthew Dillon vm_page_dontneed(m); 1151867a482dSJohn Dyson } 11522999e9faSAlan Cox vm_page_unlock_queues(); 11532999e9faSAlan Cox if (advise == MADV_FREE && tobject->type == OBJT_SWAP) 11542999e9faSAlan Cox swap_pager_freespace(tobject, tpindex, 1); 115534567de7SAlan Cox unlock_tobject: 115634567de7SAlan Cox VM_OBJECT_UNLOCK(tobject); 1157867a482dSJohn Dyson } 1158867a482dSJohn Dyson } 1159867a482dSJohn Dyson 1160867a482dSJohn Dyson /* 1161df8bae1dSRodney W. Grimes * vm_object_shadow: 1162df8bae1dSRodney W. Grimes * 1163df8bae1dSRodney W. Grimes * Create a new object which is backed by the 1164df8bae1dSRodney W. Grimes * specified existing object range. The source 1165df8bae1dSRodney W. Grimes * object reference is deallocated. 1166df8bae1dSRodney W. Grimes * 1167df8bae1dSRodney W. Grimes * The new object and offset into that object 1168df8bae1dSRodney W. Grimes * are returned in the source parameters. 1169df8bae1dSRodney W. Grimes */ 117026f9a767SRodney W. Grimes void 11711b40f8c0SMatthew Dillon vm_object_shadow( 11721b40f8c0SMatthew Dillon vm_object_t *object, /* IN/OUT */ 11731b40f8c0SMatthew Dillon vm_ooffset_t *offset, /* IN/OUT */ 11741b40f8c0SMatthew Dillon vm_size_t length) 1175df8bae1dSRodney W. Grimes { 1176d031cff1SMatthew Dillon vm_object_t source; 1177d031cff1SMatthew Dillon vm_object_t result; 1178df8bae1dSRodney W. Grimes 1179df8bae1dSRodney W. Grimes source = *object; 1180df8bae1dSRodney W. Grimes 1181df8bae1dSRodney W. Grimes /* 11829a2f6362SAlan Cox * Don't create the new object if the old object isn't shared. 11839a2f6362SAlan Cox */ 1184570a2f4aSAlan Cox if (source != NULL) { 1185570a2f4aSAlan Cox VM_OBJECT_LOCK(source); 1186570a2f4aSAlan Cox if (source->ref_count == 1 && 11879a2f6362SAlan Cox source->handle == NULL && 11889a2f6362SAlan Cox (source->type == OBJT_DEFAULT || 11899917e010SAlan Cox source->type == OBJT_SWAP)) { 1190570a2f4aSAlan Cox VM_OBJECT_UNLOCK(source); 11919a2f6362SAlan Cox return; 11929917e010SAlan Cox } 1193570a2f4aSAlan Cox VM_OBJECT_UNLOCK(source); 1194570a2f4aSAlan Cox } 11959a2f6362SAlan Cox 11969a2f6362SAlan Cox /* 1197570a2f4aSAlan Cox * Allocate a new object with the given length. 1198df8bae1dSRodney W. Grimes */ 1199971dd342SAlfred Perlstein result = vm_object_allocate(OBJT_DEFAULT, length); 1200df8bae1dSRodney W. Grimes 1201df8bae1dSRodney W. Grimes /* 12020d94caffSDavid Greenman * The new object shadows the source object, adding a reference to it. 12030d94caffSDavid Greenman * Our caller changes his reference to point to the new object, 12040d94caffSDavid Greenman * removing a reference to the source object. Net result: no change 12050d94caffSDavid Greenman * of reference count. 12069b09fe24SMatthew Dillon * 12079b09fe24SMatthew Dillon * Try to optimize the result object's page color when shadowing 1208956f3135SPhilippe Charnier * in order to maintain page coloring consistency in the combined 12099b09fe24SMatthew Dillon * shadowed object. 1210df8bae1dSRodney W. Grimes */ 121124a1cce3SDavid Greenman result->backing_object = source; 1212570a2f4aSAlan Cox if (source != NULL) { 1213570a2f4aSAlan Cox VM_OBJECT_LOCK(source); 12141c500307SAlan Cox LIST_INSERT_HEAD(&source->shadow_head, result, shadow_list); 1215eaf13dd7SJohn Dyson source->shadow_count++; 1216eaf13dd7SJohn Dyson source->generation++; 1217dcc5840eSAlan Cox if (length < source->size) 1218dcc5840eSAlan Cox length = source->size; 1219dcc5840eSAlan Cox if (length > PQ_L2_SIZE / 3 + PQ_PRIME1 || 1220dcc5840eSAlan Cox source->generation > 1) 1221dcc5840eSAlan Cox length = PQ_L2_SIZE / 3 + PQ_PRIME1; 1222dcc5840eSAlan Cox result->pg_color = (source->pg_color + 1223dcc5840eSAlan Cox length * source->generation) & PQ_L2_MASK; 1224570a2f4aSAlan Cox VM_OBJECT_UNLOCK(source); 1225dcc5840eSAlan Cox next_index = (result->pg_color + PQ_L2_SIZE / 3 + PQ_PRIME1) & 1226dcc5840eSAlan Cox PQ_L2_MASK; 1227de5f6a77SJohn Dyson } 1228df8bae1dSRodney W. Grimes 1229df8bae1dSRodney W. Grimes /* 12300d94caffSDavid Greenman * Store the offset into the source object, and fix up the offset into 12310d94caffSDavid Greenman * the new object. 1232df8bae1dSRodney W. Grimes */ 123324a1cce3SDavid Greenman result->backing_object_offset = *offset; 1234df8bae1dSRodney W. Grimes 1235df8bae1dSRodney W. Grimes /* 1236df8bae1dSRodney W. Grimes * Return the new things 1237df8bae1dSRodney W. Grimes */ 1238df8bae1dSRodney W. Grimes *offset = 0; 1239df8bae1dSRodney W. Grimes *object = result; 1240df8bae1dSRodney W. Grimes } 1241df8bae1dSRodney W. Grimes 1242c5aaa06dSAlan Cox /* 1243c5aaa06dSAlan Cox * vm_object_split: 1244c5aaa06dSAlan Cox * 1245c5aaa06dSAlan Cox * Split the pages in a map entry into a new object. This affords 1246c5aaa06dSAlan Cox * easier removal of unused pages, and keeps object inheritance from 1247c5aaa06dSAlan Cox * being a negative impact on memory usage. 1248c5aaa06dSAlan Cox */ 1249c5aaa06dSAlan Cox void 1250c5aaa06dSAlan Cox vm_object_split(vm_map_entry_t entry) 1251c5aaa06dSAlan Cox { 1252c5aaa06dSAlan Cox vm_page_t m; 1253c5aaa06dSAlan Cox vm_object_t orig_object, new_object, source; 125423f09d50SIan Dowse vm_pindex_t offidxstart, offidxend; 125523f09d50SIan Dowse vm_size_t idx, size; 1256c5aaa06dSAlan Cox 1257c5aaa06dSAlan Cox orig_object = entry->object.vm_object; 1258c5aaa06dSAlan Cox if (orig_object->type != OBJT_DEFAULT && orig_object->type != OBJT_SWAP) 1259c5aaa06dSAlan Cox return; 1260c5aaa06dSAlan Cox if (orig_object->ref_count <= 1) 1261c5aaa06dSAlan Cox return; 12624da9f125SAlan Cox VM_OBJECT_UNLOCK(orig_object); 1263c5aaa06dSAlan Cox 12644da9f125SAlan Cox offidxstart = OFF_TO_IDX(entry->offset); 12654da9f125SAlan Cox offidxend = offidxstart + OFF_TO_IDX(entry->end - entry->start); 1266c5aaa06dSAlan Cox size = offidxend - offidxstart; 1267c5aaa06dSAlan Cox 12684da9f125SAlan Cox /* 12694da9f125SAlan Cox * If swap_pager_copy() is later called, it will convert new_object 12704da9f125SAlan Cox * into a swap object. 12714da9f125SAlan Cox */ 12724da9f125SAlan Cox new_object = vm_object_allocate(OBJT_DEFAULT, size); 1273c5aaa06dSAlan Cox 127463f6cefcSAlan Cox VM_OBJECT_LOCK(new_object); 127563f6cefcSAlan Cox VM_OBJECT_LOCK(orig_object); 1276c5aaa06dSAlan Cox source = orig_object->backing_object; 1277c5aaa06dSAlan Cox if (source != NULL) { 12788e3a76fbSAlan Cox VM_OBJECT_LOCK(source); 12791c500307SAlan Cox LIST_INSERT_HEAD(&source->shadow_head, 1280c5aaa06dSAlan Cox new_object, shadow_list); 12818e3a76fbSAlan Cox source->shadow_count++; 12828e3a76fbSAlan Cox source->generation++; 1283b921a12bSAlan Cox vm_object_reference_locked(source); /* for new_object */ 1284c5aaa06dSAlan Cox vm_object_clear_flag(source, OBJ_ONEMAPPING); 1285e2479b4fSAlan Cox VM_OBJECT_UNLOCK(source); 1286c5aaa06dSAlan Cox new_object->backing_object_offset = 12874da9f125SAlan Cox orig_object->backing_object_offset + entry->offset; 1288c5aaa06dSAlan Cox new_object->backing_object = source; 1289c5aaa06dSAlan Cox } 1290c5aaa06dSAlan Cox for (idx = 0; idx < size; idx++) { 1291c5aaa06dSAlan Cox retry: 1292c5aaa06dSAlan Cox m = vm_page_lookup(orig_object, offidxstart + idx); 1293c5aaa06dSAlan Cox if (m == NULL) 1294c5aaa06dSAlan Cox continue; 1295c5aaa06dSAlan Cox 1296c5aaa06dSAlan Cox /* 1297c5aaa06dSAlan Cox * We must wait for pending I/O to complete before we can 1298c5aaa06dSAlan Cox * rename the page. 1299c5aaa06dSAlan Cox * 1300c5aaa06dSAlan Cox * We do not have to VM_PROT_NONE the page as mappings should 1301c5aaa06dSAlan Cox * not be changed by this operation. 1302c5aaa06dSAlan Cox */ 130300f9e8b4SAlan Cox vm_page_lock_queues(); 1304de33beddSAlan Cox if ((m->flags & PG_BUSY) || m->busy) { 1305de33beddSAlan Cox vm_page_flag_set(m, PG_WANTED | PG_REFERENCED); 1306de33beddSAlan Cox VM_OBJECT_UNLOCK(orig_object); 1307de33beddSAlan Cox VM_OBJECT_UNLOCK(new_object); 1308de33beddSAlan Cox msleep(m, &vm_page_queue_mtx, PDROP | PVM, "spltwt", 0); 1309de33beddSAlan Cox VM_OBJECT_LOCK(new_object); 1310de33beddSAlan Cox VM_OBJECT_LOCK(orig_object); 1311c5aaa06dSAlan Cox goto retry; 1312de33beddSAlan Cox } 1313c5aaa06dSAlan Cox vm_page_busy(m); 1314c5aaa06dSAlan Cox vm_page_rename(m, new_object, idx); 1315c5aaa06dSAlan Cox /* page automatically made dirty by rename and cache handled */ 1316c5aaa06dSAlan Cox vm_page_busy(m); 1317bd82dc74SAlan Cox vm_page_unlock_queues(); 1318c5aaa06dSAlan Cox } 1319d7a013c3SAlan Cox if (orig_object->type == OBJT_SWAP) { 1320c5aaa06dSAlan Cox /* 1321c7c8dd7eSAlan Cox * swap_pager_copy() can sleep, in which case the orig_object's 1322c7c8dd7eSAlan Cox * and new_object's locks are released and reacquired. 1323c5aaa06dSAlan Cox */ 1324c5aaa06dSAlan Cox swap_pager_copy(orig_object, new_object, offidxstart, 0); 1325c5aaa06dSAlan Cox } 1326d7a013c3SAlan Cox VM_OBJECT_UNLOCK(orig_object); 1327dc907f66SAlan Cox vm_page_lock_queues(); 1328c7118ed6SAlan Cox TAILQ_FOREACH(m, &new_object->memq, listq) 1329c5aaa06dSAlan Cox vm_page_wakeup(m); 1330dc907f66SAlan Cox vm_page_unlock_queues(); 1331c7c8dd7eSAlan Cox VM_OBJECT_UNLOCK(new_object); 1332c5aaa06dSAlan Cox entry->object.vm_object = new_object; 1333c5aaa06dSAlan Cox entry->offset = 0LL; 1334c5aaa06dSAlan Cox vm_object_deallocate(orig_object); 13354da9f125SAlan Cox VM_OBJECT_LOCK(new_object); 1336c5aaa06dSAlan Cox } 1337c5aaa06dSAlan Cox 13382ad1a3f7SMatthew Dillon #define OBSC_TEST_ALL_SHADOWED 0x0001 13392ad1a3f7SMatthew Dillon #define OBSC_COLLAPSE_NOWAIT 0x0002 13402ad1a3f7SMatthew Dillon #define OBSC_COLLAPSE_WAIT 0x0004 13412ad1a3f7SMatthew Dillon 1342b4ae4780SPoul-Henning Kamp static int 13432ad1a3f7SMatthew Dillon vm_object_backing_scan(vm_object_t object, int op) 13442ad1a3f7SMatthew Dillon { 13452ad1a3f7SMatthew Dillon int s; 13462ad1a3f7SMatthew Dillon int r = 1; 13472ad1a3f7SMatthew Dillon vm_page_t p; 13482ad1a3f7SMatthew Dillon vm_object_t backing_object; 13492ad1a3f7SMatthew Dillon vm_pindex_t backing_offset_index; 13502ad1a3f7SMatthew Dillon 13512ad1a3f7SMatthew Dillon s = splvm(); 13527ca33ad1SAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 13537ca33ad1SAlan Cox VM_OBJECT_LOCK_ASSERT(object->backing_object, MA_OWNED); 13542ad1a3f7SMatthew Dillon 13552ad1a3f7SMatthew Dillon backing_object = object->backing_object; 13562ad1a3f7SMatthew Dillon backing_offset_index = OFF_TO_IDX(object->backing_object_offset); 13572ad1a3f7SMatthew Dillon 13582ad1a3f7SMatthew Dillon /* 13592ad1a3f7SMatthew Dillon * Initial conditions 13602ad1a3f7SMatthew Dillon */ 13612ad1a3f7SMatthew Dillon if (op & OBSC_TEST_ALL_SHADOWED) { 13622ad1a3f7SMatthew Dillon /* 1363956f3135SPhilippe Charnier * We do not want to have to test for the existence of 13642ad1a3f7SMatthew Dillon * swap pages in the backing object. XXX but with the 13652ad1a3f7SMatthew Dillon * new swapper this would be pretty easy to do. 13662ad1a3f7SMatthew Dillon * 13672ad1a3f7SMatthew Dillon * XXX what about anonymous MAP_SHARED memory that hasn't 13682ad1a3f7SMatthew Dillon * been ZFOD faulted yet? If we do not test for this, the 13692ad1a3f7SMatthew Dillon * shadow test may succeed! XXX 13702ad1a3f7SMatthew Dillon */ 13712ad1a3f7SMatthew Dillon if (backing_object->type != OBJT_DEFAULT) { 13722ad1a3f7SMatthew Dillon splx(s); 13732ad1a3f7SMatthew Dillon return (0); 13742ad1a3f7SMatthew Dillon } 13752ad1a3f7SMatthew Dillon } 13762ad1a3f7SMatthew Dillon if (op & OBSC_COLLAPSE_WAIT) { 13772ad1a3f7SMatthew Dillon vm_object_set_flag(backing_object, OBJ_DEAD); 13782ad1a3f7SMatthew Dillon } 13792ad1a3f7SMatthew Dillon 13802ad1a3f7SMatthew Dillon /* 13812ad1a3f7SMatthew Dillon * Our scan 13822ad1a3f7SMatthew Dillon */ 13832ad1a3f7SMatthew Dillon p = TAILQ_FIRST(&backing_object->memq); 13842ad1a3f7SMatthew Dillon while (p) { 13852ad1a3f7SMatthew Dillon vm_page_t next = TAILQ_NEXT(p, listq); 13862ad1a3f7SMatthew Dillon vm_pindex_t new_pindex = p->pindex - backing_offset_index; 13872ad1a3f7SMatthew Dillon 13882ad1a3f7SMatthew Dillon if (op & OBSC_TEST_ALL_SHADOWED) { 13892ad1a3f7SMatthew Dillon vm_page_t pp; 13902ad1a3f7SMatthew Dillon 13912ad1a3f7SMatthew Dillon /* 13922ad1a3f7SMatthew Dillon * Ignore pages outside the parent object's range 13932ad1a3f7SMatthew Dillon * and outside the parent object's mapping of the 13942ad1a3f7SMatthew Dillon * backing object. 13952ad1a3f7SMatthew Dillon * 13962ad1a3f7SMatthew Dillon * note that we do not busy the backing object's 13972ad1a3f7SMatthew Dillon * page. 13982ad1a3f7SMatthew Dillon */ 13992ad1a3f7SMatthew Dillon if ( 14002ad1a3f7SMatthew Dillon p->pindex < backing_offset_index || 14012ad1a3f7SMatthew Dillon new_pindex >= object->size 14022ad1a3f7SMatthew Dillon ) { 14032ad1a3f7SMatthew Dillon p = next; 14042ad1a3f7SMatthew Dillon continue; 14052ad1a3f7SMatthew Dillon } 14062ad1a3f7SMatthew Dillon 14072ad1a3f7SMatthew Dillon /* 14082ad1a3f7SMatthew Dillon * See if the parent has the page or if the parent's 14092ad1a3f7SMatthew Dillon * object pager has the page. If the parent has the 14102ad1a3f7SMatthew Dillon * page but the page is not valid, the parent's 14112ad1a3f7SMatthew Dillon * object pager must have the page. 14122ad1a3f7SMatthew Dillon * 14132ad1a3f7SMatthew Dillon * If this fails, the parent does not completely shadow 14142ad1a3f7SMatthew Dillon * the object and we might as well give up now. 14152ad1a3f7SMatthew Dillon */ 14162ad1a3f7SMatthew Dillon 14172ad1a3f7SMatthew Dillon pp = vm_page_lookup(object, new_pindex); 14182ad1a3f7SMatthew Dillon if ( 14192ad1a3f7SMatthew Dillon (pp == NULL || pp->valid == 0) && 14202ad1a3f7SMatthew Dillon !vm_pager_has_page(object, new_pindex, NULL, NULL) 14212ad1a3f7SMatthew Dillon ) { 14222ad1a3f7SMatthew Dillon r = 0; 14232ad1a3f7SMatthew Dillon break; 14242ad1a3f7SMatthew Dillon } 14252ad1a3f7SMatthew Dillon } 14262ad1a3f7SMatthew Dillon 14272ad1a3f7SMatthew Dillon /* 14282ad1a3f7SMatthew Dillon * Check for busy page 14292ad1a3f7SMatthew Dillon */ 14302ad1a3f7SMatthew Dillon if (op & (OBSC_COLLAPSE_WAIT | OBSC_COLLAPSE_NOWAIT)) { 14312ad1a3f7SMatthew Dillon vm_page_t pp; 14322ad1a3f7SMatthew Dillon 143300f9e8b4SAlan Cox vm_page_lock_queues(); 14342ad1a3f7SMatthew Dillon if (op & OBSC_COLLAPSE_NOWAIT) { 143500f9e8b4SAlan Cox if ((p->flags & PG_BUSY) || 14362ad1a3f7SMatthew Dillon !p->valid || 14372ad1a3f7SMatthew Dillon p->hold_count || 14382ad1a3f7SMatthew Dillon p->wire_count || 143900f9e8b4SAlan Cox p->busy) { 144000f9e8b4SAlan Cox vm_page_unlock_queues(); 14412ad1a3f7SMatthew Dillon p = next; 14422ad1a3f7SMatthew Dillon continue; 14432ad1a3f7SMatthew Dillon } 14442ad1a3f7SMatthew Dillon } else if (op & OBSC_COLLAPSE_WAIT) { 14457ca33ad1SAlan Cox if ((p->flags & PG_BUSY) || p->busy) { 14467ca33ad1SAlan Cox vm_page_flag_set(p, 14477ca33ad1SAlan Cox PG_WANTED | PG_REFERENCED); 14487ca33ad1SAlan Cox VM_OBJECT_UNLOCK(backing_object); 14497ca33ad1SAlan Cox VM_OBJECT_UNLOCK(object); 14507ca33ad1SAlan Cox msleep(p, &vm_page_queue_mtx, 14517ca33ad1SAlan Cox PDROP | PVM, "vmocol", 0); 14527ca33ad1SAlan Cox VM_OBJECT_LOCK(object); 14537ca33ad1SAlan Cox VM_OBJECT_LOCK(backing_object); 14542ad1a3f7SMatthew Dillon /* 14552ad1a3f7SMatthew Dillon * If we slept, anything could have 14562ad1a3f7SMatthew Dillon * happened. Since the object is 14572ad1a3f7SMatthew Dillon * marked dead, the backing offset 14582ad1a3f7SMatthew Dillon * should not have changed so we 14592ad1a3f7SMatthew Dillon * just restart our scan. 14602ad1a3f7SMatthew Dillon */ 14612ad1a3f7SMatthew Dillon p = TAILQ_FIRST(&backing_object->memq); 14622ad1a3f7SMatthew Dillon continue; 14632ad1a3f7SMatthew Dillon } 14642ad1a3f7SMatthew Dillon } 14652ad1a3f7SMatthew Dillon 14662ad1a3f7SMatthew Dillon /* 14672ad1a3f7SMatthew Dillon * Busy the page 14682ad1a3f7SMatthew Dillon */ 14692ad1a3f7SMatthew Dillon vm_page_busy(p); 147000f9e8b4SAlan Cox vm_page_unlock_queues(); 14712ad1a3f7SMatthew Dillon 14722ad1a3f7SMatthew Dillon KASSERT( 14732ad1a3f7SMatthew Dillon p->object == backing_object, 14742ad1a3f7SMatthew Dillon ("vm_object_qcollapse(): object mismatch") 14752ad1a3f7SMatthew Dillon ); 14762ad1a3f7SMatthew Dillon 14772ad1a3f7SMatthew Dillon /* 14782ad1a3f7SMatthew Dillon * Destroy any associated swap 14792ad1a3f7SMatthew Dillon */ 14802ad1a3f7SMatthew Dillon if (backing_object->type == OBJT_SWAP) { 14812ad1a3f7SMatthew Dillon swap_pager_freespace( 14822ad1a3f7SMatthew Dillon backing_object, 14832ad1a3f7SMatthew Dillon p->pindex, 14842ad1a3f7SMatthew Dillon 1 14852ad1a3f7SMatthew Dillon ); 14862ad1a3f7SMatthew Dillon } 14872ad1a3f7SMatthew Dillon 14882ad1a3f7SMatthew Dillon if ( 14892ad1a3f7SMatthew Dillon p->pindex < backing_offset_index || 14902ad1a3f7SMatthew Dillon new_pindex >= object->size 14912ad1a3f7SMatthew Dillon ) { 14922ad1a3f7SMatthew Dillon /* 14932ad1a3f7SMatthew Dillon * Page is out of the parent object's range, we 14942ad1a3f7SMatthew Dillon * can simply destroy it. 14952ad1a3f7SMatthew Dillon */ 14966a684ecfSAlan Cox vm_page_lock_queues(); 14974fec79beSAlan Cox pmap_remove_all(p); 14982ad1a3f7SMatthew Dillon vm_page_free(p); 14996a684ecfSAlan Cox vm_page_unlock_queues(); 15002ad1a3f7SMatthew Dillon p = next; 15012ad1a3f7SMatthew Dillon continue; 15022ad1a3f7SMatthew Dillon } 15032ad1a3f7SMatthew Dillon 15042ad1a3f7SMatthew Dillon pp = vm_page_lookup(object, new_pindex); 15052ad1a3f7SMatthew Dillon if ( 15062ad1a3f7SMatthew Dillon pp != NULL || 15072ad1a3f7SMatthew Dillon vm_pager_has_page(object, new_pindex, NULL, NULL) 15082ad1a3f7SMatthew Dillon ) { 15092ad1a3f7SMatthew Dillon /* 15102ad1a3f7SMatthew Dillon * page already exists in parent OR swap exists 15112ad1a3f7SMatthew Dillon * for this location in the parent. Destroy 15122ad1a3f7SMatthew Dillon * the original page from the backing object. 15132ad1a3f7SMatthew Dillon * 15142ad1a3f7SMatthew Dillon * Leave the parent's page alone 15152ad1a3f7SMatthew Dillon */ 15166a684ecfSAlan Cox vm_page_lock_queues(); 15174fec79beSAlan Cox pmap_remove_all(p); 15182ad1a3f7SMatthew Dillon vm_page_free(p); 15196a684ecfSAlan Cox vm_page_unlock_queues(); 15202ad1a3f7SMatthew Dillon p = next; 15212ad1a3f7SMatthew Dillon continue; 15222ad1a3f7SMatthew Dillon } 15232ad1a3f7SMatthew Dillon 15242ad1a3f7SMatthew Dillon /* 15252ad1a3f7SMatthew Dillon * Page does not exist in parent, rename the 15262ad1a3f7SMatthew Dillon * page from the backing object to the main object. 1527d1bf5d56SMatthew Dillon * 1528d1bf5d56SMatthew Dillon * If the page was mapped to a process, it can remain 1529d1bf5d56SMatthew Dillon * mapped through the rename. 15302ad1a3f7SMatthew Dillon */ 1531a28cc55eSAlan Cox vm_page_lock_queues(); 15322ad1a3f7SMatthew Dillon vm_page_rename(p, object, new_pindex); 1533a28cc55eSAlan Cox vm_page_unlock_queues(); 15342ad1a3f7SMatthew Dillon /* page automatically made dirty by rename */ 15352ad1a3f7SMatthew Dillon } 15362ad1a3f7SMatthew Dillon p = next; 15372ad1a3f7SMatthew Dillon } 15382ad1a3f7SMatthew Dillon splx(s); 15392ad1a3f7SMatthew Dillon return (r); 15402ad1a3f7SMatthew Dillon } 15412ad1a3f7SMatthew Dillon 1542df8bae1dSRodney W. Grimes 1543df8bae1dSRodney W. Grimes /* 15442fe6e4d7SDavid Greenman * this version of collapse allows the operation to occur earlier and 15452fe6e4d7SDavid Greenman * when paging_in_progress is true for an object... This is not a complete 15462fe6e4d7SDavid Greenman * operation, but should plug 99.9% of the rest of the leaks. 15472fe6e4d7SDavid Greenman */ 15482fe6e4d7SDavid Greenman static void 15491b40f8c0SMatthew Dillon vm_object_qcollapse(vm_object_t object) 15502fe6e4d7SDavid Greenman { 15512ad1a3f7SMatthew Dillon vm_object_t backing_object = object->backing_object; 15522fe6e4d7SDavid Greenman 155306ecade7SAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 155406ecade7SAlan Cox VM_OBJECT_LOCK_ASSERT(backing_object, MA_OWNED); 15551b40f8c0SMatthew Dillon 15562fe6e4d7SDavid Greenman if (backing_object->ref_count != 1) 15572fe6e4d7SDavid Greenman return; 15582fe6e4d7SDavid Greenman 1559010cf3b9SDavid Greenman backing_object->ref_count += 2; 1560010cf3b9SDavid Greenman 15612ad1a3f7SMatthew Dillon vm_object_backing_scan(object, OBSC_COLLAPSE_NOWAIT); 15621c7c3c6aSMatthew Dillon 1563010cf3b9SDavid Greenman backing_object->ref_count -= 2; 15642fe6e4d7SDavid Greenman } 15652fe6e4d7SDavid Greenman 1566df8bae1dSRodney W. Grimes /* 1567df8bae1dSRodney W. Grimes * vm_object_collapse: 1568df8bae1dSRodney W. Grimes * 1569df8bae1dSRodney W. Grimes * Collapse an object with the object backing it. 1570df8bae1dSRodney W. Grimes * Pages in the backing object are moved into the 1571df8bae1dSRodney W. Grimes * parent, and the backing object is deallocated. 1572df8bae1dSRodney W. Grimes */ 157326f9a767SRodney W. Grimes void 15741b40f8c0SMatthew Dillon vm_object_collapse(vm_object_t object) 1575df8bae1dSRodney W. Grimes { 1576d7fc2210SAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 157723955314SAlfred Perlstein 1578df8bae1dSRodney W. Grimes while (TRUE) { 15792ad1a3f7SMatthew Dillon vm_object_t backing_object; 15802ad1a3f7SMatthew Dillon 1581df8bae1dSRodney W. Grimes /* 1582df8bae1dSRodney W. Grimes * Verify that the conditions are right for collapse: 1583df8bae1dSRodney W. Grimes * 15842ad1a3f7SMatthew Dillon * The object exists and the backing object exists. 1585df8bae1dSRodney W. Grimes */ 158624a1cce3SDavid Greenman if ((backing_object = object->backing_object) == NULL) 15872ad1a3f7SMatthew Dillon break; 1588df8bae1dSRodney W. Grimes 1589f919ebdeSDavid Greenman /* 1590f919ebdeSDavid Greenman * we check the backing object first, because it is most likely 159124a1cce3SDavid Greenman * not collapsable. 1592f919ebdeSDavid Greenman */ 159340b808a8SAlan Cox VM_OBJECT_LOCK(backing_object); 159424a1cce3SDavid Greenman if (backing_object->handle != NULL || 159524a1cce3SDavid Greenman (backing_object->type != OBJT_DEFAULT && 159624a1cce3SDavid Greenman backing_object->type != OBJT_SWAP) || 1597f919ebdeSDavid Greenman (backing_object->flags & OBJ_DEAD) || 159824a1cce3SDavid Greenman object->handle != NULL || 159924a1cce3SDavid Greenman (object->type != OBJT_DEFAULT && 160024a1cce3SDavid Greenman object->type != OBJT_SWAP) || 160124a1cce3SDavid Greenman (object->flags & OBJ_DEAD)) { 160240b808a8SAlan Cox VM_OBJECT_UNLOCK(backing_object); 16032ad1a3f7SMatthew Dillon break; 160424a1cce3SDavid Greenman } 16059b4814bbSDavid Greenman 16062ad1a3f7SMatthew Dillon if ( 16072ad1a3f7SMatthew Dillon object->paging_in_progress != 0 || 16082ad1a3f7SMatthew Dillon backing_object->paging_in_progress != 0 16092ad1a3f7SMatthew Dillon ) { 1610b9921222SDavid Greenman vm_object_qcollapse(object); 161140b808a8SAlan Cox VM_OBJECT_UNLOCK(backing_object); 16122ad1a3f7SMatthew Dillon break; 1613df8bae1dSRodney W. Grimes } 161426f9a767SRodney W. Grimes /* 16150d94caffSDavid Greenman * We know that we can either collapse the backing object (if 16162ad1a3f7SMatthew Dillon * the parent is the only reference to it) or (perhaps) have 16172ad1a3f7SMatthew Dillon * the parent bypass the object if the parent happens to shadow 16182ad1a3f7SMatthew Dillon * all the resident pages in the entire backing object. 16192ad1a3f7SMatthew Dillon * 16202ad1a3f7SMatthew Dillon * This is ignoring pager-backed pages such as swap pages. 16212ad1a3f7SMatthew Dillon * vm_object_backing_scan fails the shadowing test in this 16222ad1a3f7SMatthew Dillon * case. 1623df8bae1dSRodney W. Grimes */ 1624df8bae1dSRodney W. Grimes if (backing_object->ref_count == 1) { 1625df8bae1dSRodney W. Grimes /* 16262ad1a3f7SMatthew Dillon * If there is exactly one reference to the backing 16272ad1a3f7SMatthew Dillon * object, we can collapse it into the parent. 1628df8bae1dSRodney W. Grimes */ 16292ad1a3f7SMatthew Dillon vm_object_backing_scan(object, OBSC_COLLAPSE_WAIT); 1630df8bae1dSRodney W. Grimes 1631df8bae1dSRodney W. Grimes /* 1632df8bae1dSRodney W. Grimes * Move the pager from backing_object to object. 1633df8bae1dSRodney W. Grimes */ 16346be36525SAlan Cox if (backing_object->type == OBJT_SWAP) { 163524a1cce3SDavid Greenman /* 1636c7c8dd7eSAlan Cox * swap_pager_copy() can sleep, in which case 1637c7c8dd7eSAlan Cox * the backing_object's and object's locks are 1638c7c8dd7eSAlan Cox * released and reacquired. 163924a1cce3SDavid Greenman */ 16401c7c3c6aSMatthew Dillon swap_pager_copy( 16411c7c3c6aSMatthew Dillon backing_object, 16421c7c3c6aSMatthew Dillon object, 16431c7c3c6aSMatthew Dillon OFF_TO_IDX(object->backing_object_offset), TRUE); 1644c0503609SDavid Greenman } 1645df8bae1dSRodney W. Grimes /* 1646df8bae1dSRodney W. Grimes * Object now shadows whatever backing_object did. 16472ad1a3f7SMatthew Dillon * Note that the reference to 16482ad1a3f7SMatthew Dillon * backing_object->backing_object moves from within 16492ad1a3f7SMatthew Dillon * backing_object to within object. 1650df8bae1dSRodney W. Grimes */ 16511c500307SAlan Cox LIST_REMOVE(object, shadow_list); 16524f7c7f6eSAlan Cox backing_object->shadow_count--; 16534f7c7f6eSAlan Cox backing_object->generation++; 1654de5f6a77SJohn Dyson if (backing_object->backing_object) { 16556be36525SAlan Cox VM_OBJECT_LOCK(backing_object->backing_object); 16561c500307SAlan Cox LIST_REMOVE(backing_object, shadow_list); 165743186e53SAlan Cox LIST_INSERT_HEAD( 165843186e53SAlan Cox &backing_object->backing_object->shadow_head, 165943186e53SAlan Cox object, shadow_list); 166043186e53SAlan Cox /* 166143186e53SAlan Cox * The shadow_count has not changed. 166243186e53SAlan Cox */ 1663eaf13dd7SJohn Dyson backing_object->backing_object->generation++; 16646be36525SAlan Cox VM_OBJECT_UNLOCK(backing_object->backing_object); 1665de5f6a77SJohn Dyson } 166624a1cce3SDavid Greenman object->backing_object = backing_object->backing_object; 16672ad1a3f7SMatthew Dillon object->backing_object_offset += 16682ad1a3f7SMatthew Dillon backing_object->backing_object_offset; 16692ad1a3f7SMatthew Dillon 1670df8bae1dSRodney W. Grimes /* 1671df8bae1dSRodney W. Grimes * Discard backing_object. 1672df8bae1dSRodney W. Grimes * 16730d94caffSDavid Greenman * Since the backing object has no pages, no pager left, 16740d94caffSDavid Greenman * and no object references within it, all that is 16750d94caffSDavid Greenman * necessary is to dispose of it. 1676df8bae1dSRodney W. Grimes */ 1677245df27cSMatthew Dillon KASSERT(backing_object->ref_count == 1, ("backing_object %p was somehow re-referenced during collapse!", backing_object)); 16786be36525SAlan Cox VM_OBJECT_UNLOCK(backing_object); 1679df8bae1dSRodney W. Grimes 1680a5698387SAlan Cox mtx_lock(&vm_object_list_mtx); 16812ad1a3f7SMatthew Dillon TAILQ_REMOVE( 16822ad1a3f7SMatthew Dillon &vm_object_list, 16832ad1a3f7SMatthew Dillon backing_object, 16842ad1a3f7SMatthew Dillon object_list 16852ad1a3f7SMatthew Dillon ); 1686a5698387SAlan Cox mtx_unlock(&vm_object_list_mtx); 1687df8bae1dSRodney W. Grimes 1688670d17b5SJeff Roberson uma_zfree(obj_zone, backing_object); 1689df8bae1dSRodney W. Grimes 1690df8bae1dSRodney W. Grimes object_collapses++; 16910d94caffSDavid Greenman } else { 169295e5e988SJohn Dyson vm_object_t new_backing_object; 1693df8bae1dSRodney W. Grimes 1694df8bae1dSRodney W. Grimes /* 16952ad1a3f7SMatthew Dillon * If we do not entirely shadow the backing object, 16962ad1a3f7SMatthew Dillon * there is nothing we can do so we give up. 1697df8bae1dSRodney W. Grimes */ 16982ad1a3f7SMatthew Dillon if (vm_object_backing_scan(object, OBSC_TEST_ALL_SHADOWED) == 0) { 169940b808a8SAlan Cox VM_OBJECT_UNLOCK(backing_object); 17002ad1a3f7SMatthew Dillon break; 170124a1cce3SDavid Greenman } 1702df8bae1dSRodney W. Grimes 1703df8bae1dSRodney W. Grimes /* 17040d94caffSDavid Greenman * Make the parent shadow the next object in the 17050d94caffSDavid Greenman * chain. Deallocating backing_object will not remove 17060d94caffSDavid Greenman * it, since its reference count is at least 2. 1707df8bae1dSRodney W. Grimes */ 17081c500307SAlan Cox LIST_REMOVE(object, shadow_list); 1709eaf13dd7SJohn Dyson backing_object->shadow_count--; 1710eaf13dd7SJohn Dyson backing_object->generation++; 171195e5e988SJohn Dyson 171295e5e988SJohn Dyson new_backing_object = backing_object->backing_object; 17138aef1712SMatthew Dillon if ((object->backing_object = new_backing_object) != NULL) { 17146be36525SAlan Cox VM_OBJECT_LOCK(new_backing_object); 17151c500307SAlan Cox LIST_INSERT_HEAD( 17162ad1a3f7SMatthew Dillon &new_backing_object->shadow_head, 17172ad1a3f7SMatthew Dillon object, 17182ad1a3f7SMatthew Dillon shadow_list 17192ad1a3f7SMatthew Dillon ); 1720eaf13dd7SJohn Dyson new_backing_object->shadow_count++; 1721eaf13dd7SJohn Dyson new_backing_object->generation++; 1722b921a12bSAlan Cox vm_object_reference_locked(new_backing_object); 17236be36525SAlan Cox VM_OBJECT_UNLOCK(new_backing_object); 172495e5e988SJohn Dyson object->backing_object_offset += 172595e5e988SJohn Dyson backing_object->backing_object_offset; 1726de5f6a77SJohn Dyson } 1727df8bae1dSRodney W. Grimes 1728df8bae1dSRodney W. Grimes /* 17290d94caffSDavid Greenman * Drop the reference count on backing_object. Since 173022ec553fSAlan Cox * its ref_count was at least 2, it will not vanish. 1731df8bae1dSRodney W. Grimes */ 173222ec553fSAlan Cox backing_object->ref_count--; 173322ec553fSAlan Cox VM_OBJECT_UNLOCK(backing_object); 1734df8bae1dSRodney W. Grimes object_bypasses++; 1735df8bae1dSRodney W. Grimes } 1736df8bae1dSRodney W. Grimes 1737df8bae1dSRodney W. Grimes /* 1738df8bae1dSRodney W. Grimes * Try again with this object's new backing object. 1739df8bae1dSRodney W. Grimes */ 1740df8bae1dSRodney W. Grimes } 1741df8bae1dSRodney W. Grimes } 1742df8bae1dSRodney W. Grimes 1743df8bae1dSRodney W. Grimes /* 1744bff99f0dSAlan Cox * vm_object_page_remove: 1745df8bae1dSRodney W. Grimes * 1746bff99f0dSAlan Cox * Removes all physical pages in the given range from the 1747bff99f0dSAlan Cox * object's list of pages. If the range's end is zero, all 1748bff99f0dSAlan Cox * physical pages from the range's start to the end of the object 1749bff99f0dSAlan Cox * are deleted. 1750df8bae1dSRodney W. Grimes * 1751df8bae1dSRodney W. Grimes * The object must be locked. 1752df8bae1dSRodney W. Grimes */ 175326f9a767SRodney W. Grimes void 1754ecde4b32SAlan Cox vm_object_page_remove(vm_object_t object, vm_pindex_t start, vm_pindex_t end, 1755ecde4b32SAlan Cox boolean_t clean_only) 1756df8bae1dSRodney W. Grimes { 1757d031cff1SMatthew Dillon vm_page_t p, next; 1758df8bae1dSRodney W. Grimes 1759ecde4b32SAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 1760ecde4b32SAlan Cox if (object->resident_page_count == 0) 1761df8bae1dSRodney W. Grimes return; 176295e5e988SJohn Dyson 17638b03c8edSMatthew Dillon /* 17648b03c8edSMatthew Dillon * Since physically-backed objects do not use managed pages, we can't 17658b03c8edSMatthew Dillon * remove pages from the object (we must instead remove the page 17668b03c8edSMatthew Dillon * references, and then destroy the object). 17678b03c8edSMatthew Dillon */ 1768ecde4b32SAlan Cox KASSERT(object->type != OBJT_PHYS, 1769ecde4b32SAlan Cox ("attempt to remove pages from a physical object")); 17708b03c8edSMatthew Dillon 1771d474eaaaSDoug Rabson vm_object_pip_add(object, 1); 177226f9a767SRodney W. Grimes again: 177332585dd6SAlan Cox vm_page_lock_queues(); 177475741c04SAlan Cox if ((p = TAILQ_FIRST(&object->memq)) != NULL) { 177575741c04SAlan Cox if (p->pindex < start) { 177675741c04SAlan Cox p = vm_page_splay(start, object->root); 177775741c04SAlan Cox if ((object->root = p)->pindex < start) 177875741c04SAlan Cox p = TAILQ_NEXT(p, listq); 177975741c04SAlan Cox } 178075741c04SAlan Cox } 178175741c04SAlan Cox /* 178275741c04SAlan Cox * Assert: the variable p is either (1) the page with the 178375741c04SAlan Cox * least pindex greater than or equal to the parameter pindex 178475741c04SAlan Cox * or (2) NULL. 178575741c04SAlan Cox */ 178675741c04SAlan Cox for (; 1787bff99f0dSAlan Cox p != NULL && (p->pindex < end || end == 0); 178875741c04SAlan Cox p = next) { 1789b18bfc3dSJohn Dyson next = TAILQ_NEXT(p, listq); 179075741c04SAlan Cox 1791bd7e5f99SJohn Dyson if (p->wire_count != 0) { 17924fec79beSAlan Cox pmap_remove_all(p); 1793ce65e68cSDavid Greenman if (!clean_only) 1794bd7e5f99SJohn Dyson p->valid = 0; 17950d94caffSDavid Greenman continue; 17960d94caffSDavid Greenman } 179732585dd6SAlan Cox if (vm_page_sleep_if_busy(p, TRUE, "vmopar")) 179826f9a767SRodney W. Grimes goto again; 17998f9110f6SJohn Dyson if (clean_only && p->valid) { 18007c1f6cedSDavid Greenman vm_page_test_dirty(p); 18017c1f6cedSDavid Greenman if (p->valid & p->dirty) 18027c1f6cedSDavid Greenman continue; 18037c1f6cedSDavid Greenman } 1804e69763a3SDoug Rabson vm_page_busy(p); 18054fec79beSAlan Cox pmap_remove_all(p); 1806df8bae1dSRodney W. Grimes vm_page_free(p); 180726f9a767SRodney W. Grimes } 180832585dd6SAlan Cox vm_page_unlock_queues(); 1809f919ebdeSDavid Greenman vm_object_pip_wakeup(object); 1810c0503609SDavid Greenman } 1811df8bae1dSRodney W. Grimes 1812df8bae1dSRodney W. Grimes /* 1813df8bae1dSRodney W. Grimes * Routine: vm_object_coalesce 1814df8bae1dSRodney W. Grimes * Function: Coalesces two objects backing up adjoining 1815df8bae1dSRodney W. Grimes * regions of memory into a single object. 1816df8bae1dSRodney W. Grimes * 1817df8bae1dSRodney W. Grimes * returns TRUE if objects were combined. 1818df8bae1dSRodney W. Grimes * 1819df8bae1dSRodney W. Grimes * NOTE: Only works at the moment if the second object is NULL - 1820df8bae1dSRodney W. Grimes * if it's not, which object do we lock first? 1821df8bae1dSRodney W. Grimes * 1822df8bae1dSRodney W. Grimes * Parameters: 1823df8bae1dSRodney W. Grimes * prev_object First object to coalesce 1824df8bae1dSRodney W. Grimes * prev_offset Offset into prev_object 1825df8bae1dSRodney W. Grimes * next_object Second object into coalesce 1826df8bae1dSRodney W. Grimes * next_offset Offset into next_object 1827df8bae1dSRodney W. Grimes * 1828df8bae1dSRodney W. Grimes * prev_size Size of reference to prev_object 1829df8bae1dSRodney W. Grimes * next_size Size of reference to next_object 1830df8bae1dSRodney W. Grimes * 1831df8bae1dSRodney W. Grimes * Conditions: 1832df8bae1dSRodney W. Grimes * The object must *not* be locked. 1833df8bae1dSRodney W. Grimes */ 18340d94caffSDavid Greenman boolean_t 183500e1854aSAlan Cox vm_object_coalesce(vm_object_t prev_object, vm_pindex_t prev_pindex, 183600e1854aSAlan Cox vm_size_t prev_size, vm_size_t next_size) 1837df8bae1dSRodney W. Grimes { 1838ea41812fSAlan Cox vm_pindex_t next_pindex; 1839df8bae1dSRodney W. Grimes 184000e1854aSAlan Cox if (prev_object == NULL) 1841df8bae1dSRodney W. Grimes return (TRUE); 1842bdbfbaafSAlan Cox VM_OBJECT_LOCK(prev_object); 18434112823fSMatthew Dillon if (prev_object->type != OBJT_DEFAULT && 18444112823fSMatthew Dillon prev_object->type != OBJT_SWAP) { 1845bdbfbaafSAlan Cox VM_OBJECT_UNLOCK(prev_object); 184630dcfc09SJohn Dyson return (FALSE); 184730dcfc09SJohn Dyson } 184830dcfc09SJohn Dyson 1849df8bae1dSRodney W. Grimes /* 1850df8bae1dSRodney W. Grimes * Try to collapse the object first 1851df8bae1dSRodney W. Grimes */ 1852df8bae1dSRodney W. Grimes vm_object_collapse(prev_object); 1853df8bae1dSRodney W. Grimes 1854df8bae1dSRodney W. Grimes /* 18550d94caffSDavid Greenman * Can't coalesce if: . more than one reference . paged out . shadows 18560d94caffSDavid Greenman * another object . has a copy elsewhere (any of which mean that the 18570d94caffSDavid Greenman * pages not mapped to prev_entry may be in use anyway) 1858df8bae1dSRodney W. Grimes */ 18598cc7e047SJohn Dyson if (prev_object->backing_object != NULL) { 1860bdbfbaafSAlan Cox VM_OBJECT_UNLOCK(prev_object); 1861df8bae1dSRodney W. Grimes return (FALSE); 1862df8bae1dSRodney W. Grimes } 1863a316d390SJohn Dyson 1864a316d390SJohn Dyson prev_size >>= PAGE_SHIFT; 1865a316d390SJohn Dyson next_size >>= PAGE_SHIFT; 1866ea41812fSAlan Cox next_pindex = prev_pindex + prev_size; 18678cc7e047SJohn Dyson 18688cc7e047SJohn Dyson if ((prev_object->ref_count > 1) && 1869ea41812fSAlan Cox (prev_object->size != next_pindex)) { 1870bdbfbaafSAlan Cox VM_OBJECT_UNLOCK(prev_object); 18718cc7e047SJohn Dyson return (FALSE); 18728cc7e047SJohn Dyson } 18738cc7e047SJohn Dyson 1874df8bae1dSRodney W. Grimes /* 18750d94caffSDavid Greenman * Remove any pages that may still be in the object from a previous 18760d94caffSDavid Greenman * deallocation. 1877df8bae1dSRodney W. Grimes */ 1878ea41812fSAlan Cox if (next_pindex < prev_object->size) { 1879df8bae1dSRodney W. Grimes vm_object_page_remove(prev_object, 1880ea41812fSAlan Cox next_pindex, 1881ea41812fSAlan Cox next_pindex + next_size, FALSE); 1882ea41812fSAlan Cox if (prev_object->type == OBJT_SWAP) 1883ea41812fSAlan Cox swap_pager_freespace(prev_object, 1884ea41812fSAlan Cox next_pindex, next_size); 1885ea41812fSAlan Cox } 1886df8bae1dSRodney W. Grimes 1887df8bae1dSRodney W. Grimes /* 1888df8bae1dSRodney W. Grimes * Extend the object if necessary. 1889df8bae1dSRodney W. Grimes */ 1890ea41812fSAlan Cox if (next_pindex + next_size > prev_object->size) 1891ea41812fSAlan Cox prev_object->size = next_pindex + next_size; 1892df8bae1dSRodney W. Grimes 1893bdbfbaafSAlan Cox VM_OBJECT_UNLOCK(prev_object); 1894df8bae1dSRodney W. Grimes return (TRUE); 1895df8bae1dSRodney W. Grimes } 1896df8bae1dSRodney W. Grimes 18977a5a6352SMatthew Dillon void 18987a5a6352SMatthew Dillon vm_object_set_writeable_dirty(vm_object_t object) 18997a5a6352SMatthew Dillon { 19007a5a6352SMatthew Dillon struct vnode *vp; 19017a5a6352SMatthew Dillon 1902de33beddSAlan Cox VM_OBJECT_LOCK_ASSERT(object, MA_OWNED); 19037a5a6352SMatthew Dillon vm_object_set_flag(object, OBJ_WRITEABLE|OBJ_MIGHTBEDIRTY); 19047a5a6352SMatthew Dillon if (object->type == OBJT_VNODE && 19057a5a6352SMatthew Dillon (vp = (struct vnode *)object->handle) != NULL) { 1906e6e370a7SJeff Roberson VI_LOCK(vp); 1907e6e370a7SJeff Roberson if ((vp->v_iflag & VI_OBJDIRTY) == 0) 1908e6e370a7SJeff Roberson vp->v_iflag |= VI_OBJDIRTY; 1909e6e370a7SJeff Roberson VI_UNLOCK(vp); 19107a5a6352SMatthew Dillon } 19117a5a6352SMatthew Dillon } 19127a5a6352SMatthew Dillon 1913c7c34a24SBruce Evans #include "opt_ddb.h" 1914c3cb3e12SDavid Greenman #ifdef DDB 1915c7c34a24SBruce Evans #include <sys/kernel.h> 1916c7c34a24SBruce Evans 1917ce9edcf5SPoul-Henning Kamp #include <sys/cons.h> 1918c7c34a24SBruce Evans 1919c7c34a24SBruce Evans #include <ddb/ddb.h> 1920c7c34a24SBruce Evans 1921cac597e4SBruce Evans static int 19221b40f8c0SMatthew Dillon _vm_object_in_map(vm_map_t map, vm_object_t object, vm_map_entry_t entry) 1923a1f6d91cSDavid Greenman { 1924a1f6d91cSDavid Greenman vm_map_t tmpm; 1925a1f6d91cSDavid Greenman vm_map_entry_t tmpe; 1926a1f6d91cSDavid Greenman vm_object_t obj; 1927a1f6d91cSDavid Greenman int entcount; 1928a1f6d91cSDavid Greenman 1929a1f6d91cSDavid Greenman if (map == 0) 1930a1f6d91cSDavid Greenman return 0; 1931a1f6d91cSDavid Greenman 1932a1f6d91cSDavid Greenman if (entry == 0) { 1933a1f6d91cSDavid Greenman tmpe = map->header.next; 1934a1f6d91cSDavid Greenman entcount = map->nentries; 1935a1f6d91cSDavid Greenman while (entcount-- && (tmpe != &map->header)) { 1936a1f6d91cSDavid Greenman if (_vm_object_in_map(map, object, tmpe)) { 1937a1f6d91cSDavid Greenman return 1; 1938a1f6d91cSDavid Greenman } 1939a1f6d91cSDavid Greenman tmpe = tmpe->next; 1940a1f6d91cSDavid Greenman } 19419fdfe602SMatthew Dillon } else if (entry->eflags & MAP_ENTRY_IS_SUB_MAP) { 19429fdfe602SMatthew Dillon tmpm = entry->object.sub_map; 1943a1f6d91cSDavid Greenman tmpe = tmpm->header.next; 1944a1f6d91cSDavid Greenman entcount = tmpm->nentries; 1945a1f6d91cSDavid Greenman while (entcount-- && tmpe != &tmpm->header) { 1946a1f6d91cSDavid Greenman if (_vm_object_in_map(tmpm, object, tmpe)) { 1947a1f6d91cSDavid Greenman return 1; 1948a1f6d91cSDavid Greenman } 1949a1f6d91cSDavid Greenman tmpe = tmpe->next; 1950a1f6d91cSDavid Greenman } 19518aef1712SMatthew Dillon } else if ((obj = entry->object.vm_object) != NULL) { 195224a1cce3SDavid Greenman for (; obj; obj = obj->backing_object) 1953a1f6d91cSDavid Greenman if (obj == object) { 1954a1f6d91cSDavid Greenman return 1; 1955a1f6d91cSDavid Greenman } 1956a1f6d91cSDavid Greenman } 1957a1f6d91cSDavid Greenman return 0; 1958a1f6d91cSDavid Greenman } 1959a1f6d91cSDavid Greenman 1960cac597e4SBruce Evans static int 19611b40f8c0SMatthew Dillon vm_object_in_map(vm_object_t object) 1962a1f6d91cSDavid Greenman { 1963a1f6d91cSDavid Greenman struct proc *p; 19641005a129SJohn Baldwin 196560517fd1SJohn Baldwin /* sx_slock(&allproc_lock); */ 1966fc2ffbe6SPoul-Henning Kamp LIST_FOREACH(p, &allproc, p_list) { 1967a1f6d91cSDavid Greenman if (!p->p_vmspace /* || (p->p_flag & (P_SYSTEM|P_WEXIT)) */) 1968a1f6d91cSDavid Greenman continue; 1969553629ebSJake Burkholder if (_vm_object_in_map(&p->p_vmspace->vm_map, object, 0)) { 197060517fd1SJohn Baldwin /* sx_sunlock(&allproc_lock); */ 1971a1f6d91cSDavid Greenman return 1; 1972a1f6d91cSDavid Greenman } 1973553629ebSJake Burkholder } 197460517fd1SJohn Baldwin /* sx_sunlock(&allproc_lock); */ 1975a1f6d91cSDavid Greenman if (_vm_object_in_map(kernel_map, object, 0)) 1976a1f6d91cSDavid Greenman return 1; 1977a1f6d91cSDavid Greenman if (_vm_object_in_map(kmem_map, object, 0)) 1978a1f6d91cSDavid Greenman return 1; 1979a1f6d91cSDavid Greenman if (_vm_object_in_map(pager_map, object, 0)) 1980a1f6d91cSDavid Greenman return 1; 1981a1f6d91cSDavid Greenman if (_vm_object_in_map(buffer_map, object, 0)) 1982a1f6d91cSDavid Greenman return 1; 1983a1f6d91cSDavid Greenman return 0; 1984a1f6d91cSDavid Greenman } 1985a1f6d91cSDavid Greenman 1986c7c34a24SBruce Evans DB_SHOW_COMMAND(vmochk, vm_object_check) 1987f708ef1bSPoul-Henning Kamp { 1988a1f6d91cSDavid Greenman vm_object_t object; 1989a1f6d91cSDavid Greenman 1990a1f6d91cSDavid Greenman /* 1991a1f6d91cSDavid Greenman * make sure that internal objs are in a map somewhere 1992a1f6d91cSDavid Greenman * and none have zero ref counts. 1993a1f6d91cSDavid Greenman */ 1994cc64b484SAlfred Perlstein TAILQ_FOREACH(object, &vm_object_list, object_list) { 199524a1cce3SDavid Greenman if (object->handle == NULL && 199624a1cce3SDavid Greenman (object->type == OBJT_DEFAULT || object->type == OBJT_SWAP)) { 1997a1f6d91cSDavid Greenman if (object->ref_count == 0) { 19983efc015bSPeter Wemm db_printf("vmochk: internal obj has zero ref count: %ld\n", 19993efc015bSPeter Wemm (long)object->size); 2000a1f6d91cSDavid Greenman } 2001a1f6d91cSDavid Greenman if (!vm_object_in_map(object)) { 2002fc62ef1fSBruce Evans db_printf( 2003fc62ef1fSBruce Evans "vmochk: internal obj is not in a map: " 2004fc62ef1fSBruce Evans "ref: %d, size: %lu: 0x%lx, backing_object: %p\n", 2005fc62ef1fSBruce Evans object->ref_count, (u_long)object->size, 2006fc62ef1fSBruce Evans (u_long)object->size, 2007fc62ef1fSBruce Evans (void *)object->backing_object); 2008a1f6d91cSDavid Greenman } 2009a1f6d91cSDavid Greenman } 2010a1f6d91cSDavid Greenman } 2011a1f6d91cSDavid Greenman } 2012a1f6d91cSDavid Greenman 201326f9a767SRodney W. Grimes /* 2014df8bae1dSRodney W. Grimes * vm_object_print: [ debug ] 2015df8bae1dSRodney W. Grimes */ 2016c7c34a24SBruce Evans DB_SHOW_COMMAND(object, vm_object_print_static) 2017df8bae1dSRodney W. Grimes { 2018c7c34a24SBruce Evans /* XXX convert args. */ 2019c7c34a24SBruce Evans vm_object_t object = (vm_object_t)addr; 2020c7c34a24SBruce Evans boolean_t full = have_addr; 2021c7c34a24SBruce Evans 2022d031cff1SMatthew Dillon vm_page_t p; 2023df8bae1dSRodney W. Grimes 2024c7c34a24SBruce Evans /* XXX count is an (unused) arg. Avoid shadowing it. */ 2025c7c34a24SBruce Evans #define count was_count 2026c7c34a24SBruce Evans 2027d031cff1SMatthew Dillon int count; 2028df8bae1dSRodney W. Grimes 2029df8bae1dSRodney W. Grimes if (object == NULL) 2030df8bae1dSRodney W. Grimes return; 2031df8bae1dSRodney W. Grimes 2032eb95adefSBruce Evans db_iprintf( 2033e47cd172SMaxime Henrion "Object %p: type=%d, size=0x%jx, res=%d, ref=%d, flags=0x%x\n", 2034e47cd172SMaxime Henrion object, (int)object->type, (uintmax_t)object->size, 2035eb95adefSBruce Evans object->resident_page_count, object->ref_count, object->flags); 2036e47cd172SMaxime Henrion db_iprintf(" sref=%d, backing_object(%d)=(%p)+0x%jx\n", 20371c7c3c6aSMatthew Dillon object->shadow_count, 2038eb95adefSBruce Evans object->backing_object ? object->backing_object->ref_count : 0, 2039e47cd172SMaxime Henrion object->backing_object, (uintmax_t)object->backing_object_offset); 2040df8bae1dSRodney W. Grimes 2041df8bae1dSRodney W. Grimes if (!full) 2042df8bae1dSRodney W. Grimes return; 2043df8bae1dSRodney W. Grimes 2044c7c34a24SBruce Evans db_indent += 2; 2045df8bae1dSRodney W. Grimes count = 0; 2046fc2ffbe6SPoul-Henning Kamp TAILQ_FOREACH(p, &object->memq, listq) { 2047df8bae1dSRodney W. Grimes if (count == 0) 2048c7c34a24SBruce Evans db_iprintf("memory:="); 2049df8bae1dSRodney W. Grimes else if (count == 6) { 2050c7c34a24SBruce Evans db_printf("\n"); 2051c7c34a24SBruce Evans db_iprintf(" ..."); 2052df8bae1dSRodney W. Grimes count = 0; 2053df8bae1dSRodney W. Grimes } else 2054c7c34a24SBruce Evans db_printf(","); 2055df8bae1dSRodney W. Grimes count++; 2056df8bae1dSRodney W. Grimes 2057e47cd172SMaxime Henrion db_printf("(off=0x%jx,page=0x%jx)", 2058e47cd172SMaxime Henrion (uintmax_t)p->pindex, (uintmax_t)VM_PAGE_TO_PHYS(p)); 2059df8bae1dSRodney W. Grimes } 2060df8bae1dSRodney W. Grimes if (count != 0) 2061c7c34a24SBruce Evans db_printf("\n"); 2062c7c34a24SBruce Evans db_indent -= 2; 2063df8bae1dSRodney W. Grimes } 20645070c7f8SJohn Dyson 2065c7c34a24SBruce Evans /* XXX. */ 2066c7c34a24SBruce Evans #undef count 2067c7c34a24SBruce Evans 2068c7c34a24SBruce Evans /* XXX need this non-static entry for calling from vm_map_print. */ 20695070c7f8SJohn Dyson void 20701b40f8c0SMatthew Dillon vm_object_print( 20711b40f8c0SMatthew Dillon /* db_expr_t */ long addr, 20721b40f8c0SMatthew Dillon boolean_t have_addr, 20731b40f8c0SMatthew Dillon /* db_expr_t */ long count, 20741b40f8c0SMatthew Dillon char *modif) 2075c7c34a24SBruce Evans { 2076c7c34a24SBruce Evans vm_object_print_static(addr, have_addr, count, modif); 2077c7c34a24SBruce Evans } 2078c7c34a24SBruce Evans 2079c7c34a24SBruce Evans DB_SHOW_COMMAND(vmopag, vm_object_print_pages) 20805070c7f8SJohn Dyson { 20815070c7f8SJohn Dyson vm_object_t object; 20825070c7f8SJohn Dyson int nl = 0; 20835070c7f8SJohn Dyson int c; 2084cc64b484SAlfred Perlstein 2085cc64b484SAlfred Perlstein TAILQ_FOREACH(object, &vm_object_list, object_list) { 20865070c7f8SJohn Dyson vm_pindex_t idx, fidx; 20875070c7f8SJohn Dyson vm_pindex_t osize; 2088227f9a1cSJake Burkholder vm_paddr_t pa = -1, padiff; 20895070c7f8SJohn Dyson int rcount; 20905070c7f8SJohn Dyson vm_page_t m; 20915070c7f8SJohn Dyson 2092fc62ef1fSBruce Evans db_printf("new object: %p\n", (void *)object); 20935070c7f8SJohn Dyson if (nl > 18) { 20945070c7f8SJohn Dyson c = cngetc(); 20955070c7f8SJohn Dyson if (c != ' ') 20965070c7f8SJohn Dyson return; 20975070c7f8SJohn Dyson nl = 0; 20985070c7f8SJohn Dyson } 20995070c7f8SJohn Dyson nl++; 21005070c7f8SJohn Dyson rcount = 0; 21015070c7f8SJohn Dyson fidx = 0; 21025070c7f8SJohn Dyson osize = object->size; 21035070c7f8SJohn Dyson if (osize > 128) 21045070c7f8SJohn Dyson osize = 128; 21055070c7f8SJohn Dyson for (idx = 0; idx < osize; idx++) { 21065070c7f8SJohn Dyson m = vm_page_lookup(object, idx); 21075070c7f8SJohn Dyson if (m == NULL) { 21085070c7f8SJohn Dyson if (rcount) { 21093efc015bSPeter Wemm db_printf(" index(%ld)run(%d)pa(0x%lx)\n", 21103efc015bSPeter Wemm (long)fidx, rcount, (long)pa); 21115070c7f8SJohn Dyson if (nl > 18) { 21125070c7f8SJohn Dyson c = cngetc(); 21135070c7f8SJohn Dyson if (c != ' ') 21145070c7f8SJohn Dyson return; 21155070c7f8SJohn Dyson nl = 0; 21165070c7f8SJohn Dyson } 21175070c7f8SJohn Dyson nl++; 21185070c7f8SJohn Dyson rcount = 0; 21195070c7f8SJohn Dyson } 21205070c7f8SJohn Dyson continue; 21215070c7f8SJohn Dyson } 21225070c7f8SJohn Dyson 21235070c7f8SJohn Dyson 21245070c7f8SJohn Dyson if (rcount && 21255070c7f8SJohn Dyson (VM_PAGE_TO_PHYS(m) == pa + rcount * PAGE_SIZE)) { 21265070c7f8SJohn Dyson ++rcount; 21275070c7f8SJohn Dyson continue; 21285070c7f8SJohn Dyson } 21295070c7f8SJohn Dyson if (rcount) { 21305070c7f8SJohn Dyson padiff = pa + rcount * PAGE_SIZE - VM_PAGE_TO_PHYS(m); 21315070c7f8SJohn Dyson padiff >>= PAGE_SHIFT; 21325070c7f8SJohn Dyson padiff &= PQ_L2_MASK; 21335070c7f8SJohn Dyson if (padiff == 0) { 21345070c7f8SJohn Dyson pa = VM_PAGE_TO_PHYS(m) - rcount * PAGE_SIZE; 21355070c7f8SJohn Dyson ++rcount; 21365070c7f8SJohn Dyson continue; 21375070c7f8SJohn Dyson } 21383efc015bSPeter Wemm db_printf(" index(%ld)run(%d)pa(0x%lx)", 21393efc015bSPeter Wemm (long)fidx, rcount, (long)pa); 21403efc015bSPeter Wemm db_printf("pd(%ld)\n", (long)padiff); 21415070c7f8SJohn Dyson if (nl > 18) { 21425070c7f8SJohn Dyson c = cngetc(); 21435070c7f8SJohn Dyson if (c != ' ') 21445070c7f8SJohn Dyson return; 21455070c7f8SJohn Dyson nl = 0; 21465070c7f8SJohn Dyson } 21475070c7f8SJohn Dyson nl++; 21485070c7f8SJohn Dyson } 21495070c7f8SJohn Dyson fidx = idx; 21505070c7f8SJohn Dyson pa = VM_PAGE_TO_PHYS(m); 21515070c7f8SJohn Dyson rcount = 1; 21525070c7f8SJohn Dyson } 21535070c7f8SJohn Dyson if (rcount) { 21543efc015bSPeter Wemm db_printf(" index(%ld)run(%d)pa(0x%lx)\n", 21553efc015bSPeter Wemm (long)fidx, rcount, (long)pa); 21565070c7f8SJohn Dyson if (nl > 18) { 21575070c7f8SJohn Dyson c = cngetc(); 21585070c7f8SJohn Dyson if (c != ' ') 21595070c7f8SJohn Dyson return; 21605070c7f8SJohn Dyson nl = 0; 21615070c7f8SJohn Dyson } 21625070c7f8SJohn Dyson nl++; 21635070c7f8SJohn Dyson } 21645070c7f8SJohn Dyson } 21655070c7f8SJohn Dyson } 2166c3cb3e12SDavid Greenman #endif /* DDB */ 2167