mentra 0.28.0

An agent runtime for tool-using LLM applications
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70

//! [`LeaseStore`] on advisory OS file locks (`flock`/`LockFileEx`).
//!
//! A lease is an exclusive lock on `leases/<key>.lock`, held by the store
//! for as long as the lease is: acquisition is `try_lock_exclusive`, release
//! drops the handle, and a process that dies releases every lock it held —
//! which is exactly the lifetime a resume lease wants, so the TTL the trait
//! carries has nothing left to time out and is ignored. Cross-process
//! exclusion is real: a second store on the same root, in this process or
//! another, is refused while the lock is held.
//!
//! Lock files are never unlinked. Deleting one while another process waits
//! on the same inode is the classic re-create race that hands two holders
//! the "same" lease on different inodes; an empty leftover file per key is
//! the cheap price of never entering it.

use std::{fs::File, time::Duration};

use fs2::FileExt as _;

use super::{
    super::store::LeaseStore, FileRuntimeStore, RuntimeError, fs_util, lock_unpoisoned, store_error,
};

/// A lease this store currently holds: dropping the handle releases the OS
/// lock.
pub(super) struct HeldLease {
    owner: String,
    _file: File,
}

impl LeaseStore for FileRuntimeStore {
    fn acquire_lease(&self, key: &str, owner: &str, _ttl: Duration) -> Result<bool, RuntimeError> {
        let mut held = lock_unpoisoned(&self.held_leases);
        // Matches the SQLite store: an existing lease refuses every
        // acquirer, its current owner included.
        if held.contains_key(key) {
            return Ok(false);
        }

        let path = self
            .leases_dir()
            .join(format!("{}.lock", fs_util::encode_component(key)));
        let file = fs_util::open_lock_file(&path)?;

        match file.try_lock_exclusive() {
            Ok(()) => {
                held.insert(
                    key.to_string(),
                    HeldLease {
                        owner: owner.to_string(),
                        _file: file,
                    },
                );
                Ok(true)
            }
            Err(error) if error.raw_os_error() == fs2::lock_contended_error().raw_os_error() => {
                Ok(false)
            }
            Err(error) => Err(store_error(&format!("lock '{}'", path.display()), error)),
        }
    }

    fn release_lease(&self, key: &str, owner: &str) -> Result<(), RuntimeError> {
        let mut held = lock_unpoisoned(&self.held_leases);
        if held.get(key).is_some_and(|lease| lease.owner == owner) {
            held.remove(key);
        }
        Ok(())
    }
}