search

JetBrains / lincheck

Framework for testing concurrent data structures
Mozilla Public License 2.0
576 stars 33 forks source link

Fix a race in FixedActiveThreadsExecutor #202

Closed avpotapov00 closed 1 year ago

avpotapov00 commented 1 year ago

There is a race in FixedActuveThreadsExecutor that may lead to a hang. This PR fixes the race and, hopefully, should also fix #194.