/// Insert a point of sequential consistency
Insert a point of sequential consistency
Insert a point of sequential consistency
pub fn seq_cst(&mut self) {
        self.threads[self.active.unwrap()]
            .causality
            .join(&self.seq_cst_causality);
        self.seq_cst_causality
            .join(&self.threads[self.active.unwrap()].causality);
    }
pub fn seq_cst ( & mut self ) { self . threads [ self . active . unwrap ( ) ] . causality . join ( & self . seq_cst_causality ) ; self . seq_cst_causality . join ( & self . threads [ self . active . unwrap ( ) ] . causality ) ; }
Insert a point of sequential consistency
Insert a point of sequential consistency
&mut self