hydro_lang 0.16.0

A Rust framework for correct and performant distributed systems
Documentation 
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

use super::boundedness::{Bounded, Unbounded};
use crate::live_collections::keyed_singleton::KeyedSingletonBound;
use crate::live_collections::singleton::SingletonBound;
use crate::live_collections::stream::{Ordering, Retries};
use crate::location::tick::Tick;
use crate::location::{Atomic, Location, NoTick};
use crate::nondet::nondet;

/// Helper trait for live collections which can be batched back into a tick from a matching
/// atomic region. Used in [`super::Stream::across_ticks`]
pub trait BatchAtomic {
    /// The type of the stream when returned to the tick.
    type Batched;

    /// Batches / Snapshots the atomic live collection back into its corresponding tick.
    fn batched_atomic(self) -> Self::Batched;
}

impl<'a, L: Location<'a> + NoTick, T, O: Ordering, R: Retries> BatchAtomic
    for super::Stream<T, Atomic<L>, Unbounded, O, R>
{
    type Batched = super::Stream<T, Tick<L>, Bounded, O, R>;

    fn batched_atomic(self) -> Self::Batched {
        let tick = self.location.tick.clone();
        self.batch_atomic(&tick, nondet!(/** internal */))
    }
}

impl<'a, L: Location<'a> + NoTick, T, B: SingletonBound> BatchAtomic
    for super::Singleton<T, Atomic<L>, B>
{
    type Batched = super::Singleton<T, Tick<L>, Bounded>;

    fn batched_atomic(self) -> Self::Batched {
        let tick = self.location.tick.clone();
        self.snapshot_atomic(&tick, nondet!(/** internal */))
    }
}

impl<'a, L: Location<'a> + NoTick, T> BatchAtomic for super::Optional<T, Atomic<L>, Unbounded> {
    type Batched = super::Optional<T, Tick<L>, Bounded>;

    fn batched_atomic(self) -> Self::Batched {
        let tick = self.location.tick.clone();
        self.snapshot_atomic(&tick, nondet!(/** internal */))
    }
}

impl<'a, L: Location<'a> + NoTick, K, V, B: KeyedSingletonBound<ValueBound = Unbounded>> BatchAtomic
    for super::KeyedSingleton<K, V, Atomic<L>, B>
{
    type Batched = super::KeyedSingleton<K, V, Tick<L>, Bounded>;

    fn batched_atomic(self) -> Self::Batched {
        let tick = self.location.tick.clone();
        self.snapshot_atomic(&tick, nondet!(/** internal */))
    }
}