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.

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

Jump to bottom

MutexLincheckTest.modelCheckingTest detects non lock-free execution path in Mutex #2590

Closed
qwwdfsad opened this issue Mar 17, 2021 · 1 comment
Closed

MutexLincheckTest.modelCheckingTest detects non lock-free execution path in Mutex #2590

qwwdfsad opened this issue Mar 17, 2021 · 1 comment
Assignees
@qwwdfsad
Labels
build

Comments

@qwwdfsad
Copy link
Collaborator

No description provided.

@qwwdfsad qwwdfsad mentioned this issue Mar 17, 2021
Merged
@qwwdfsad qwwdfsad added the build label Apr 6, 2021
qwwdfsad added a commit that referenced this issue Jun 29, 2021
@qwwdfsad
Make helpRemove actually lock-free and address multiple chained remov…
32057ee 
…ed nodes

    * The previous version invoked correctPrev on the next node and bailed out fi it was removed, effectively blocking the progress of any attempts to remove previous node
    * Use helpRemovePrev in helpRemove that was actually implemented to avoid such problem

Fixes #2590
@qwwdfsad qwwdfsad mentioned this issue Jun 29, 2021
Merged
@qwwdfsad qwwdfsad self-assigned this Jun 29, 2021
qwwdfsad added a commit that referenced this issue Jul 27, 2021
@qwwdfsad
Make helpRemove actually lock-free and address multiple chained remov…

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode
ea440c5 
…ed nodes (#2795)

* The previous version invoked correctPrev on the next node and bailed out fi it was removed, effectively blocking the progress of any attempts to remove previous node
    * Use helpRemovePrev in helpRemove that was actually implemented to avoid such problem

Fixes #2590
@qwwdfsad
Copy link
Collaborator Author

Fixed in develop

@qwwdfsad qwwdfsad changed the title Investigate failure of MutexLincheckTest.modelCheckingTest after updating to new Lincheck MutexLincheckTest.modelCheckingTest detects non lock-free execution path in Mutex Aug 13, 2021
pablobaxter pushed a commit to pablobaxter/kotlinx.coroutines that referenced this issue Sep 14, 2022
@qwwdfsad @pablobaxter
Make helpRemove actually lock-free and address multiple chained remov…
fca1fd4 
…ed nodes (Kotlin#2795)

* The previous version invoked correctPrev on the next node and bailed out fi it was removed, effectively blocking the progress of any attempts to remove previous node
    * Use helpRemovePrev in helpRemove that was actually implemented to avoid such problem

Fixes Kotlin#2590
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@qwwdfsad qwwdfsad

Labels
build
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@qwwdfsad