Skip to content

PMAT random scheduler should have some weighted bias #55

@LouisJenkinsCS

Description

@LouisJenkinsCS

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.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Priority:HighHigh Priority - Should be done as soon as possibleenhancementNew feature or request

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions