diff --git a/src/data_race.rs b/src/data_race.rs index d9bfbc1bdb5a..78b9b09f1615 100644 --- a/src/data_race.rs +++ b/src/data_race.rs @@ -103,7 +103,7 @@ pub enum AtomicFenceOp { pub struct ThreadClockSet { /// The increasing clock representing timestamps /// that happen-before this thread. - pub clock: VClock, + pub(crate) clock: VClock, /// The set of timestamps that will happen-before this /// thread once it performs an acquire fence. @@ -113,11 +113,17 @@ pub struct ThreadClockSet { /// have been released by this thread by a fence. fence_release: VClock, - pub fence_seqcst: VClock, + /// Timestamps of the last SC fence performed by each + /// thread, updated when this thread performs an SC fence + pub(crate) fence_seqcst: VClock, - pub write_seqcst: VClock, + /// Timestamps of the last SC write performed by each + /// thread, updated when this thread performs an SC fence + pub(crate) write_seqcst: VClock, - pub read_seqcst: VClock, + /// Timestamps of the last SC fence performed by each + /// thread, updated when this thread performs an SC read + pub(crate) read_seqcst: VClock, } impl ThreadClockSet { diff --git a/src/weak_memory.rs b/src/weak_memory.rs index b9ab12923117..46838c5c8a1f 100644 --- a/src/weak_memory.rs +++ b/src/weak_memory.rs @@ -88,7 +88,7 @@ pub struct StoreBuffer { } #[derive(Debug, Clone, PartialEq, Eq)] -pub struct StoreElement { +struct StoreElement { /// The identifier of the vector index, corresponding to a thread /// that performed the store. store_index: VectorIdx,