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

Remove incorrect comment

Browse Source
This commit is contained in:
Andy Wang 2022-05-15 22:29:40 +01:00
parent 335667c774
commit 5a4a1bfccc
No known key found for this signature in database
GPG Key ID: 181B49F9F38F3374
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/concurrency/weak_memory.rs
View File

@ -127,9 +127,7 @@ impl StoreBufferAlloc {
} }
AccessType::ImperfectlyOverlapping(index_range) => { AccessType::ImperfectlyOverlapping(index_range) => {
// Accesses that imperfectly overlaps with existing atomic objects // Accesses that imperfectly overlaps with existing atomic objects
// do not have well-defined behaviours. But we don't throw a UB here // do not have well-defined behaviours.
// because we have (or will) checked that all bytes in the current
// access are non-racy.
// The behaviour here is that we delete all the existing objects this // The behaviour here is that we delete all the existing objects this
// access touches, and allocate a new and empty one for the exact range. // access touches, and allocate a new and empty one for the exact range.
// A read on an empty buffer returns None, which means the program will // A read on an empty buffer returns None, which means the program will