.

wcfs/internal/xbtree/δbtail.go

@@ -62,7 +62,7 @@ package xbtree
 //
 // Queries are relatively straightforward code that work on vδT snapshot. The
 // main complexity, besides BTree-diff algorithm, lies in recomputing vδT when
-// set of tracked keys changes and in handling that recomputation in such a way
+// set of tracked keys changes, and in handling that recomputation in such a way
 // that multiple Track and queries requests could be all served in parallel.
 //
 //
@@ -74,7 +74,7 @@ package xbtree
 // 1. vδT is managed under read-copy-update (RCU) discipline: before making
 //    any vδT change the mutator atomically clones whole vδT and applies its
 //    change to the clone. This way a query, once it retrieves vδT snapshot,
-//    does not need to further synchronize with vδT mutators, and can count on
+//    does not need to further synchronize with vδT mutators, and can rely on
 //    that retrieved vδT snapshot will remain immutable.
 //
 // 2. a Track request goes through 3 states: "new", "handle-in-progress" and
@@ -82,7 +82,7 @@ package xbtree
 //
 //    - ΔTtail.ktrackNew and .trackNew       for "new",
 //    - ΔTtail.krebuildJobs                  for "handle-in-progress", and
-//    - ΔBtail.trackSet                      for "handled"
+//    - ΔBtail.trackSet                      for "handled".
 //
 //    trackSet keeps nodes, and implicitly keys, from all handled Track
 //    requests. For all keys, covered by trackSet, vδT is fully computed.
@@ -111,18 +111,18 @@ package xbtree
 //    as merge of vδT computed for tracked set T₁ and vδT computed for tracked
 //    set T₂.
 //
-//    this merge property allows to run computation for δ(vδT) with ΔBtail
-//    unlocked, which in turn enables running several Track/queries in
-//    parallel.
+//    this merge property allows to run computation for δ(vδT) independently
+//    and with ΔBtail unlocked, which in turn enables running several
+//    Track/queries in parallel.
 //
 // 4. while vδT rebuild is being run, krebuildJobs keeps corresponding keycov
 //    entry to indicate in-progress rebuild. Should a query need vδT for keys
 //    from that job, it first waits for corresponding job(s) to complete.
 //
-// This locking organization allows non-overlapping queries/track-requests to
-// run simultaneously. This property is essential to WCFS because otherwise WCFS
-// would not be able to serve several non-overlapping READ requests to one file
-// in parallel.
+// Explained rebuild organization allows non-overlapping queries/track-requests
+// to run simultaneously. This property is essential to WCFS because otherwise
+// WCFS would not be able to serve several non-overlapping READ requests to one
+// file in parallel.
 //
 // --------
 //