.

wcfs/wcfs.go

@@ -279,6 +279,8 @@ package main
 //
 //    4.5) no invalidation messages are sent to wcfs clients at this point(*).
 //
+//    XXX processing ZODB invalidations and serving reads are mutually exclusive.
+//
 // 5) after OS file cache was invalidated, we resync zhead to new database
 //    view corresponding to tid.
 //
@@ -318,13 +320,13 @@ package main
 //	  rev(blk) ≤ rev'(blk)		rev'(blk) = min(^^^)
 //
 //
-//   7.2) for all client/addr@at mmappings of file/head/data:
+//   7.2) for all client@at mmappings of file/head/data:
 //
-//	- rev'(blk) ≤ at: -> do nothing		XXX || blk ∉ mapping
+//	- rev'(blk) ≤ at: -> do nothing
 //	- rev'(blk) > at:
 //	  - if blk ∈ mmapping.pinned -> do nothing
 //	  - rev = max(δFtail.by(#blk) : _ ≤ at)	|| min(rev ∈ δFtail : rev ≤ at)	|| at
-//	  - client.remmap(addr[blk], file/@rev/data)
+//	  - client.remmap(file, #blk, @rev/data)
 //	  - mmapping.pinned += blk
 //
 //	remmapping is done synchronously via ptrace.
@@ -333,7 +335,7 @@ package main
 //
 //	in order to support remmapping for each file/head/data
 //
-//	  [] of mmapping{client/addr/@at↑, pinned}
+//	  [] of mmapping{client@at↑, pinned}
 //
 //	is maintained.
 //