.

wcfs/wcfs_test.py

@@ -1433,33 +1433,33 @@ def test_wcfs():
 
     wl3.close()
 
+    # XXX unpin to @head (δblk is there but not yet accessed) vs concurrent
+    # access to that blk which must pin blk (race ?)
 
-    # XXX watch with @at > head - must wait for head to become >= at
     # XXX drop file[blk] from cache, access again -> no pin message sent the second time
 
+    # XXX watch with @at > head - must wait for head to become >= at
+
     # XXX no reply to pin - killed
 
+    # XXX mmap f; remmap f[blk] on pin message while under pagefault - should get changed page
+
 
     # XXX watch @at when file did not existed -> error
 
 
-    # XXX unpin to @head (δblk is there but not yet accessed) vs concurrent
-    # access to that blk which must pin blk (race ?)
-
 
     # XXX watch for 2 files via single wlink
 
     # XXX going not only up, but also down at1 <- at2 <- at3    ?   -> forbid?
 
-    # XXX mmap f; change f[blk] on pin message while under pagefault - should get changed page
-
     # XXX new watch request while previous watch request is in progress (over the same /head/watch handle)
 
     # XXX ZBlk copied from blk1 -> blk2 ; for the same file and for file1 -> file2  (δbtree)
     # XXX ZBlk moved  from blk1 -> blk2 ; for the same file and for file1 -> file2  (δbtree)
 
     # XXX read file[blk]=hole; then file[blk]=zblk - must be invalidated and
-    # setupWatch must send pins.    (δbtree)
+    # setupWatch must send pins.    (δbtree - see e.g. commit with b4 ^^^)
 
 
 # ---- misc ---