Uniformly advance time in logrotate_fs (#1077)

### What does this PR do?

For the sake of consitency, always update time when the state lock
is taken.

lading/src/generator/file_gen/logrotate_fs.rs

@@ -243,6 +243,7 @@ impl Filesystem for LogrotateFS {
     fn lookup(&mut self, _: &Request, parent: u64, name: &OsStr, reply: ReplyEntry) {
         let tick = self.get_current_tick();
         let mut state = self.state.lock().expect("lock poisoned");
+        state.advance_time(tick);
 
         let name_str = name.to_str().unwrap_or("");
         if let Some(ino) = state.lookup(tick, parent as usize, name_str) {
@@ -262,6 +263,7 @@ impl Filesystem for LogrotateFS {
     fn getattr(&mut self, _: &Request, ino: u64, reply: ReplyAttr) {
         let tick = self.get_current_tick();
         let mut state = self.state.lock().expect("lock poisoned");
+        state.advance_time(tick);
 
         if let Some(attr) = getattr_helper(&mut state, self.start_time_system, tick, ino as usize) {
             reply.attr(&TTL, &attr);
@@ -284,6 +286,7 @@ impl Filesystem for LogrotateFS {
     ) {
         let tick = self.get_current_tick();
         let mut state = self.state.lock().expect("lock poisoned");
+        state.advance_time(tick);
 
         // Get the FileHandle from fh
         let file_handle = {
@@ -319,6 +322,7 @@ impl Filesystem for LogrotateFS {
     ) {
         let tick = self.get_current_tick();
         let mut state = self.state.lock().expect("lock poisoned");
+        state.advance_time(tick);
 
         // Remove the FileHandle from the mapping
         let file_handle = {
@@ -399,6 +403,7 @@ impl Filesystem for LogrotateFS {
     fn open(&mut self, _req: &Request, ino: u64, flags: i32, reply: fuser::ReplyOpen) {
         let tick = self.get_current_tick();
         let mut state = self.state.lock().expect("lock poisoned");
+        state.advance_time(tick);
 
         if let Some(file_handle) = state.open_file(tick, ino as usize) {
             let fh = file_handle.id();

lading/src/generator/file_gen/logrotate_fs/model.rs

@@ -1186,6 +1186,26 @@ mod test {
                 );
             }
         }
+
+        // Property 9: Rotated files have bytes_written within acceptable range
+        //
+        // For a rotated file (read_only == true), bytes_written should be
+        // within (max_bytes_per_file - bytes_per_tick) <= bytes_written <
+        // (max_bytes_per_file + bytes_per_tick).
+        for node in state.nodes.values() {
+            if let Node::File { file } = node {
+                if !file.read_only {
+                    continue;
+                }
+                let min_size = state.max_bytes_per_file.saturating_sub(file.bytes_per_tick);
+                let max_size = state.max_bytes_per_file.saturating_add(file.bytes_per_tick);
+                assert!(
+                    file.bytes_written >= min_size && file.bytes_written < max_size,
+                    "Rotated file size {bytes_written} not in expected range [{min_size}, {max_size})",
+                    bytes_written = file.bytes_written
+                );
+            }
+        }
     }
 
     proptest! {