Skip to content

Issues: rust-lang/miri

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
10 Open 23 Closed
10 Open 23 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Support non-round-robin scheduling A-concurrency Area: affects our concurrency (multi-thread) support C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement E-good-first-issue A good way to start contributing, mentoring is available
#4230 opened Mar 17, 2025 by RalfJung
1
2
Support F_SETFL and F_GETFL A-concurrency Area: affects our concurrency (multi-thread) support A-shims Area: This affects the external function shims C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#4119 opened Jan 3, 2025 by tiif
2 tasks
1
@tiif
18
Randomize thread unblocking operation A-concurrency Area: affects our concurrency (multi-thread) support A-shims Area: This affects the external function shims C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#4032 opened Nov 13, 2024 by tiif
@tiif
8
Get rid of IDs for synchronization primitives, make pthread shims not leaky A-concurrency Area: affects our concurrency (multi-thread) support A-unix Area: affects our shared Unix target support C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement E-good-first-issue A good way to start contributing, mentoring is available
#3967 opened Oct 12, 2024 by RalfJung
6
Detect partial deadlocks A-concurrency Area: affects our concurrency (multi-thread) support C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#3425 opened Mar 27, 2024 by RalfJung
1
Implement macOS dispatch semaphores A-concurrency Area: affects our concurrency (multi-thread) support A-mac Area: Affects only macOS targets A-shims Area: This affects the external function shims C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#2589 opened Oct 8, 2022 by RalfJung
2
Perform spurious wakeups from park? A-concurrency Area: affects our concurrency (multi-thread) support C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#2307 opened Jul 2, 2022 by RalfJung
2
trace scope tracking is not happy with concurrency A-concurrency Area: affects our concurrency (multi-thread) support A-ux Area: This affects the general user experience C-bug Category: This is a bug.
#2266 opened Jun 25, 2022 by RalfJung
@oli-obk
9
Support exploring more weak memory behaviors A-concurrency Area: affects our concurrency (multi-thread) support A-weak-memory Area: emulation of weak memory effects (store buffers) C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#1634 opened Nov 29, 2020 by RalfJung
5
Support detached threads still running when the main thread exits ("thread leaks") A-concurrency Area: affects our concurrency (multi-thread) support C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#1371 opened Apr 27, 2020 by RalfJung
1 of 3 tasks
17
ProTip! Add no:assignee to see everything that’s not assigned.