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
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
use hibitset::AtomicBitSet;
use crate::{join::Index, storage::RawStorage};
pub type ModifiedBitSet = AtomicBitSet;
pub trait TrackedStorage: RawStorage {
fn set_track_modified(&mut self, flag: bool);
fn tracking_modified(&self) -> bool;
fn mark_modified(&self, index: Index);
fn modified_indexes(&self) -> &ModifiedBitSet;
fn clear_modified(&mut self);
}
#[derive(Default)]
pub struct Flagged<S> {
tracking: bool,
storage: S,
modified: ModifiedBitSet,
}
impl<S> RawStorage for Flagged<S>
where
S: RawStorage,
{
type Item = S::Item;
unsafe fn get(&self, index: Index) -> &Self::Item {
self.storage.get(index)
}
unsafe fn get_mut(&self, index: Index) -> &mut Self::Item {
if self.tracking {
self.modified.add_atomic(index);
}
self.storage.get_mut(index)
}
unsafe fn insert(&mut self, index: Index, value: Self::Item) {
if self.tracking {
self.modified.add(index);
}
self.storage.insert(index, value);
}
unsafe fn remove(&mut self, index: Index) -> Self::Item {
if self.tracking {
self.modified.add(index);
}
self.storage.remove(index)
}
}
impl<S> TrackedStorage for Flagged<S>
where
S: RawStorage,
{
fn set_track_modified(&mut self, flag: bool) {
self.tracking = flag;
}
fn tracking_modified(&self) -> bool {
self.tracking
}
fn mark_modified(&self, index: Index) {
self.modified.add_atomic(index);
}
fn modified_indexes(&self) -> &ModifiedBitSet {
&self.modified
}
fn clear_modified(&mut self) {
self.modified.clear();
}
}