Robust join implementation (#307)

* robust join implementation * improve organization and comments
TimelyDataflow · Feb 23, 2021 · e229d54 · e229d54
1 parent 508caff
commit e229d54
Show file tree

Hide file tree

Showing 3 changed files with 166 additions and 99 deletions.
diff --git a/src/operators/arrange/agent.rs b/src/operators/arrange/agent.rs
@@ -63,6 +63,7 @@ where
         self.advance.borrow()
     }
     fn set_physical_compaction(&mut self, frontier: AntichainRef<Tr::Time>) {
+        debug_assert!(timely::PartialOrder::less_equal(&self.through.borrow(), &frontier));
         self.trace.borrow_mut().adjust_through_frontier(self.through.borrow(), frontier);
         self.through.clear();
         self.through.extend(frontier.iter().cloned());