.

wcfs/wcfs.go

@@ -82,7 +82,7 @@
 // where /bigfile/<bigfileX> represent bigfile data as of revision <revX>.
 //
 // Unless accessed {head,@<revX>}/bigfile/<bigfileX> are not automatically visible in
-// wcfs filesystem. Similarly @<revX>/ should be explicitly created by client via mkdir.
+// wcfs filesystem. Similarly @<revX>/ should be explicitly created by client via mkdir.	XXX -> just @<revX> access.
 //
 //
 // Invalidation protocol
@@ -340,7 +340,7 @@ package main
 //
 //   7.2) for all client@at mmappings of head/bigfile/file:
 //
-//	- rev'(blk) ≤ at: -> do nothing
+//	- rev'(blk) ≤ at: -> do nothing		XXX if rev is not last and there is rev_next ≤ at ? -> also consult δFtail ?
 //	- rev'(blk) > at:
 //	  - if blk ∈ mmapping.pinned -> do nothing
 //	  - rev = max(δFtail.by(#blk) : _ ≤ at)	|| min(rev ∈ δFtail : rev ≤ at)	|| at