locktick 0.6.0

Automated lock accounting & profiling
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

#[macro_export]
macro_rules! check_locks {
    ($lock_count:expr, $guard_count:expr, $active_guards:expr) => {{
        {
            let locks = lock_snapshots();
            assert_eq!($lock_count, locks.len());
            let guard_count = locks.iter().map(|l| l.known_guards.len()).sum::<usize>();
            assert_eq!($guard_count, guard_count);
            let active_guards = locks
                .iter()
                .map(|l| l.known_guards.values())
                .flatten()
                .map(|g| g.num_active_uses())
                .sum::<usize>();
            assert_eq!($active_guards, active_guards);
        }
    }};
}

#[macro_export]
macro_rules! check_guard {
    ($guard:expr, $uses:expr, $active:expr) => {{
        {
            let lock_location = &$guard.lock_location;
            let guard_location = &$guard.guard_location;
            assert_eq!(guard_location.line, line!() - 1);
            assert!(
                guard_location.path.ends_with(file!()),
                "guard location path should end with '{}', got '{}'",
                file!(),
                guard_location.path.display()
            );
            let locks = lock_snapshots();
            let lock = locks.iter().find(|l| l.location == *lock_location).unwrap();
            let guard = lock.known_guards.get(guard_location).unwrap();
            assert_eq!($uses, guard.num_uses);
            assert_eq!($active, guard.num_active_uses());
        }
    }};
}

/// Verifies the lock location embedded in a guard (line and file path).
#[macro_export]
macro_rules! check_lock_loc {
    ($guard:expr, $line:expr) => {{
        let loc = &$guard.lock_location;
        assert_eq!(loc.line, $line, "lock location line mismatch");
        assert!(
            loc.path.ends_with(file!()),
            "lock location path should end with '{}', got '{}'",
            file!(),
            loc.path.display()
        );
    }};
}

#[derive(Default)]
#[allow(unused)]
pub struct Object;