.

wcfs/wcfs.go

@@ -264,10 +264,10 @@ package main
 //   4. for all file/blk to invalidate we do:
 //
 //	- try to retrieve file/head/data[blk] from OS file cache;
-//	- if retrieved successfully -> store retrieved data into OS file cache
-//	  for file/@<rev>/data[blk].
+//	- if retrieved successfully -> store retrieved data back into OS file
+//	  cache for file/@<rev>/data[blk], where
 //
-//	    rev = max(δFtail.by(#blk)) || zconn.at
+//	    rev = max(δFtail.by(#blk)) || zconn.at	; see below about δFtail
 //
 //	- invalidate file/head/data[blk] in OS file cache.
 //
@@ -284,7 +284,7 @@ package main
 //      δFtail.tail describes invalidations to file we learned from ZODB invalidation.
 //      δFtail.by   allows to quickly lookup information by #blk.
 //
-//      min(rev) in δFtail is min(@at) at which head/data is currently mmapped.
+//      min(rev) in δFtail is min(@at) at which head/data is currently mmapped (see below).
 //
 // - when we receive a FUSE read(#blk) request to a file/head/data we process it as follows:
 //
@@ -307,7 +307,7 @@ package main
 //	  rev(blk) ≤ min(rev) is δFtail		; #blk ∉ δFtail
 //
 //
-//	below rev'(blk) is min(of the numbers found):
+//	below rev'(blk) is min(of the estimates found):
 //
 //	  rev(blk) ≤ rev'(blk)		rev'(blk) = min(^^^)
 //
@@ -338,6 +338,15 @@ package main
 //   mapping while it is under pagefault.
 //
 //
+// XXX mmap(@at) open
+//
+// XXX zconn(s) for historical state
+// XXX serving read from @<rev>/data
+//
+// XXX(integrate place=?) ZData - ne need to keep track -> ZBlk1 is always
+// marked as changed on blk data change.
+//
+// ----------------------------------------
 //
 // δ(BTree) notes
 //
@@ -387,15 +396,7 @@ package main
 // . +k(blk) -> invalidate #blk (e.g. if blk was previously read as hold)
 //
 //
-//
-//
-// XXX zconn(s) for historical state
-// XXX serving read from @<rev>/data
-//
-//
-// XXX(integrate place=?) ZData - ne need to keep track -> ZBlk1 is always
-// marked as changed on blk data change.
-//
+// ----------------------------------------
 //
 // - XXX(kill) 1 ZODB connection per 1 bigfile (each bigfile can be at its different @at,
 //   because invalidations for different bigfiles can be processed with different