-
Notifications
You must be signed in to change notification settings - Fork 0
Open
Labels
Priority:HighHigh Priority - Should be done as soon as possibleHigh Priority - Should be done as soon as possibleenhancementNew feature or requestNew feature or request
Description
Currently, threads are randomly sampled, however, to catch the bugs involving the elision of the helper FLUSH instructions in Friedman's Queue, I need to ensure that a thread that gets preempted at a particular point does not run for a long time. There are many superblocks in between calls to enqueue and so it becomes challenging to ensure that the bug remains. Something that weighs the set of threads to run based on how often they have run compared to other threads would be best.
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
Priority:HighHigh Priority - Should be done as soon as possibleHigh Priority - Should be done as soon as possibleenhancementNew feature or requestNew feature or request