Date: Sun, 23 Oct 2005 22:35:51 GMT From: Alan Cox <alc@FreeBSD.org> To: Perforce Change Reviews <perforce@freebsd.org> Subject: PERFORCE change 85756 for review Message-ID: <200510232235.j9NMZpot042966@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
http://perforce.freebsd.org/chv.cgi?CH=85756 Change 85756 by alc@alc_home on 2005/10/23 22:35:04 Assert that the object containing the reservation is locked in several functions. Affected files ... .. //depot/projects/superpages/src/sys/vm/vm_reserve.c#5 edit Differences ... ==== //depot/projects/superpages/src/sys/vm/vm_reserve.c#5 (text+ko) ==== @@ -300,6 +300,7 @@ { int pos; + VM_OBJECT_LOCK_ASSERT(res->object, MA_OWNED); KASSERT(!res->broken,("reserve_populate: reservation is broken")); m->reserv = res; for (;;) { @@ -344,6 +345,7 @@ res = m->reserv; KASSERT(res != NULL && !res->broken, ("reserve_unpopulate: no reservation or broken reservation")); + VM_OBJECT_LOCK_ASSERT(res->object, MA_OWNED); for (sp = res;;) { KASSERT(sp->popfrom != sp->popto && sp->refcnt > 0, ("reserve_unpopulate: sp not valid")); @@ -570,6 +572,7 @@ preempt_move(reservation_t sp, boolean_t to_tail) { + VM_OBJECT_LOCK_ASSERT(sp->object, MA_OWNED); if (sp->rql != NO_RESQ) { KASSERT(sp->rql >= -1 && sp->rql <= SP_LEVELS - 2 && sp->rql < sp->level, ("preempt_move: sp->rql invalid"));
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200510232235.j9NMZpot042966>