Re: uvm locking inconsistency

[Matthias Drochner]

m.droch...@fz-juelich.de said:
> see attachment

here is it



------------------------------------------------------------------------------------------------
------------------------------------------------------------------------------------------------
Forschungszentrum Juelich GmbH
52425 Juelich
Sitz der Gesellschaft: Juelich
Eingetragen im Handelsregister des Amtsgerichts Dueren Nr. HR B 3498
Vorsitzender des Aufsichtsrats: MinDirig Dr. Karl Eugen Huthmacher
Geschaeftsfuehrung: Prof. Dr. Achim Bachem (Vorsitzender),
Dr. Ulrich Krafft (stellv. Vorsitzender), Prof. Dr.-Ing. Harald Bolt,
Prof. Dr. Sebastian M. Schmidt
------------------------------------------------------------------------------------------------
------------------------------------------------------------------------------------------------

Besuchen Sie uns auf unserem neuen Webauftritt unter www.fz-juelich.de

diff -r 54f44408f17e sys/uvm/uvm_page.c
--- a/sys/uvm/uvm_page.c        Wed Jun 15 19:07:45 2011 +0200
+++ b/sys/uvm/uvm_page.c        Wed Jun 15 19:55:45 2011 +0200
@@ -1192,7 +1192,7 @@
        KASSERT(anon == NULL || (flags & UVM_FLAG_COLORMATCH) || off == 0);
        KASSERT(off == trunc_page(off));
        KASSERT(obj == NULL || mutex_owned(obj->vmobjlock));
-       KASSERT(anon == NULL || mutex_owned(anon->an_lock));
+       /*KASSERT(anon == NULL || mutex_owned(anon->an_lock));*/
 
        mutex_spin_enter(&uvm_fpageqlock);