1df8bae1dSRodney W. Grimes /* 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. 683c4dd356SDavid Greenman * 69c3aac50fSPeter Wemm * $FreeBSD$ 70df8bae1dSRodney W. Grimes */ 71df8bae1dSRodney W. Grimes 72df8bae1dSRodney W. Grimes /* 73df8bae1dSRodney W. Grimes * Page fault handling module. 74df8bae1dSRodney W. Grimes */ 75df8bae1dSRodney W. Grimes #include <sys/param.h> 76df8bae1dSRodney W. Grimes #include <sys/systm.h> 774edf4a58SJohn Baldwin #include <sys/kernel.h> 78fb919e4dSMark Murray #include <sys/lock.h> 79fb919e4dSMark Murray #include <sys/mutex.h> 8026f9a767SRodney W. Grimes #include <sys/proc.h> 8126f9a767SRodney W. Grimes #include <sys/resourcevar.h> 8223955314SAlfred Perlstein #include <sys/sysctl.h> 834edf4a58SJohn Baldwin #include <sys/vmmeter.h> 844edf4a58SJohn Baldwin #include <sys/vnode.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> 92df8bae1dSRodney W. Grimes #include <vm/vm_pageout.h> 93a83c285cSDavid Greenman #include <vm/vm_kern.h> 9424a1cce3SDavid Greenman #include <vm/vm_pager.h> 9524a1cce3SDavid Greenman #include <vm/vnode_pager.h> 96efeaf95aSDavid Greenman #include <vm/vm_extern.h> 97df8bae1dSRodney W. Grimes 9811caded3SAlfred Perlstein static int vm_fault_additional_pages(vm_page_t, int, int, vm_page_t *, int *); 9926f9a767SRodney W. Grimes 10047221757SJohn Dyson #define VM_FAULT_READ_AHEAD 8 10147221757SJohn Dyson #define VM_FAULT_READ_BEHIND 7 10226f9a767SRodney W. Grimes #define VM_FAULT_READ (VM_FAULT_READ_AHEAD+VM_FAULT_READ_BEHIND+1) 10326f9a767SRodney W. Grimes 1044866e085SJohn Dyson struct faultstate { 1054866e085SJohn Dyson vm_page_t m; 1064866e085SJohn Dyson vm_object_t object; 1074866e085SJohn Dyson vm_pindex_t pindex; 1084866e085SJohn Dyson vm_page_t first_m; 1094866e085SJohn Dyson vm_object_t first_object; 1104866e085SJohn Dyson vm_pindex_t first_pindex; 1114866e085SJohn Dyson vm_map_t map; 1124866e085SJohn Dyson vm_map_entry_t entry; 11325adb370SBrian Feldman int lookup_still_valid; 1144866e085SJohn Dyson struct vnode *vp; 1154866e085SJohn Dyson }; 1164866e085SJohn Dyson 1171c7c3c6aSMatthew Dillon static __inline void 1184866e085SJohn Dyson release_page(struct faultstate *fs) 1194866e085SJohn Dyson { 120e69763a3SDoug Rabson vm_page_wakeup(fs->m); 1214866e085SJohn Dyson vm_page_deactivate(fs->m); 1224866e085SJohn Dyson fs->m = NULL; 1234866e085SJohn Dyson } 1244866e085SJohn Dyson 1251c7c3c6aSMatthew Dillon static __inline void 1264866e085SJohn Dyson unlock_map(struct faultstate *fs) 1274866e085SJohn Dyson { 12825adb370SBrian Feldman if (fs->lookup_still_valid) { 1294866e085SJohn Dyson vm_map_lookup_done(fs->map, fs->entry); 13025adb370SBrian Feldman fs->lookup_still_valid = FALSE; 1314866e085SJohn Dyson } 1324866e085SJohn Dyson } 1334866e085SJohn Dyson 1344866e085SJohn Dyson static void 1354866e085SJohn Dyson _unlock_things(struct faultstate *fs, int dealloc) 1364866e085SJohn Dyson { 1370cddd8f0SMatthew Dillon GIANT_REQUIRED; 1384866e085SJohn Dyson vm_object_pip_wakeup(fs->object); 1394866e085SJohn Dyson if (fs->object != fs->first_object) { 1404866e085SJohn Dyson vm_page_free(fs->first_m); 1414866e085SJohn Dyson vm_object_pip_wakeup(fs->first_object); 1424866e085SJohn Dyson fs->first_m = NULL; 1434866e085SJohn Dyson } 1444866e085SJohn Dyson if (dealloc) { 1454866e085SJohn Dyson vm_object_deallocate(fs->first_object); 1464866e085SJohn Dyson } 1474866e085SJohn Dyson unlock_map(fs); 1484866e085SJohn Dyson if (fs->vp != NULL) { 1490cddd8f0SMatthew Dillon vput(fs->vp); 1504866e085SJohn Dyson fs->vp = NULL; 1514866e085SJohn Dyson } 1524866e085SJohn Dyson } 1534866e085SJohn Dyson 1544866e085SJohn Dyson #define unlock_things(fs) _unlock_things(fs, 0) 1554866e085SJohn Dyson #define unlock_and_deallocate(fs) _unlock_things(fs, 1) 1564866e085SJohn Dyson 157df8bae1dSRodney W. Grimes /* 15840360b1bSMatthew Dillon * TRYPAGER - used by vm_fault to calculate whether the pager for the 15940360b1bSMatthew Dillon * current object *might* contain the page. 16040360b1bSMatthew Dillon * 16140360b1bSMatthew Dillon * default objects are zero-fill, there is no real pager. 16240360b1bSMatthew Dillon */ 16340360b1bSMatthew Dillon #define TRYPAGER (fs.object->type != OBJT_DEFAULT && \ 16440360b1bSMatthew Dillon (((fault_flags & VM_FAULT_WIRE_MASK) == 0) || wired)) 16540360b1bSMatthew Dillon 16640360b1bSMatthew Dillon /* 167df8bae1dSRodney W. Grimes * vm_fault: 168df8bae1dSRodney W. Grimes * 169956f3135SPhilippe Charnier * Handle a page fault occurring at the given address, 170df8bae1dSRodney W. Grimes * requiring the given permissions, in the map specified. 171df8bae1dSRodney W. Grimes * If successful, the page is inserted into the 172df8bae1dSRodney W. Grimes * associated physical map. 173df8bae1dSRodney W. Grimes * 174df8bae1dSRodney W. Grimes * NOTE: the given address should be truncated to the 175df8bae1dSRodney W. Grimes * proper page address. 176df8bae1dSRodney W. Grimes * 177df8bae1dSRodney W. Grimes * KERN_SUCCESS is returned if the page fault is handled; otherwise, 178df8bae1dSRodney W. Grimes * a standard error specifying why the fault is fatal is returned. 179df8bae1dSRodney W. Grimes * 180df8bae1dSRodney W. Grimes * 181df8bae1dSRodney W. Grimes * The map in question must be referenced, and remains so. 1820cddd8f0SMatthew Dillon * Caller may hold no locks. 183df8bae1dSRodney W. Grimes */ 184df8bae1dSRodney W. Grimes int 18523955314SAlfred Perlstein vm_fault(vm_map_t map, vm_offset_t vaddr, vm_prot_t fault_type, 18623955314SAlfred Perlstein int fault_flags) 18723955314SAlfred Perlstein { 188df8bae1dSRodney W. Grimes vm_prot_t prot; 189df8bae1dSRodney W. Grimes int result; 1906139043bSAlan Cox boolean_t growstack, wired; 1912d8acc0fSJohn Dyson int map_generation; 192df8bae1dSRodney W. Grimes vm_object_t next_object; 19326f9a767SRodney W. Grimes vm_page_t marray[VM_FAULT_READ]; 1944866e085SJohn Dyson int hardfault; 1952d8acc0fSJohn Dyson int faultcount; 1964866e085SJohn Dyson struct faultstate fs; 197df8bae1dSRodney W. Grimes 1984866e085SJohn Dyson hardfault = 0; 1996139043bSAlan Cox growstack = TRUE; 20092de35b0SAlan Cox atomic_add_int(&cnt.v_vm_faults, 1); 201df8bae1dSRodney W. Grimes 20292de35b0SAlan Cox mtx_lock(&Giant); 203df8bae1dSRodney W. Grimes RetryFault:; 204df8bae1dSRodney W. Grimes 205df8bae1dSRodney W. Grimes /* 2060d94caffSDavid Greenman * Find the backing store object and offset into it to begin the 2070d94caffSDavid Greenman * search. 208df8bae1dSRodney W. Grimes */ 20940360b1bSMatthew Dillon fs.map = map; 21092de35b0SAlan Cox result = vm_map_lookup(&fs.map, vaddr, fault_type, &fs.entry, 21192de35b0SAlan Cox &fs.first_object, &fs.first_pindex, &prot, &wired); 21292de35b0SAlan Cox if (result != KERN_SUCCESS) { 21392de35b0SAlan Cox if (result != KERN_PROTECTION_FAILURE || 21492de35b0SAlan Cox (fault_flags & VM_FAULT_WIRE_MASK) != VM_FAULT_USER_WIRE) { 2156139043bSAlan Cox if (growstack && result == KERN_INVALID_ADDRESS && 2166139043bSAlan Cox map != kernel_map && curproc != NULL) { 2176139043bSAlan Cox result = vm_map_growstack(curproc, vaddr); 2187788e219SAlan Cox if (result != KERN_SUCCESS) { 2197788e219SAlan Cox mtx_unlock(&Giant); 2206139043bSAlan Cox return (KERN_FAILURE); 2217788e219SAlan Cox } 2226139043bSAlan Cox growstack = FALSE; 2236139043bSAlan Cox goto RetryFault; 2246139043bSAlan Cox } 2257788e219SAlan Cox mtx_unlock(&Giant); 22692de35b0SAlan Cox return (result); 22709e0c6ccSJohn Dyson } 22809e0c6ccSJohn Dyson 2297aaaa4fdSJohn Dyson /* 2307aaaa4fdSJohn Dyson * If we are user-wiring a r/w segment, and it is COW, then 2317aaaa4fdSJohn Dyson * we need to do the COW operation. Note that we don't COW 232595236dfSJohn Dyson * currently RO sections now, because it is NOT desirable 2337aaaa4fdSJohn Dyson * to COW .text. We simply keep .text from ever being COW'ed 2347aaaa4fdSJohn Dyson * and take the heat that one cannot debug wired .text sections. 2357aaaa4fdSJohn Dyson */ 2364866e085SJohn Dyson result = vm_map_lookup(&fs.map, vaddr, 23747221757SJohn Dyson VM_PROT_READ|VM_PROT_WRITE|VM_PROT_OVERRIDE_WRITE, 2384866e085SJohn Dyson &fs.entry, &fs.first_object, &fs.first_pindex, &prot, &wired); 23947221757SJohn Dyson if (result != KERN_SUCCESS) { 2407788e219SAlan Cox mtx_unlock(&Giant); 2417788e219SAlan Cox return (result); 24247221757SJohn Dyson } 24347221757SJohn Dyson 2447aaaa4fdSJohn Dyson /* 2457aaaa4fdSJohn Dyson * If we don't COW now, on a user wire, the user will never 2467aaaa4fdSJohn Dyson * be able to write to the mapping. If we don't make this 2477aaaa4fdSJohn Dyson * restriction, the bookkeeping would be nearly impossible. 248ff8f4ebeSAlan Cox * 249ff8f4ebeSAlan Cox * XXX The following assignment modifies the map without 250ff8f4ebeSAlan Cox * holding a write lock on it. 2517aaaa4fdSJohn Dyson */ 2524866e085SJohn Dyson if ((fs.entry->protection & VM_PROT_WRITE) == 0) 2534866e085SJohn Dyson fs.entry->max_protection &= ~VM_PROT_WRITE; 2547aaaa4fdSJohn Dyson } 25547221757SJohn Dyson 2564866e085SJohn Dyson map_generation = fs.map->timestamp; 2572d8acc0fSJohn Dyson 2584866e085SJohn Dyson if (fs.entry->eflags & MAP_ENTRY_NOFAULT) { 25947221757SJohn Dyson panic("vm_fault: fault on nofault entry, addr: %lx", 26092c4c4ebSBruce Evans (u_long)vaddr); 2617aaaa4fdSJohn Dyson } 2627aaaa4fdSJohn Dyson 26395e5e988SJohn Dyson /* 26495e5e988SJohn Dyson * Make a reference to this object to prevent its disposal while we 26595e5e988SJohn Dyson * are messing with it. Once we have the reference, the map is free 26695e5e988SJohn Dyson * to be diddled. Since objects reference their shadows (and copies), 26795e5e988SJohn Dyson * they will stay around as well. 268fe8e0238SMatthew Dillon * 269fe8e0238SMatthew Dillon * Bump the paging-in-progress count to prevent size changes (e.g. 270fe8e0238SMatthew Dillon * truncation operations) during I/O. This must be done after 271fe8e0238SMatthew Dillon * obtaining the vnode lock in order to avoid possible deadlocks. 272532eadefSAlan Cox * 273532eadefSAlan Cox * XXX vnode_pager_lock() can block without releasing the map lock. 27495e5e988SJohn Dyson */ 2754866e085SJohn Dyson vm_object_reference(fs.first_object); 276fe8e0238SMatthew Dillon fs.vp = vnode_pager_lock(fs.first_object); 277d474eaaaSDoug Rabson vm_object_pip_add(fs.first_object, 1); 27895e5e988SJohn Dyson 279c0b6bbb8SAlan Cox #ifdef ENABLE_VFS_IOOPT 2801efb74fbSJohn Dyson if ((fault_type & VM_PROT_WRITE) && 2814866e085SJohn Dyson (fs.first_object->type == OBJT_VNODE)) { 2824866e085SJohn Dyson vm_freeze_copyopts(fs.first_object, 2834866e085SJohn Dyson fs.first_pindex, fs.first_pindex + 1); 2841efb74fbSJohn Dyson } 285c0b6bbb8SAlan Cox #endif 28625adb370SBrian Feldman fs.lookup_still_valid = TRUE; 287df8bae1dSRodney W. Grimes 288df8bae1dSRodney W. Grimes if (wired) 289df8bae1dSRodney W. Grimes fault_type = prot; 290df8bae1dSRodney W. Grimes 2914866e085SJohn Dyson fs.first_m = NULL; 292df8bae1dSRodney W. Grimes 293df8bae1dSRodney W. Grimes /* 294df8bae1dSRodney W. Grimes * Search for the page at object/offset. 295df8bae1dSRodney W. Grimes */ 2964866e085SJohn Dyson fs.object = fs.first_object; 2974866e085SJohn Dyson fs.pindex = fs.first_pindex; 298df8bae1dSRodney W. Grimes while (TRUE) { 2991c7c3c6aSMatthew Dillon /* 3001c7c3c6aSMatthew Dillon * If the object is dead, we stop here 3011c7c3c6aSMatthew Dillon */ 3024866e085SJohn Dyson if (fs.object->flags & OBJ_DEAD) { 3034866e085SJohn Dyson unlock_and_deallocate(&fs); 3047788e219SAlan Cox mtx_unlock(&Giant); 30547221757SJohn Dyson return (KERN_PROTECTION_FAILURE); 30647221757SJohn Dyson } 30747221757SJohn Dyson 3081c7c3c6aSMatthew Dillon /* 3091c7c3c6aSMatthew Dillon * See if page is resident 3101c7c3c6aSMatthew Dillon */ 3114866e085SJohn Dyson fs.m = vm_page_lookup(fs.object, fs.pindex); 3124866e085SJohn Dyson if (fs.m != NULL) { 313c699f45eSDavid Greenman int queue, s; 31498cb733cSKenneth D. Merry 31598cb733cSKenneth D. Merry /* 31698cb733cSKenneth D. Merry * check for page-based copy on write 31798cb733cSKenneth D. Merry */ 31898cb733cSKenneth D. Merry 31998cb733cSKenneth D. Merry if ((fs.m->cow) && 32098cb733cSKenneth D. Merry (fault_type & VM_PROT_WRITE)) { 32198cb733cSKenneth D. Merry s = splvm(); 32298cb733cSKenneth D. Merry vm_page_cowfault(fs.m); 32398cb733cSKenneth D. Merry splx(s); 32498cb733cSKenneth D. Merry unlock_things(&fs); 32598cb733cSKenneth D. Merry goto RetryFault; 32698cb733cSKenneth D. Merry } 32798cb733cSKenneth D. Merry 328df8bae1dSRodney W. Grimes /* 3291c7c3c6aSMatthew Dillon * Wait/Retry if the page is busy. We have to do this 3301c7c3c6aSMatthew Dillon * if the page is busy via either PG_BUSY or 3311c7c3c6aSMatthew Dillon * vm_page_t->busy because the vm_pager may be using 3321c7c3c6aSMatthew Dillon * vm_page_t->busy for pageouts ( and even pageins if 3331c7c3c6aSMatthew Dillon * it is the vnode pager ), and we could end up trying 334956f3135SPhilippe Charnier * to pagein and pageout the same page simultaneously. 3351c7c3c6aSMatthew Dillon * 3361c7c3c6aSMatthew Dillon * We can theoretically allow the busy case on a read 3371c7c3c6aSMatthew Dillon * fault if the page is marked valid, but since such 3381c7c3c6aSMatthew Dillon * pages are typically already pmap'd, putting that 3391c7c3c6aSMatthew Dillon * special case in might be more effort then it is 3401c7c3c6aSMatthew Dillon * worth. We cannot under any circumstances mess 3411c7c3c6aSMatthew Dillon * around with a vm_page_t->busy page except, perhaps, 3421c7c3c6aSMatthew Dillon * to pmap it. 343df8bae1dSRodney W. Grimes */ 3441c7c3c6aSMatthew Dillon if ((fs.m->flags & PG_BUSY) || fs.m->busy) { 3454866e085SJohn Dyson unlock_things(&fs); 3461c7c3c6aSMatthew Dillon (void)vm_page_sleep_busy(fs.m, TRUE, "vmpfw"); 347976e77fcSDavid Greenman cnt.v_intrans++; 3484866e085SJohn Dyson vm_object_deallocate(fs.first_object); 349df8bae1dSRodney W. Grimes goto RetryFault; 350df8bae1dSRodney W. Grimes } 3514866e085SJohn Dyson queue = fs.m->queue; 352a1287949SEivind Eklund 353c699f45eSDavid Greenman s = splvm(); 3546d03d577SMatthew Dillon vm_pageq_remove_nowakeup(fs.m); 355c699f45eSDavid Greenman splx(s); 356c82b0181SJohn Dyson 35740360b1bSMatthew Dillon if ((queue - fs.m->pc) == PQ_CACHE && vm_page_count_severe()) { 3584866e085SJohn Dyson vm_page_activate(fs.m); 3594866e085SJohn Dyson unlock_and_deallocate(&fs); 360ef6020d1SMike Silbersack VM_WAITPFAULT; 36122ba64e8SJohn Dyson goto RetryFault; 36222ba64e8SJohn Dyson } 3637615edaaSMatthew Dillon 3641c7c3c6aSMatthew Dillon /* 3651c7c3c6aSMatthew Dillon * Mark page busy for other processes, and the 3661c7c3c6aSMatthew Dillon * pagedaemon. If it still isn't completely valid 3671c7c3c6aSMatthew Dillon * (readable), jump to readrest, else break-out ( we 3681c7c3c6aSMatthew Dillon * found the page ). 3691c7c3c6aSMatthew Dillon */ 370e69763a3SDoug Rabson vm_page_busy(fs.m); 3714866e085SJohn Dyson if (((fs.m->valid & VM_PAGE_BITS_ALL) != VM_PAGE_BITS_ALL) && 3724866e085SJohn Dyson fs.m->object != kernel_object && fs.m->object != kmem_object) { 3730d94caffSDavid Greenman goto readrest; 3740d94caffSDavid Greenman } 375ffc82b0aSJohn Dyson 376df8bae1dSRodney W. Grimes break; 377df8bae1dSRodney W. Grimes } 3781c7c3c6aSMatthew Dillon 3791c7c3c6aSMatthew Dillon /* 38040360b1bSMatthew Dillon * Page is not resident, If this is the search termination 38140360b1bSMatthew Dillon * or the pager might contain the page, allocate a new page. 3821c7c3c6aSMatthew Dillon */ 38340360b1bSMatthew Dillon if (TRYPAGER || fs.object == fs.first_object) { 3844866e085SJohn Dyson if (fs.pindex >= fs.object->size) { 3854866e085SJohn Dyson unlock_and_deallocate(&fs); 3867788e219SAlan Cox mtx_unlock(&Giant); 3875f55e841SDavid Greenman return (KERN_PROTECTION_FAILURE); 3885f55e841SDavid Greenman } 38922ba64e8SJohn Dyson 390df8bae1dSRodney W. Grimes /* 3910d94caffSDavid Greenman * Allocate a new page for this object/offset pair. 392df8bae1dSRodney W. Grimes */ 39340360b1bSMatthew Dillon fs.m = NULL; 39440360b1bSMatthew Dillon if (!vm_page_count_severe()) { 3954866e085SJohn Dyson fs.m = vm_page_alloc(fs.object, fs.pindex, 3964866e085SJohn Dyson (fs.vp || fs.object->backing_object)? VM_ALLOC_NORMAL: VM_ALLOC_ZERO); 39740360b1bSMatthew Dillon } 3984866e085SJohn Dyson if (fs.m == NULL) { 3994866e085SJohn Dyson unlock_and_deallocate(&fs); 400ef6020d1SMike Silbersack VM_WAITPFAULT; 401df8bae1dSRodney W. Grimes goto RetryFault; 402df8bae1dSRodney W. Grimes } 403df8bae1dSRodney W. Grimes } 40447221757SJohn Dyson 4050d94caffSDavid Greenman readrest: 4061c7c3c6aSMatthew Dillon /* 40740360b1bSMatthew Dillon * We have found a valid page or we have allocated a new page. 40840360b1bSMatthew Dillon * The page thus may not be valid or may not be entirely 40940360b1bSMatthew Dillon * valid. 41040360b1bSMatthew Dillon * 41140360b1bSMatthew Dillon * Attempt to fault-in the page if there is a chance that the 41240360b1bSMatthew Dillon * pager has it, and potentially fault in additional pages 41340360b1bSMatthew Dillon * at the same time. 4141c7c3c6aSMatthew Dillon */ 41540360b1bSMatthew Dillon if (TRYPAGER) { 416df8bae1dSRodney W. Grimes int rv; 41726f9a767SRodney W. Grimes int reqpage; 418867a482dSJohn Dyson int ahead, behind; 4197f866e4bSAlan Cox u_char behavior = vm_map_entry_behavior(fs.entry); 420867a482dSJohn Dyson 4217f866e4bSAlan Cox if (behavior == MAP_ENTRY_BEHAV_RANDOM) { 422867a482dSJohn Dyson ahead = 0; 423867a482dSJohn Dyson behind = 0; 4242d8acc0fSJohn Dyson } else { 4254866e085SJohn Dyson behind = (vaddr - fs.entry->start) >> PAGE_SHIFT; 4262d8acc0fSJohn Dyson if (behind > VM_FAULT_READ_BEHIND) 4272d8acc0fSJohn Dyson behind = VM_FAULT_READ_BEHIND; 4282d8acc0fSJohn Dyson 4294866e085SJohn Dyson ahead = ((fs.entry->end - vaddr) >> PAGE_SHIFT) - 1; 4302d8acc0fSJohn Dyson if (ahead > VM_FAULT_READ_AHEAD) 4312d8acc0fSJohn Dyson ahead = VM_FAULT_READ_AHEAD; 432867a482dSJohn Dyson } 433867a482dSJohn Dyson 4344866e085SJohn Dyson if ((fs.first_object->type != OBJT_DEVICE) && 43540360b1bSMatthew Dillon (behavior == MAP_ENTRY_BEHAV_SEQUENTIAL || 43640360b1bSMatthew Dillon (behavior != MAP_ENTRY_BEHAV_RANDOM && 43740360b1bSMatthew Dillon fs.pindex >= fs.entry->lastr && 43840360b1bSMatthew Dillon fs.pindex < fs.entry->lastr + VM_FAULT_READ)) 43940360b1bSMatthew Dillon ) { 440867a482dSJohn Dyson vm_pindex_t firstpindex, tmppindex; 44140360b1bSMatthew Dillon 44240360b1bSMatthew Dillon if (fs.first_pindex < 2 * VM_FAULT_READ) 443867a482dSJohn Dyson firstpindex = 0; 444867a482dSJohn Dyson else 44540360b1bSMatthew Dillon firstpindex = fs.first_pindex - 2 * VM_FAULT_READ; 446867a482dSJohn Dyson 44715a5d210SAlan Cox vm_page_lock_queues(); 4484221e284SAlan Cox /* 4494221e284SAlan Cox * note: partially valid pages cannot be 4504221e284SAlan Cox * included in the lookahead - NFS piecemeal 4514221e284SAlan Cox * writes will barf on it badly. 4524221e284SAlan Cox */ 4534866e085SJohn Dyson for (tmppindex = fs.first_pindex - 1; 4542100d645SPeter Wemm tmppindex >= firstpindex; 455867a482dSJohn Dyson --tmppindex) { 456867a482dSJohn Dyson vm_page_t mt; 457a1287949SEivind Eklund 4584866e085SJohn Dyson mt = vm_page_lookup(fs.first_object, tmppindex); 459867a482dSJohn Dyson if (mt == NULL || (mt->valid != VM_PAGE_BITS_ALL)) 460867a482dSJohn Dyson break; 461ff97964aSJohn Dyson if (mt->busy || 4628b03c8edSMatthew Dillon (mt->flags & (PG_BUSY | PG_FICTITIOUS | PG_UNMANAGED)) || 463ff97964aSJohn Dyson mt->hold_count || 464867a482dSJohn Dyson mt->wire_count) 465867a482dSJohn Dyson continue; 466867a482dSJohn Dyson if (mt->dirty == 0) 467867a482dSJohn Dyson vm_page_test_dirty(mt); 468867a482dSJohn Dyson if (mt->dirty) { 469867a482dSJohn Dyson vm_page_protect(mt, VM_PROT_NONE); 470867a482dSJohn Dyson vm_page_deactivate(mt); 471867a482dSJohn Dyson } else { 472867a482dSJohn Dyson vm_page_cache(mt); 473867a482dSJohn Dyson } 474867a482dSJohn Dyson } 47515a5d210SAlan Cox vm_page_unlock_queues(); 476867a482dSJohn Dyson ahead += behind; 477867a482dSJohn Dyson behind = 0; 478867a482dSJohn Dyson } 479df8bae1dSRodney W. Grimes 480df8bae1dSRodney W. Grimes /* 4810d94caffSDavid Greenman * now we find out if any other pages should be paged 4820d94caffSDavid Greenman * in at this time this routine checks to see if the 4830d94caffSDavid Greenman * pages surrounding this fault reside in the same 4840d94caffSDavid Greenman * object as the page for this fault. If they do, 4850d94caffSDavid Greenman * then they are faulted in also into the object. The 4860d94caffSDavid Greenman * array "marray" returned contains an array of 4870d94caffSDavid Greenman * vm_page_t structs where one of them is the 4880d94caffSDavid Greenman * vm_page_t passed to the routine. The reqpage 4890d94caffSDavid Greenman * return value is the index into the marray for the 4900d94caffSDavid Greenman * vm_page_t passed to the routine. 4911c7c3c6aSMatthew Dillon * 4921c7c3c6aSMatthew Dillon * fs.m plus the additional pages are PG_BUSY'd. 493532eadefSAlan Cox * 494532eadefSAlan Cox * XXX vm_fault_additional_pages() can block 495532eadefSAlan Cox * without releasing the map lock. 49626f9a767SRodney W. Grimes */ 49705f0fdd2SPoul-Henning Kamp faultcount = vm_fault_additional_pages( 4984866e085SJohn Dyson fs.m, behind, ahead, marray, &reqpage); 499df8bae1dSRodney W. Grimes 500df8bae1dSRodney W. Grimes /* 50140360b1bSMatthew Dillon * update lastr imperfectly (we do not know how much 50240360b1bSMatthew Dillon * getpages will actually read), but good enough. 503532eadefSAlan Cox * 504532eadefSAlan Cox * XXX The following assignment modifies the map 505532eadefSAlan Cox * without holding a write lock on it. 50640360b1bSMatthew Dillon */ 50740360b1bSMatthew Dillon fs.entry->lastr = fs.pindex + faultcount - behind; 50840360b1bSMatthew Dillon 50940360b1bSMatthew Dillon /* 5100d94caffSDavid Greenman * Call the pager to retrieve the data, if any, after 5111c7c3c6aSMatthew Dillon * releasing the lock on the map. We hold a ref on 5121c7c3c6aSMatthew Dillon * fs.object and the pages are PG_BUSY'd. 513df8bae1dSRodney W. Grimes */ 5144866e085SJohn Dyson unlock_map(&fs); 515df8bae1dSRodney W. Grimes 51626f9a767SRodney W. Grimes rv = faultcount ? 5174866e085SJohn Dyson vm_pager_get_pages(fs.object, marray, faultcount, 51824a1cce3SDavid Greenman reqpage) : VM_PAGER_FAIL; 51922ba64e8SJohn Dyson 52026f9a767SRodney W. Grimes if (rv == VM_PAGER_OK) { 521df8bae1dSRodney W. Grimes /* 522f230c45cSJohn Dyson * Found the page. Leave it busy while we play 523f230c45cSJohn Dyson * with it. 524f230c45cSJohn Dyson */ 525f230c45cSJohn Dyson 526f230c45cSJohn Dyson /* 5270d94caffSDavid Greenman * Relookup in case pager changed page. Pager 5280d94caffSDavid Greenman * is responsible for disposition of old page 5290d94caffSDavid Greenman * if moved. 530df8bae1dSRodney W. Grimes */ 5314866e085SJohn Dyson fs.m = vm_page_lookup(fs.object, fs.pindex); 5324866e085SJohn Dyson if (!fs.m) { 5334866e085SJohn Dyson unlock_and_deallocate(&fs); 534f6b04d2bSDavid Greenman goto RetryFault; 535f6b04d2bSDavid Greenman } 536f6b04d2bSDavid Greenman 53726f9a767SRodney W. Grimes hardfault++; 5381c7c3c6aSMatthew Dillon break; /* break to PAGE HAS BEEN FOUND */ 539df8bae1dSRodney W. Grimes } 540df8bae1dSRodney W. Grimes /* 5410d94caffSDavid Greenman * Remove the bogus page (which does not exist at this 5420d94caffSDavid Greenman * object/offset); before doing so, we must get back 5430d94caffSDavid Greenman * our object lock to preserve our invariant. 544df8bae1dSRodney W. Grimes * 54524a1cce3SDavid Greenman * Also wake up any other process that may want to bring 5460d94caffSDavid Greenman * in this page. 547df8bae1dSRodney W. Grimes * 5480d94caffSDavid Greenman * If this is the top-level object, we must leave the 54924a1cce3SDavid Greenman * busy page to prevent another process from rushing 5500d94caffSDavid Greenman * past us, and inserting the page in that object at 5510d94caffSDavid Greenman * the same time that we are. 552df8bae1dSRodney W. Grimes */ 553a83c285cSDavid Greenman if (rv == VM_PAGER_ERROR) 554f3679e35SDavid Greenman printf("vm_fault: pager read error, pid %d (%s)\n", 555f3679e35SDavid Greenman curproc->p_pid, curproc->p_comm); 55626f9a767SRodney W. Grimes /* 557a83c285cSDavid Greenman * Data outside the range of the pager or an I/O error 55826f9a767SRodney W. Grimes */ 559a83c285cSDavid Greenman /* 5600d94caffSDavid Greenman * XXX - the check for kernel_map is a kludge to work 5610d94caffSDavid Greenman * around having the machine panic on a kernel space 5620d94caffSDavid Greenman * fault w/ I/O error. 563a83c285cSDavid Greenman */ 5644866e085SJohn Dyson if (((fs.map != kernel_map) && (rv == VM_PAGER_ERROR)) || 56547221757SJohn Dyson (rv == VM_PAGER_BAD)) { 5664866e085SJohn Dyson vm_page_free(fs.m); 5674866e085SJohn Dyson fs.m = NULL; 5684866e085SJohn Dyson unlock_and_deallocate(&fs); 5697788e219SAlan Cox mtx_unlock(&Giant); 570a83c285cSDavid Greenman return ((rv == VM_PAGER_ERROR) ? KERN_FAILURE : KERN_PROTECTION_FAILURE); 57126f9a767SRodney W. Grimes } 5724866e085SJohn Dyson if (fs.object != fs.first_object) { 5734866e085SJohn Dyson vm_page_free(fs.m); 5744866e085SJohn Dyson fs.m = NULL; 57526f9a767SRodney W. Grimes /* 57626f9a767SRodney W. Grimes * XXX - we cannot just fall out at this 57726f9a767SRodney W. Grimes * point, m has been freed and is invalid! 57826f9a767SRodney W. Grimes */ 579df8bae1dSRodney W. Grimes } 580df8bae1dSRodney W. Grimes } 58140360b1bSMatthew Dillon 582df8bae1dSRodney W. Grimes /* 5831c7c3c6aSMatthew Dillon * We get here if the object has default pager (or unwiring) 5841c7c3c6aSMatthew Dillon * or the pager doesn't have the page. 585df8bae1dSRodney W. Grimes */ 5864866e085SJohn Dyson if (fs.object == fs.first_object) 5874866e085SJohn Dyson fs.first_m = fs.m; 588df8bae1dSRodney W. Grimes 589df8bae1dSRodney W. Grimes /* 5900d94caffSDavid Greenman * Move on to the next object. Lock the next object before 5910d94caffSDavid Greenman * unlocking the current one. 592df8bae1dSRodney W. Grimes */ 5934866e085SJohn Dyson fs.pindex += OFF_TO_IDX(fs.object->backing_object_offset); 5944866e085SJohn Dyson next_object = fs.object->backing_object; 595df8bae1dSRodney W. Grimes if (next_object == NULL) { 596df8bae1dSRodney W. Grimes /* 5970d94caffSDavid Greenman * If there's no object left, fill the page in the top 5980d94caffSDavid Greenman * object with zeros. 599df8bae1dSRodney W. Grimes */ 6004866e085SJohn Dyson if (fs.object != fs.first_object) { 6014866e085SJohn Dyson vm_object_pip_wakeup(fs.object); 602df8bae1dSRodney W. Grimes 6034866e085SJohn Dyson fs.object = fs.first_object; 6044866e085SJohn Dyson fs.pindex = fs.first_pindex; 6054866e085SJohn Dyson fs.m = fs.first_m; 606df8bae1dSRodney W. Grimes } 6074866e085SJohn Dyson fs.first_m = NULL; 608df8bae1dSRodney W. Grimes 6094221e284SAlan Cox /* 6104221e284SAlan Cox * Zero the page if necessary and mark it valid. 6114221e284SAlan Cox */ 6124866e085SJohn Dyson if ((fs.m->flags & PG_ZERO) == 0) { 6134866e085SJohn Dyson vm_page_zero_fill(fs.m); 6144221e284SAlan Cox } else { 61514286e5eSAlan Cox cnt.v_ozfod++; 6164221e284SAlan Cox } 617df8bae1dSRodney W. Grimes cnt.v_zfod++; 6184221e284SAlan Cox fs.m->valid = VM_PAGE_BITS_ALL; 6191c7c3c6aSMatthew Dillon break; /* break to PAGE HAS BEEN FOUND */ 6200d94caffSDavid Greenman } else { 6214866e085SJohn Dyson if (fs.object != fs.first_object) { 6224866e085SJohn Dyson vm_object_pip_wakeup(fs.object); 623c0503609SDavid Greenman } 6241c7c3c6aSMatthew Dillon KASSERT(fs.object != next_object, ("object loop %p", next_object)); 6254866e085SJohn Dyson fs.object = next_object; 626d474eaaaSDoug Rabson vm_object_pip_add(fs.object, 1); 627df8bae1dSRodney W. Grimes } 628df8bae1dSRodney W. Grimes } 6291c7c3c6aSMatthew Dillon 6305526d2d9SEivind Eklund KASSERT((fs.m->flags & PG_BUSY) != 0, 6315526d2d9SEivind Eklund ("vm_fault: not busy after main loop")); 632df8bae1dSRodney W. Grimes 633df8bae1dSRodney W. Grimes /* 6340d94caffSDavid Greenman * PAGE HAS BEEN FOUND. [Loop invariant still holds -- the object lock 635df8bae1dSRodney W. Grimes * is held.] 636df8bae1dSRodney W. Grimes */ 637df8bae1dSRodney W. Grimes 638df8bae1dSRodney W. Grimes /* 6390d94caffSDavid Greenman * If the page is being written, but isn't already owned by the 6400d94caffSDavid Greenman * top-level object, we have to copy it into a new page owned by the 6410d94caffSDavid Greenman * top-level object. 642df8bae1dSRodney W. Grimes */ 6434866e085SJohn Dyson if (fs.object != fs.first_object) { 644df8bae1dSRodney W. Grimes /* 6450d94caffSDavid Greenman * We only really need to copy if we want to write it. 646df8bae1dSRodney W. Grimes */ 647df8bae1dSRodney W. Grimes if (fault_type & VM_PROT_WRITE) { 648df8bae1dSRodney W. Grimes /* 6491c7c3c6aSMatthew Dillon * This allows pages to be virtually copied from a 6501c7c3c6aSMatthew Dillon * backing_object into the first_object, where the 6511c7c3c6aSMatthew Dillon * backing object has no other refs to it, and cannot 6521c7c3c6aSMatthew Dillon * gain any more refs. Instead of a bcopy, we just 6531c7c3c6aSMatthew Dillon * move the page from the backing object to the 6541c7c3c6aSMatthew Dillon * first object. Note that we must mark the page 6551c7c3c6aSMatthew Dillon * dirty in the first object so that it will go out 6561c7c3c6aSMatthew Dillon * to swap when needed. 657df8bae1dSRodney W. Grimes */ 6584866e085SJohn Dyson if (map_generation == fs.map->timestamp && 659de5f6a77SJohn Dyson /* 660de5f6a77SJohn Dyson * Only one shadow object 661de5f6a77SJohn Dyson */ 6624866e085SJohn Dyson (fs.object->shadow_count == 1) && 663de5f6a77SJohn Dyson /* 664de5f6a77SJohn Dyson * No COW refs, except us 665de5f6a77SJohn Dyson */ 6664866e085SJohn Dyson (fs.object->ref_count == 1) && 667de5f6a77SJohn Dyson /* 6685929bcfaSPhilippe Charnier * No one else can look this object up 669de5f6a77SJohn Dyson */ 6704866e085SJohn Dyson (fs.object->handle == NULL) && 671de5f6a77SJohn Dyson /* 672de5f6a77SJohn Dyson * No other ways to look the object up 673de5f6a77SJohn Dyson */ 6744866e085SJohn Dyson ((fs.object->type == OBJT_DEFAULT) || 6754866e085SJohn Dyson (fs.object->type == OBJT_SWAP)) && 676de5f6a77SJohn Dyson /* 677de5f6a77SJohn Dyson * We don't chase down the shadow chain 678de5f6a77SJohn Dyson */ 6794866e085SJohn Dyson (fs.object == fs.first_object->backing_object) && 680df8bae1dSRodney W. Grimes 681df8bae1dSRodney W. Grimes /* 6822d8acc0fSJohn Dyson * grab the lock if we need to 6832d8acc0fSJohn Dyson */ 684d974f03cSAlan Cox (fs.lookup_still_valid || vm_map_trylock(fs.map))) { 68525adb370SBrian Feldman 68625adb370SBrian Feldman fs.lookup_still_valid = 1; 6872d8acc0fSJohn Dyson /* 688de5f6a77SJohn Dyson * get rid of the unnecessary page 689df8bae1dSRodney W. Grimes */ 6904866e085SJohn Dyson vm_page_protect(fs.first_m, VM_PROT_NONE); 6914866e085SJohn Dyson vm_page_free(fs.first_m); 6924866e085SJohn Dyson fs.first_m = NULL; 6934866e085SJohn Dyson 694de5f6a77SJohn Dyson /* 6951c7c3c6aSMatthew Dillon * grab the page and put it into the 6961c7c3c6aSMatthew Dillon * process'es object. The page is 6971c7c3c6aSMatthew Dillon * automatically made dirty. 698de5f6a77SJohn Dyson */ 6994866e085SJohn Dyson vm_page_rename(fs.m, fs.first_object, fs.first_pindex); 7004866e085SJohn Dyson fs.first_m = fs.m; 701e69763a3SDoug Rabson vm_page_busy(fs.first_m); 7024866e085SJohn Dyson fs.m = NULL; 7034866e085SJohn Dyson cnt.v_cow_optim++; 704de5f6a77SJohn Dyson } else { 705de5f6a77SJohn Dyson /* 706de5f6a77SJohn Dyson * Oh, well, lets copy it. 707de5f6a77SJohn Dyson */ 7084866e085SJohn Dyson vm_page_copy(fs.m, fs.first_m); 709de5f6a77SJohn Dyson } 710df8bae1dSRodney W. Grimes 7114866e085SJohn Dyson if (fs.m) { 712df8bae1dSRodney W. Grimes /* 713df8bae1dSRodney W. Grimes * We no longer need the old page or object. 714df8bae1dSRodney W. Grimes */ 7154866e085SJohn Dyson release_page(&fs); 716de5f6a77SJohn Dyson } 717df8bae1dSRodney W. Grimes 7181c7c3c6aSMatthew Dillon /* 7191c7c3c6aSMatthew Dillon * fs.object != fs.first_object due to above 7201c7c3c6aSMatthew Dillon * conditional 7211c7c3c6aSMatthew Dillon */ 7224866e085SJohn Dyson vm_object_pip_wakeup(fs.object); 7231c7c3c6aSMatthew Dillon 724df8bae1dSRodney W. Grimes /* 725df8bae1dSRodney W. Grimes * Only use the new page below... 726df8bae1dSRodney W. Grimes */ 727df8bae1dSRodney W. Grimes cnt.v_cow_faults++; 7284866e085SJohn Dyson fs.m = fs.first_m; 7294866e085SJohn Dyson fs.object = fs.first_object; 7304866e085SJohn Dyson fs.pindex = fs.first_pindex; 731df8bae1dSRodney W. Grimes 7320d94caffSDavid Greenman } else { 733df8bae1dSRodney W. Grimes prot &= ~VM_PROT_WRITE; 734df8bae1dSRodney W. Grimes } 735df8bae1dSRodney W. Grimes } 736df8bae1dSRodney W. Grimes 737df8bae1dSRodney W. Grimes /* 7380d94caffSDavid Greenman * We must verify that the maps have not changed since our last 7390d94caffSDavid Greenman * lookup. 740df8bae1dSRodney W. Grimes */ 74125adb370SBrian Feldman if (!fs.lookup_still_valid && 7424866e085SJohn Dyson (fs.map->timestamp != map_generation)) { 743df8bae1dSRodney W. Grimes vm_object_t retry_object; 744a316d390SJohn Dyson vm_pindex_t retry_pindex; 745df8bae1dSRodney W. Grimes vm_prot_t retry_prot; 746df8bae1dSRodney W. Grimes 747df8bae1dSRodney W. Grimes /* 7480d94caffSDavid Greenman * Since map entries may be pageable, make sure we can take a 7490d94caffSDavid Greenman * page fault on them. 750df8bae1dSRodney W. Grimes */ 751df8bae1dSRodney W. Grimes 752df8bae1dSRodney W. Grimes /* 753b33fb764SMatthew Dillon * Unlock vnode before the lookup to avoid deadlock. E.G. 754b33fb764SMatthew Dillon * avoid a deadlock between the inode and exec_map that can 755b33fb764SMatthew Dillon * occur due to locks being obtained in different orders. 756b33fb764SMatthew Dillon */ 757b33fb764SMatthew Dillon if (fs.vp != NULL) { 758b33fb764SMatthew Dillon vput(fs.vp); 759b33fb764SMatthew Dillon fs.vp = NULL; 760b33fb764SMatthew Dillon } 761b823bbd6SMatthew Dillon 762b823bbd6SMatthew Dillon if (fs.map->infork) { 763b823bbd6SMatthew Dillon release_page(&fs); 764b823bbd6SMatthew Dillon unlock_and_deallocate(&fs); 765b823bbd6SMatthew Dillon goto RetryFault; 766b823bbd6SMatthew Dillon } 767b33fb764SMatthew Dillon 768b33fb764SMatthew Dillon /* 76924a1cce3SDavid Greenman * To avoid trying to write_lock the map while another process 7700d94caffSDavid Greenman * has it read_locked (in vm_map_pageable), we do not try for 7710d94caffSDavid Greenman * write permission. If the page is still writable, we will 7720d94caffSDavid Greenman * get write permission. If it is not, or has been marked 7730d94caffSDavid Greenman * needs_copy, we enter the mapping without write permission, 7740d94caffSDavid Greenman * and will merely take another fault. 775df8bae1dSRodney W. Grimes */ 7764866e085SJohn Dyson result = vm_map_lookup(&fs.map, vaddr, fault_type & ~VM_PROT_WRITE, 7774866e085SJohn Dyson &fs.entry, &retry_object, &retry_pindex, &retry_prot, &wired); 7784866e085SJohn Dyson map_generation = fs.map->timestamp; 779df8bae1dSRodney W. Grimes 780df8bae1dSRodney W. Grimes /* 7810d94caffSDavid Greenman * If we don't need the page any longer, put it on the active 7820d94caffSDavid Greenman * list (the easiest thing to do here). If no one needs it, 7830d94caffSDavid Greenman * pageout will grab it eventually. 784df8bae1dSRodney W. Grimes */ 785df8bae1dSRodney W. Grimes if (result != KERN_SUCCESS) { 7864866e085SJohn Dyson release_page(&fs); 7874866e085SJohn Dyson unlock_and_deallocate(&fs); 7887788e219SAlan Cox mtx_unlock(&Giant); 789df8bae1dSRodney W. Grimes return (result); 790df8bae1dSRodney W. Grimes } 79125adb370SBrian Feldman fs.lookup_still_valid = TRUE; 792df8bae1dSRodney W. Grimes 7934866e085SJohn Dyson if ((retry_object != fs.first_object) || 7944866e085SJohn Dyson (retry_pindex != fs.first_pindex)) { 7954866e085SJohn Dyson release_page(&fs); 7964866e085SJohn Dyson unlock_and_deallocate(&fs); 797df8bae1dSRodney W. Grimes goto RetryFault; 798df8bae1dSRodney W. Grimes } 799df8bae1dSRodney W. Grimes /* 8000d94caffSDavid Greenman * Check whether the protection has changed or the object has 8010d94caffSDavid Greenman * been copied while we left the map unlocked. Changing from 8020d94caffSDavid Greenman * read to write permission is OK - we leave the page 8030d94caffSDavid Greenman * write-protected, and catch the write fault. Changing from 8040d94caffSDavid Greenman * write to read permission means that we can't mark the page 8050d94caffSDavid Greenman * write-enabled after all. 806df8bae1dSRodney W. Grimes */ 807df8bae1dSRodney W. Grimes prot &= retry_prot; 808df8bae1dSRodney W. Grimes } 809df8bae1dSRodney W. Grimes 810df8bae1dSRodney W. Grimes /* 8110d94caffSDavid Greenman * Put this page into the physical map. We had to do the unlock above 8120d94caffSDavid Greenman * because pmap_enter may cause other faults. We don't put the page 8130d94caffSDavid Greenman * back on the active queue until later so that the page-out daemon 8140d94caffSDavid Greenman * won't find us (yet). 815df8bae1dSRodney W. Grimes */ 816df8bae1dSRodney W. Grimes 8172ddba215SDavid Greenman if (prot & VM_PROT_WRITE) { 818e69763a3SDoug Rabson vm_page_flag_set(fs.m, PG_WRITEABLE); 819245df27cSMatthew Dillon vm_object_set_writeable_dirty(fs.m->object); 8204f79d873SMatthew Dillon 8212ddba215SDavid Greenman /* 8222ddba215SDavid Greenman * If the fault is a write, we know that this page is being 8234f79d873SMatthew Dillon * written NOW so dirty it explicitly to save on 8244f79d873SMatthew Dillon * pmap_is_modified() calls later. 8254f79d873SMatthew Dillon * 8264f79d873SMatthew Dillon * If this is a NOSYNC mmap we do not want to set PG_NOSYNC 8274f79d873SMatthew Dillon * if the page is already dirty to prevent data written with 8284f79d873SMatthew Dillon * the expectation of being synced from not being synced. 8294f79d873SMatthew Dillon * Likewise if this entry does not request NOSYNC then make 8304f79d873SMatthew Dillon * sure the page isn't marked NOSYNC. Applications sharing 8314f79d873SMatthew Dillon * data should use the same flags to avoid ping ponging. 8321c7c3c6aSMatthew Dillon * 8331c7c3c6aSMatthew Dillon * Also tell the backing pager, if any, that it should remove 8341c7c3c6aSMatthew Dillon * any swap backing since the page is now dirty. 8352ddba215SDavid Greenman */ 8364f79d873SMatthew Dillon if (fs.entry->eflags & MAP_ENTRY_NOSYNC) { 8374f79d873SMatthew Dillon if (fs.m->dirty == 0) 8384f79d873SMatthew Dillon vm_page_flag_set(fs.m, PG_NOSYNC); 8394f79d873SMatthew Dillon } else { 8404f79d873SMatthew Dillon vm_page_flag_clear(fs.m, PG_NOSYNC); 8414f79d873SMatthew Dillon } 8425bf53acbSMatthew Dillon if (fault_flags & VM_FAULT_DIRTY) { 8435bf53acbSMatthew Dillon int s; 8447dbf82dcSMatthew Dillon vm_page_dirty(fs.m); 845ef0646f9SMatthew Dillon s = splvm(); 8461c7c3c6aSMatthew Dillon vm_pager_page_unswapped(fs.m); 847ef0646f9SMatthew Dillon splx(s); 8482ddba215SDavid Greenman } 8492ddba215SDavid Greenman } 850f6b04d2bSDavid Greenman 851bc6d84a6SMatthew Dillon /* 852bc6d84a6SMatthew Dillon * Page had better still be busy 853bc6d84a6SMatthew Dillon */ 854ca06c247SAlan Cox KASSERT(fs.m->flags & PG_BUSY, 855ca06c247SAlan Cox ("vm_fault: page %p not busy!", fs.m)); 8564866e085SJohn Dyson unlock_things(&fs); 8574221e284SAlan Cox 8584221e284SAlan Cox /* 8594221e284SAlan Cox * Sanity check: page must be completely valid or it is not fit to 8604221e284SAlan Cox * map into user space. vm_pager_get_pages() ensures this. 8614221e284SAlan Cox */ 8624221e284SAlan Cox if (fs.m->valid != VM_PAGE_BITS_ALL) { 8634221e284SAlan Cox vm_page_zero_invalid(fs.m, TRUE); 8644221e284SAlan Cox printf("Warning: page %p partially invalid on fault\n", fs.m); 8654221e284SAlan Cox } 8660385347cSPeter Wemm pmap_enter(fs.map->pmap, vaddr, fs.m, prot, wired); 8672d8acc0fSJohn Dyson if (((fault_flags & VM_FAULT_WIRE_MASK) == 0) && (wired == 0)) { 8684866e085SJohn Dyson pmap_prefault(fs.map->pmap, vaddr, fs.entry); 8692d8acc0fSJohn Dyson } 8702d09a6adSAlan Cox vm_page_lock_queues(); 8714221e284SAlan Cox vm_page_flag_clear(fs.m, PG_ZERO); 872e69763a3SDoug Rabson vm_page_flag_set(fs.m, PG_MAPPED|PG_REFERENCED); 873ff97964aSJohn Dyson 874df8bae1dSRodney W. Grimes /* 8750d94caffSDavid Greenman * If the page is not wired down, then put it where the pageout daemon 8760d94caffSDavid Greenman * can find it. 877df8bae1dSRodney W. Grimes */ 878a04c970aSJohn Dyson if (fault_flags & VM_FAULT_WIRE_MASK) { 879df8bae1dSRodney W. Grimes if (wired) 8804866e085SJohn Dyson vm_page_wire(fs.m); 881df8bae1dSRodney W. Grimes else 88273007561SDavid Greenman vm_page_unwire(fs.m, 1); 8830d94caffSDavid Greenman } else { 8844866e085SJohn Dyson vm_page_activate(fs.m); 88526f9a767SRodney W. Grimes } 8862d09a6adSAlan Cox vm_page_unlock_queues(); 8879ed346baSBosko Milekic mtx_lock_spin(&sched_lock); 888b9393356SJohn Baldwin if (curproc && (curproc->p_sflag & PS_INMEM) && curproc->p_stats) { 88926f9a767SRodney W. Grimes if (hardfault) { 89026f9a767SRodney W. Grimes curproc->p_stats->p_ru.ru_majflt++; 89126f9a767SRodney W. Grimes } else { 89226f9a767SRodney W. Grimes curproc->p_stats->p_ru.ru_minflt++; 89326f9a767SRodney W. Grimes } 89426f9a767SRodney W. Grimes } 8959ed346baSBosko Milekic mtx_unlock_spin(&sched_lock); 896df8bae1dSRodney W. Grimes 897df8bae1dSRodney W. Grimes /* 898df8bae1dSRodney W. Grimes * Unlock everything, and return 899df8bae1dSRodney W. Grimes */ 900e69763a3SDoug Rabson vm_page_wakeup(fs.m); 9014866e085SJohn Dyson vm_object_deallocate(fs.first_object); 9027788e219SAlan Cox mtx_unlock(&Giant); 903df8bae1dSRodney W. Grimes return (KERN_SUCCESS); 904df8bae1dSRodney W. Grimes } 905df8bae1dSRodney W. Grimes 906df8bae1dSRodney W. Grimes /* 907df8bae1dSRodney W. Grimes * vm_fault_wire: 908df8bae1dSRodney W. Grimes * 909df8bae1dSRodney W. Grimes * Wire down a range of virtual addresses in a map. 910df8bae1dSRodney W. Grimes */ 911df8bae1dSRodney W. Grimes int 912df8bae1dSRodney W. Grimes vm_fault_wire(map, start, end) 913df8bae1dSRodney W. Grimes vm_map_t map; 914df8bae1dSRodney W. Grimes vm_offset_t start, end; 915df8bae1dSRodney W. Grimes { 91626f9a767SRodney W. Grimes 91754d92145SMatthew Dillon vm_offset_t va; 91854d92145SMatthew Dillon pmap_t pmap; 919df8bae1dSRodney W. Grimes int rv; 920df8bae1dSRodney W. Grimes 921df8bae1dSRodney W. Grimes pmap = vm_map_pmap(map); 922df8bae1dSRodney W. Grimes 923df8bae1dSRodney W. Grimes /* 9240d94caffSDavid Greenman * Inform the physical mapping system that the range of addresses may 9250d94caffSDavid Greenman * not fault, so that page tables and such can be locked down as well. 926df8bae1dSRodney W. Grimes */ 927df8bae1dSRodney W. Grimes pmap_pageable(pmap, start, end, FALSE); 928df8bae1dSRodney W. Grimes 929df8bae1dSRodney W. Grimes /* 9300d94caffSDavid Greenman * We simulate a fault to get the page and enter it in the physical 9310d94caffSDavid Greenman * map. 932df8bae1dSRodney W. Grimes */ 933df8bae1dSRodney W. Grimes for (va = start; va < end; va += PAGE_SIZE) { 9347aaaa4fdSJohn Dyson rv = vm_fault(map, va, VM_PROT_READ|VM_PROT_WRITE, 9357aaaa4fdSJohn Dyson VM_FAULT_CHANGE_WIRING); 9367aaaa4fdSJohn Dyson if (rv) { 9377aaaa4fdSJohn Dyson if (va != start) 9387aaaa4fdSJohn Dyson vm_fault_unwire(map, start, va); 9397aaaa4fdSJohn Dyson return (rv); 9407aaaa4fdSJohn Dyson } 9417aaaa4fdSJohn Dyson } 9427aaaa4fdSJohn Dyson return (KERN_SUCCESS); 9437aaaa4fdSJohn Dyson } 9447aaaa4fdSJohn Dyson 9457aaaa4fdSJohn Dyson /* 9467aaaa4fdSJohn Dyson * vm_fault_user_wire: 9477aaaa4fdSJohn Dyson * 9487aaaa4fdSJohn Dyson * Wire down a range of virtual addresses in a map. This 9497aaaa4fdSJohn Dyson * is for user mode though, so we only ask for read access 9507aaaa4fdSJohn Dyson * on currently read only sections. 9517aaaa4fdSJohn Dyson */ 9527aaaa4fdSJohn Dyson int 9537aaaa4fdSJohn Dyson vm_fault_user_wire(map, start, end) 9547aaaa4fdSJohn Dyson vm_map_t map; 9557aaaa4fdSJohn Dyson vm_offset_t start, end; 9567aaaa4fdSJohn Dyson { 95754d92145SMatthew Dillon vm_offset_t va; 95854d92145SMatthew Dillon pmap_t pmap; 9597aaaa4fdSJohn Dyson int rv; 9607aaaa4fdSJohn Dyson 9617aaaa4fdSJohn Dyson pmap = vm_map_pmap(map); 9627aaaa4fdSJohn Dyson 9637aaaa4fdSJohn Dyson /* 9647aaaa4fdSJohn Dyson * Inform the physical mapping system that the range of addresses may 9657aaaa4fdSJohn Dyson * not fault, so that page tables and such can be locked down as well. 9667aaaa4fdSJohn Dyson */ 9677aaaa4fdSJohn Dyson pmap_pageable(pmap, start, end, FALSE); 9687aaaa4fdSJohn Dyson 9697aaaa4fdSJohn Dyson /* 9707aaaa4fdSJohn Dyson * We simulate a fault to get the page and enter it in the physical 9717aaaa4fdSJohn Dyson * map. 9727aaaa4fdSJohn Dyson */ 9737aaaa4fdSJohn Dyson for (va = start; va < end; va += PAGE_SIZE) { 9747aaaa4fdSJohn Dyson rv = vm_fault(map, va, VM_PROT_READ, VM_FAULT_USER_WIRE); 975df8bae1dSRodney W. Grimes if (rv) { 976df8bae1dSRodney W. Grimes if (va != start) 977df8bae1dSRodney W. Grimes vm_fault_unwire(map, start, va); 978df8bae1dSRodney W. Grimes return (rv); 979df8bae1dSRodney W. Grimes } 980df8bae1dSRodney W. Grimes } 981df8bae1dSRodney W. Grimes return (KERN_SUCCESS); 982df8bae1dSRodney W. Grimes } 983df8bae1dSRodney W. Grimes 984df8bae1dSRodney W. Grimes 985df8bae1dSRodney W. Grimes /* 986df8bae1dSRodney W. Grimes * vm_fault_unwire: 987df8bae1dSRodney W. Grimes * 988df8bae1dSRodney W. Grimes * Unwire a range of virtual addresses in a map. 989df8bae1dSRodney W. Grimes */ 99026f9a767SRodney W. Grimes void 99126f9a767SRodney W. Grimes vm_fault_unwire(map, start, end) 992df8bae1dSRodney W. Grimes vm_map_t map; 993df8bae1dSRodney W. Grimes vm_offset_t start, end; 994df8bae1dSRodney W. Grimes { 99554d92145SMatthew Dillon vm_offset_t va, pa; 99654d92145SMatthew Dillon pmap_t pmap; 997df8bae1dSRodney W. Grimes 998df8bae1dSRodney W. Grimes pmap = vm_map_pmap(map); 999df8bae1dSRodney W. Grimes 10004b9fdc2bSAlan Cox mtx_lock(&Giant); 1001df8bae1dSRodney W. Grimes /* 10020d94caffSDavid Greenman * Since the pages are wired down, we must be able to get their 10030d94caffSDavid Greenman * mappings from the physical map system. 1004df8bae1dSRodney W. Grimes */ 1005df8bae1dSRodney W. Grimes for (va = start; va < end; va += PAGE_SIZE) { 1006df8bae1dSRodney W. Grimes pa = pmap_extract(pmap, va); 1007b18bfc3dSJohn Dyson if (pa != (vm_offset_t) 0) { 1008df8bae1dSRodney W. Grimes pmap_change_wiring(pmap, va, FALSE); 10092d09a6adSAlan Cox vm_page_lock_queues(); 101073007561SDavid Greenman vm_page_unwire(PHYS_TO_VM_PAGE(pa), 1); 10112d09a6adSAlan Cox vm_page_unlock_queues(); 1012df8bae1dSRodney W. Grimes } 1013b18bfc3dSJohn Dyson } 1014042bb299SAlan Cox mtx_unlock(&Giant); 1015df8bae1dSRodney W. Grimes 1016df8bae1dSRodney W. Grimes /* 10170d94caffSDavid Greenman * Inform the physical mapping system that the range of addresses may 10180d94caffSDavid Greenman * fault, so that page tables and such may be unwired themselves. 1019df8bae1dSRodney W. Grimes */ 1020df8bae1dSRodney W. Grimes pmap_pageable(pmap, start, end, TRUE); 1021df8bae1dSRodney W. Grimes } 1022df8bae1dSRodney W. Grimes 1023df8bae1dSRodney W. Grimes /* 1024df8bae1dSRodney W. Grimes * Routine: 1025df8bae1dSRodney W. Grimes * vm_fault_copy_entry 1026df8bae1dSRodney W. Grimes * Function: 1027df8bae1dSRodney W. Grimes * Copy all of the pages from a wired-down map entry to another. 1028df8bae1dSRodney W. Grimes * 1029df8bae1dSRodney W. Grimes * In/out conditions: 1030df8bae1dSRodney W. Grimes * The source and destination maps must be locked for write. 1031df8bae1dSRodney W. Grimes * The source map entry must be wired down (or be a sharing map 1032df8bae1dSRodney W. Grimes * entry corresponding to a main map entry that is wired down). 1033df8bae1dSRodney W. Grimes */ 103426f9a767SRodney W. Grimes void 103526f9a767SRodney W. Grimes vm_fault_copy_entry(dst_map, src_map, dst_entry, src_entry) 1036df8bae1dSRodney W. Grimes vm_map_t dst_map; 1037df8bae1dSRodney W. Grimes vm_map_t src_map; 1038df8bae1dSRodney W. Grimes vm_map_entry_t dst_entry; 1039df8bae1dSRodney W. Grimes vm_map_entry_t src_entry; 1040df8bae1dSRodney W. Grimes { 1041df8bae1dSRodney W. Grimes vm_object_t dst_object; 1042df8bae1dSRodney W. Grimes vm_object_t src_object; 1043a316d390SJohn Dyson vm_ooffset_t dst_offset; 1044a316d390SJohn Dyson vm_ooffset_t src_offset; 1045df8bae1dSRodney W. Grimes vm_prot_t prot; 1046df8bae1dSRodney W. Grimes vm_offset_t vaddr; 1047df8bae1dSRodney W. Grimes vm_page_t dst_m; 1048df8bae1dSRodney W. Grimes vm_page_t src_m; 1049df8bae1dSRodney W. Grimes 1050df8bae1dSRodney W. Grimes #ifdef lint 1051df8bae1dSRodney W. Grimes src_map++; 10520d94caffSDavid Greenman #endif /* lint */ 1053df8bae1dSRodney W. Grimes 1054df8bae1dSRodney W. Grimes src_object = src_entry->object.vm_object; 1055df8bae1dSRodney W. Grimes src_offset = src_entry->offset; 1056df8bae1dSRodney W. Grimes 1057df8bae1dSRodney W. Grimes /* 10580d94caffSDavid Greenman * Create the top-level object for the destination entry. (Doesn't 10590d94caffSDavid Greenman * actually shadow anything - we copy the pages directly.) 1060df8bae1dSRodney W. Grimes */ 106124a1cce3SDavid Greenman dst_object = vm_object_allocate(OBJT_DEFAULT, 1062a316d390SJohn Dyson (vm_size_t) OFF_TO_IDX(dst_entry->end - dst_entry->start)); 1063df8bae1dSRodney W. Grimes 1064df8bae1dSRodney W. Grimes dst_entry->object.vm_object = dst_object; 1065df8bae1dSRodney W. Grimes dst_entry->offset = 0; 1066df8bae1dSRodney W. Grimes 1067df8bae1dSRodney W. Grimes prot = dst_entry->max_protection; 1068df8bae1dSRodney W. Grimes 1069df8bae1dSRodney W. Grimes /* 10700d94caffSDavid Greenman * Loop through all of the pages in the entry's range, copying each 10710d94caffSDavid Greenman * one from the source object (it should be there) to the destination 10720d94caffSDavid Greenman * object. 1073df8bae1dSRodney W. Grimes */ 1074df8bae1dSRodney W. Grimes for (vaddr = dst_entry->start, dst_offset = 0; 1075df8bae1dSRodney W. Grimes vaddr < dst_entry->end; 1076df8bae1dSRodney W. Grimes vaddr += PAGE_SIZE, dst_offset += PAGE_SIZE) { 1077df8bae1dSRodney W. Grimes 1078df8bae1dSRodney W. Grimes /* 1079df8bae1dSRodney W. Grimes * Allocate a page in the destination object 1080df8bae1dSRodney W. Grimes */ 1081df8bae1dSRodney W. Grimes do { 1082a316d390SJohn Dyson dst_m = vm_page_alloc(dst_object, 1083a316d390SJohn Dyson OFF_TO_IDX(dst_offset), VM_ALLOC_NORMAL); 1084df8bae1dSRodney W. Grimes if (dst_m == NULL) { 1085df8bae1dSRodney W. Grimes VM_WAIT; 1086df8bae1dSRodney W. Grimes } 1087df8bae1dSRodney W. Grimes } while (dst_m == NULL); 1088df8bae1dSRodney W. Grimes 1089df8bae1dSRodney W. Grimes /* 1090df8bae1dSRodney W. Grimes * Find the page in the source object, and copy it in. 10910d94caffSDavid Greenman * (Because the source is wired down, the page will be in 10920d94caffSDavid Greenman * memory.) 1093df8bae1dSRodney W. Grimes */ 1094a316d390SJohn Dyson src_m = vm_page_lookup(src_object, 1095a316d390SJohn Dyson OFF_TO_IDX(dst_offset + src_offset)); 1096df8bae1dSRodney W. Grimes if (src_m == NULL) 1097df8bae1dSRodney W. Grimes panic("vm_fault_copy_wired: page missing"); 1098df8bae1dSRodney W. Grimes 1099df8bae1dSRodney W. Grimes vm_page_copy(src_m, dst_m); 1100df8bae1dSRodney W. Grimes 1101df8bae1dSRodney W. Grimes /* 1102df8bae1dSRodney W. Grimes * Enter it in the pmap... 1103df8bae1dSRodney W. Grimes */ 1104e69763a3SDoug Rabson vm_page_flag_clear(dst_m, PG_ZERO); 11050385347cSPeter Wemm pmap_enter(dst_map->pmap, vaddr, dst_m, prot, FALSE); 1106e69763a3SDoug Rabson vm_page_flag_set(dst_m, PG_WRITEABLE|PG_MAPPED); 1107df8bae1dSRodney W. Grimes 1108df8bae1dSRodney W. Grimes /* 1109df8bae1dSRodney W. Grimes * Mark it no longer busy, and put it on the active list. 1110df8bae1dSRodney W. Grimes */ 1111df8bae1dSRodney W. Grimes vm_page_activate(dst_m); 1112e69763a3SDoug Rabson vm_page_wakeup(dst_m); 1113df8bae1dSRodney W. Grimes } 1114df8bae1dSRodney W. Grimes } 111526f9a767SRodney W. Grimes 111626f9a767SRodney W. Grimes 111726f9a767SRodney W. Grimes /* 111826f9a767SRodney W. Grimes * This routine checks around the requested page for other pages that 111922ba64e8SJohn Dyson * might be able to be faulted in. This routine brackets the viable 112022ba64e8SJohn Dyson * pages for the pages to be paged in. 112126f9a767SRodney W. Grimes * 112226f9a767SRodney W. Grimes * Inputs: 112322ba64e8SJohn Dyson * m, rbehind, rahead 112426f9a767SRodney W. Grimes * 112526f9a767SRodney W. Grimes * Outputs: 112626f9a767SRodney W. Grimes * marray (array of vm_page_t), reqpage (index of requested page) 112726f9a767SRodney W. Grimes * 112826f9a767SRodney W. Grimes * Return value: 112926f9a767SRodney W. Grimes * number of pages in marray 113023955314SAlfred Perlstein * 113123955314SAlfred Perlstein * This routine can't block. 113226f9a767SRodney W. Grimes */ 1133303b270bSEivind Eklund static int 113422ba64e8SJohn Dyson vm_fault_additional_pages(m, rbehind, rahead, marray, reqpage) 113526f9a767SRodney W. Grimes vm_page_t m; 113626f9a767SRodney W. Grimes int rbehind; 113722ba64e8SJohn Dyson int rahead; 113826f9a767SRodney W. Grimes vm_page_t *marray; 113926f9a767SRodney W. Grimes int *reqpage; 114026f9a767SRodney W. Grimes { 11412d8acc0fSJohn Dyson int i,j; 114226f9a767SRodney W. Grimes vm_object_t object; 1143a316d390SJohn Dyson vm_pindex_t pindex, startpindex, endpindex, tpindex; 114426f9a767SRodney W. Grimes vm_page_t rtm; 1145170db9c6SJohn Dyson int cbehind, cahead; 114626f9a767SRodney W. Grimes 11470cddd8f0SMatthew Dillon GIANT_REQUIRED; 114823955314SAlfred Perlstein 114926f9a767SRodney W. Grimes object = m->object; 1150a316d390SJohn Dyson pindex = m->pindex; 115126f9a767SRodney W. Grimes 115226f9a767SRodney W. Grimes /* 1153f35329acSJohn Dyson * we don't fault-ahead for device pager 1154f35329acSJohn Dyson */ 1155f35329acSJohn Dyson if (object->type == OBJT_DEVICE) { 1156f35329acSJohn Dyson *reqpage = 0; 1157f35329acSJohn Dyson marray[0] = m; 1158f35329acSJohn Dyson return 1; 1159f35329acSJohn Dyson } 1160f35329acSJohn Dyson 1161f35329acSJohn Dyson /* 116226f9a767SRodney W. Grimes * if the requested page is not available, then give up now 116326f9a767SRodney W. Grimes */ 11641c7c3c6aSMatthew Dillon if (!vm_pager_has_page(object, pindex, &cbehind, &cahead)) { 116526f9a767SRodney W. Grimes return 0; 11662d8acc0fSJohn Dyson } 116726f9a767SRodney W. Grimes 116822ba64e8SJohn Dyson if ((cbehind == 0) && (cahead == 0)) { 116922ba64e8SJohn Dyson *reqpage = 0; 117022ba64e8SJohn Dyson marray[0] = m; 117122ba64e8SJohn Dyson return 1; 1172170db9c6SJohn Dyson } 117322ba64e8SJohn Dyson 117422ba64e8SJohn Dyson if (rahead > cahead) { 117522ba64e8SJohn Dyson rahead = cahead; 117622ba64e8SJohn Dyson } 117722ba64e8SJohn Dyson 1178170db9c6SJohn Dyson if (rbehind > cbehind) { 1179170db9c6SJohn Dyson rbehind = cbehind; 1180170db9c6SJohn Dyson } 1181170db9c6SJohn Dyson 118226f9a767SRodney W. Grimes /* 118326f9a767SRodney W. Grimes * try to do any readahead that we might have free pages for. 118426f9a767SRodney W. Grimes */ 1185ccbb2f72SJohn Dyson if ((rahead + rbehind) > 118622ba64e8SJohn Dyson ((cnt.v_free_count + cnt.v_cache_count) - cnt.v_free_reserved)) { 1187f919ebdeSDavid Greenman pagedaemon_wakeup(); 118826f9a767SRodney W. Grimes marray[0] = m; 11892d8acc0fSJohn Dyson *reqpage = 0; 119026f9a767SRodney W. Grimes return 1; 119126f9a767SRodney W. Grimes } 119222ba64e8SJohn Dyson 119326f9a767SRodney W. Grimes /* 11942d8acc0fSJohn Dyson * scan backward for the read behind pages -- in memory 119526f9a767SRodney W. Grimes */ 11962d8acc0fSJohn Dyson if (pindex > 0) { 11972d8acc0fSJohn Dyson if (rbehind > pindex) { 1198a316d390SJohn Dyson rbehind = pindex; 11992d8acc0fSJohn Dyson startpindex = 0; 12002d8acc0fSJohn Dyson } else { 1201a316d390SJohn Dyson startpindex = pindex - rbehind; 12022d8acc0fSJohn Dyson } 12032d8acc0fSJohn Dyson 12042d8acc0fSJohn Dyson for (tpindex = pindex - 1; tpindex >= startpindex; tpindex -= 1) { 1205a316d390SJohn Dyson if (vm_page_lookup(object, tpindex)) { 1206a316d390SJohn Dyson startpindex = tpindex + 1; 120726f9a767SRodney W. Grimes break; 120826f9a767SRodney W. Grimes } 1209a316d390SJohn Dyson if (tpindex == 0) 121026f9a767SRodney W. Grimes break; 1211317205caSDavid Greenman } 121226f9a767SRodney W. Grimes 12132d8acc0fSJohn Dyson for (i = 0, tpindex = startpindex; tpindex < pindex; i++, tpindex++) { 121426f9a767SRodney W. Grimes 12152d8acc0fSJohn Dyson rtm = vm_page_alloc(object, tpindex, VM_ALLOC_NORMAL); 1216ccbb2f72SJohn Dyson if (rtm == NULL) { 1217ccbb2f72SJohn Dyson for (j = 0; j < i; j++) { 12184866e085SJohn Dyson vm_page_free(marray[j]); 121926f9a767SRodney W. Grimes } 122026f9a767SRodney W. Grimes marray[0] = m; 12212d8acc0fSJohn Dyson *reqpage = 0; 122226f9a767SRodney W. Grimes return 1; 122326f9a767SRodney W. Grimes } 1224170db9c6SJohn Dyson 12252d8acc0fSJohn Dyson marray[i] = rtm; 122626f9a767SRodney W. Grimes } 12272d8acc0fSJohn Dyson } else { 12282d8acc0fSJohn Dyson startpindex = 0; 12292d8acc0fSJohn Dyson i = 0; 12302d8acc0fSJohn Dyson } 12312d8acc0fSJohn Dyson 12322d8acc0fSJohn Dyson marray[i] = m; 12332d8acc0fSJohn Dyson /* page offset of the required page */ 12342d8acc0fSJohn Dyson *reqpage = i; 12352d8acc0fSJohn Dyson 12362d8acc0fSJohn Dyson tpindex = pindex + 1; 12372d8acc0fSJohn Dyson i++; 12382d8acc0fSJohn Dyson 12392d8acc0fSJohn Dyson /* 12402d8acc0fSJohn Dyson * scan forward for the read ahead pages 12412d8acc0fSJohn Dyson */ 12422d8acc0fSJohn Dyson endpindex = tpindex + rahead; 12432d8acc0fSJohn Dyson if (endpindex > object->size) 12442d8acc0fSJohn Dyson endpindex = object->size; 12452d8acc0fSJohn Dyson 12462d8acc0fSJohn Dyson for (; tpindex < endpindex; i++, tpindex++) { 12472d8acc0fSJohn Dyson 12482d8acc0fSJohn Dyson if (vm_page_lookup(object, tpindex)) { 12492d8acc0fSJohn Dyson break; 12502d8acc0fSJohn Dyson } 12512d8acc0fSJohn Dyson 12522d8acc0fSJohn Dyson rtm = vm_page_alloc(object, tpindex, VM_ALLOC_NORMAL); 12532d8acc0fSJohn Dyson if (rtm == NULL) { 12542d8acc0fSJohn Dyson break; 12552d8acc0fSJohn Dyson } 12562d8acc0fSJohn Dyson 12572d8acc0fSJohn Dyson marray[i] = rtm; 12582d8acc0fSJohn Dyson } 12592d8acc0fSJohn Dyson 12602d8acc0fSJohn Dyson /* return number of bytes of pages */ 12612d8acc0fSJohn Dyson return i; 126226f9a767SRodney W. Grimes } 1263