.

wcfs/wcfs.go

@@ -245,7 +245,7 @@ package main
 // 3) for head/bigfile/* the following invariant is maintained:
 //
 //	#blk ∈ file cache    =>    ZBlk(#blk) + all BTree/Bucket that lead to it  ∈ zhead cache
-//	                           (ZBlk* in ghost state)
+//	                           (ZBlk* in ghost state(%))
 //
 //    The invariant helps on invalidation: if we see a changed oid, and
 //    zhead.cache.lookup(oid) = ø -> we know we don't have to invalidate OS
@@ -368,14 +368,11 @@ package main
 // (+) see notes.txt -> "Invalidations to wcfs clients are delayed until block access"
 // (~) see notes.txt -> "Changing mmapping while under pagefault is possible"
 // (^) see notes.txt -> "Client cannot be ptraced while under pagefault"
-//
+// (%) no need to keep track of ZData - ZBlk1 is always marked as changed on blk data change.
 //
 // XXX 8) serving read from @<rev>/data + zconn(s) for historical state
 //
 // XXX For every ZODB connection a dedicated read-only transaction is maintained.
-//
-// XXX(integrate place=?) ZData - no need to keep track -> ZBlk1 is always
-// marked as changed on blk data change.
 
 import (
 	"context"