update README

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

fix some typos

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.

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

Fix review changes

Auto merge of #1633 - RalfJung:rustup, r=RalfJung

rustup; test sorting for provenance-correctness

rustup; test sorting for provenance-correctness

Auto merge of #1632 - RalfJung:rustup, r=RalfJung

rustup

fix statx

rustup

Auto merge of #1630 - RalfJung:rustup, r=RalfJung

Rustup

Includes https://github.com/rust-lang/miri/pull/1626 and https://github.com/rust-lang/miri/pull/1629.

avoid fallback logic (and we do not need the flag value currently anyway)

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.

Normalize column numbers

rustup

Run rustfmt on vector_clock.rs and data_race.rs

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

Convert extra benchmark program into cfg option.

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

Auto merge of #1624 - RalfJung:rustup, r=RalfJung

rustup; less strict timing tests

rustup; less strict timing tests

Auto merge of #1623 - RalfJung:rustup, r=RalfJung

rustup

rustup

Auto merge of #1621 - RalfJung:rustup, r=RalfJung

Rustup; test btreemap with raw ptr tracking

test btreemap with raw ptr tracking

remove some unnecessary feature flags

rustup and update test

Auto merge of #1615 - jyn514:contributing-instructions, r=RalfJung

Improve contributing instructions

This builds on the changes from https://github.com/rust-lang/miri/pull/1612 and should not be merged before.

- Fix incorrect comment
- Recommend `x.py setup` over manually editing config.toml
- Link to rustc-dev-guide

Improve contributing instructions

- Fix incorrect comment
- Recommend `x.py setup` over manually editing config.toml
- Link to rustc-dev-guide

Auto merge of #1612 - camelid:patch-1, r=RalfJung

CONTRIBUTING.md: Use `build --stage 1` instead of `build --stage 2`

It seems to work fine with `--stage 1` and it should be faster.

Cc #1610
Cc `@jyn514`

CONTRIBUTING.md: Update comment

Co-authored-by: Ralf Jung <post@ralfj.de>

Auto merge of #1620 - RalfJung:overflow, r=RalfJung

enable overflow checks in the standard library

enable overflow checks in the standard library

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

Auto merge of #1619 - RalfJung:rustup, r=RalfJung

rustup

rustup

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

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.

Detect races between atomic and non-atomic accesses of a variable,
 previously only data races between two non-atomic accesses were
 detected.

Auto merge of #1614 - RalfJung:raw-retag, r=RalfJung

Stacked Borrows: test raw-ref-to-field with raw ptr tracking

Adds a test for https://github.com/rust-lang/rust/pull/78597 (blocked on that landing first)

rustup

Add newlines at end of file + use replace.
 add dangling thread variant of one of the benchmarks

Mark all new tests as disabled on windows

Fix & rebase

Add tests, and fix bug in atomic RMW relaxed stores

Initial data-race detector,
passes all current tests but additional tests are required

fix trophy case URL

test Rc with raw pointer tracking

fix writing to read-only raw pointer in thread-local test

Stacked Borrows: test raw-ref-to-field with raw ptr tracking

Auto merge of #1613 - RalfJung:test-normalize, r=RalfJung

backtrace tests: support more ways of checking out Rust locally

Tests failed when using a local build as my folders are called `rustc`, `rustc.2`, ...
Expand the regex to also support that naming scheme.

backtrace tests: support more ways of checking out Rust locally

CONTRIBUTING.md: Use `build --stage 1` instead of `build --stage 2`

It seems to work fine with `--stage 1` and it should be faster.

Auto merge of #1611 - RalfJung:timing-tests, r=RalfJung

increase timeout to avoid spurious test failures

just saw this fail on macOS in PR CI, so add some extra safety margin

increase timeout to avoid spurious test failures

Auto merge of #1610 - camelid:patch-2, r=RalfJung

Update locally-built rustc instructions

Cc rust-lang/rust#78435

Update locally-built rustc instructions

Auto merge of #1609 - camelid:patch-1, r=RalfJung

Fix link in README

The section it references is now in `CONTRIBUTING.md`.

Fix link in README

Auto merge of #1607 - RalfJung:rustup, r=RalfJung

rustup

rustup

Auto merge of #1606 - RalfJung:trophy, r=oli-obk

update trophy case

Auto merge of #1603 - RalfJung:track-raw, r=oli-obk

add an option to track raw pointer tags in Stacked Borrows

Also make error messages more informative by printing the affected memory location

update trophy case

test raw pointer tracking; we cannot track raw pointers on Windows

Auto merge of #1604 - RalfJung:std-debug-assert, r=oli-obk

disable debug assertions in the standard library

