Implement std::sync::Mutex interception for GenMC mode.

[Patrick-6]

This PR adds support for Miri to intercept uses of std::sync::Mutex using the rustc diagnostic items added in rust-lang/rust#141690.

[rustbot]

Thank you for contributing to Miri!
Please remember to not force-push to the PR branch except when you need to rebase due to a conflict or when the reviewer asks you for it.

[Patrick-6]

r? @RalfJung

View changes since this review

[RalfJung]

@rustbot author

View changes since this review

[rustbot]

Reminder, once the PR becomes ready for a review, use @rustbot ready.

[Patrick-6]

This failure is weird, the mutex_poison.rs test passes on my machine with the expected output, but not in CI?
Maybe something changed in the upstream implementation of one of the functions used in the test, so a rebase could potentially fix this?

[RalfJung]

You probably need to rebase over #4617 yeah.

[rustbot]

This PR was rebased onto a different master commit. Here's a range-diff highlighting what actually changed.

Rebasing is a normal part of keeping PRs up to date, so no action is needed—this note is just to help reviewers.

[Patrick-6]

The rebase fixed the previous CI failure, but there is another one now, possibly spurious? Nothing in this PR should affect Windows, or Linux on Arm specifically.

[RalfJung]

Yeah those are just network timeouts, you can ignore them.

[RalfJung]

This looks great, thanks! Please squash the commits using ./miri squash. Then write @rustbot ready after you force-pushed the squashed PR.

@rustbot author

[Patrick-6]

@rustbot ready