Struct BarrierSync

pub struct BarrierSync { /* private fields */ }
Available on crate feature chili only.
Expand description

This very simple implementation uses the [hurdles::Barrier] struct which should in theory perform faster than the std::sync::Barrier struct from the standard library.

By using the SyncSubDomains trait, we can automatically create a collection of syncers which can then be simply given to the respective threads and handle synchronization.

let map = BTreeMap::from_iter([
    (0, std::collections::BTreeSet::from([1])),
    (1, std::collections::BTreeSet::from([0])),
]);
let mut syncers = BarrierSync::from_map(&map).unwrap();
assert_eq!(syncers.len(), 2);

let mut syncer_0 = syncers.remove(&0).unwrap();
let mut syncer_1 = syncers.remove(&1).unwrap();

// Define the number of iterations to run
let n_iterations = 10;
let shared_counter = std::sync::Arc::new(std::sync::Mutex::new(0_i64));

let shared_counter_0 = std::sync::Arc::clone(&shared_counter);
let handle_0 = std::thread::spawn(move || {
    for _ in 0..n_iterations {
        syncer_0.sync().unwrap();
        *shared_counter_0.lock().unwrap() += 1;
        syncer_0.sync().unwrap();
    }
});

for i in 0..n_iterations {
    syncer_1.sync().unwrap();
    syncer_1.sync().unwrap();
    assert_eq!(*shared_counter.lock().unwrap(), i+1);
}
handle_0.join();

Trait Implementations§

§

impl<I> BuildFromGraph<I> for BarrierSync
where I: Clone + Eq + Hash + Ord,

§

fn build_from_graph( graph: UDGraph<I>, ) -> Result<BTreeMap<I, BarrierSync>, IndexError>

Builds the BTreeMap
§

impl<I> FromMap<I> for BarrierSync

§

fn from_map( map: &BTreeMap<I, BTreeSet<I>>, ) -> Result<BTreeMap<I, BarrierSync>, IndexError>
where I: Eq + Hash + Clone + Ord,

SubDomains can be neighboring each other via complicated graphs. An easy way to represent this is by using a BTreeMap. We want to create Barriers which match the specified subdomain indices.
§

impl SyncSubDomains for BarrierSync

§

fn sync(&mut self) -> Result<(), SimulationError>

Function which forces connected syncers to wait for each other. This approach does not necessarily require all threads to wait but can mean that only depending threads wait for each other.
§

fn store_error( &mut self, maybe_error: Result<(), SimulationError>, ) -> Result<bool, SimulationError>

TODO

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
§

impl<T> Downcast<T> for T

§

fn downcast(&self) -> &T

Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

§

impl<T> Instrument for T

§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
§

impl<T> Pointable for T

§

const ALIGN: usize

The alignment of pointer.
§

type Init = T

The type for initializers.
§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
§

impl<SS, SP> SupersetOf<SS> for SP
where SS: SubsetOf<SP>,

§

fn to_subset(&self) -> Option<SS>

The inverse inclusion map: attempts to construct self from the equivalent element of its superset. Read more
§

fn is_in_subset(&self) -> bool

Checks if self is actually part of its subset T (and can be converted to it).
§

fn to_subset_unchecked(&self) -> SS

Use with care! Same as self.to_subset but without any property checks. Always succeeds.
§

fn from_subset(element: &SS) -> SP

The inclusion map: converts self to the equivalent element of its superset.
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
§

impl<T> Upcast<T> for T

§

fn upcast(&self) -> Option<&T>

§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

§

fn vzip(self) -> V

§

impl<T> WithSubscriber for T

§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more
§

impl<T> Ungil for T
where T: Send,

§

impl<T> WasmNotSend for T
where T: Send,

§

impl<T> WasmNotSendSync for T
where T: WasmNotSend + WasmNotSync,

§

impl<T> WasmNotSync for T
where T: Sync,