Source-Changes-HG archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
[src/trunk]: src/sys/uvm PR kern/54783: t_mmap crahes the kernel
details: https://anonhg.NetBSD.org/src/rev/3bd977458477
branches: trunk
changeset: 967701:3bd977458477
user: ad <ad%NetBSD.org@localhost>
date: Wed Dec 18 20:38:14 2019 +0000
description:
PR kern/54783: t_mmap crahes the kernel
- Fix various locking & sequencing errors with breaking loans.
- Don't call uvm_pageremove_tree() while holding pg->interlock as radixtree
can take further locks when freeing nodes.
diffstat:
sys/uvm/uvm_loan.c | 91 ++++++++++++++++++++++++++---------------------------
sys/uvm/uvm_page.c | 72 +++++++++++++++++-------------------------
2 files changed, 73 insertions(+), 90 deletions(-)
diffs (truncated from 312 to 300 lines):
diff -r 01fccb7dd87d -r 3bd977458477 sys/uvm/uvm_loan.c
--- a/sys/uvm/uvm_loan.c Wed Dec 18 19:40:34 2019 +0000
+++ b/sys/uvm/uvm_loan.c Wed Dec 18 20:38:14 2019 +0000
@@ -1,4 +1,4 @@
-/* $NetBSD: uvm_loan.c,v 1.91 2019/12/15 21:11:35 ad Exp $ */
+/* $NetBSD: uvm_loan.c,v 1.92 2019/12/18 20:38:14 ad Exp $ */
/*
* Copyright (c) 1997 Charles D. Cranor and Washington University.
@@ -32,7 +32,7 @@
*/
#include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: uvm_loan.c,v 1.91 2019/12/15 21:11:35 ad Exp $");
+__KERNEL_RCSID(0, "$NetBSD: uvm_loan.c,v 1.92 2019/12/18 20:38:14 ad Exp $");
#include <sys/param.h>
#include <sys/systm.h>
@@ -1121,7 +1121,7 @@
* force a reload of the old page by clearing it from all
* pmaps.
* transfer dirtiness of the old page to the new page.
- * then lock pg->interlock to rename the pages.
+ * then rename the pages.
*/
uvm_pagecopy(uobjpage, pg); /* old -> new */
@@ -1143,14 +1143,6 @@
UVM_PAGE_OWN(uobjpage, NULL);
/*
- * replace uobjpage with new page.
- */
-
- mutex_enter(&uobjpage->interlock);
- uvm_pagereplace(uobjpage, pg);
- mutex_exit(&uobjpage->interlock);
-
- /*
* if the page is no longer referenced by
* an anon (i.e. we are breaking an O->K
* loan), then remove it from any pageq's.
@@ -1159,6 +1151,12 @@
uvm_pagedequeue(uobjpage);
/*
+ * replace uobjpage with new page.
+ */
+
+ uvm_pagereplace(uobjpage, pg);
+
+ /*
* at this point we have absolutely no
* control over uobjpage
*/
@@ -1176,59 +1174,58 @@
int
uvm_loanbreak_anon(struct vm_anon *anon, struct uvm_object *uobj)
{
- struct vm_page *pg, *dequeuepg;
+ struct vm_page *newpg, *oldpg;
KASSERT(mutex_owned(anon->an_lock));
KASSERT(uobj == NULL || mutex_owned(uobj->vmobjlock));
/* get new un-owned replacement page */
- pg = uvm_pagealloc(NULL, 0, NULL, 0);
- if (pg == NULL) {
+ newpg = uvm_pagealloc(NULL, 0, NULL, 0);
+ if (newpg == NULL) {
return ENOMEM;
}
- /* copy old -> new */
- uvm_pagecopy(anon->an_page, pg);
-
- /* force reload */
- pmap_page_protect(anon->an_page, VM_PROT_NONE);
- if (pg < anon->an_page) {
- mutex_enter(&pg->interlock);
- mutex_enter(&anon->an_page->interlock);
- } else {
- mutex_enter(&anon->an_page->interlock);
- mutex_enter(&pg->interlock);
- }
- anon->an_page->uanon = NULL;
- /* in case we owned */
- anon->an_page->flags &= ~PG_ANON;
-
- if (uobj) {
- /* if we were receiver of loan */
- anon->an_page->loan_count--;
- dequeuepg = NULL;
- } else {
+ oldpg = anon->an_page;
+ if (uobj == NULL) {
/*
* we were the lender (A->K); need to remove the page from
* pageq's.
*/
- dequeuepg = anon->an_page;
+ uvm_pagedequeue(oldpg);
+ }
+
+ /* copy old -> new */
+ uvm_pagecopy(oldpg, newpg);
+
+ /* force reload */
+ pmap_page_protect(oldpg, VM_PROT_NONE);
+ if (newpg < oldpg) {
+ mutex_enter(&newpg->interlock);
+ mutex_enter(&oldpg->interlock);
+ } else {
+ mutex_enter(&oldpg->interlock);
+ mutex_enter(&newpg->interlock);
+ }
+ oldpg->uanon = NULL;
+ /* in case we owned */
+ oldpg->flags &= ~PG_ANON;
+
+ if (uobj) {
+ /* if we were receiver of loan */
+ oldpg->loan_count--;
}
/* install new page in anon */
- anon->an_page = pg;
- pg->uanon = anon;
- pg->flags |= PG_ANON;
+ anon->an_page = newpg;
+ newpg->uanon = anon;
+ newpg->flags |= PG_ANON;
- mutex_exit(&pg->interlock);
- mutex_exit(&anon->an_page->interlock);
- uvm_pageactivate(pg);
- if (dequeuepg != NULL) {
- uvm_pagedequeue(anon->an_page);
- }
+ mutex_exit(&newpg->interlock);
+ mutex_exit(&oldpg->interlock);
+ uvm_pageactivate(newpg);
- pg->flags &= ~(PG_BUSY|PG_FAKE);
- UVM_PAGE_OWN(pg, NULL);
+ newpg->flags &= ~(PG_BUSY|PG_FAKE);
+ UVM_PAGE_OWN(newpg, NULL);
if (uobj) {
mutex_exit(uobj->vmobjlock);
diff -r 01fccb7dd87d -r 3bd977458477 sys/uvm/uvm_page.c
--- a/sys/uvm/uvm_page.c Wed Dec 18 19:40:34 2019 +0000
+++ b/sys/uvm/uvm_page.c Wed Dec 18 20:38:14 2019 +0000
@@ -1,4 +1,4 @@
-/* $NetBSD: uvm_page.c,v 1.205 2019/12/16 22:47:55 ad Exp $ */
+/* $NetBSD: uvm_page.c,v 1.206 2019/12/18 20:38:14 ad Exp $ */
/*
* Copyright (c) 1997 Charles D. Cranor and Washington University.
@@ -66,7 +66,7 @@
*/
#include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: uvm_page.c,v 1.205 2019/12/16 22:47:55 ad Exp $");
+__KERNEL_RCSID(0, "$NetBSD: uvm_page.c,v 1.206 2019/12/18 20:38:14 ad Exp $");
#include "opt_ddb.h"
#include "opt_uvm.h"
@@ -148,13 +148,6 @@
struct vm_page *uvm_physseg_seg_alloc_from_slab(uvm_physseg_t, size_t);
/*
- * local prototypes
- */
-
-static int uvm_pageinsert(struct uvm_object *, struct vm_page *);
-static void uvm_pageremove(struct uvm_object *, struct vm_page *);
-
-/*
* inline functions
*/
@@ -205,22 +198,6 @@
return 0;
}
-static inline int
-uvm_pageinsert(struct uvm_object *uobj, struct vm_page *pg)
-{
- int error;
-
- KDASSERT(uobj != NULL);
- KDASSERT(uobj == pg->uobject);
- error = uvm_pageinsert_tree(uobj, pg);
- if (error != 0) {
- KASSERT(error == ENOMEM);
- return error;
- }
- uvm_pageinsert_object(uobj, pg);
- return error;
-}
-
/*
* uvm_page_remove: remove page from object.
*
@@ -265,16 +242,6 @@
KASSERT(pg == opg);
}
-static inline void
-uvm_pageremove(struct uvm_object *uobj, struct vm_page *pg)
-{
-
- KDASSERT(uobj != NULL);
- KASSERT(uobj == pg->uobject);
- uvm_pageremove_object(uobj, pg);
- uvm_pageremove_tree(uobj, pg);
-}
-
static void
uvm_page_init_buckets(struct pgfreelist *pgfl)
{
@@ -1043,9 +1010,10 @@
pg->flags |= PG_ANON;
cpu_count(CPU_COUNT_ANONPAGES, 1);
} else if (obj) {
- error = uvm_pageinsert(obj, pg);
+ uvm_pageinsert_object(obj, pg);
+ error = uvm_pageinsert_tree(obj, pg);
if (error != 0) {
- pg->uobject = NULL;
+ uvm_pageremove_object(obj, pg);
uvm_pagefree(pg);
return NULL;
}
@@ -1077,7 +1045,6 @@
* uvm_pagereplace: replace a page with another
*
* => object must be locked
- * => interlock must be held
*/
void
@@ -1091,13 +1058,23 @@
KASSERT(newpg->uobject == NULL);
KASSERT(mutex_owned(uobj->vmobjlock));
- newpg->uobject = uobj;
newpg->offset = oldpg->offset;
-
uvm_pageremove_tree(uobj, oldpg);
uvm_pageinsert_tree(uobj, newpg);
+
+ /* take page interlocks during rename */
+ if (oldpg < newpg) {
+ mutex_enter(&oldpg->interlock);
+ mutex_enter(&newpg->interlock);
+ } else {
+ mutex_enter(&newpg->interlock);
+ mutex_enter(&oldpg->interlock);
+ }
+ newpg->uobject = uobj;
uvm_pageinsert_object(uobj, newpg);
uvm_pageremove_object(uobj, oldpg);
+ mutex_exit(&oldpg->interlock);
+ mutex_exit(&newpg->interlock);
}
/*
@@ -1115,7 +1092,8 @@
*/
if (pg->uobject) {
- uvm_pageremove(pg->uobject, pg);
+ uvm_pageremove_tree(pg->uobject, pg);
+ uvm_pageremove_object(pg->uobject, pg);
}
/*
@@ -1197,6 +1175,14 @@
mutex_owned(pg->uanon->an_lock));
/*
+ * remove the page from the object's tree beore acquiring any page
+ * interlocks: this can acquire locks to free radixtree nodes.
+ */
+ if (pg->uobject != NULL) {
+ uvm_pageremove_tree(pg->uobject, pg);
+ }
+
+ /*
* if the page is loaned, resolve the loan instead of freeing.
*/
@@ -1217,7 +1203,7 @@
mutex_enter(&pg->interlock);
locked = true;
if (pg->uobject != NULL) {
- uvm_pageremove(pg->uobject, pg);
+ uvm_pageremove_object(pg->uobject, pg);
Home |
Main Index |
Thread Index |
Old Index