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

Support blocking operations for threads #167

Open
1 task
ndkoval opened this issue Apr 18, 2023 · 1 comment
Open
1 task

Support blocking operations for threads #167

ndkoval opened this issue Apr 18, 2023 · 1 comment

Comments

@ndkoval
Copy link
Collaborator

ndkoval commented Apr 18, 2023 •
edited by eupp
Loading

Lincheck provides great support for suspend operations in Kotlin. However, it does not support blocking data structures that park native threads. We can track park invocations and handle InterruptedException-s to add this support. Yet, it would require non-trivial changes in the verification phase.
@ndkoval ndkoval mentioned this issue Apr 18, 2023
Closed
@ndkoval
Copy link
Collaborator Author

ndkoval commented Apr 19, 2023

#143 already suggests changes in the runner.

@ndkoval ndkoval mentioned this issue Sep 5, 2023
Closed
@eupp eupp mentioned this issue Jan 18, 2024
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@ndkoval @avpotapov00