Skip to content
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.

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

i#6938 sched migrate: Add scheduler lock ownership asserts #6965

Merged
merged 5 commits into from
Sep 5, 2024

Conversation

derekbruening
Copy link
Contributor

Adds a std::mutex wrapper which stores the owner so we can assert on lock ownership.

Adds lock ownership asserts to scheduler functions whose comments say they require a lock on entry.

Fixes several cases of missing locks found by these asserts.

Issue: #6938

Adds a std::mutex wrapper which stores the owner so we can assert on
lock ownership.

Adds lock ownership asserts to scheduler functions whose comments say
they require a lock on entry.

Fixes several cases of missing locks found by these asserts.

Issue: #6938
@derekbruening
Copy link
Contributor Author

arm is failing yet again: #6733 missing exit; other seems to be api.startstop #6928 I think. re-running.

clients/drcachesim/common/mutex_dbg_owned.h Outdated Show resolved Hide resolved
@derekbruening
Copy link
Contributor Author

x64 failure is invariant missing exit #6733; a64 is exit before bundle #3320

@derekbruening derekbruening merged commit 33f90aa into master Sep 5, 2024
15 of 17 checks passed
@derekbruening derekbruening deleted the i6938-mutex-dbg-owned branch September 5, 2024 01:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants