.

wcfs/todo.dot

 digraph {
+	subgraph  {
+		rank=same;
+		ordering=in;
+
+		wcfs		[label="wcfs"]
+		invProto	[label="open/invalidation\nprotocol"]
+		client		[label="client"]
+
+		wcfs	-> invProto;
+		invProto -> client [dir=back];	// XXX = invProto <- client
+	}
+
 //	wcfs		-> wcfs_simple;
 //	wcfs		-> Sinvtree;
 //	wcfs		-> δR;
@@ -45,9 +57,7 @@ digraph {
 //	ZODB_read	-> ogorek_persref;
 
 
-	wcfs		[label="wcfs"]
 //	wcfs_simple	[label="wcfs no\ninvalidations", style=filled fillcolor=grey95]
-	client		[label="client"]
 //	wcfs_spawn	[label="spawn wcfs", style=filled fillcolor=lightyellow]
 	nowcfs		[label="!wcfs mode"]