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

Extend support for peer selection governor tests with TimedScript not restricted to NoDelay/ShortDelay's #4878

Open
crocodile-dentist opened this issue May 10, 2024 · 0 comments
Labels
bug Something isn't working outbound-governor Issues / PRs related to outbound-governor testing

Comments

@crocodile-dentist
Copy link
Contributor

Peer selection governor tests fail eventually if a TimedScript is used which includes arbitrary delays built via Delay constructor. In contrast, everything works fine as long as NoDelay/ShortDelay are employed, where a ShortDelay is interpreted as threadDelay of 1 second. Even 'small' delays of eg. 2 seconds are sufficient to make this issue apparent. An example trace of this issue shows that a Deadlock is reported, but no exception is raised.

3s - Thread [5] outbound-governor - Unblocked []
3s - Thread [5] outbound-governor - Deschedule Yield
3s - Thread [5] outbound-governor - TxBlocked [TVarId 3, TVarId 13, TVarId 15, TVarId 20, TVarId 24, TVarId 26]
3s - Thread [5] outbound-governor - Deschedule Blocked BlockedOnSTM
Deadlock (Time 3s) [Labelled (ThreadId []) (Just "main"),Labelled (ThreadId [5]) (Just "outbound-governor")]
@crocodile-dentist crocodile-dentist added bug Something isn't working testing io-sim Issues related to io-sim and io-sim-classes. labels May 10, 2024
@coot coot added outbound-governor Issues / PRs related to outbound-governor and removed io-sim Issues related to io-sim and io-sim-classes. labels May 11, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working outbound-governor Issues / PRs related to outbound-governor testing
Projects
Status: No status
Development

No branches or pull requests

2 participants