mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix caps

Browse Source 
Co-authored-by: Ralf Jung <post@ralfj.de>
This commit is contained in:
JCTyblaidd 2020-12-06 17:59:49 +00:00 committed by GitHub
parent a6f377e48e
commit 6db821537f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/data_race.rs
View File

@ -292,7 +292,7 @@ impl MemoryCellClocks {
// The handling of release sequences was changed in C++20 and so // The handling of release sequences was changed in C++20 and so
// the code here is different to the paper since now all relaxed // the code here is different to the paper since now all relaxed
// stored block release sequences, the exception for same-thread // stores block release sequences. The exception for same-thread
// relaxed stores has been removed. // relaxed stores has been removed.
let atomic = self.atomic_mut(); let atomic = self.atomic_mut();
atomic.sync_vector.clone_from(&clocks.fence_release); atomic.sync_vector.clone_from(&clocks.fence_release);