Task Priorities

class yosys_mau.task_loop.priority.JobPriorities

Task context to configure how job server leases are scheduled across tasks.

scheduler: Scheduler

Active scheduler for obtaining job server leases.

priority: tuple[int, ...] = ()

Priority with which to request a job server lease when using the PriorityScheduler.

The lexicographically largest priority is scheduled first.

class yosys_mau.task_loop.priority.PriorityScheduler(parent)

Scheduler for job server leases that uses a priority queue to schedule tasks.

It uses the current JobPriorities.priority task context to determine the priority when requesting a lease.

Parameters:

parent (job_server.Scheduler)