block_tracker.rs 3.64 KB
Newer Older
1
2
3
4
// SPDX-FileCopyrightText: Copyright (c) 2024-2026 NVIDIA CORPORATION & AFFILIATES. All rights reserved.
// SPDX-License-Identifier: Apache-2.0

use dynamo_tokens::SequenceHash;
5
use rustc_hash::FxHashMap;
6
7
use std::sync::{Arc, Weak};

8
9
10
11
12
13
#[derive(Debug)]
pub(super) struct BlockAcquire {
    pub(super) rc: Arc<()>,
    pub(super) became_present_on_worker: bool,
}

14
15
#[derive(Debug, Default)]
pub(super) struct BlockTracker {
16
17
    pub(super) unique_blocks: FxHashMap<SequenceHash, Weak<()>>,
    pub(super) fractional_blocks: FxHashMap<SequenceHash, f64>,
18
19
20
}

impl BlockTracker {
21
    pub(super) fn touch_block(&mut self, block: &SequenceHash) -> BlockAcquire {
22
23
24
        if let Some(weak) = self.unique_blocks.get(block)
            && let Some(rc) = weak.upgrade()
        {
25
26
27
28
            return BlockAcquire {
                rc,
                became_present_on_worker: false,
            };
29
30
31
32
        }

        let rc = Arc::new(());
        self.unique_blocks.insert(*block, Arc::downgrade(&rc));
33
34
35
36
        BlockAcquire {
            rc,
            became_present_on_worker: true,
        }
37
38
    }

39
    pub(super) fn try_remove_block(&mut self, block: &SequenceHash) -> bool {
40
41
42
43
44
        if let Some(weak) = self.unique_blocks.get(block)
            && weak.strong_count() == 0
        {
            self.unique_blocks.remove(block);
            self.fractional_blocks.remove(block);
45
            return true;
46
        }
47
48

        false
49
50
51
52
53
54
55
56
57
58
59
60
    }

    pub(super) fn active_blocks(&self) -> usize {
        let mut count = self.unique_blocks.len() as f64;
        for (hash, frac) in &self.fractional_blocks {
            if self.unique_blocks.contains_key(hash) {
                count = count - 1.0 + frac;
            }
        }
        count.round() as usize
    }
}
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125

#[cfg(test)]
mod tests {
    use super::*;

    #[test]
    fn first_touch_and_last_remove_report_presence_transitions() {
        let mut tracker = BlockTracker::default();

        let first = tracker.touch_block(&1);
        let second = tracker.touch_block(&1);

        assert!(first.became_present_on_worker);
        assert!(!second.became_present_on_worker);
        assert_eq!(tracker.active_blocks(), 1);

        drop(first.rc);
        assert!(!tracker.try_remove_block(&1));
        assert_eq!(tracker.active_blocks(), 1);

        drop(second.rc);
        assert!(tracker.try_remove_block(&1));
        assert_eq!(tracker.active_blocks(), 0);
    }

    #[test]
    fn fractional_blocks_adjust_active_block_count() {
        let mut tracker = BlockTracker::default();
        let first = tracker.touch_block(&1);
        let second = tracker.touch_block(&2);

        tracker.fractional_blocks.insert(1, 0.5);
        tracker.fractional_blocks.insert(2, 0.5);
        assert_eq!(tracker.active_blocks(), 1);

        drop(first.rc);
        assert!(tracker.try_remove_block(&1));
        assert!(!tracker.fractional_blocks.contains_key(&1));
        assert_eq!(tracker.active_blocks(), 1);

        drop(second.rc);
        assert!(tracker.try_remove_block(&2));
        assert!(tracker.fractional_blocks.is_empty());
        assert_eq!(tracker.active_blocks(), 0);
    }

    #[test]
    fn shared_block_counts_once_until_last_reference_drops() {
        let mut tracker = BlockTracker::default();
        let first = tracker.touch_block(&7);
        let second = tracker.touch_block(&7);
        let third = tracker.touch_block(&7);

        assert_eq!(tracker.active_blocks(), 1);

        drop(first.rc);
        drop(second.rc);
        assert!(!tracker.try_remove_block(&7));
        assert_eq!(tracker.active_blocks(), 1);

        drop(third.rc);
        assert!(tracker.try_remove_block(&7));
        assert_eq!(tracker.active_blocks(), 0);
    }
}