From d607c6883c236b265ef812feddbbc7e328e1dc50 Mon Sep 17 00:00:00 2001 From: Moritz Hoffmann Date: Wed, 28 Jun 2023 13:24:40 +0200 Subject: [PATCH] Spine drop batches once physical compaction frontier is empty Once the physical compaction frontier is empty, there are no times that can be represented in a a trace, which means that we're good to drop all contents. Signed-off-by: Moritz Hoffmann --- src/trace/implementations/spine_fueled.rs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/trace/implementations/spine_fueled.rs b/src/trace/implementations/spine_fueled.rs index f3b61ec94..ab4c24a22 100644 --- a/src/trace/implementations/spine_fueled.rs +++ b/src/trace/implementations/spine_fueled.rs @@ -482,6 +482,10 @@ where } } + if self.physical_frontier.is_empty() { + self.drop_batches(); + } + // Having performed all of our work, if more than one batch remains reschedule ourself. if !self.reduced() { if let Some(activator) = &self.activator {