IntersectMBO / IntersectMBO/ouroboros-network
Extend support for peer selection governor tests with TimedScript not restricted to NoDelay/ShortDelay's
- Dominant language
- Haskell
- Stars
- 296
- Forks
- 104
- Avg merge
- 2d 10h
- Merged PRs (30d)
- 4
Description
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")]
```
Contributor guide
Assessment
This issue has not been assessed yet.