Debug assertions in the standard library can be somewhat expensive to check, in particular the ones covering each and every `ptr::write/copy/copy_nonoverlapping`. Miri will find most of those problems anyway since they cause UB. There are other debug assertions, such as ensuring internal invariants are maintained, but given how slow Miri already is, I think it is better to skip those checks in Miri and instead figure out a better way for people to use a standard library with debug assertions enabled.

expand flag docs

Auto merge of #1605 - RalfJung:readme, r=RalfJung

Readme: remove outdated CI badges

remove outdated CI badges

disable debug assertions in the standard library

run some tests with raw pointer tracking

add an option to track raw pointer tags in Stacked Borrows

Stacked Borrows: print affected memory location on errors

Auto merge of #1602 - RalfJung:box, r=RalfJung

test Box::into_raw aliasing

Directly test aliasing problems caused by `Box::into_raw` issues (like we have them again right now due to https://github.com/rust-lang/rust/pull/77187, but the pinned rustc is older than that so this should still be able to land).

test Box::into_raw aliasing

Auto merge of #1601 - RalfJung:misc, r=RalfJung

pointer tag tracking: also show when tag is being created

Also use bash to make sure `&>` works.

pointer tag tracking: also show when tag is being created

Use bash to make sure &> works

Auto merge of #1600 - RalfJung:rustup, r=RalfJung

rustup; make panic output less dependent on stdlib internals

rustup; make panic output less dependent on stdlib internals

Auto merge of #1599 - camelid:default-args-const, r=RalfJung

Make `miri_default_args()` a constant

Feel free to close this if this is intentionally not a constant.

Make `miri_default_args()` a constant

Auto merge of #1598 - camelid:hide-readlink-error, r=RalfJung

Hide readlink error in `./miri`

Fixes #1597.

`./miri` is just testing whether the platform supports `readlink -e`,
but it didn't hide properly hide the stderr output. This fixes that.

Auto merge of #1596 - camelid:fix-readme, r=RalfJung

Fix README

Add a paragraph break in the license section for clarity.

## Before


## After


Auto merge of #1594 - camelid:dont-force-install-xargo, r=RalfJung

Don't force-install xargo

Previously miri used `cargo install xargo -f` which shouldn't be
necessary anymore since `cargo install` will now upgrade without `-f`.

The only reason I can see to use `-f` is from the cargo docs:

> This is also useful if something has changed on the system that you
> want to rebuild with, such as a newer version of `rustc`.

See the [discussion on Zulip](https://rust-lang.zulipchat.com/#narrow/stream/131828-t-compiler/topic/why.20does.20miri.20require.20xargo/near/214351239).

Hide readlink error in `./miri`

`./miri` is just testing whether the platform supports `readlink -e`,
but it didn't hide properly hide the stderr output. This fixes that.

Fix README

Don't force-install xargo

Previously miri used `cargo install xargo -f` which shouldn't be
necessary anymore since `cargo install` will now upgrade without `-f`.

The only reason I can see to use `-f` is from the cargo docs:

> This is also useful if something has changed on the system that you
> want to rebuild with, such as a newer version of `rustc`.

See the [discussion on Zulip](https://rust-lang.zulipchat.com/#narrow/stream/131828-t-compiler/topic/why.20does.20miri.20require.20xargo/near/214351239).

Auto merge of #1593 - rust-lang:test, r=RalfJung

fix './miri test'

fix './miri test'

Auto merge of #1592 - RalfJung:rustup, r=RalfJung

rustup; increase slack for timing tests

rustup; increase slack for timing tests

Auto merge of #1590 - RalfJung:trophy, r=RalfJung

another TiKV bug for the trophy case :)

Cc `@brson` thanks for the ping!

another TiKV bug for the trophy case :)

Auto merge of #1589 - Aaron1011:enable-normal-backtrace, r=RalfJung

Enable `backtrace` feature in the generated `Xargo.toml`

This allows the normal std panic hook to print a backtrace if
`RUST_BACKTRACE=1` and `-Z miri-disable-isolation` are set

Enable `backtrace` feature in the generated `Xargo.toml`

This allows the normal std panic hook to print a backtrace if
`RUST_BACKTRACE=1` and `-Z miri-disable-isolation` are set

Auto merge of #1587 - lzutao:only-gha, r=RalfJung

build: Gate only on GHA: remove travis and appveyor ci config

It's been over a week since #1571 merged.
The GHA evaluation is successful.

This PR removes CI config of travis and appveyor.
Now MIRI gates on github actions CI only.

Will need <https://github.com/rust-lang/homu/pull/109> to merge first,
otherwise bors will stuck.

Also, one may need to remove `continuous-integration/appveyor/pr` CI checks
in repo settings or appeveyor website.

build: Gate only on GHA: remove travis and appveyor ci config

Auto merge of #1586 - RalfJung:available-concurrency, r=RalfJung

test new available_concurrency function

Cc https://github.com/rust-lang/rust/pull/74480

test new available_concurrency function