bors
2670839e1a
Auto merge of #1721 - henryboisdequin:add-atomic-min-and-max, r=oli-obk
...
Add atomic min and max
Closes #1718
Previous attempt: #1653
TODO:
- [x] Merge `atomic_op` and `atomic_min_max` functions
- [x] Fix CI
**Note:** this PR also removes arbitrary trailing whitespace and generally formats the affected files
2021-03-02 14:52:32 +00:00
Henry Boisdequin
f8440d6c99
Add in atomic_{min,max}_x intrinsics
...
Co-authored-by: Greg Bowyer <gbowyer@fastmail.co.uk>
2021-03-02 20:17:05 +05:30
Henry Boisdequin
7d1531f3c1
fmt data_race.rs and intrinsics.rs
2021-03-02 18:06:12 +05:30
Ralf Jung
48f7c8e2e6
fix reborrowing of tagged ZST references
2021-02-27 20:10:50 +01:00
Tomasz Miąsko
0eb341417c
rustup to e7c23ab933ebc1f205c3b59f4ebc85d40f67d404
2021-02-20 00:00:00 +00:00
Ralf Jung
2672baafe1
rustup
2021-02-18 10:34:32 +01:00
Mara Bos
c5bb29141e
Remove unnecessary format!() in panic!().
2021-02-02 21:40:30 +01:00
Ralf Jung
052cd3bff7
rustup; remove some no-longer-needed Windows shims
2021-01-31 14:23:49 +01:00
bors
b38dc837f2
Auto merge of #1670 - unseddd:abi, r=RalfJung
...
Add ABI check for shims
Resolves #1631
2021-01-29 19:36:30 +00:00
Yuki Okushi
53612ece7c
Rustup for rust-lang/rust#79951
2021-01-28 22:31:22 +09:00
Nym Seddon
de4eea9d49
Add ABI check for shims
2021-01-27 22:32:25 +00:00
Thom Chiovoloni
d310620c11
Allow configuring the failure rate with -Zmiri-compare-exchange-weak-failure-rate
2021-01-26 00:13:54 -08:00
Thom Chiovoloni
d4b592ed17
Fail 80% of the time on weak cmpxchg, not 50%
2021-01-26 00:13:54 -08:00
Thom Chiovoloni
c678bd722e
Add random failures to compare_exchange_weak
2021-01-26 00:13:54 -08:00
Ralf Jung
13dd513254
adjust Windows shims for stdlib changes (Windows XP removal)
2021-01-25 10:43:48 +01:00
Ralf Jung
7d8f8c405f
macos: support aarch64 link names
2021-01-23 18:14:57 +01:00
Ralf Jung
848be1bf82
implement aarch64 hint 'intrinsic'
2021-01-23 18:11:01 +01:00
Corey Farwell
2aedbf0993
Add shim for libc::sysconf(libc::_SC_NPROCESSORS_CONF)
2021-01-22 09:16:27 -05:00
bors
903bfd82bf
Auto merge of #1681 - RalfJung:rustup, r=RalfJung
...
rustup; remove some intrinsics that are gone or moved to rustc
2021-01-18 12:02:12 +00:00
Ralf Jung
3d01ba11c0
rustup; remove some intrinsics that are gone or moved to rustc
2021-01-18 12:55:30 +01:00
hyd-dev
9949d9e417
Remove #![feature(const_generics)] and #![allow(incomplete_features)]
2021-01-17 23:28:20 +08:00
Ralf Jung
4a035103dc
rustup; make tests pass again
2021-01-15 16:41:14 +01:00
Ralf Jung
8e15f3221e
rustup
2021-01-11 12:35:13 +01:00
Ralf Jung
65f5c27d61
remove intrinsic that is now implemented in the rustc side
2020-12-22 12:47:59 +01:00
JCTyblaidd
c13aabcb45
Tidy new_allocation
2020-12-13 11:14:41 +00:00
JCTyblaidd
e73579632b
Rework to work with machine hook.
2020-12-13 11:04:58 +00:00
JCTyblaidd
81c4eb7d74
Update src/data_race.rs
...
Co-authored-by: Ralf Jung <post@ralfj.de>
2020-12-13 11:04:58 +00:00
JCTyBlaidd
aaf8ca4c77
Fix review changes
2020-12-13 11:04:58 +00:00
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
Ralf Jung
7bbd6bca77
rustup
2020-12-10 19:53:45 +01: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
6145709bfc
remove miri-rustc-tests
2020-11-29 21:00:50 +01:00
bors
d473242ecd
Auto merge of #1617 - JCTyblaidd:data_race_detector, r=RalfJung
...
Add simple data-race detector
Partially fixes data-race detection, see #1372 , based on Dynamic Race Detection for C++11
- This does not explore weak memory behaviour, only exploring one sequentially consistent ordering.
- Data-race detection is only enabled after the first thread is created, so should have minimal overhead for non-concurrent execution.
- ~~Does not attempt to re-use thread id's so creating and joining threads lots of time in an execution will result in the vector clocks growing in size and slowing down program execution~~ It does now
2020-11-29 18:44:28 +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
3268f56a97
Fix review changes
2020-11-22 17:28:12 +00:00
Ralf Jung
697f6e36bd
rustup
2020-11-20 14:07:52 +01:00
Ralf Jung
517728bf97
avoid fallback logic (and we do not need the flag value currently anyway)
2020-11-19 09:36:33 +01:00
Mara Bos
cdb7adb4b3
Make weak syscalls in std work.
...
std now looks up `getrandom` and `statx` with `dlsym` before attempting
to use `syscall(SYS_.., ..)`.
It also now passes all arguments as a machine-sized word, instead of
their original types.
2020-11-19 09:34:46 +01: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
Ralf Jung
43673d9a87
rustup
2020-11-11 10:29:10 +01:00
JCTyBlaidd
2a40d9b7a0
More aggressive vector index re-use, and added some tests.
2020-11-06 17:29:54 +00:00
Ralf Jung
f31f00d5af
rustup
2020-11-05 17:09:44 +01:00
