Add simple data-race detector by JCTyblaidd · Pull Request #1617 · rust-lang/miri

Commits on Nov 2, 2020

Commits on Nov 15, 2020

Commits on Nov 22, 2020

Fix review changes
JCTyblaidd
committed

Commits on Nov 27, 2020

Apply review changes, incrementing the clocks twice is an unnecessary hold-over from earlier versions so fixed.
JCTyblaidd
committed

Commits on Nov 28, 2020

Fix typos - looked into the papers handling of timestamps, after looking into it again, it seems the paper only increments the timestamp after release operations, so changed to approximation of tha…
JCTyblaidd
committed

Commits on Nov 29, 2020

fix some typos
RalfJung
authored

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Add simple data-race detector#1617

Add simple data-race detector#1617
bors merged 17 commits intorust-lang:masterfrom
JCTyblaidd:data_race_detector

Commits on Nov 2, 2020

Initial data-race detector,

Add tests, and fix bug in atomic RMW relaxed stores

Fix & rebase

Mark all new tests as disabled on windows

Add newlines at end of file + use replace.

Commits on Nov 4, 2020

Detect races between atomic and non-atomic accesses of a variable,

Commits on Nov 5, 2020

Split out vector_clock to separate file, general tidy up of some of the

Move to use of thread termination hook for vector re-use,

Commits on Nov 6, 2020

More aggressive vector index re-use, and added some tests.

Commits on Nov 15, 2020

Tidy up comments and function layout, should fix most of the review notes.

Convert extra benchmark program into cfg option.

Add comment regarding seq-cst ordering & add test for disabling the data-race detector.

Run rustfmt on vector_clock.rs and data_race.rs

Commits on Nov 22, 2020

Fix review changes

Commits on Nov 27, 2020

Apply review changes, incrementing the clocks twice is an unnecessary hold-over from earlier versions so fixed.

Commits on Nov 28, 2020

Fix typos - looked into the papers handling of timestamps, after looking into it again, it seems the paper only increments the timestamp after release operations, so changed to approximation of tha…

Commits on Nov 29, 2020

fix some typos

Add simple data-race detector#1617bors merged 17 commits intorust-lang:masterrust-lang/miri:masterfrom JCTyblaidd:data_race_detectorJCTyblaidd/miri:data_race_detectorCopy head branch name to clipboard

Commits

Commits on Nov 2, 2020

Commits on Nov 4, 2020

Commits on Nov 5, 2020

Commits on Nov 6, 2020

Commits on Nov 15, 2020

Commits on Nov 22, 2020

Commits on Nov 27, 2020

Commits on Nov 28, 2020

Commits on Nov 29, 2020

Add simple data-race detector#1617
bors merged 17 commits intorust-lang:masterfrom
JCTyblaidd:data_race_detector