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

Auto merge of #2227 - RalfJung:doc, r=RalfJung

Browse Source 
make some rustdoc comments more readable
This commit is contained in:
bors 2022-06-11 15:50:11 +00:00
commit ada7b72a87
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/concurrency/data_race.rs
View File

@ -24,7 +24,7 @@
//! because it only re-uses vector indexes once all currently-active (not-terminated) threads have an internal //! because it only re-uses vector indexes once all currently-active (not-terminated) threads have an internal
//! vector clock that happens-after the join operation of the candidate thread. Threads that have not been joined //! vector clock that happens-after the join operation of the candidate thread. Threads that have not been joined
//! on are not considered. Since the thread's vector clock will only increase and a data-race implies that //! on are not considered. Since the thread's vector clock will only increase and a data-race implies that
//! there is some index x where clock\[x\] > thread_clock, when this is true clock\[candidate-idx\] > thread_clock //! there is some index x where `clock[x] > thread_clock`, when this is true `clock[candidate-idx] > thread_clock`
//! can never hold and hence a data-race can never be reported in that vector index again. //! can never hold and hence a data-race can never be reported in that vector index again.
//! This means that the thread-index can be safely re-used, starting on the next timestamp for the newly created //! This means that the thread-index can be safely re-used, starting on the next timestamp for the newly created
//! thread. //! thread.