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

Deadlock test suite #45

Open
parsonsmatt opened this issue Nov 2, 2022 · 0 comments
Open

Deadlock test suite #45

parsonsmatt opened this issue Nov 2, 2022 · 0 comments

Comments

@parsonsmatt
Copy link
Collaborator

We should implement a test suite that runs a binary program and verifies that various configurations don't deadlock.

This needs to be managed outside of the Haskell RTS since the Haskell RTS is incapable of handling this internally. Consider:

main = do
  cancel =<< uninterruptibleMask_ $ async $ forever $ pure ()

This main loop can only be killed via a system signal, so we cannot test for the absence of a deadlock in a Haskell-only test suite. This means we'll need to have compiled binaries that the test suite builds and runs, and then verifies that they complete within some specified time.

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

No branches or pull requests

1 participant