Actions
Feature #5669
closedRandom thread scheduling based on a seed
Feature #5669:
Random thread scheduling based on a seed
Description
Just a little idea that popped into my head:
Would it be possible to have "random" thread scheduling (based on a seed)? E.g. it spends a little more time in different threads than usual?
This would be very useful for discovering subtle threading bugs that's often platform dependent.
Actions