Executor
- class Executor
Thread-pool executor used to run various multi-threaded tasks internally.
Members defined in
Executor(3 members)RReturns the number of worker threads associated with this executor.
Default constructor using as many workers as possible
Execute a schedule. Note that schedules are consumed and trying to access them again will result in an error
Attributes
Methods
- __init__(num_workers: int) None
- run(schedule: syside.Schedule) syside.ExecutionResult
- run(schedule: syside.IOSchedule) tuple[syside.IOSchedule, list[syside.SharedMutex[syside.TextDocument]]]
Execute a schedule. Note that schedules are consumed and trying to access them again will result in an error