system/freebsd-src
system/freebsd-src
1
0
Fork 0
mirror of https://github.com/freebsd/freebsd-src synced 2024-09-21 01:03:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

Get rid of unused old_m in vm_fault. Add INVARIANTS to test whether

Browse source 
page is still busy after all the hell vm_fault goes through.. it is
    supposed to be, and printf() if it isn't.  don't panic, though.
This commit is contained in:
Matthew Dillon 1999-01-24 00:55:04 +00:00
parent 377f9b28a6
commit bc6d84a6a3
Notes: svn2git 2020-12-20 02:59:44 +00:00 
svn path=/head/; revision=43119
1 changed files with 13 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
sys/vm/vm_fault.c
View file

@ -66,7 +66,7 @@
* any improvements or extensions that they make and grant Carnegie the
* rights to redistribute these changes.
*
* $Id: vm_fault.c,v 1.95 1999/01/21 09:35:38 dillon Exp $
* $Id: vm_fault.c,v 1.96 1999/01/23 06:00:27 dillon Exp $
*/
/*
@ -178,7 +178,6 @@ vm_fault(vm_map_t map, vm_offset_t vaddr, vm_prot_t fault_type, int fault_flags)
int result;
boolean_t wired;
int map_generation;
vm_page_t old_m;
vm_object_t next_object;
vm_page_t marray[VM_FAULT_READ];
int hardfault;
@ -577,8 +576,6 @@ RetryFault:;
* is held.]
*/
old_m = fs.m; /* save page that would be copied */
/*
* If the page is being written, but isn't already owned by the
* top-level object, we have to copy it into a new page owned by the
@ -768,6 +765,17 @@ RetryFault:;
}
}
/*
* Page had better still be busy
*/
#ifdef INVARIANTS
if ((fs.m->flags & PG_BUSY) == 0) {
printf("WARNING! PAGE %p NOT BUSY!!!\n", fs.m);
vm_page_busy(fs.m);
}
#endif
unlock_things(&fs);
fs.m->valid = VM_PAGE_BITS_ALL;
vm_page_flag_clear(fs.m, PG_ZERO);
@ -785,6 +793,7 @@ RetryFault:;
* If the page is not wired down, then put it where the pageout daemon
* can find it.
*/
if (fault_flags & VM_FAULT_WIRE_MASK) {
if (wired)
vm_page_wire(fs.m);