JCTyBlaidd
|
296ba8b1c8
|
Fix bug with reporting wrong thread for races with reads & add thread ids to data-race tests
|
2020-12-13 11:04:58 +00:00 |
|
JCTyblaidd
|
c4ccd0b6a1
|
Fix nits
Co-authored-by: bjorn3 <bjorn3@users.noreply.github.com>
|
2020-12-13 11:04:58 +00:00 |
|
JCTyBlaidd
|
1ded6d328a
|
Remove old FIXME
|
2020-12-13 11:04:58 +00:00 |
|
JCTyBlaidd
|
c45b1b16be
|
More tests, fix issue 1643 and detect races with allocation.
|
2020-12-13 11:04:58 +00:00 |
|
JCTyblaidd
|
6db821537f
|
Fix caps
Co-authored-by: Ralf Jung <post@ralfj.de>
|
2020-12-06 17:59:49 +00:00 |
|
JCTyBlaidd
|
4cf614ef33
|
Update release sequence handling to C++20 semantics.
|
2020-12-06 16:58:32 +00:00 |
|
Ralf Jung
|
cbb695f782
|
fix some typos
|
2020-11-29 19:43:44 +01:00 |
|
JCTyBlaidd
|
6c5722933e
|
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 that implementation.
|
2020-11-28 17:17:07 +00:00 |
|
JCTyBlaidd
|
55fc552d99
|
Apply review changes, incrementing the clocks twice is an unnecessary hold-over from earlier versions so fixed.
|
2020-11-27 19:26:06 +00:00 |
|
JCTyBlaidd
|
0b0264fc82
|
Run rustfmt on vector_clock.rs and data_race.rs
|
2020-11-15 20:19:34 +00:00 |
|
JCTyBlaidd
|
a3b7839bbd
|
Add comment regarding seq-cst ordering & add test for disabling the data-race detector.
|
2020-11-15 20:12:58 +00:00 |
|
JCTyBlaidd
|
69fb6413dd
|
Tidy up comments and function layout, should fix most of the review notes.
|
2020-11-15 18:30:26 +00:00 |
|
JCTyBlaidd
|
2a40d9b7a0
|
More aggressive vector index re-use, and added some tests.
|
2020-11-06 17:29:54 +00:00 |
|
JCTyBlaidd
|
c70bbea257
|
Move to use of thread termination hook for vector re-use,
convert validate atomic op to use shared reference and get_raw
instead of get_raw_mut so it can be used for validate_atomic_load as well
|
2020-11-05 14:18:28 +00:00 |
|
JCTyBlaidd
|
9cb6b8da3f
|
Split out vector_clock to separate file, general tidy up of some of the
code & add support for vector index re-use for multiple threads
after termination.
|
2020-11-05 03:54:39 +00:00 |
|
JCTyBlaidd
|
95c99b2044
|
Detect races between atomic and non-atomic accesses of a variable,
previously only data races between two non-atomic accesses were
detected.
|
2020-11-04 21:35:48 +00:00 |
|
JCTyBlaidd
|
fe2e857cc3
|
Add newlines at end of file + use replace.
add dangling thread variant of one of the benchmarks
|
2020-11-02 13:08:09 +00:00 |
|
JCTyBlaidd
|
cae4302003
|
Fix & rebase
|
2020-11-02 03:06:30 +00:00 |
|
JCTyBlaidd
|
ed32b260f9
|
Add tests, and fix bug in atomic RMW relaxed stores
|
2020-11-02 02:57:06 +00:00 |
|
JCTyBlaidd
|
89814f1b3f
|
Initial data-race detector,
passes all current tests but additional tests are required
|
2020-11-02 02:57:05 +00:00 |
|