From 901e9fc19b8f2c0446a64e68e9ccb02286fb29bc Mon Sep 17 00:00:00 2001 From: Kirill Smelkov <kirr@nexedi.com> Date: Mon, 24 Dec 2018 18:26:20 +0300 Subject: [PATCH] . --- wcfs/wcfs.go | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/wcfs/wcfs.go b/wcfs/wcfs.go index 04880a5..00be4b3 100644 --- a/wcfs/wcfs.go +++ b/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. // -- 2.30.9