|
| 1 | +use std::borrow::Borrow; |
| 2 | +use std::hash::{BuildHasher, Hash, Hasher}; |
| 3 | +use std::hint::cold_path; |
| 4 | +use std::ops::{Deref, DerefMut}; |
| 5 | + |
| 6 | +use horde::collect::{Pin, pin}; |
| 7 | +pub use horde::sync_table::Read; |
| 8 | +use horde::sync_table::Write; |
| 9 | +use rustc_hash::FxBuildHasher; |
| 10 | + |
| 11 | +use crate::sync::{DynSync, Lock, LockGuard, Mode}; |
| 12 | + |
| 13 | +pub struct SyncTable<K, V> { |
| 14 | + // We use this lock to protect `table` instead of the internal mutex in `horde::SyncTable` |
| 15 | + // as it's faster when synchronization is disabled. |
| 16 | + lock: Lock<()>, |
| 17 | + |
| 18 | + table: horde::SyncTable<K, V, FxBuildHasher>, |
| 19 | +} |
| 20 | + |
| 21 | +unsafe impl<K: DynSync, V: DynSync> DynSync for SyncTable<K, V> where FxBuildHasher: Sync {} |
| 22 | + |
| 23 | +impl<K, V> Default for SyncTable<K, V> { |
| 24 | + fn default() -> Self { |
| 25 | + Self { lock: Lock::default(), table: horde::SyncTable::default() } |
| 26 | + } |
| 27 | +} |
| 28 | + |
| 29 | +impl<K, V> SyncTable<K, V> { |
| 30 | + /// Creates a [Read] handle from a pinned region. |
| 31 | + /// |
| 32 | + /// Use [horde::collect::pin] to get a `Pin` instance. |
| 33 | + #[inline] |
| 34 | + pub fn read<'a>(&'a self, pin: Pin<'a>) -> Read<'a, K, V, FxBuildHasher> { |
| 35 | + self.table.read(pin) |
| 36 | + } |
| 37 | + |
| 38 | + /// Creates a [LockedWrite] handle by taking the underlying mutex that protects writes. |
| 39 | + #[inline] |
| 40 | + pub fn lock(&self) -> LockedWrite<'_, K, V> { |
| 41 | + LockedWrite { |
| 42 | + _guard: self.lock.lock(), |
| 43 | + table: { |
| 44 | + // SAFETY: We ensure there's only 1 writer at a time using our own lock |
| 45 | + unsafe { self.table.unsafe_write() } |
| 46 | + }, |
| 47 | + } |
| 48 | + } |
| 49 | + |
| 50 | + /// Hashes a key with the table's hasher. |
| 51 | + #[inline] |
| 52 | + pub fn hash_key<Q>(&self, key: &Q) -> u64 |
| 53 | + where |
| 54 | + K: Borrow<Q>, |
| 55 | + Q: ?Sized + Hash, |
| 56 | + { |
| 57 | + self.table.hash_key::<Q>(key) |
| 58 | + } |
| 59 | + |
| 60 | + pub fn len(&self) -> usize { |
| 61 | + pin(|pin| self.read(pin).len()) |
| 62 | + } |
| 63 | + |
| 64 | + pub fn with_capacity(cap: usize) -> Self { |
| 65 | + Self { lock: Lock::new(()), table: horde::SyncTable::new_with(FxBuildHasher, cap) } |
| 66 | + } |
| 67 | +} |
| 68 | + |
| 69 | +/// A handle to a [SyncTable] with write access protected by a lock. |
| 70 | +pub struct LockedWrite<'a, K, V> { |
| 71 | + table: Write<'a, K, V, FxBuildHasher>, |
| 72 | + _guard: LockGuard<'a, ()>, |
| 73 | +} |
| 74 | + |
| 75 | +impl<'a, K, V> Deref for LockedWrite<'a, K, V> { |
| 76 | + type Target = Write<'a, K, V, FxBuildHasher>; |
| 77 | + |
| 78 | + #[inline] |
| 79 | + fn deref(&self) -> &Self::Target { |
| 80 | + &self.table |
| 81 | + } |
| 82 | +} |
| 83 | + |
| 84 | +impl<'a, K, V> DerefMut for LockedWrite<'a, K, V> { |
| 85 | + #[inline] |
| 86 | + fn deref_mut(&mut self) -> &mut Self::Target { |
| 87 | + &mut self.table |
| 88 | + } |
| 89 | +} |
| 90 | + |
| 91 | +pub trait IntoPointer { |
| 92 | + /// Returns a pointer which outlives `self`. |
| 93 | + fn into_pointer(&self) -> *const (); |
| 94 | +} |
| 95 | + |
| 96 | +impl<K: Eq + Hash + Copy> SyncTable<K, ()> { |
| 97 | + pub fn contains_pointer_to<T: Hash + IntoPointer>(&self, value: &T) -> bool |
| 98 | + where |
| 99 | + K: IntoPointer, |
| 100 | + { |
| 101 | + pin(|pin| { |
| 102 | + let mut state = FxBuildHasher.build_hasher(); |
| 103 | + value.hash(&mut state); |
| 104 | + let hash = state.finish(); |
| 105 | + let value = value.into_pointer(); |
| 106 | + self.read(pin).get_from_hash(hash, |entry| entry.into_pointer() == value).is_some() |
| 107 | + }) |
| 108 | + } |
| 109 | + |
| 110 | + #[inline] |
| 111 | + pub fn intern_ref<Q: ?Sized>(&self, value: &Q, make: impl FnOnce() -> K) -> K |
| 112 | + where |
| 113 | + K: Borrow<Q>, |
| 114 | + Q: Hash + Eq, |
| 115 | + { |
| 116 | + if self.lock.mode() == Mode::Sync { |
| 117 | + pin(|pin| { |
| 118 | + let hash = self.hash_key(value); |
| 119 | + |
| 120 | + let potential = match self.read(pin).get_potential(&value, Some(hash)) { |
| 121 | + Ok(entry) => return *entry.0, |
| 122 | + Err(potential) => { |
| 123 | + cold_path(); |
| 124 | + potential |
| 125 | + } |
| 126 | + }; |
| 127 | + |
| 128 | + let mut write = self.lock(); |
| 129 | + |
| 130 | + let potential = match potential.refresh(self.read(pin), &value, Some(hash)) { |
| 131 | + Ok(entry) => { |
| 132 | + cold_path(); |
| 133 | + return *entry.0; |
| 134 | + } |
| 135 | + Err(potential) => potential, |
| 136 | + }; |
| 137 | + |
| 138 | + let result = make(); |
| 139 | + |
| 140 | + potential.insert_new(&mut write, result, (), Some(hash)); |
| 141 | + |
| 142 | + result |
| 143 | + }) |
| 144 | + } else { |
| 145 | + let mut write = self.lock(); |
| 146 | + |
| 147 | + let hash = self.hash_key(&value); |
| 148 | + |
| 149 | + let entry = write.read().get(&value, Some(hash)); |
| 150 | + if let Some(entry) = entry { |
| 151 | + return *entry.0; |
| 152 | + } |
| 153 | + |
| 154 | + let result = make(); |
| 155 | + |
| 156 | + write.insert_new(result, (), Some(hash)); |
| 157 | + |
| 158 | + result |
| 159 | + } |
| 160 | + } |
| 161 | + |
| 162 | + #[inline] |
| 163 | + pub fn intern<Q>(&self, value: Q, make: impl FnOnce(Q) -> K) -> K |
| 164 | + where |
| 165 | + K: Borrow<Q>, |
| 166 | + Q: Hash + Eq, |
| 167 | + { |
| 168 | + if self.lock.mode() == Mode::Sync { |
| 169 | + pin(|pin| { |
| 170 | + let hash = self.hash_key(&value); |
| 171 | + |
| 172 | + let potential = match self.read(pin).get_potential(&value, Some(hash)) { |
| 173 | + Ok(entry) => return *entry.0, |
| 174 | + Err(potential) => { |
| 175 | + cold_path(); |
| 176 | + potential |
| 177 | + } |
| 178 | + }; |
| 179 | + |
| 180 | + let mut write = self.lock(); |
| 181 | + |
| 182 | + let potential = match potential.refresh(self.read(pin), &value, Some(hash)) { |
| 183 | + Ok(entry) => { |
| 184 | + cold_path(); |
| 185 | + return *entry.0; |
| 186 | + } |
| 187 | + Err(potential) => potential, |
| 188 | + }; |
| 189 | + |
| 190 | + let result = make(value); |
| 191 | + |
| 192 | + potential.insert_new(&mut write, result, (), Some(hash)); |
| 193 | + |
| 194 | + result |
| 195 | + }) |
| 196 | + } else { |
| 197 | + let mut write = self.lock(); |
| 198 | + |
| 199 | + let hash = self.hash_key(&value); |
| 200 | + |
| 201 | + let entry = write.read().get(&value, Some(hash)); |
| 202 | + if let Some(entry) = entry { |
| 203 | + return *entry.0; |
| 204 | + } |
| 205 | + |
| 206 | + let result = make(value); |
| 207 | + |
| 208 | + write.insert_new(result, (), Some(hash)); |
| 209 | + |
| 210 | + result |
| 211 | + } |
| 212 | + } |
| 213 | +} |
0 commit comments