160727d8bSWarner Losh /*- 2df8bae1dSRodney W. Grimes * Copyright (c) 1991, 1993 3df8bae1dSRodney W. Grimes * The Regents of the University of California. All rights reserved. 426f9a767SRodney W. Grimes * Copyright (c) 1994 John S. Dyson 526f9a767SRodney W. Grimes * All rights reserved. 626f9a767SRodney W. Grimes * Copyright (c) 1994 David Greenman 726f9a767SRodney W. Grimes * All rights reserved. 826f9a767SRodney W. Grimes * 9df8bae1dSRodney W. Grimes * 10df8bae1dSRodney W. Grimes * This code is derived from software contributed to Berkeley by 11df8bae1dSRodney W. Grimes * The Mach Operating System project at Carnegie-Mellon University. 12df8bae1dSRodney W. Grimes * 13df8bae1dSRodney W. Grimes * Redistribution and use in source and binary forms, with or without 14df8bae1dSRodney W. Grimes * modification, are permitted provided that the following conditions 15df8bae1dSRodney W. Grimes * are met: 16df8bae1dSRodney W. Grimes * 1. Redistributions of source code must retain the above copyright 17df8bae1dSRodney W. Grimes * notice, this list of conditions and the following disclaimer. 18df8bae1dSRodney W. Grimes * 2. Redistributions in binary form must reproduce the above copyright 19df8bae1dSRodney W. Grimes * notice, this list of conditions and the following disclaimer in the 20df8bae1dSRodney W. Grimes * documentation and/or other materials provided with the distribution. 21df8bae1dSRodney W. Grimes * 3. All advertising materials mentioning features or use of this software 225929bcfaSPhilippe Charnier * must display the following acknowledgement: 23df8bae1dSRodney W. Grimes * This product includes software developed by the University of 24df8bae1dSRodney W. Grimes * California, Berkeley and its contributors. 25df8bae1dSRodney W. Grimes * 4. Neither the name of the University nor the names of its contributors 26df8bae1dSRodney W. Grimes * may be used to endorse or promote products derived from this software 27df8bae1dSRodney W. Grimes * without specific prior written permission. 28df8bae1dSRodney W. Grimes * 29df8bae1dSRodney W. Grimes * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND 30df8bae1dSRodney W. Grimes * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 31df8bae1dSRodney W. Grimes * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 32df8bae1dSRodney W. Grimes * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE 33df8bae1dSRodney W. Grimes * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 34df8bae1dSRodney W. Grimes * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS 35df8bae1dSRodney W. Grimes * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) 36df8bae1dSRodney W. Grimes * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT 37df8bae1dSRodney W. Grimes * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY 38df8bae1dSRodney W. Grimes * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF 39df8bae1dSRodney W. Grimes * SUCH DAMAGE. 40df8bae1dSRodney W. Grimes * 413c4dd356SDavid Greenman * from: @(#)vm_fault.c 8.4 (Berkeley) 1/12/94 42df8bae1dSRodney W. Grimes * 43df8bae1dSRodney W. Grimes * 44df8bae1dSRodney W. Grimes * Copyright (c) 1987, 1990 Carnegie-Mellon University. 45df8bae1dSRodney W. Grimes * All rights reserved. 46df8bae1dSRodney W. Grimes * 47df8bae1dSRodney W. Grimes * Authors: Avadis Tevanian, Jr., Michael Wayne Young 48df8bae1dSRodney W. Grimes * 49df8bae1dSRodney W. Grimes * Permission to use, copy, modify and distribute this software and 50df8bae1dSRodney W. Grimes * its documentation is hereby granted, provided that both the copyright 51df8bae1dSRodney W. Grimes * notice and this permission notice appear in all copies of the 52df8bae1dSRodney W. Grimes * software, derivative works or modified versions, and any portions 53df8bae1dSRodney W. Grimes * thereof, and that both notices appear in supporting documentation. 54df8bae1dSRodney W. Grimes * 55df8bae1dSRodney W. Grimes * CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS "AS IS" 56df8bae1dSRodney W. Grimes * CONDITION. CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND 57df8bae1dSRodney W. Grimes * FOR ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE. 58df8bae1dSRodney W. Grimes * 59df8bae1dSRodney W. Grimes * Carnegie Mellon requests users of this software to return to 60df8bae1dSRodney W. Grimes * 61df8bae1dSRodney W. Grimes * Software Distribution Coordinator or Software.Distribution@CS.CMU.EDU 62df8bae1dSRodney W. Grimes * School of Computer Science 63df8bae1dSRodney W. Grimes * Carnegie Mellon University 64df8bae1dSRodney W. Grimes * Pittsburgh PA 15213-3890 65df8bae1dSRodney W. Grimes * 66df8bae1dSRodney W. Grimes * any improvements or extensions that they make and grant Carnegie the 67df8bae1dSRodney W. Grimes * rights to redistribute these changes. 68df8bae1dSRodney W. Grimes */ 69df8bae1dSRodney W. Grimes 70df8bae1dSRodney W. Grimes /* 71df8bae1dSRodney W. Grimes * Page fault handling module. 72df8bae1dSRodney W. Grimes */ 73874651b1SDavid E. O'Brien 74874651b1SDavid E. O'Brien #include <sys/cdefs.h> 75874651b1SDavid E. O'Brien __FBSDID("$FreeBSD$"); 76874651b1SDavid E. O'Brien 77f8a47341SAlan Cox #include "opt_vm.h" 78f8a47341SAlan Cox 79df8bae1dSRodney W. Grimes #include <sys/param.h> 80df8bae1dSRodney W. Grimes #include <sys/systm.h> 814edf4a58SJohn Baldwin #include <sys/kernel.h> 82fb919e4dSMark Murray #include <sys/lock.h> 83fb919e4dSMark Murray #include <sys/mutex.h> 8426f9a767SRodney W. Grimes #include <sys/proc.h> 8526f9a767SRodney W. Grimes #include <sys/resourcevar.h> 8623955314SAlfred Perlstein #include <sys/sysctl.h> 874edf4a58SJohn Baldwin #include <sys/vmmeter.h> 884edf4a58SJohn Baldwin #include <sys/vnode.h> 89df8bae1dSRodney W. Grimes 90df8bae1dSRodney W. Grimes #include <vm/vm.h> 91efeaf95aSDavid Greenman #include <vm/vm_param.h> 92efeaf95aSDavid Greenman #include <vm/pmap.h> 93efeaf95aSDavid Greenman #include <vm/vm_map.h> 94efeaf95aSDavid Greenman #include <vm/vm_object.h> 95df8bae1dSRodney W. Grimes #include <vm/vm_page.h> 96df8bae1dSRodney W. Grimes #include <vm/vm_pageout.h> 97a83c285cSDavid Greenman #include <vm/vm_kern.h> 9824a1cce3SDavid Greenman #include <vm/vm_pager.h> 99efeaf95aSDavid Greenman #include <vm/vm_extern.h> 100df8bae1dSRodney W. Grimes 101ae51ff11SJeff Roberson #include <sys/mount.h> /* XXX Temporary for VFS_LOCK_GIANT() */ 102ae51ff11SJeff Roberson 103566526a9SAlan Cox #define PFBAK 4 104566526a9SAlan Cox #define PFFOR 4 105566526a9SAlan Cox #define PAGEORDER_SIZE (PFBAK+PFFOR) 106566526a9SAlan Cox 107566526a9SAlan Cox static int prefault_pageorder[] = { 108566526a9SAlan Cox -1 * PAGE_SIZE, 1 * PAGE_SIZE, 109566526a9SAlan Cox -2 * PAGE_SIZE, 2 * PAGE_SIZE, 110566526a9SAlan Cox -3 * PAGE_SIZE, 3 * PAGE_SIZE, 111566526a9SAlan Cox -4 * PAGE_SIZE, 4 * PAGE_SIZE 112566526a9SAlan Cox }; 113566526a9SAlan Cox 11411caded3SAlfred Perlstein static int vm_fault_additional_pages(vm_page_t, int, int, vm_page_t *, int *); 115566526a9SAlan Cox static void vm_fault_prefault(pmap_t, vm_offset_t, vm_map_entry_t); 11626f9a767SRodney W. Grimes 11747221757SJohn Dyson #define VM_FAULT_READ_AHEAD 8 11847221757SJohn Dyson #define VM_FAULT_READ_BEHIND 7 11926f9a767SRodney W. Grimes #define VM_FAULT_READ (VM_FAULT_READ_AHEAD+VM_FAULT_READ_BEHIND+1) 12026f9a767SRodney W. Grimes 1214866e085SJohn Dyson struct faultstate { 1224866e085SJohn Dyson vm_page_t m; 1234866e085SJohn Dyson vm_object_t object; 1244866e085SJohn Dyson vm_pindex_t pindex; 1254866e085SJohn Dyson vm_page_t first_m; 1264866e085SJohn Dyson vm_object_t first_object; 1274866e085SJohn Dyson vm_pindex_t first_pindex; 1284866e085SJohn Dyson vm_map_t map; 1294866e085SJohn Dyson vm_map_entry_t entry; 13025adb370SBrian Feldman int lookup_still_valid; 1314866e085SJohn Dyson struct vnode *vp; 132d2bf64c3SKonstantin Belousov int vfslocked; 1334866e085SJohn Dyson }; 1344866e085SJohn Dyson 13562a59e8fSWarner Losh static inline void 1364866e085SJohn Dyson release_page(struct faultstate *fs) 1374866e085SJohn Dyson { 1380d0be82aSKonstantin Belousov 139e69763a3SDoug Rabson vm_page_wakeup(fs->m); 1402965a453SKip Macy vm_page_lock(fs->m); 14166bdd5d6SAlan Cox vm_page_lock_queues(); 1424866e085SJohn Dyson vm_page_deactivate(fs->m); 1432ad98273SAlan Cox vm_page_unlock_queues(); 1442965a453SKip Macy vm_page_unlock(fs->m); 1454866e085SJohn Dyson fs->m = NULL; 1464866e085SJohn Dyson } 1474866e085SJohn Dyson 14862a59e8fSWarner Losh static inline void 1494866e085SJohn Dyson unlock_map(struct faultstate *fs) 1504866e085SJohn Dyson { 1510d0be82aSKonstantin Belousov 15225adb370SBrian Feldman if (fs->lookup_still_valid) { 1534866e085SJohn Dyson vm_map_lookup_done(fs->map, fs->entry); 15425adb370SBrian Feldman fs->lookup_still_valid = FALSE; 1554866e085SJohn Dyson } 1564866e085SJohn Dyson } 1574866e085SJohn Dyson 1584866e085SJohn Dyson static void 159a51b0840SAlan Cox unlock_and_deallocate(struct faultstate *fs) 1604866e085SJohn Dyson { 161f29ba63eSAlan Cox 1624866e085SJohn Dyson vm_object_pip_wakeup(fs->object); 163b009d5a0SAlan Cox VM_OBJECT_UNLOCK(fs->object); 1644866e085SJohn Dyson if (fs->object != fs->first_object) { 165b009d5a0SAlan Cox VM_OBJECT_LOCK(fs->first_object); 1662965a453SKip Macy vm_page_lock(fs->first_m); 1674866e085SJohn Dyson vm_page_free(fs->first_m); 1682965a453SKip Macy vm_page_unlock(fs->first_m); 1694866e085SJohn Dyson vm_object_pip_wakeup(fs->first_object); 170b009d5a0SAlan Cox VM_OBJECT_UNLOCK(fs->first_object); 1714866e085SJohn Dyson fs->first_m = NULL; 1724866e085SJohn Dyson } 1734866e085SJohn Dyson vm_object_deallocate(fs->first_object); 1744866e085SJohn Dyson unlock_map(fs); 1754866e085SJohn Dyson if (fs->vp != NULL) { 1760cddd8f0SMatthew Dillon vput(fs->vp); 1774866e085SJohn Dyson fs->vp = NULL; 1784866e085SJohn Dyson } 179d2bf64c3SKonstantin Belousov VFS_UNLOCK_GIANT(fs->vfslocked); 180d2bf64c3SKonstantin Belousov fs->vfslocked = 0; 1814866e085SJohn Dyson } 1824866e085SJohn Dyson 183df8bae1dSRodney W. Grimes /* 18440360b1bSMatthew Dillon * TRYPAGER - used by vm_fault to calculate whether the pager for the 18540360b1bSMatthew Dillon * current object *might* contain the page. 18640360b1bSMatthew Dillon * 18740360b1bSMatthew Dillon * default objects are zero-fill, there is no real pager. 18840360b1bSMatthew Dillon */ 18940360b1bSMatthew Dillon #define TRYPAGER (fs.object->type != OBJT_DEFAULT && \ 1902db65ab4SAlan Cox ((fault_flags & VM_FAULT_CHANGE_WIRING) == 0 || wired)) 19140360b1bSMatthew Dillon 19240360b1bSMatthew Dillon /* 193df8bae1dSRodney W. Grimes * vm_fault: 194df8bae1dSRodney W. Grimes * 195956f3135SPhilippe Charnier * Handle a page fault occurring at the given address, 196df8bae1dSRodney W. Grimes * requiring the given permissions, in the map specified. 197df8bae1dSRodney W. Grimes * If successful, the page is inserted into the 198df8bae1dSRodney W. Grimes * associated physical map. 199df8bae1dSRodney W. Grimes * 200df8bae1dSRodney W. Grimes * NOTE: the given address should be truncated to the 201df8bae1dSRodney W. Grimes * proper page address. 202df8bae1dSRodney W. Grimes * 203df8bae1dSRodney W. Grimes * KERN_SUCCESS is returned if the page fault is handled; otherwise, 204df8bae1dSRodney W. Grimes * a standard error specifying why the fault is fatal is returned. 205df8bae1dSRodney W. Grimes * 206df8bae1dSRodney W. Grimes * 207df8bae1dSRodney W. Grimes * The map in question must be referenced, and remains so. 2080cddd8f0SMatthew Dillon * Caller may hold no locks. 209df8bae1dSRodney W. Grimes */ 210df8bae1dSRodney W. Grimes int 21123955314SAlfred Perlstein vm_fault(vm_map_t map, vm_offset_t vaddr, vm_prot_t fault_type, 21223955314SAlfred Perlstein int fault_flags) 21323955314SAlfred Perlstein { 214df8bae1dSRodney W. Grimes vm_prot_t prot; 215ebf75125SAlan Cox int is_first_object_locked, result; 216f623e552SAlan Cox boolean_t growstack, wired; 2172d8acc0fSJohn Dyson int map_generation; 218df8bae1dSRodney W. Grimes vm_object_t next_object; 21926f9a767SRodney W. Grimes vm_page_t marray[VM_FAULT_READ]; 2204866e085SJohn Dyson int hardfault; 2213f1c4c4fSKonstantin Belousov int faultcount, ahead, behind, alloc_req; 2224866e085SJohn Dyson struct faultstate fs; 223d2bf64c3SKonstantin Belousov struct vnode *vp; 224d2bf64c3SKonstantin Belousov int locked, error; 225df8bae1dSRodney W. Grimes 2264866e085SJohn Dyson hardfault = 0; 2276139043bSAlan Cox growstack = TRUE; 22867596082SAttilio Rao PCPU_INC(cnt.v_vm_faults); 229d2bf64c3SKonstantin Belousov fs.vp = NULL; 230d2bf64c3SKonstantin Belousov fs.vfslocked = 0; 231d2bf64c3SKonstantin Belousov faultcount = behind = 0; 232df8bae1dSRodney W. Grimes 233df8bae1dSRodney W. Grimes RetryFault:; 234df8bae1dSRodney W. Grimes 235df8bae1dSRodney W. Grimes /* 2360d94caffSDavid Greenman * Find the backing store object and offset into it to begin the 2370d94caffSDavid Greenman * search. 238df8bae1dSRodney W. Grimes */ 23940360b1bSMatthew Dillon fs.map = map; 24092de35b0SAlan Cox result = vm_map_lookup(&fs.map, vaddr, fault_type, &fs.entry, 24192de35b0SAlan Cox &fs.first_object, &fs.first_pindex, &prot, &wired); 24292de35b0SAlan Cox if (result != KERN_SUCCESS) { 2436139043bSAlan Cox if (growstack && result == KERN_INVALID_ADDRESS && 2442db65ab4SAlan Cox map != kernel_map) { 2456139043bSAlan Cox result = vm_map_growstack(curproc, vaddr); 246a976eb5eSAlan Cox if (result != KERN_SUCCESS) 2476139043bSAlan Cox return (KERN_FAILURE); 2486139043bSAlan Cox growstack = FALSE; 2496139043bSAlan Cox goto RetryFault; 2506139043bSAlan Cox } 25192de35b0SAlan Cox return (result); 25209e0c6ccSJohn Dyson } 25309e0c6ccSJohn Dyson 2544866e085SJohn Dyson map_generation = fs.map->timestamp; 2552d8acc0fSJohn Dyson 2564866e085SJohn Dyson if (fs.entry->eflags & MAP_ENTRY_NOFAULT) { 25747221757SJohn Dyson panic("vm_fault: fault on nofault entry, addr: %lx", 25892c4c4ebSBruce Evans (u_long)vaddr); 2597aaaa4fdSJohn Dyson } 2607aaaa4fdSJohn Dyson 26195e5e988SJohn Dyson /* 26295e5e988SJohn Dyson * Make a reference to this object to prevent its disposal while we 26395e5e988SJohn Dyson * are messing with it. Once we have the reference, the map is free 26495e5e988SJohn Dyson * to be diddled. Since objects reference their shadows (and copies), 26595e5e988SJohn Dyson * they will stay around as well. 266fe8e0238SMatthew Dillon * 267fe8e0238SMatthew Dillon * Bump the paging-in-progress count to prevent size changes (e.g. 268fe8e0238SMatthew Dillon * truncation operations) during I/O. This must be done after 269fe8e0238SMatthew Dillon * obtaining the vnode lock in order to avoid possible deadlocks. 27095e5e988SJohn Dyson */ 271d22bc710SAlan Cox VM_OBJECT_LOCK(fs.first_object); 272a976eb5eSAlan Cox vm_object_reference_locked(fs.first_object); 273d474eaaaSDoug Rabson vm_object_pip_add(fs.first_object, 1); 27495e5e988SJohn Dyson 27525adb370SBrian Feldman fs.lookup_still_valid = TRUE; 276df8bae1dSRodney W. Grimes 277df8bae1dSRodney W. Grimes if (wired) 278d8778512SAlan Cox fault_type = prot | (fault_type & VM_PROT_COPY); 279df8bae1dSRodney W. Grimes 2804866e085SJohn Dyson fs.first_m = NULL; 281df8bae1dSRodney W. Grimes 282df8bae1dSRodney W. Grimes /* 283df8bae1dSRodney W. Grimes * Search for the page at object/offset. 284df8bae1dSRodney W. Grimes */ 2854866e085SJohn Dyson fs.object = fs.first_object; 2864866e085SJohn Dyson fs.pindex = fs.first_pindex; 287df8bae1dSRodney W. Grimes while (TRUE) { 2881c7c3c6aSMatthew Dillon /* 2891c7c3c6aSMatthew Dillon * If the object is dead, we stop here 2901c7c3c6aSMatthew Dillon */ 2914866e085SJohn Dyson if (fs.object->flags & OBJ_DEAD) { 2924866e085SJohn Dyson unlock_and_deallocate(&fs); 29347221757SJohn Dyson return (KERN_PROTECTION_FAILURE); 29447221757SJohn Dyson } 29547221757SJohn Dyson 2961c7c3c6aSMatthew Dillon /* 2971c7c3c6aSMatthew Dillon * See if page is resident 2981c7c3c6aSMatthew Dillon */ 2994866e085SJohn Dyson fs.m = vm_page_lookup(fs.object, fs.pindex); 3004866e085SJohn Dyson if (fs.m != NULL) { 30198cb733cSKenneth D. Merry /* 3029b80d344SKenneth D. Merry * check for page-based copy on write. 3039b80d344SKenneth D. Merry * We check fs.object == fs.first_object so 3049b80d344SKenneth D. Merry * as to ensure the legacy COW mechanism is 3059b80d344SKenneth D. Merry * used when the page in question is part of 3069b80d344SKenneth D. Merry * a shadow object. Otherwise, vm_page_cowfault() 3079b80d344SKenneth D. Merry * removes the page from the backing object, 3089b80d344SKenneth D. Merry * which is not what we want. 30998cb733cSKenneth D. Merry */ 3102965a453SKip Macy vm_page_lock(fs.m); 311f4ecdf05SAlan Cox vm_page_lock_queues(); 31298cb733cSKenneth D. Merry if ((fs.m->cow) && 3139b80d344SKenneth D. Merry (fault_type & VM_PROT_WRITE) && 3149b80d344SKenneth D. Merry (fs.object == fs.first_object)) { 31598cb733cSKenneth D. Merry vm_page_cowfault(fs.m); 316d18e8afeSAlan Cox unlock_and_deallocate(&fs); 31798cb733cSKenneth D. Merry goto RetryFault; 31898cb733cSKenneth D. Merry } 31998cb733cSKenneth D. Merry 320df8bae1dSRodney W. Grimes /* 3211c7c3c6aSMatthew Dillon * Wait/Retry if the page is busy. We have to do this 3229af80719SAlan Cox * if the page is busy via either VPO_BUSY or 3231c7c3c6aSMatthew Dillon * vm_page_t->busy because the vm_pager may be using 3241c7c3c6aSMatthew Dillon * vm_page_t->busy for pageouts ( and even pageins if 3251c7c3c6aSMatthew Dillon * it is the vnode pager ), and we could end up trying 326956f3135SPhilippe Charnier * to pagein and pageout the same page simultaneously. 3271c7c3c6aSMatthew Dillon * 3281c7c3c6aSMatthew Dillon * We can theoretically allow the busy case on a read 3291c7c3c6aSMatthew Dillon * fault if the page is marked valid, but since such 3301c7c3c6aSMatthew Dillon * pages are typically already pmap'd, putting that 3311c7c3c6aSMatthew Dillon * special case in might be more effort then it is 3321c7c3c6aSMatthew Dillon * worth. We cannot under any circumstances mess 3331c7c3c6aSMatthew Dillon * around with a vm_page_t->busy page except, perhaps, 3341c7c3c6aSMatthew Dillon * to pmap it. 335df8bae1dSRodney W. Grimes */ 3369af80719SAlan Cox if ((fs.m->oflags & VPO_BUSY) || fs.m->busy) { 337b88b6c9dSAlan Cox /* 338b88b6c9dSAlan Cox * Reference the page before unlocking and 339b88b6c9dSAlan Cox * sleeping so that the page daemon is less 340b88b6c9dSAlan Cox * likely to reclaim it. 341b88b6c9dSAlan Cox */ 342b88b6c9dSAlan Cox vm_page_flag_set(fs.m, PG_REFERENCED); 3434abd55b2SAlan Cox vm_page_unlock_queues(); 3442965a453SKip Macy vm_page_unlock(fs.m); 345a51b0840SAlan Cox VM_OBJECT_UNLOCK(fs.object); 346a51b0840SAlan Cox if (fs.object != fs.first_object) { 347a51b0840SAlan Cox VM_OBJECT_LOCK(fs.first_object); 3482965a453SKip Macy vm_page_lock(fs.first_m); 349a51b0840SAlan Cox vm_page_free(fs.first_m); 3502965a453SKip Macy vm_page_unlock(fs.first_m); 351a51b0840SAlan Cox vm_object_pip_wakeup(fs.first_object); 352a51b0840SAlan Cox VM_OBJECT_UNLOCK(fs.first_object); 353a51b0840SAlan Cox fs.first_m = NULL; 354a51b0840SAlan Cox } 355a51b0840SAlan Cox unlock_map(&fs); 356a51b0840SAlan Cox VM_OBJECT_LOCK(fs.object); 357a51b0840SAlan Cox if (fs.m == vm_page_lookup(fs.object, 358a51b0840SAlan Cox fs.pindex)) { 359e7e56b28SAlan Cox vm_page_sleep_if_busy(fs.m, TRUE, 360e7e56b28SAlan Cox "vmpfw"); 361a51b0840SAlan Cox } 362a51b0840SAlan Cox vm_object_pip_wakeup(fs.object); 363a51b0840SAlan Cox VM_OBJECT_UNLOCK(fs.object); 36467596082SAttilio Rao PCPU_INC(cnt.v_intrans); 3654866e085SJohn Dyson vm_object_deallocate(fs.first_object); 366df8bae1dSRodney W. Grimes goto RetryFault; 367df8bae1dSRodney W. Grimes } 3687bfda801SAlan Cox vm_pageq_remove(fs.m); 369768131d2SAlan Cox vm_page_unlock_queues(); 3702965a453SKip Macy vm_page_unlock(fs.m); 3717615edaaSMatthew Dillon 3721c7c3c6aSMatthew Dillon /* 3731c7c3c6aSMatthew Dillon * Mark page busy for other processes, and the 3741c7c3c6aSMatthew Dillon * pagedaemon. If it still isn't completely valid 3751c7c3c6aSMatthew Dillon * (readable), jump to readrest, else break-out ( we 3761c7c3c6aSMatthew Dillon * found the page ). 3771c7c3c6aSMatthew Dillon */ 378e69763a3SDoug Rabson vm_page_busy(fs.m); 3790a2e596aSAlan Cox if (fs.m->valid != VM_PAGE_BITS_ALL && 3804866e085SJohn Dyson fs.m->object != kernel_object && fs.m->object != kmem_object) { 3810d94caffSDavid Greenman goto readrest; 3820d94caffSDavid Greenman } 383ffc82b0aSJohn Dyson 384df8bae1dSRodney W. Grimes break; 385df8bae1dSRodney W. Grimes } 3861c7c3c6aSMatthew Dillon 3871c7c3c6aSMatthew Dillon /* 38840360b1bSMatthew Dillon * Page is not resident, If this is the search termination 38940360b1bSMatthew Dillon * or the pager might contain the page, allocate a new page. 3901c7c3c6aSMatthew Dillon */ 39140360b1bSMatthew Dillon if (TRYPAGER || fs.object == fs.first_object) { 3924866e085SJohn Dyson if (fs.pindex >= fs.object->size) { 3934866e085SJohn Dyson unlock_and_deallocate(&fs); 3945f55e841SDavid Greenman return (KERN_PROTECTION_FAILURE); 3955f55e841SDavid Greenman } 39622ba64e8SJohn Dyson 397df8bae1dSRodney W. Grimes /* 3980d94caffSDavid Greenman * Allocate a new page for this object/offset pair. 3993f1c4c4fSKonstantin Belousov * 4003f1c4c4fSKonstantin Belousov * Unlocked read of the p_flag is harmless. At 4013f1c4c4fSKonstantin Belousov * worst, the P_KILLED might be not observed 4023f1c4c4fSKonstantin Belousov * there, and allocation can fail, causing 4033f1c4c4fSKonstantin Belousov * restart and new reading of the p_flag. 404df8bae1dSRodney W. Grimes */ 40540360b1bSMatthew Dillon fs.m = NULL; 4063f1c4c4fSKonstantin Belousov if (!vm_page_count_severe() || P_KILLED(curproc)) { 407f8a47341SAlan Cox #if VM_NRESERVLEVEL > 0 408f8a47341SAlan Cox if ((fs.object->flags & OBJ_COLORED) == 0) { 409f8a47341SAlan Cox fs.object->flags |= OBJ_COLORED; 410f8a47341SAlan Cox fs.object->pg_color = atop(vaddr) - 411f8a47341SAlan Cox fs.pindex; 412f8a47341SAlan Cox } 413f8a47341SAlan Cox #endif 4143f1c4c4fSKonstantin Belousov alloc_req = P_KILLED(curproc) ? 4153f1c4c4fSKonstantin Belousov VM_ALLOC_SYSTEM : VM_ALLOC_NORMAL; 4163f1c4c4fSKonstantin Belousov if (fs.object->type != OBJT_VNODE && 4173f1c4c4fSKonstantin Belousov fs.object->backing_object == NULL) 4183f1c4c4fSKonstantin Belousov alloc_req |= VM_ALLOC_ZERO; 4194866e085SJohn Dyson fs.m = vm_page_alloc(fs.object, fs.pindex, 4203f1c4c4fSKonstantin Belousov alloc_req); 42140360b1bSMatthew Dillon } 4224866e085SJohn Dyson if (fs.m == NULL) { 4234866e085SJohn Dyson unlock_and_deallocate(&fs); 424ef6020d1SMike Silbersack VM_WAITPFAULT; 425df8bae1dSRodney W. Grimes goto RetryFault; 4260a2e596aSAlan Cox } else if (fs.m->valid == VM_PAGE_BITS_ALL) 4274ab8ab92SKonstantin Belousov break; 428df8bae1dSRodney W. Grimes } 42947221757SJohn Dyson 4300d94caffSDavid Greenman readrest: 4311c7c3c6aSMatthew Dillon /* 43240360b1bSMatthew Dillon * We have found a valid page or we have allocated a new page. 43340360b1bSMatthew Dillon * The page thus may not be valid or may not be entirely 43440360b1bSMatthew Dillon * valid. 43540360b1bSMatthew Dillon * 43640360b1bSMatthew Dillon * Attempt to fault-in the page if there is a chance that the 43740360b1bSMatthew Dillon * pager has it, and potentially fault in additional pages 43840360b1bSMatthew Dillon * at the same time. 4391c7c3c6aSMatthew Dillon */ 44040360b1bSMatthew Dillon if (TRYPAGER) { 441df8bae1dSRodney W. Grimes int rv; 4429dae7290SMatt Jacob int reqpage = 0; 4437f866e4bSAlan Cox u_char behavior = vm_map_entry_behavior(fs.entry); 444867a482dSJohn Dyson 4453f1c4c4fSKonstantin Belousov if (behavior == MAP_ENTRY_BEHAV_RANDOM || 4463f1c4c4fSKonstantin Belousov P_KILLED(curproc)) { 447867a482dSJohn Dyson ahead = 0; 448867a482dSJohn Dyson behind = 0; 4492d8acc0fSJohn Dyson } else { 4504866e085SJohn Dyson behind = (vaddr - fs.entry->start) >> PAGE_SHIFT; 4512d8acc0fSJohn Dyson if (behind > VM_FAULT_READ_BEHIND) 4522d8acc0fSJohn Dyson behind = VM_FAULT_READ_BEHIND; 4532d8acc0fSJohn Dyson 4544866e085SJohn Dyson ahead = ((fs.entry->end - vaddr) >> PAGE_SHIFT) - 1; 4552d8acc0fSJohn Dyson if (ahead > VM_FAULT_READ_AHEAD) 4562d8acc0fSJohn Dyson ahead = VM_FAULT_READ_AHEAD; 457867a482dSJohn Dyson } 4588d8b9c6eSAlan Cox is_first_object_locked = FALSE; 4598d8b9c6eSAlan Cox if ((behavior == MAP_ENTRY_BEHAV_SEQUENTIAL || 46040360b1bSMatthew Dillon (behavior != MAP_ENTRY_BEHAV_RANDOM && 46140360b1bSMatthew Dillon fs.pindex >= fs.entry->lastr && 4628d8b9c6eSAlan Cox fs.pindex < fs.entry->lastr + VM_FAULT_READ)) && 4638d8b9c6eSAlan Cox (fs.first_object == fs.object || 4648d8b9c6eSAlan Cox (is_first_object_locked = VM_OBJECT_TRYLOCK(fs.first_object))) && 465ec96dca7SAlan Cox fs.first_object->type != OBJT_DEVICE && 46601381811SJohn Baldwin fs.first_object->type != OBJT_PHYS && 46701381811SJohn Baldwin fs.first_object->type != OBJT_SG) { 468867a482dSJohn Dyson vm_pindex_t firstpindex, tmppindex; 46940360b1bSMatthew Dillon 47040360b1bSMatthew Dillon if (fs.first_pindex < 2 * VM_FAULT_READ) 471867a482dSJohn Dyson firstpindex = 0; 472867a482dSJohn Dyson else 47340360b1bSMatthew Dillon firstpindex = fs.first_pindex - 2 * VM_FAULT_READ; 474867a482dSJohn Dyson 4754221e284SAlan Cox /* 4764221e284SAlan Cox * note: partially valid pages cannot be 4774221e284SAlan Cox * included in the lookahead - NFS piecemeal 4784221e284SAlan Cox * writes will barf on it badly. 4794221e284SAlan Cox */ 4804866e085SJohn Dyson for (tmppindex = fs.first_pindex - 1; 4812100d645SPeter Wemm tmppindex >= firstpindex; 482867a482dSJohn Dyson --tmppindex) { 483867a482dSJohn Dyson vm_page_t mt; 484a1287949SEivind Eklund 4854866e085SJohn Dyson mt = vm_page_lookup(fs.first_object, tmppindex); 486867a482dSJohn Dyson if (mt == NULL || (mt->valid != VM_PAGE_BITS_ALL)) 487867a482dSJohn Dyson break; 488ff97964aSJohn Dyson if (mt->busy || 489c722e407SAlan Cox (mt->oflags & VPO_BUSY)) 490c722e407SAlan Cox continue; 4912965a453SKip Macy vm_page_lock(mt); 4922965a453SKip Macy vm_page_lock_queues(); 493c722e407SAlan Cox if (mt->hold_count || 4942965a453SKip Macy mt->wire_count) { 495f623e552SAlan Cox vm_page_unlock_queues(); 4962965a453SKip Macy vm_page_unlock(mt); 497867a482dSJohn Dyson continue; 4982965a453SKip Macy } 4994fec79beSAlan Cox pmap_remove_all(mt); 500c6d9ef2eSAlan Cox if (mt->dirty) { 501867a482dSJohn Dyson vm_page_deactivate(mt); 502867a482dSJohn Dyson } else { 503867a482dSJohn Dyson vm_page_cache(mt); 504867a482dSJohn Dyson } 505f623e552SAlan Cox vm_page_unlock_queues(); 5062965a453SKip Macy vm_page_unlock(mt); 507867a482dSJohn Dyson } 508867a482dSJohn Dyson ahead += behind; 509867a482dSJohn Dyson behind = 0; 510867a482dSJohn Dyson } 5118d8b9c6eSAlan Cox if (is_first_object_locked) 5128d8b9c6eSAlan Cox VM_OBJECT_UNLOCK(fs.first_object); 513d2bf64c3SKonstantin Belousov 514d2bf64c3SKonstantin Belousov /* 515d2bf64c3SKonstantin Belousov * Call the pager to retrieve the data, if any, after 516d2bf64c3SKonstantin Belousov * releasing the lock on the map. We hold a ref on 517d2bf64c3SKonstantin Belousov * fs.object and the pages are VPO_BUSY'd. 518d2bf64c3SKonstantin Belousov */ 519d2bf64c3SKonstantin Belousov unlock_map(&fs); 520d2bf64c3SKonstantin Belousov 521d2bf64c3SKonstantin Belousov vnode_lock: 522d2bf64c3SKonstantin Belousov if (fs.object->type == OBJT_VNODE) { 523d2bf64c3SKonstantin Belousov vp = fs.object->handle; 524d2bf64c3SKonstantin Belousov if (vp == fs.vp) 525d2bf64c3SKonstantin Belousov goto vnode_locked; 526d2bf64c3SKonstantin Belousov else if (fs.vp != NULL) { 527d2bf64c3SKonstantin Belousov vput(fs.vp); 528d2bf64c3SKonstantin Belousov fs.vp = NULL; 529d2bf64c3SKonstantin Belousov } 530d2bf64c3SKonstantin Belousov locked = VOP_ISLOCKED(vp); 531d2bf64c3SKonstantin Belousov 532d2bf64c3SKonstantin Belousov if (VFS_NEEDSGIANT(vp->v_mount) && !fs.vfslocked) { 533d2bf64c3SKonstantin Belousov fs.vfslocked = 1; 534d2bf64c3SKonstantin Belousov if (!mtx_trylock(&Giant)) { 535d2bf64c3SKonstantin Belousov VM_OBJECT_UNLOCK(fs.object); 536d2bf64c3SKonstantin Belousov mtx_lock(&Giant); 537d2bf64c3SKonstantin Belousov VM_OBJECT_LOCK(fs.object); 538d2bf64c3SKonstantin Belousov goto vnode_lock; 539d2bf64c3SKonstantin Belousov } 540d2bf64c3SKonstantin Belousov } 541d2bf64c3SKonstantin Belousov if (locked != LK_EXCLUSIVE) 542d2bf64c3SKonstantin Belousov locked = LK_SHARED; 543d2bf64c3SKonstantin Belousov /* Do not sleep for vnode lock while fs.m is busy */ 544d2bf64c3SKonstantin Belousov error = vget(vp, locked | LK_CANRECURSE | 545d2bf64c3SKonstantin Belousov LK_NOWAIT, curthread); 546d2bf64c3SKonstantin Belousov if (error != 0) { 547d2bf64c3SKonstantin Belousov int vfslocked; 548d2bf64c3SKonstantin Belousov 549d2bf64c3SKonstantin Belousov vfslocked = fs.vfslocked; 550d2bf64c3SKonstantin Belousov fs.vfslocked = 0; /* Keep Giant */ 551d2bf64c3SKonstantin Belousov vhold(vp); 552d2bf64c3SKonstantin Belousov release_page(&fs); 553d2bf64c3SKonstantin Belousov unlock_and_deallocate(&fs); 554d2bf64c3SKonstantin Belousov error = vget(vp, locked | LK_RETRY | 555d2bf64c3SKonstantin Belousov LK_CANRECURSE, curthread); 556d2bf64c3SKonstantin Belousov vdrop(vp); 557d2bf64c3SKonstantin Belousov fs.vp = vp; 558d2bf64c3SKonstantin Belousov fs.vfslocked = vfslocked; 559d2bf64c3SKonstantin Belousov KASSERT(error == 0, 560d2bf64c3SKonstantin Belousov ("vm_fault: vget failed")); 561d2bf64c3SKonstantin Belousov goto RetryFault; 562d2bf64c3SKonstantin Belousov } 563d2bf64c3SKonstantin Belousov fs.vp = vp; 564d2bf64c3SKonstantin Belousov } 565d2bf64c3SKonstantin Belousov vnode_locked: 566d2bf64c3SKonstantin Belousov KASSERT(fs.vp == NULL || !fs.map->system_map, 567d2bf64c3SKonstantin Belousov ("vm_fault: vnode-backed object mapped by system map")); 568d2bf64c3SKonstantin Belousov 569df8bae1dSRodney W. Grimes /* 5700d94caffSDavid Greenman * now we find out if any other pages should be paged 5710d94caffSDavid Greenman * in at this time this routine checks to see if the 5720d94caffSDavid Greenman * pages surrounding this fault reside in the same 5730d94caffSDavid Greenman * object as the page for this fault. If they do, 5740d94caffSDavid Greenman * then they are faulted in also into the object. The 5750d94caffSDavid Greenman * array "marray" returned contains an array of 5760d94caffSDavid Greenman * vm_page_t structs where one of them is the 5770d94caffSDavid Greenman * vm_page_t passed to the routine. The reqpage 5780d94caffSDavid Greenman * return value is the index into the marray for the 5790d94caffSDavid Greenman * vm_page_t passed to the routine. 5801c7c3c6aSMatthew Dillon * 5819af80719SAlan Cox * fs.m plus the additional pages are VPO_BUSY'd. 58226f9a767SRodney W. Grimes */ 58305f0fdd2SPoul-Henning Kamp faultcount = vm_fault_additional_pages( 5844866e085SJohn Dyson fs.m, behind, ahead, marray, &reqpage); 585df8bae1dSRodney W. Grimes 58626f9a767SRodney W. Grimes rv = faultcount ? 5874866e085SJohn Dyson vm_pager_get_pages(fs.object, marray, faultcount, 58824a1cce3SDavid Greenman reqpage) : VM_PAGER_FAIL; 58922ba64e8SJohn Dyson 59026f9a767SRodney W. Grimes if (rv == VM_PAGER_OK) { 591df8bae1dSRodney W. Grimes /* 592f230c45cSJohn Dyson * Found the page. Leave it busy while we play 593f230c45cSJohn Dyson * with it. 594f230c45cSJohn Dyson */ 595f230c45cSJohn Dyson 596f230c45cSJohn Dyson /* 5970d94caffSDavid Greenman * Relookup in case pager changed page. Pager 5980d94caffSDavid Greenman * is responsible for disposition of old page 5990d94caffSDavid Greenman * if moved. 600df8bae1dSRodney W. Grimes */ 6014866e085SJohn Dyson fs.m = vm_page_lookup(fs.object, fs.pindex); 6024866e085SJohn Dyson if (!fs.m) { 6034866e085SJohn Dyson unlock_and_deallocate(&fs); 604f6b04d2bSDavid Greenman goto RetryFault; 605f6b04d2bSDavid Greenman } 606f6b04d2bSDavid Greenman 60726f9a767SRodney W. Grimes hardfault++; 6081c7c3c6aSMatthew Dillon break; /* break to PAGE HAS BEEN FOUND */ 609df8bae1dSRodney W. Grimes } 610df8bae1dSRodney W. Grimes /* 6110d94caffSDavid Greenman * Remove the bogus page (which does not exist at this 6120d94caffSDavid Greenman * object/offset); before doing so, we must get back 6130d94caffSDavid Greenman * our object lock to preserve our invariant. 614df8bae1dSRodney W. Grimes * 61524a1cce3SDavid Greenman * Also wake up any other process that may want to bring 6160d94caffSDavid Greenman * in this page. 617df8bae1dSRodney W. Grimes * 6180d94caffSDavid Greenman * If this is the top-level object, we must leave the 61924a1cce3SDavid Greenman * busy page to prevent another process from rushing 6200d94caffSDavid Greenman * past us, and inserting the page in that object at 6210d94caffSDavid Greenman * the same time that we are. 622df8bae1dSRodney W. Grimes */ 623a83c285cSDavid Greenman if (rv == VM_PAGER_ERROR) 624f3679e35SDavid Greenman printf("vm_fault: pager read error, pid %d (%s)\n", 625f3679e35SDavid Greenman curproc->p_pid, curproc->p_comm); 62626f9a767SRodney W. Grimes /* 627a83c285cSDavid Greenman * Data outside the range of the pager or an I/O error 62826f9a767SRodney W. Grimes */ 629a83c285cSDavid Greenman /* 6300d94caffSDavid Greenman * XXX - the check for kernel_map is a kludge to work 6310d94caffSDavid Greenman * around having the machine panic on a kernel space 6320d94caffSDavid Greenman * fault w/ I/O error. 633a83c285cSDavid Greenman */ 6344866e085SJohn Dyson if (((fs.map != kernel_map) && (rv == VM_PAGER_ERROR)) || 63547221757SJohn Dyson (rv == VM_PAGER_BAD)) { 6362965a453SKip Macy vm_page_lock(fs.m); 6374866e085SJohn Dyson vm_page_free(fs.m); 6382965a453SKip Macy vm_page_unlock(fs.m); 6394866e085SJohn Dyson fs.m = NULL; 6404866e085SJohn Dyson unlock_and_deallocate(&fs); 641a83c285cSDavid Greenman return ((rv == VM_PAGER_ERROR) ? KERN_FAILURE : KERN_PROTECTION_FAILURE); 64226f9a767SRodney W. Grimes } 6434866e085SJohn Dyson if (fs.object != fs.first_object) { 6442965a453SKip Macy vm_page_lock(fs.m); 6454866e085SJohn Dyson vm_page_free(fs.m); 6462965a453SKip Macy vm_page_unlock(fs.m); 6474866e085SJohn Dyson fs.m = NULL; 64826f9a767SRodney W. Grimes /* 64926f9a767SRodney W. Grimes * XXX - we cannot just fall out at this 65026f9a767SRodney W. Grimes * point, m has been freed and is invalid! 65126f9a767SRodney W. Grimes */ 652df8bae1dSRodney W. Grimes } 653df8bae1dSRodney W. Grimes } 65440360b1bSMatthew Dillon 655df8bae1dSRodney W. Grimes /* 6561c7c3c6aSMatthew Dillon * We get here if the object has default pager (or unwiring) 6571c7c3c6aSMatthew Dillon * or the pager doesn't have the page. 658df8bae1dSRodney W. Grimes */ 6594866e085SJohn Dyson if (fs.object == fs.first_object) 6604866e085SJohn Dyson fs.first_m = fs.m; 661df8bae1dSRodney W. Grimes 662df8bae1dSRodney W. Grimes /* 6630d94caffSDavid Greenman * Move on to the next object. Lock the next object before 6640d94caffSDavid Greenman * unlocking the current one. 665df8bae1dSRodney W. Grimes */ 6664866e085SJohn Dyson fs.pindex += OFF_TO_IDX(fs.object->backing_object_offset); 6674866e085SJohn Dyson next_object = fs.object->backing_object; 668df8bae1dSRodney W. Grimes if (next_object == NULL) { 669df8bae1dSRodney W. Grimes /* 6700d94caffSDavid Greenman * If there's no object left, fill the page in the top 6710d94caffSDavid Greenman * object with zeros. 672df8bae1dSRodney W. Grimes */ 6734866e085SJohn Dyson if (fs.object != fs.first_object) { 6744866e085SJohn Dyson vm_object_pip_wakeup(fs.object); 675b009d5a0SAlan Cox VM_OBJECT_UNLOCK(fs.object); 676df8bae1dSRodney W. Grimes 6774866e085SJohn Dyson fs.object = fs.first_object; 6784866e085SJohn Dyson fs.pindex = fs.first_pindex; 6794866e085SJohn Dyson fs.m = fs.first_m; 680f29ba63eSAlan Cox VM_OBJECT_LOCK(fs.object); 681df8bae1dSRodney W. Grimes } 6824866e085SJohn Dyson fs.first_m = NULL; 683df8bae1dSRodney W. Grimes 6844221e284SAlan Cox /* 6854221e284SAlan Cox * Zero the page if necessary and mark it valid. 6864221e284SAlan Cox */ 6874866e085SJohn Dyson if ((fs.m->flags & PG_ZERO) == 0) { 688fff6062aSAlan Cox pmap_zero_page(fs.m); 6894221e284SAlan Cox } else { 69067596082SAttilio Rao PCPU_INC(cnt.v_ozfod); 6914221e284SAlan Cox } 69267596082SAttilio Rao PCPU_INC(cnt.v_zfod); 6934221e284SAlan Cox fs.m->valid = VM_PAGE_BITS_ALL; 6941c7c3c6aSMatthew Dillon break; /* break to PAGE HAS BEEN FOUND */ 6950d94caffSDavid Greenman } else { 696c8567c3aSAlan Cox KASSERT(fs.object != next_object, 697c8567c3aSAlan Cox ("object loop %p", next_object)); 698c8567c3aSAlan Cox VM_OBJECT_LOCK(next_object); 699c8567c3aSAlan Cox vm_object_pip_add(next_object, 1); 700c8567c3aSAlan Cox if (fs.object != fs.first_object) 7014866e085SJohn Dyson vm_object_pip_wakeup(fs.object); 702b009d5a0SAlan Cox VM_OBJECT_UNLOCK(fs.object); 7034866e085SJohn Dyson fs.object = next_object; 704df8bae1dSRodney W. Grimes } 705df8bae1dSRodney W. Grimes } 7061c7c3c6aSMatthew Dillon 7079af80719SAlan Cox KASSERT((fs.m->oflags & VPO_BUSY) != 0, 7085526d2d9SEivind Eklund ("vm_fault: not busy after main loop")); 709df8bae1dSRodney W. Grimes 710df8bae1dSRodney W. Grimes /* 7110d94caffSDavid Greenman * PAGE HAS BEEN FOUND. [Loop invariant still holds -- the object lock 712df8bae1dSRodney W. Grimes * is held.] 713df8bae1dSRodney W. Grimes */ 714df8bae1dSRodney W. Grimes 715df8bae1dSRodney W. Grimes /* 7160d94caffSDavid Greenman * If the page is being written, but isn't already owned by the 7170d94caffSDavid Greenman * top-level object, we have to copy it into a new page owned by the 7180d94caffSDavid Greenman * top-level object. 719df8bae1dSRodney W. Grimes */ 7204866e085SJohn Dyson if (fs.object != fs.first_object) { 721df8bae1dSRodney W. Grimes /* 7220d94caffSDavid Greenman * We only really need to copy if we want to write it. 723df8bae1dSRodney W. Grimes */ 724a6d42a0dSAlan Cox if ((fault_type & (VM_PROT_COPY | VM_PROT_WRITE)) != 0) { 725df8bae1dSRodney W. Grimes /* 7261c7c3c6aSMatthew Dillon * This allows pages to be virtually copied from a 7271c7c3c6aSMatthew Dillon * backing_object into the first_object, where the 7281c7c3c6aSMatthew Dillon * backing object has no other refs to it, and cannot 7291c7c3c6aSMatthew Dillon * gain any more refs. Instead of a bcopy, we just 7301c7c3c6aSMatthew Dillon * move the page from the backing object to the 7311c7c3c6aSMatthew Dillon * first object. Note that we must mark the page 7321c7c3c6aSMatthew Dillon * dirty in the first object so that it will go out 7331c7c3c6aSMatthew Dillon * to swap when needed. 734df8bae1dSRodney W. Grimes */ 735ebf75125SAlan Cox is_first_object_locked = FALSE; 736e50346b5SAlan Cox if ( 737de5f6a77SJohn Dyson /* 738de5f6a77SJohn Dyson * Only one shadow object 739de5f6a77SJohn Dyson */ 7404866e085SJohn Dyson (fs.object->shadow_count == 1) && 741de5f6a77SJohn Dyson /* 742de5f6a77SJohn Dyson * No COW refs, except us 743de5f6a77SJohn Dyson */ 7444866e085SJohn Dyson (fs.object->ref_count == 1) && 745de5f6a77SJohn Dyson /* 7465929bcfaSPhilippe Charnier * No one else can look this object up 747de5f6a77SJohn Dyson */ 7484866e085SJohn Dyson (fs.object->handle == NULL) && 749de5f6a77SJohn Dyson /* 750de5f6a77SJohn Dyson * No other ways to look the object up 751de5f6a77SJohn Dyson */ 7524866e085SJohn Dyson ((fs.object->type == OBJT_DEFAULT) || 7534866e085SJohn Dyson (fs.object->type == OBJT_SWAP)) && 754ebf75125SAlan Cox (is_first_object_locked = VM_OBJECT_TRYLOCK(fs.first_object)) && 755de5f6a77SJohn Dyson /* 756de5f6a77SJohn Dyson * We don't chase down the shadow chain 757de5f6a77SJohn Dyson */ 758e50346b5SAlan Cox fs.object == fs.first_object->backing_object) { 7592d8acc0fSJohn Dyson /* 760de5f6a77SJohn Dyson * get rid of the unnecessary page 761df8bae1dSRodney W. Grimes */ 762*eb00b276SAlan Cox vm_page_lock(fs.first_m); 7634866e085SJohn Dyson vm_page_free(fs.first_m); 7642965a453SKip Macy vm_page_unlock(fs.first_m); 765de5f6a77SJohn Dyson /* 7661c7c3c6aSMatthew Dillon * grab the page and put it into the 7671c7c3c6aSMatthew Dillon * process'es object. The page is 7681c7c3c6aSMatthew Dillon * automatically made dirty. 769de5f6a77SJohn Dyson */ 7702965a453SKip Macy vm_page_lock(fs.m); 7714866e085SJohn Dyson vm_page_rename(fs.m, fs.first_object, fs.first_pindex); 7722965a453SKip Macy vm_page_unlock(fs.m); 773768131d2SAlan Cox vm_page_busy(fs.m); 774d98ddc46SAlan Cox fs.first_m = fs.m; 7754866e085SJohn Dyson fs.m = NULL; 77667596082SAttilio Rao PCPU_INC(cnt.v_cow_optim); 777de5f6a77SJohn Dyson } else { 778de5f6a77SJohn Dyson /* 779de5f6a77SJohn Dyson * Oh, well, lets copy it. 780de5f6a77SJohn Dyson */ 781669890eaSAlan Cox pmap_copy_page(fs.m, fs.first_m); 782669890eaSAlan Cox fs.first_m->valid = VM_PAGE_BITS_ALL; 783d8778512SAlan Cox if (wired && (fault_flags & 784d8778512SAlan Cox VM_FAULT_CHANGE_WIRING) == 0) { 7852965a453SKip Macy vm_page_lock(fs.first_m); 786d8778512SAlan Cox vm_page_wire(fs.first_m); 7872965a453SKip Macy vm_page_unlock(fs.first_m); 7882965a453SKip Macy 7892965a453SKip Macy vm_page_lock(fs.m); 790d8778512SAlan Cox vm_page_unwire(fs.m, FALSE); 7912965a453SKip Macy vm_page_unlock(fs.m); 792de5f6a77SJohn Dyson } 793df8bae1dSRodney W. Grimes /* 794df8bae1dSRodney W. Grimes * We no longer need the old page or object. 795df8bae1dSRodney W. Grimes */ 7964866e085SJohn Dyson release_page(&fs); 797de5f6a77SJohn Dyson } 7981c7c3c6aSMatthew Dillon /* 7991c7c3c6aSMatthew Dillon * fs.object != fs.first_object due to above 8001c7c3c6aSMatthew Dillon * conditional 8011c7c3c6aSMatthew Dillon */ 8024866e085SJohn Dyson vm_object_pip_wakeup(fs.object); 803b009d5a0SAlan Cox VM_OBJECT_UNLOCK(fs.object); 804df8bae1dSRodney W. Grimes /* 805df8bae1dSRodney W. Grimes * Only use the new page below... 806df8bae1dSRodney W. Grimes */ 8074866e085SJohn Dyson fs.object = fs.first_object; 8084866e085SJohn Dyson fs.pindex = fs.first_pindex; 809d98ddc46SAlan Cox fs.m = fs.first_m; 810f29ba63eSAlan Cox if (!is_first_object_locked) 811f29ba63eSAlan Cox VM_OBJECT_LOCK(fs.object); 81267596082SAttilio Rao PCPU_INC(cnt.v_cow_faults); 8130d94caffSDavid Greenman } else { 814df8bae1dSRodney W. Grimes prot &= ~VM_PROT_WRITE; 815df8bae1dSRodney W. Grimes } 816df8bae1dSRodney W. Grimes } 817df8bae1dSRodney W. Grimes 818df8bae1dSRodney W. Grimes /* 8190d94caffSDavid Greenman * We must verify that the maps have not changed since our last 8200d94caffSDavid Greenman * lookup. 821df8bae1dSRodney W. Grimes */ 82219dc5607STor Egge if (!fs.lookup_still_valid) { 823df8bae1dSRodney W. Grimes vm_object_t retry_object; 824a316d390SJohn Dyson vm_pindex_t retry_pindex; 825df8bae1dSRodney W. Grimes vm_prot_t retry_prot; 826df8bae1dSRodney W. Grimes 82719dc5607STor Egge if (!vm_map_trylock_read(fs.map)) { 828b823bbd6SMatthew Dillon release_page(&fs); 829b823bbd6SMatthew Dillon unlock_and_deallocate(&fs); 830b823bbd6SMatthew Dillon goto RetryFault; 831b823bbd6SMatthew Dillon } 83219dc5607STor Egge fs.lookup_still_valid = TRUE; 83319dc5607STor Egge if (fs.map->timestamp != map_generation) { 83419dc5607STor Egge result = vm_map_lookup_locked(&fs.map, vaddr, fault_type, 8354866e085SJohn Dyson &fs.entry, &retry_object, &retry_pindex, &retry_prot, &wired); 836df8bae1dSRodney W. Grimes 837df8bae1dSRodney W. Grimes /* 83844ed3417STor Egge * If we don't need the page any longer, put it on the inactive 8390d94caffSDavid Greenman * list (the easiest thing to do here). If no one needs it, 8400d94caffSDavid Greenman * pageout will grab it eventually. 841df8bae1dSRodney W. Grimes */ 842df8bae1dSRodney W. Grimes if (result != KERN_SUCCESS) { 8434866e085SJohn Dyson release_page(&fs); 8444866e085SJohn Dyson unlock_and_deallocate(&fs); 84519dc5607STor Egge 84619dc5607STor Egge /* 84719dc5607STor Egge * If retry of map lookup would have blocked then 84819dc5607STor Egge * retry fault from start. 84919dc5607STor Egge */ 85019dc5607STor Egge if (result == KERN_FAILURE) 85119dc5607STor Egge goto RetryFault; 852df8bae1dSRodney W. Grimes return (result); 853df8bae1dSRodney W. Grimes } 8544866e085SJohn Dyson if ((retry_object != fs.first_object) || 8554866e085SJohn Dyson (retry_pindex != fs.first_pindex)) { 8564866e085SJohn Dyson release_page(&fs); 8574866e085SJohn Dyson unlock_and_deallocate(&fs); 858df8bae1dSRodney W. Grimes goto RetryFault; 859df8bae1dSRodney W. Grimes } 86019dc5607STor Egge 861df8bae1dSRodney W. Grimes /* 8620d94caffSDavid Greenman * Check whether the protection has changed or the object has 8630d94caffSDavid Greenman * been copied while we left the map unlocked. Changing from 8640d94caffSDavid Greenman * read to write permission is OK - we leave the page 8650d94caffSDavid Greenman * write-protected, and catch the write fault. Changing from 8660d94caffSDavid Greenman * write to read permission means that we can't mark the page 8670d94caffSDavid Greenman * write-enabled after all. 868df8bae1dSRodney W. Grimes */ 869df8bae1dSRodney W. Grimes prot &= retry_prot; 870df8bae1dSRodney W. Grimes } 87119dc5607STor Egge } 872d2bf64c3SKonstantin Belousov /* 8735758fe71SAlan Cox * If the page was filled by a pager, update the map entry's 8745758fe71SAlan Cox * last read offset. Since the pager does not return the 8755758fe71SAlan Cox * actual set of pages that it read, this update is based on 8765758fe71SAlan Cox * the requested set. Typically, the requested and actual 8775758fe71SAlan Cox * sets are the same. 878d2bf64c3SKonstantin Belousov * 879d2bf64c3SKonstantin Belousov * XXX The following assignment modifies the map 880d2bf64c3SKonstantin Belousov * without holding a write lock on it. 881d2bf64c3SKonstantin Belousov */ 8825758fe71SAlan Cox if (hardfault) 883d2bf64c3SKonstantin Belousov fs.entry->lastr = fs.pindex + faultcount - behind; 884d2bf64c3SKonstantin Belousov 8852ddba215SDavid Greenman if (prot & VM_PROT_WRITE) { 886b146f9e5SAlan Cox vm_object_set_writeable_dirty(fs.object); 8874f79d873SMatthew Dillon 8882ddba215SDavid Greenman /* 889b146f9e5SAlan Cox * If this is a NOSYNC mmap we do not want to set VPO_NOSYNC 8904f79d873SMatthew Dillon * if the page is already dirty to prevent data written with 8914f79d873SMatthew Dillon * the expectation of being synced from not being synced. 8924f79d873SMatthew Dillon * Likewise if this entry does not request NOSYNC then make 8934f79d873SMatthew Dillon * sure the page isn't marked NOSYNC. Applications sharing 8944f79d873SMatthew Dillon * data should use the same flags to avoid ping ponging. 8952ddba215SDavid Greenman */ 8964f79d873SMatthew Dillon if (fs.entry->eflags & MAP_ENTRY_NOSYNC) { 8974f79d873SMatthew Dillon if (fs.m->dirty == 0) 898b146f9e5SAlan Cox fs.m->oflags |= VPO_NOSYNC; 8994f79d873SMatthew Dillon } else { 900b146f9e5SAlan Cox fs.m->oflags &= ~VPO_NOSYNC; 9014f79d873SMatthew Dillon } 902e2997feaSAlan Cox 903e2997feaSAlan Cox /* 904e2997feaSAlan Cox * If the fault is a write, we know that this page is being 905e2997feaSAlan Cox * written NOW so dirty it explicitly to save on 906e2997feaSAlan Cox * pmap_is_modified() calls later. 907e2997feaSAlan Cox * 908e2997feaSAlan Cox * Also tell the backing pager, if any, that it should remove 909e2997feaSAlan Cox * any swap backing since the page is now dirty. 910e2997feaSAlan Cox */ 911e2997feaSAlan Cox if ((fault_type & VM_PROT_WRITE) != 0 && 912e2997feaSAlan Cox (fault_flags & VM_FAULT_CHANGE_WIRING) == 0) { 9137dbf82dcSMatthew Dillon vm_page_dirty(fs.m); 9141c7c3c6aSMatthew Dillon vm_pager_page_unswapped(fs.m); 9152ddba215SDavid Greenman } 9162ddba215SDavid Greenman } 917f6b04d2bSDavid Greenman 918bc6d84a6SMatthew Dillon /* 919bc6d84a6SMatthew Dillon * Page had better still be busy 920bc6d84a6SMatthew Dillon */ 9219af80719SAlan Cox KASSERT(fs.m->oflags & VPO_BUSY, 922ca06c247SAlan Cox ("vm_fault: page %p not busy!", fs.m)); 9234221e284SAlan Cox /* 92478cfe1f7SAlan Cox * Page must be completely valid or it is not fit to 9254221e284SAlan Cox * map into user space. vm_pager_get_pages() ensures this. 9264221e284SAlan Cox */ 92778cfe1f7SAlan Cox KASSERT(fs.m->valid == VM_PAGE_BITS_ALL, 92878cfe1f7SAlan Cox ("vm_fault: page %p partially invalid", fs.m)); 929eebf3286SAlan Cox VM_OBJECT_UNLOCK(fs.object); 930cbfbaad8SAlan Cox 93186735996SAlan Cox /* 93286735996SAlan Cox * Put this page into the physical map. We had to do the unlock above 93386735996SAlan Cox * because pmap_enter() may sleep. We don't put the page 93486735996SAlan Cox * back on the active queue until later so that the pageout daemon 93586735996SAlan Cox * won't find it (yet). 93686735996SAlan Cox */ 937eb2a0517SAlan Cox pmap_enter(fs.map->pmap, vaddr, fault_type, fs.m, prot, wired); 9382db65ab4SAlan Cox if ((fault_flags & VM_FAULT_CHANGE_WIRING) == 0 && wired == 0) 939566526a9SAlan Cox vm_fault_prefault(fs.map->pmap, vaddr, fs.entry); 940eebf3286SAlan Cox VM_OBJECT_LOCK(fs.object); 9412965a453SKip Macy vm_page_lock(fs.m); 9422d09a6adSAlan Cox vm_page_lock_queues(); 943ff97964aSJohn Dyson 944df8bae1dSRodney W. Grimes /* 9450d94caffSDavid Greenman * If the page is not wired down, then put it where the pageout daemon 9460d94caffSDavid Greenman * can find it. 947df8bae1dSRodney W. Grimes */ 9482db65ab4SAlan Cox if (fault_flags & VM_FAULT_CHANGE_WIRING) { 949df8bae1dSRodney W. Grimes if (wired) 9504866e085SJohn Dyson vm_page_wire(fs.m); 951df8bae1dSRodney W. Grimes else 95273007561SDavid Greenman vm_page_unwire(fs.m, 1); 9530d94caffSDavid Greenman } else { 9544866e085SJohn Dyson vm_page_activate(fs.m); 95526f9a767SRodney W. Grimes } 9562d09a6adSAlan Cox vm_page_unlock_queues(); 9572965a453SKip Macy vm_page_unlock(fs.m); 95866bdd5d6SAlan Cox vm_page_wakeup(fs.m); 959eeec6babSJohn Baldwin 960eebf3286SAlan Cox /* 961eebf3286SAlan Cox * Unlock everything, and return 962eebf3286SAlan Cox */ 963eebf3286SAlan Cox unlock_and_deallocate(&fs); 9641c4bcd05SJeff Roberson if (hardfault) 9651c4bcd05SJeff Roberson curthread->td_ru.ru_majflt++; 9661c4bcd05SJeff Roberson else 9671c4bcd05SJeff Roberson curthread->td_ru.ru_minflt++; 968df8bae1dSRodney W. Grimes 969df8bae1dSRodney W. Grimes return (KERN_SUCCESS); 970df8bae1dSRodney W. Grimes } 971df8bae1dSRodney W. Grimes 972df8bae1dSRodney W. Grimes /* 973566526a9SAlan Cox * vm_fault_prefault provides a quick way of clustering 974566526a9SAlan Cox * pagefaults into a processes address space. It is a "cousin" 975566526a9SAlan Cox * of vm_map_pmap_enter, except it runs at page fault time instead 976566526a9SAlan Cox * of mmap time. 977566526a9SAlan Cox */ 978566526a9SAlan Cox static void 979566526a9SAlan Cox vm_fault_prefault(pmap_t pmap, vm_offset_t addra, vm_map_entry_t entry) 980566526a9SAlan Cox { 981566526a9SAlan Cox int i; 982566526a9SAlan Cox vm_offset_t addr, starta; 983566526a9SAlan Cox vm_pindex_t pindex; 9842053c127SStephan Uphoff vm_page_t m; 985566526a9SAlan Cox vm_object_t object; 986566526a9SAlan Cox 987950d5f7aSAlan Cox if (pmap != vmspace_pmap(curthread->td_proc->p_vmspace)) 988566526a9SAlan Cox return; 989566526a9SAlan Cox 990566526a9SAlan Cox object = entry->object.vm_object; 991566526a9SAlan Cox 992566526a9SAlan Cox starta = addra - PFBAK * PAGE_SIZE; 993566526a9SAlan Cox if (starta < entry->start) { 994566526a9SAlan Cox starta = entry->start; 995566526a9SAlan Cox } else if (starta > addra) { 996566526a9SAlan Cox starta = 0; 997566526a9SAlan Cox } 998566526a9SAlan Cox 999566526a9SAlan Cox for (i = 0; i < PAGEORDER_SIZE; i++) { 1000566526a9SAlan Cox vm_object_t backing_object, lobject; 1001566526a9SAlan Cox 1002566526a9SAlan Cox addr = addra + prefault_pageorder[i]; 1003566526a9SAlan Cox if (addr > addra + (PFFOR * PAGE_SIZE)) 1004566526a9SAlan Cox addr = 0; 1005566526a9SAlan Cox 1006566526a9SAlan Cox if (addr < starta || addr >= entry->end) 1007566526a9SAlan Cox continue; 1008566526a9SAlan Cox 1009566526a9SAlan Cox if (!pmap_is_prefaultable(pmap, addr)) 1010566526a9SAlan Cox continue; 1011566526a9SAlan Cox 1012566526a9SAlan Cox pindex = ((addr - entry->start) + entry->offset) >> PAGE_SHIFT; 1013566526a9SAlan Cox lobject = object; 1014566526a9SAlan Cox VM_OBJECT_LOCK(lobject); 1015566526a9SAlan Cox while ((m = vm_page_lookup(lobject, pindex)) == NULL && 1016566526a9SAlan Cox lobject->type == OBJT_DEFAULT && 1017566526a9SAlan Cox (backing_object = lobject->backing_object) != NULL) { 101836930fc9SAlan Cox KASSERT((lobject->backing_object_offset & PAGE_MASK) == 101936930fc9SAlan Cox 0, ("vm_fault_prefault: unaligned object offset")); 1020566526a9SAlan Cox pindex += lobject->backing_object_offset >> PAGE_SHIFT; 1021566526a9SAlan Cox VM_OBJECT_LOCK(backing_object); 1022566526a9SAlan Cox VM_OBJECT_UNLOCK(lobject); 1023566526a9SAlan Cox lobject = backing_object; 1024566526a9SAlan Cox } 1025566526a9SAlan Cox /* 1026566526a9SAlan Cox * give-up when a page is not in memory 1027566526a9SAlan Cox */ 1028cbfbaad8SAlan Cox if (m == NULL) { 1029cbfbaad8SAlan Cox VM_OBJECT_UNLOCK(lobject); 1030566526a9SAlan Cox break; 1031cbfbaad8SAlan Cox } 10320a2e596aSAlan Cox if (m->valid == VM_PAGE_BITS_ALL && 10339fea8cadSAlan Cox (m->flags & PG_FICTITIOUS) == 0) { 10342965a453SKip Macy vm_page_lock(m); 1035566526a9SAlan Cox vm_page_lock_queues(); 10367bfda801SAlan Cox pmap_enter_quick(pmap, addr, m, entry->protection); 10371f70d622SAlan Cox vm_page_unlock_queues(); 10382965a453SKip Macy vm_page_unlock(m); 103985f5b245SAlan Cox } 1040cbfbaad8SAlan Cox VM_OBJECT_UNLOCK(lobject); 1041566526a9SAlan Cox } 1042566526a9SAlan Cox } 1043566526a9SAlan Cox 1044566526a9SAlan Cox /* 1045e3669ceeSMatthew Dillon * vm_fault_quick: 1046e3669ceeSMatthew Dillon * 1047e3669ceeSMatthew Dillon * Ensure that the requested virtual address, which may be in userland, 1048e3669ceeSMatthew Dillon * is valid. Fault-in the page if necessary. Return -1 on failure. 1049e3669ceeSMatthew Dillon */ 1050e3669ceeSMatthew Dillon int 1051e3669ceeSMatthew Dillon vm_fault_quick(caddr_t v, int prot) 1052e3669ceeSMatthew Dillon { 1053e3669ceeSMatthew Dillon int r; 1054e3669ceeSMatthew Dillon 1055e3669ceeSMatthew Dillon if (prot & VM_PROT_WRITE) 1056e3669ceeSMatthew Dillon r = subyte(v, fubyte(v)); 1057e3669ceeSMatthew Dillon else 1058e3669ceeSMatthew Dillon r = fubyte(v); 1059e3669ceeSMatthew Dillon return(r); 1060e3669ceeSMatthew Dillon } 1061e3669ceeSMatthew Dillon 1062e3669ceeSMatthew Dillon /* 1063df8bae1dSRodney W. Grimes * vm_fault_wire: 1064df8bae1dSRodney W. Grimes * 1065df8bae1dSRodney W. Grimes * Wire down a range of virtual addresses in a map. 1066df8bae1dSRodney W. Grimes */ 1067df8bae1dSRodney W. Grimes int 10684be14af9SAlan Cox vm_fault_wire(vm_map_t map, vm_offset_t start, vm_offset_t end, 10692db65ab4SAlan Cox boolean_t fictitious) 1070df8bae1dSRodney W. Grimes { 107154d92145SMatthew Dillon vm_offset_t va; 1072df8bae1dSRodney W. Grimes int rv; 1073df8bae1dSRodney W. Grimes 1074df8bae1dSRodney W. Grimes /* 10750d94caffSDavid Greenman * We simulate a fault to get the page and enter it in the physical 1076ef594d31SAlan Cox * map. For user wiring, we only ask for read access on currently 1077ef594d31SAlan Cox * read-only sections. 1078df8bae1dSRodney W. Grimes */ 1079df8bae1dSRodney W. Grimes for (va = start; va < end; va += PAGE_SIZE) { 10802db65ab4SAlan Cox rv = vm_fault(map, va, VM_PROT_NONE, VM_FAULT_CHANGE_WIRING); 10817aaaa4fdSJohn Dyson if (rv) { 10827aaaa4fdSJohn Dyson if (va != start) 10834be14af9SAlan Cox vm_fault_unwire(map, start, va, fictitious); 10847aaaa4fdSJohn Dyson return (rv); 10857aaaa4fdSJohn Dyson } 10867aaaa4fdSJohn Dyson } 10877aaaa4fdSJohn Dyson return (KERN_SUCCESS); 10887aaaa4fdSJohn Dyson } 10897aaaa4fdSJohn Dyson 10907aaaa4fdSJohn Dyson /* 1091df8bae1dSRodney W. Grimes * vm_fault_unwire: 1092df8bae1dSRodney W. Grimes * 1093df8bae1dSRodney W. Grimes * Unwire a range of virtual addresses in a map. 1094df8bae1dSRodney W. Grimes */ 109526f9a767SRodney W. Grimes void 10964be14af9SAlan Cox vm_fault_unwire(vm_map_t map, vm_offset_t start, vm_offset_t end, 10974be14af9SAlan Cox boolean_t fictitious) 1098df8bae1dSRodney W. Grimes { 1099227f9a1cSJake Burkholder vm_paddr_t pa; 1100227f9a1cSJake Burkholder vm_offset_t va; 1101e3ef0d2fSAlan Cox vm_page_t m; 110254d92145SMatthew Dillon pmap_t pmap; 1103df8bae1dSRodney W. Grimes 1104df8bae1dSRodney W. Grimes pmap = vm_map_pmap(map); 1105df8bae1dSRodney W. Grimes 1106df8bae1dSRodney W. Grimes /* 11070d94caffSDavid Greenman * Since the pages are wired down, we must be able to get their 11080d94caffSDavid Greenman * mappings from the physical map system. 1109df8bae1dSRodney W. Grimes */ 1110df8bae1dSRodney W. Grimes for (va = start; va < end; va += PAGE_SIZE) { 1111df8bae1dSRodney W. Grimes pa = pmap_extract(pmap, va); 1112227f9a1cSJake Burkholder if (pa != 0) { 1113df8bae1dSRodney W. Grimes pmap_change_wiring(pmap, va, FALSE); 11144be14af9SAlan Cox if (!fictitious) { 1115e3ef0d2fSAlan Cox m = PHYS_TO_VM_PAGE(pa); 1116e3ef0d2fSAlan Cox vm_page_lock(m); 1117e3ef0d2fSAlan Cox vm_page_unwire(m, TRUE); 1118e3ef0d2fSAlan Cox vm_page_unlock(m); 1119df8bae1dSRodney W. Grimes } 1120b18bfc3dSJohn Dyson } 11214be14af9SAlan Cox } 1122df8bae1dSRodney W. Grimes } 1123df8bae1dSRodney W. Grimes 1124df8bae1dSRodney W. Grimes /* 1125df8bae1dSRodney W. Grimes * Routine: 1126df8bae1dSRodney W. Grimes * vm_fault_copy_entry 1127df8bae1dSRodney W. Grimes * Function: 1128210a6886SKonstantin Belousov * Create new shadow object backing dst_entry with private copy of 1129210a6886SKonstantin Belousov * all underlying pages. When src_entry is equal to dst_entry, 1130210a6886SKonstantin Belousov * function implements COW for wired-down map entry. Otherwise, 1131210a6886SKonstantin Belousov * it forks wired entry into dst_map. 1132df8bae1dSRodney W. Grimes * 1133df8bae1dSRodney W. Grimes * In/out conditions: 1134df8bae1dSRodney W. Grimes * The source and destination maps must be locked for write. 1135df8bae1dSRodney W. Grimes * The source map entry must be wired down (or be a sharing map 1136df8bae1dSRodney W. Grimes * entry corresponding to a main map entry that is wired down). 1137df8bae1dSRodney W. Grimes */ 113826f9a767SRodney W. Grimes void 1139121fd461SKonstantin Belousov vm_fault_copy_entry(vm_map_t dst_map, vm_map_t src_map, 1140121fd461SKonstantin Belousov vm_map_entry_t dst_entry, vm_map_entry_t src_entry, 1141121fd461SKonstantin Belousov vm_ooffset_t *fork_charge) 1142df8bae1dSRodney W. Grimes { 1143210a6886SKonstantin Belousov vm_object_t backing_object, dst_object, object, src_object; 11447afab86cSAlan Cox vm_pindex_t dst_pindex, pindex, src_pindex; 1145210a6886SKonstantin Belousov vm_prot_t access, prot; 1146df8bae1dSRodney W. Grimes vm_offset_t vaddr; 1147df8bae1dSRodney W. Grimes vm_page_t dst_m; 1148df8bae1dSRodney W. Grimes vm_page_t src_m; 1149210a6886SKonstantin Belousov boolean_t src_readonly, upgrade; 1150df8bae1dSRodney W. Grimes 1151df8bae1dSRodney W. Grimes #ifdef lint 1152df8bae1dSRodney W. Grimes src_map++; 11530d94caffSDavid Greenman #endif /* lint */ 1154df8bae1dSRodney W. Grimes 1155210a6886SKonstantin Belousov upgrade = src_entry == dst_entry; 1156210a6886SKonstantin Belousov 1157df8bae1dSRodney W. Grimes src_object = src_entry->object.vm_object; 11587afab86cSAlan Cox src_pindex = OFF_TO_IDX(src_entry->offset); 11597afab86cSAlan Cox src_readonly = (src_entry->protection & VM_PROT_WRITE) == 0; 1160df8bae1dSRodney W. Grimes 1161df8bae1dSRodney W. Grimes /* 11620d94caffSDavid Greenman * Create the top-level object for the destination entry. (Doesn't 11630d94caffSDavid Greenman * actually shadow anything - we copy the pages directly.) 1164df8bae1dSRodney W. Grimes */ 116524a1cce3SDavid Greenman dst_object = vm_object_allocate(OBJT_DEFAULT, 116657b5187bSAlan Cox OFF_TO_IDX(dst_entry->end - dst_entry->start)); 1167f8a47341SAlan Cox #if VM_NRESERVLEVEL > 0 1168f8a47341SAlan Cox dst_object->flags |= OBJ_COLORED; 1169f8a47341SAlan Cox dst_object->pg_color = atop(dst_entry->start); 1170f8a47341SAlan Cox #endif 1171df8bae1dSRodney W. Grimes 11728afcf0ccSAlan Cox VM_OBJECT_LOCK(dst_object); 1173210a6886SKonstantin Belousov KASSERT(upgrade || dst_entry->object.vm_object == NULL, 1174121fd461SKonstantin Belousov ("vm_fault_copy_entry: vm_object not NULL")); 1175df8bae1dSRodney W. Grimes dst_entry->object.vm_object = dst_object; 1176df8bae1dSRodney W. Grimes dst_entry->offset = 0; 11773364c323SKonstantin Belousov dst_object->charge = dst_entry->end - dst_entry->start; 1178210a6886SKonstantin Belousov if (fork_charge != NULL) { 1179121fd461SKonstantin Belousov KASSERT(dst_entry->uip == NULL, 1180121fd461SKonstantin Belousov ("vm_fault_copy_entry: leaked swp charge")); 1181210a6886SKonstantin Belousov dst_object->uip = curthread->td_ucred->cr_ruidinfo; 1182210a6886SKonstantin Belousov uihold(dst_object->uip); 1183121fd461SKonstantin Belousov *fork_charge += dst_object->charge; 1184210a6886SKonstantin Belousov } else { 1185210a6886SKonstantin Belousov dst_object->uip = dst_entry->uip; 1186210a6886SKonstantin Belousov dst_entry->uip = NULL; 1187210a6886SKonstantin Belousov } 1188e4ed417aSAlan Cox access = prot = dst_entry->protection; 1189210a6886SKonstantin Belousov /* 1190210a6886SKonstantin Belousov * If not an upgrade, then enter the mappings in the pmap as 1191210a6886SKonstantin Belousov * read and/or execute accesses. Otherwise, enter them as 1192210a6886SKonstantin Belousov * write accesses. 1193210a6886SKonstantin Belousov * 1194210a6886SKonstantin Belousov * A writeable large page mapping is only created if all of 1195210a6886SKonstantin Belousov * the constituent small page mappings are modified. Marking 1196210a6886SKonstantin Belousov * PTEs as modified on inception allows promotion to happen 1197210a6886SKonstantin Belousov * without taking potentially large number of soft faults. 1198210a6886SKonstantin Belousov */ 1199210a6886SKonstantin Belousov if (!upgrade) 1200210a6886SKonstantin Belousov access &= ~VM_PROT_WRITE; 1201df8bae1dSRodney W. Grimes 1202df8bae1dSRodney W. Grimes /* 12030d94caffSDavid Greenman * Loop through all of the pages in the entry's range, copying each 12040d94caffSDavid Greenman * one from the source object (it should be there) to the destination 12050d94caffSDavid Greenman * object. 1206df8bae1dSRodney W. Grimes */ 12077afab86cSAlan Cox for (vaddr = dst_entry->start, dst_pindex = 0; 1208df8bae1dSRodney W. Grimes vaddr < dst_entry->end; 12097afab86cSAlan Cox vaddr += PAGE_SIZE, dst_pindex++) { 1210df8bae1dSRodney W. Grimes 1211df8bae1dSRodney W. Grimes /* 12127afab86cSAlan Cox * Allocate a page in the destination object. 1213df8bae1dSRodney W. Grimes */ 1214df8bae1dSRodney W. Grimes do { 12157afab86cSAlan Cox dst_m = vm_page_alloc(dst_object, dst_pindex, 12167afab86cSAlan Cox VM_ALLOC_NORMAL); 1217df8bae1dSRodney W. Grimes if (dst_m == NULL) { 12188afcf0ccSAlan Cox VM_OBJECT_UNLOCK(dst_object); 1219df8bae1dSRodney W. Grimes VM_WAIT; 12208afcf0ccSAlan Cox VM_OBJECT_LOCK(dst_object); 1221df8bae1dSRodney W. Grimes } 1222df8bae1dSRodney W. Grimes } while (dst_m == NULL); 1223df8bae1dSRodney W. Grimes 1224df8bae1dSRodney W. Grimes /* 1225df8bae1dSRodney W. Grimes * Find the page in the source object, and copy it in. 12260d94caffSDavid Greenman * (Because the source is wired down, the page will be in 12270d94caffSDavid Greenman * memory.) 1228df8bae1dSRodney W. Grimes */ 1229f29ba63eSAlan Cox VM_OBJECT_LOCK(src_object); 1230c5b65a67SAlan Cox object = src_object; 12317afab86cSAlan Cox pindex = src_pindex + dst_pindex; 12327afab86cSAlan Cox while ((src_m = vm_page_lookup(object, pindex)) == NULL && 12337afab86cSAlan Cox src_readonly && 1234c5b65a67SAlan Cox (backing_object = object->backing_object) != NULL) { 1235c5b65a67SAlan Cox /* 1236c5b65a67SAlan Cox * Allow fallback to backing objects if we are reading. 1237c5b65a67SAlan Cox */ 1238c5b65a67SAlan Cox VM_OBJECT_LOCK(backing_object); 1239c5b65a67SAlan Cox pindex += OFF_TO_IDX(object->backing_object_offset); 1240c5b65a67SAlan Cox VM_OBJECT_UNLOCK(object); 1241c5b65a67SAlan Cox object = backing_object; 1242c5b65a67SAlan Cox } 1243df8bae1dSRodney W. Grimes if (src_m == NULL) 1244df8bae1dSRodney W. Grimes panic("vm_fault_copy_wired: page missing"); 1245669890eaSAlan Cox pmap_copy_page(src_m, dst_m); 1246c5b65a67SAlan Cox VM_OBJECT_UNLOCK(object); 1247669890eaSAlan Cox dst_m->valid = VM_PAGE_BITS_ALL; 12488afcf0ccSAlan Cox VM_OBJECT_UNLOCK(dst_object); 1249df8bae1dSRodney W. Grimes 1250df8bae1dSRodney W. Grimes /* 1251210a6886SKonstantin Belousov * Enter it in the pmap. If a wired, copy-on-write 1252210a6886SKonstantin Belousov * mapping is being replaced by a write-enabled 1253210a6886SKonstantin Belousov * mapping, then wire that new mapping. 1254df8bae1dSRodney W. Grimes */ 1255210a6886SKonstantin Belousov pmap_enter(dst_map->pmap, vaddr, access, dst_m, prot, upgrade); 1256df8bae1dSRodney W. Grimes 1257df8bae1dSRodney W. Grimes /* 1258df8bae1dSRodney W. Grimes * Mark it no longer busy, and put it on the active list. 1259df8bae1dSRodney W. Grimes */ 126044b8bd66SAlan Cox VM_OBJECT_LOCK(dst_object); 12612965a453SKip Macy 1262210a6886SKonstantin Belousov if (upgrade) { 12632965a453SKip Macy vm_page_lock(src_m); 1264210a6886SKonstantin Belousov vm_page_unwire(src_m, 0); 1265e20e8c15SKonstantin Belousov vm_page_unlock(src_m); 12662965a453SKip Macy 12672965a453SKip Macy vm_page_lock(dst_m); 1268210a6886SKonstantin Belousov vm_page_wire(dst_m); 1269e20e8c15SKonstantin Belousov vm_page_unlock(dst_m); 12702965a453SKip Macy } else { 12712965a453SKip Macy vm_page_lock(dst_m); 12722965a453SKip Macy vm_page_lock_queues(); 1273df8bae1dSRodney W. Grimes vm_page_activate(dst_m); 12744abd55b2SAlan Cox vm_page_unlock_queues(); 1275e20e8c15SKonstantin Belousov vm_page_unlock(dst_m); 12762965a453SKip Macy } 127766bdd5d6SAlan Cox vm_page_wakeup(dst_m); 1278df8bae1dSRodney W. Grimes } 12798afcf0ccSAlan Cox VM_OBJECT_UNLOCK(dst_object); 1280210a6886SKonstantin Belousov if (upgrade) { 1281210a6886SKonstantin Belousov dst_entry->eflags &= ~(MAP_ENTRY_COW | MAP_ENTRY_NEEDS_COPY); 1282210a6886SKonstantin Belousov vm_object_deallocate(src_object); 1283210a6886SKonstantin Belousov } 1284df8bae1dSRodney W. Grimes } 128526f9a767SRodney W. Grimes 128626f9a767SRodney W. Grimes 128726f9a767SRodney W. Grimes /* 128826f9a767SRodney W. Grimes * This routine checks around the requested page for other pages that 128922ba64e8SJohn Dyson * might be able to be faulted in. This routine brackets the viable 129022ba64e8SJohn Dyson * pages for the pages to be paged in. 129126f9a767SRodney W. Grimes * 129226f9a767SRodney W. Grimes * Inputs: 129322ba64e8SJohn Dyson * m, rbehind, rahead 129426f9a767SRodney W. Grimes * 129526f9a767SRodney W. Grimes * Outputs: 129626f9a767SRodney W. Grimes * marray (array of vm_page_t), reqpage (index of requested page) 129726f9a767SRodney W. Grimes * 129826f9a767SRodney W. Grimes * Return value: 129926f9a767SRodney W. Grimes * number of pages in marray 130026f9a767SRodney W. Grimes */ 1301303b270bSEivind Eklund static int 130222ba64e8SJohn Dyson vm_fault_additional_pages(m, rbehind, rahead, marray, reqpage) 130326f9a767SRodney W. Grimes vm_page_t m; 130426f9a767SRodney W. Grimes int rbehind; 130522ba64e8SJohn Dyson int rahead; 130626f9a767SRodney W. Grimes vm_page_t *marray; 130726f9a767SRodney W. Grimes int *reqpage; 130826f9a767SRodney W. Grimes { 13092d8acc0fSJohn Dyson int i,j; 131026f9a767SRodney W. Grimes vm_object_t object; 1311a316d390SJohn Dyson vm_pindex_t pindex, startpindex, endpindex, tpindex; 131226f9a767SRodney W. Grimes vm_page_t rtm; 1313170db9c6SJohn Dyson int cbehind, cahead; 131426f9a767SRodney W. Grimes 1315f29ba63eSAlan Cox VM_OBJECT_LOCK_ASSERT(m->object, MA_OWNED); 131623955314SAlfred Perlstein 131726f9a767SRodney W. Grimes object = m->object; 1318a316d390SJohn Dyson pindex = m->pindex; 1319fcdd9721SPawel Jakub Dawidek cbehind = cahead = 0; 1320fcdd9721SPawel Jakub Dawidek 1321f35329acSJohn Dyson /* 132226f9a767SRodney W. Grimes * if the requested page is not available, then give up now 132326f9a767SRodney W. Grimes */ 13241c7c3c6aSMatthew Dillon if (!vm_pager_has_page(object, pindex, &cbehind, &cahead)) { 132526f9a767SRodney W. Grimes return 0; 13262d8acc0fSJohn Dyson } 132726f9a767SRodney W. Grimes 132822ba64e8SJohn Dyson if ((cbehind == 0) && (cahead == 0)) { 132922ba64e8SJohn Dyson *reqpage = 0; 133022ba64e8SJohn Dyson marray[0] = m; 133122ba64e8SJohn Dyson return 1; 1332170db9c6SJohn Dyson } 133322ba64e8SJohn Dyson 133422ba64e8SJohn Dyson if (rahead > cahead) { 133522ba64e8SJohn Dyson rahead = cahead; 133622ba64e8SJohn Dyson } 133722ba64e8SJohn Dyson 1338170db9c6SJohn Dyson if (rbehind > cbehind) { 1339170db9c6SJohn Dyson rbehind = cbehind; 1340170db9c6SJohn Dyson } 1341170db9c6SJohn Dyson 134226f9a767SRodney W. Grimes /* 13432d8acc0fSJohn Dyson * scan backward for the read behind pages -- in memory 134426f9a767SRodney W. Grimes */ 13452d8acc0fSJohn Dyson if (pindex > 0) { 13462d8acc0fSJohn Dyson if (rbehind > pindex) { 1347a316d390SJohn Dyson rbehind = pindex; 13482d8acc0fSJohn Dyson startpindex = 0; 13492d8acc0fSJohn Dyson } else { 1350a316d390SJohn Dyson startpindex = pindex - rbehind; 13512d8acc0fSJohn Dyson } 13522d8acc0fSJohn Dyson 13538f8790a7SAlan Cox if ((rtm = TAILQ_PREV(m, pglist, listq)) != NULL && 13548f8790a7SAlan Cox rtm->pindex >= startpindex) 13558f8790a7SAlan Cox startpindex = rtm->pindex + 1; 135626f9a767SRodney W. Grimes 135780645364SAlan Cox /* tpindex is unsigned; beware of numeric underflow. */ 135880645364SAlan Cox for (i = 0, tpindex = pindex - 1; tpindex >= startpindex && 135980645364SAlan Cox tpindex < pindex; i++, tpindex--) { 136026f9a767SRodney W. Grimes 13617bfda801SAlan Cox rtm = vm_page_alloc(object, tpindex, VM_ALLOC_NORMAL | 13627bfda801SAlan Cox VM_ALLOC_IFNOTCACHED); 1363ccbb2f72SJohn Dyson if (rtm == NULL) { 136480645364SAlan Cox /* 136580645364SAlan Cox * Shift the allocated pages to the 136680645364SAlan Cox * beginning of the array. 136780645364SAlan Cox */ 1368ccbb2f72SJohn Dyson for (j = 0; j < i; j++) { 136980645364SAlan Cox marray[j] = marray[j + tpindex + 1 - 137080645364SAlan Cox startpindex]; 137126f9a767SRodney W. Grimes } 137280645364SAlan Cox break; 137326f9a767SRodney W. Grimes } 1374170db9c6SJohn Dyson 137580645364SAlan Cox marray[tpindex - startpindex] = rtm; 137626f9a767SRodney W. Grimes } 13772d8acc0fSJohn Dyson } else { 13782d8acc0fSJohn Dyson startpindex = 0; 13792d8acc0fSJohn Dyson i = 0; 13802d8acc0fSJohn Dyson } 13812d8acc0fSJohn Dyson 13822d8acc0fSJohn Dyson marray[i] = m; 13832d8acc0fSJohn Dyson /* page offset of the required page */ 13842d8acc0fSJohn Dyson *reqpage = i; 13852d8acc0fSJohn Dyson 13862d8acc0fSJohn Dyson tpindex = pindex + 1; 13872d8acc0fSJohn Dyson i++; 13882d8acc0fSJohn Dyson 13892d8acc0fSJohn Dyson /* 13902d8acc0fSJohn Dyson * scan forward for the read ahead pages 13912d8acc0fSJohn Dyson */ 13922d8acc0fSJohn Dyson endpindex = tpindex + rahead; 13938f8790a7SAlan Cox if ((rtm = TAILQ_NEXT(m, listq)) != NULL && rtm->pindex < endpindex) 13948f8790a7SAlan Cox endpindex = rtm->pindex; 13952d8acc0fSJohn Dyson if (endpindex > object->size) 13962d8acc0fSJohn Dyson endpindex = object->size; 13972d8acc0fSJohn Dyson 13982d8acc0fSJohn Dyson for (; tpindex < endpindex; i++, tpindex++) { 13992d8acc0fSJohn Dyson 14007bfda801SAlan Cox rtm = vm_page_alloc(object, tpindex, VM_ALLOC_NORMAL | 14017bfda801SAlan Cox VM_ALLOC_IFNOTCACHED); 14022d8acc0fSJohn Dyson if (rtm == NULL) { 14032d8acc0fSJohn Dyson break; 14042d8acc0fSJohn Dyson } 14052d8acc0fSJohn Dyson 14062d8acc0fSJohn Dyson marray[i] = rtm; 14072d8acc0fSJohn Dyson } 14082d8acc0fSJohn Dyson 140965ea29a6SAlan Cox /* return number of pages */ 14102d8acc0fSJohn Dyson return i; 141126f9a767SRodney W. Grimes } 1412