Ralf Jung
|
649b216482
|
add a flag to print a diagnostic when an outdated value is returned from an atomic load
|
2022-07-23 09:39:02 -04:00 |
|
Ralf Jung
|
9f99d10689
|
some stray tag → prov renames
|
2022-07-20 18:32:03 -04:00 |
|
Ralf Jung
|
ff4666f39c
|
rustup
|
2022-07-20 16:02:06 -04:00 |
|
Ralf Jung
|
5fbf036670
|
only do env var cleanup if all threads have stopped
|
2022-07-19 21:44:45 -04:00 |
|
Ralf Jung
|
421f92bee6
|
make some debug assertions in RangeObjectMap be full assertions
|
2022-07-14 13:23:35 -04:00 |
|
Ralf Jung
|
d09db1660b
|
fix and slightly improve data race reports
|
2022-07-01 20:13:44 -04:00 |
|
Ralf Jung
|
dfdedae840
|
avoid copying thread manager state in data race detector
|
2022-07-01 17:07:29 -04:00 |
|
Ralf Jung
|
f238513efa
|
rename some data_race types for more clarity
|
2022-07-01 16:21:48 -04:00 |
|
Ralf Jung
|
12d04ac4c4
|
make clippy happy
|
2022-07-01 12:25:35 -04:00 |
|
Ralf Jung
|
af39709a9c
|
rustup
|
2022-07-01 10:14:31 -04:00 |
|
bors
|
ada7b72a87
|
Auto merge of #2227 - RalfJung:doc, r=RalfJung
make some rustdoc comments more readable
|
2022-06-11 15:50:11 +00:00 |
|
Ralf Jung
|
5f1ba4432b
|
make some rustdoc comments more readable
|
2022-06-11 08:03:54 -07:00 |
|
infrandomness
|
eaa1e444eb
|
Add mandatory cargo_doc
Co-authored-by: Joshua Nelson <github@jyn.dev>
|
2022-06-11 10:59:57 +02:00 |
|
Ralf Jung
|
a310ccc9a4
|
some clippy-induced cleanup
|
2022-06-08 08:06:32 -04:00 |
|
Ralf Jung
|
dac95a3ad8
|
rename AllocationMap → RangeObjectMap
|
2022-06-06 20:16:02 -04:00 |
|
Andy Wang
|
1b32d14255
|
Make racy imperfectly overlapping atomic access unsupported instead of UB
Co-authored-by: Ralf Jung <post@ralfj.de>
|
2022-06-06 19:16:02 +01:00 |
|
Andy Wang
|
bf7a5c4154
|
Add more backgrounds on lazy store buffers
Co-authored-by: Ralf Jung <post@ralfj.de>
|
2022-06-06 19:16:02 +01:00 |
|
Andy Wang
|
6fb7c131ed
|
Remove unused lifetimes
|
2022-06-06 19:16:02 +01:00 |
|
Andy Wang
|
c731071640
|
Give flag temp disabling race detector a better name
|
2022-06-06 19:16:00 +01:00 |
|
Andy Wang
|
8215702d5a
|
Refer to GitHub issue on overwritten init value
|
2022-06-06 19:16:00 +01:00 |
|
Andy Wang
|
4a07f78dad
|
Forbade all racing mixed size atomic accesses
|
2022-06-06 19:16:00 +01:00 |
|
Andy Wang
|
ceb173d647
|
Move logic out of machine.rs
|
2022-06-06 19:15:59 +01:00 |
|
Andy Wang
|
a7c832b04a
|
Wording improvements
Co-authored-by: Ralf Jung <post@ralfj.de>
|
2022-06-06 19:15:59 +01:00 |
|
Andy Wang
|
bfa56454e9
|
Split extra_cpp tests into sound and unsafe
|
2022-06-06 19:15:58 +01:00 |
|
Andy Wang
|
613d60db0b
|
Allow non-racy mixed size accesses
|
2022-06-06 19:15:58 +01:00 |
|
Andy Wang
|
226ed41cca
|
Destroy store buffers on non-racy non-atomic accesses
|
2022-06-06 19:15:58 +01:00 |
|
Andy Wang
|
2321b15342
|
Differentiate between not multithreading and temp disabling race detection
|
2022-06-06 19:15:57 +01:00 |
|
Andy Wang
|
6d27f188c2
|
Update src/concurrency/weak_memory.rs
Co-authored-by: Ralf Jung <post@ralfj.de>
|
2022-06-06 19:15:56 +01:00 |
|
Andy Wang
|
92145373c3
|
Put the initialisation value into the store buffer
|
2022-06-06 19:15:55 +01:00 |
|
Andy Wang
|
577054c6de
|
Rename variables in AllocationMap
|
2022-06-06 19:15:54 +01:00 |
|
Andy Wang
|
6b54c92377
|
Throw UB on imperfectly overlapping access
|
2022-06-06 19:15:54 +01:00 |
|
Andy Wang
|
5a4a1bfccc
|
Remove incorrect comment
|
2022-06-06 19:15:54 +01:00 |
|
Andy Wang
|
335667c774
|
Move buffered functions into their own ext trait
|
2022-06-06 19:15:53 +01:00 |
|
Andy Wang
|
8739e45bef
|
Move data_race and weak_memory into a submodule
|
2022-06-06 19:15:53 +01:00 |
|