2023-02-21 08:37:10 +00:00
|
|
|
use std::marker::PhantomData;
|
|
|
|
|
2023-04-19 10:57:17 +00:00
|
|
|
use rustc_index::Idx;
|
2023-02-21 08:37:10 +00:00
|
|
|
|
2023-03-14 12:11:56 +00:00
|
|
|
#[derive(Default)]
|
2023-03-14 11:51:00 +00:00
|
|
|
pub struct AppendOnlyIndexVec<I: Idx, T: Copy> {
|
2023-02-21 08:37:10 +00:00
|
|
|
vec: elsa::sync::LockFreeFrozenVec<T>,
|
|
|
|
_marker: PhantomData<fn(&I)>,
|
|
|
|
}
|
|
|
|
|
2023-03-14 11:51:00 +00:00
|
|
|
impl<I: Idx, T: Copy> AppendOnlyIndexVec<I, T> {
|
2023-02-21 08:37:10 +00:00
|
|
|
pub fn new() -> Self {
|
2024-10-28 18:51:12 +01:00
|
|
|
Self { vec: elsa::sync::LockFreeFrozenVec::new(), _marker: PhantomData }
|
2023-02-21 08:37:10 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
pub fn push(&self, val: T) -> I {
|
|
|
|
let i = self.vec.push(val);
|
|
|
|
I::new(i)
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn get(&self, i: I) -> Option<T> {
|
|
|
|
let i = i.index();
|
2024-10-28 18:51:12 +01:00
|
|
|
self.vec.get(i)
|
2023-02-21 08:37:10 +00:00
|
|
|
}
|
|
|
|
}
|
2023-03-14 11:51:00 +00:00
|
|
|
|
2023-03-14 12:11:56 +00:00
|
|
|
#[derive(Default)]
|
2023-03-14 11:51:00 +00:00
|
|
|
pub struct AppendOnlyVec<T: Copy> {
|
2023-07-31 09:50:44 +00:00
|
|
|
vec: parking_lot::RwLock<Vec<T>>,
|
2023-03-14 11:51:00 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
impl<T: Copy> AppendOnlyVec<T> {
|
|
|
|
pub fn new() -> Self {
|
2023-07-31 09:50:44 +00:00
|
|
|
Self { vec: Default::default() }
|
2023-03-14 11:51:00 +00:00
|
|
|
}
|
|
|
|
|
2023-03-14 12:11:56 +00:00
|
|
|
pub fn push(&self, val: T) -> usize {
|
2023-07-31 09:50:44 +00:00
|
|
|
let mut v = self.vec.write();
|
|
|
|
let n = v.len();
|
|
|
|
v.push(val);
|
|
|
|
n
|
2023-03-14 11:51:00 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
pub fn get(&self, i: usize) -> Option<T> {
|
2023-07-31 09:50:44 +00:00
|
|
|
self.vec.read().get(i).copied()
|
2023-03-14 11:51:00 +00:00
|
|
|
}
|
2023-03-14 12:30:16 +00:00
|
|
|
|
|
|
|
pub fn iter_enumerated(&self) -> impl Iterator<Item = (usize, T)> + '_ {
|
|
|
|
(0..)
|
|
|
|
.map(|i| (i, self.get(i)))
|
|
|
|
.take_while(|(_, o)| o.is_some())
|
|
|
|
.filter_map(|(i, o)| Some((i, o?)))
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn iter(&self) -> impl Iterator<Item = T> + '_ {
|
2023-04-09 23:07:18 +02:00
|
|
|
(0..).map(|i| self.get(i)).take_while(|o| o.is_some()).flatten()
|
2023-03-14 12:30:16 +00:00
|
|
|
}
|
2023-03-14 11:51:00 +00:00
|
|
|
}
|
2023-03-14 12:16:19 +00:00
|
|
|
|
|
|
|
impl<T: Copy + PartialEq> AppendOnlyVec<T> {
|
|
|
|
pub fn contains(&self, val: T) -> bool {
|
2023-03-14 12:30:16 +00:00
|
|
|
self.iter_enumerated().any(|(_, v)| v == val)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<A: Copy> FromIterator<A> for AppendOnlyVec<A> {
|
|
|
|
fn from_iter<T: IntoIterator<Item = A>>(iter: T) -> Self {
|
|
|
|
let this = Self::new();
|
|
|
|
for val in iter {
|
|
|
|
this.push(val);
|
2023-03-14 12:16:19 +00:00
|
|
|
}
|
2023-03-14 12:30:16 +00:00
|
|
|
this
|
2023-03-14 12:16:19 +00:00
|
|
|
}
|
|
|
|
}
|