--- /n/sources/plan9/sys/src/9/port/taslock.c Mon Apr 8 18:18:51 2013 +++ /sys/src/9/port/taslock.c Fri Mar 4 00:00:00 2016 @@ -207,6 +207,7 @@ if(l->p != up) print("unlock: up changed: pc %#p, acquired at pc %lux, lock p %#p, unlock up %#p\n", getcallerpc(&l), l->pc, l->p, up); l->m = nil; + coherence(); l->key = 0; coherence(); @@ -246,6 +247,7 @@ sr = l->sr; l->m = nil; + coherence(); l->key = 0; coherence(); m->ilockdepth--;