laumann/pijul - Change Q6MRVSJXQXHRKY5TWJL742RUQNJPRT32QSPJJORZ2IA6KJ4O2UBAC

Higher resolution for status change times on Unix, and coarser test for 1-second-resolution filesystems

Created by pmeunier on December 7, 2021

Q6MRVSJXQXHRKY5TWJL742RUQNJPRT32QSPJJORZ2IA6KJ4O2UBAC

Dependencies

In channels

main

Change contents

Replacement in pijul/src/commands/record.rs at line 190 [6.101759]

B:BD[4.2172] → [5.6077:6154]

                    txn_.touch_channel(&mut *channel.write(), Some(oldest));

[4.2172]

[7.681]

                    txn_.touch_channel(&mut *channel.write(), Some((oldest / 1000) * 1000));

Replacement in pijul/src/commands/clone.rs at line 116 [6.182891]
B:BD[8.176] → [3.96:129]
```
            .as_millis() as u64;
```
[8.176]
[8.207]
```
            .as_secs() as u64;
```

Replacement in pijul/src/commands/clone.rs at line 118 [6.182891]

B:BD[8.227] → [8.227:294]

            .touch_channel(&mut *channel.write(), Some(time + 1));

[8.227]

[8.294]

            .touch_channel(&mut *channel.write(), Some(time * 1000 + 1));

Replacement in libpijul/src/working_copy/filesystem.rs at line 357 [6.208900]

B:BD[2.20] → [2.20:121]

            std::time::SystemTime::UNIX_EPOCH + std::time::Duration::from_secs(attr.ctime() as u64);

[2.20]

[9.383]

            std::time::SystemTime::UNIX_EPOCH + std::time::Duration::from_millis(attr.ctime() as u64 * 1000 + attr.ctime_nsec() as u64 / 1_000_000);

Replacement in libpijul/src/record.rs at line 721 [6.488880]

B:BD[10.56608] → [10.56608:56633]

B:BD[10.56633] → [3.161:285]

        Ok(last_modified
           .duration_since(std::time::UNIX_EPOCH)?
           .as_millis() as u64
           >= txn.last_modified(channel))

[10.56608]

[10.56751]

        // Account for low-resolution filesystems, by truncating the
        // channel modification time if the file modification time is
        // a multiple of 1000.
        let last_mod = last_modified
            .duration_since(std::time::UNIX_EPOCH)?
            .as_millis() as u64;
        let channel_mod = if last_mod % 1000 == 0 {
            (txn.last_modified(channel) / 1000) * 1000
        } else {
            txn.last_modified(channel)
        };
        Ok(last_mod >= channel_mod)

Replacement in libpijul/src/pristine/sanakirja.rs at line 1604 [6.531056]

B:BD[11.47984] → [3.286:350]

            channel.last_modified = duration.as_millis() as u64

[11.47984]

[11.48039]

            channel.last_modified = (duration.as_millis() as u64 / 1000) * 1000