Parallel scheduler
parallel_scheduler, task_scheduler and bulk execution support.
Connected features
Papers
3 · Sofia 2025 → Croydon 2026Adds parallel_scheduler and get_parallel_scheduler, a replaceable system thread-pool scheduler.
Iterates on parallel_scheduler (replaceability and bulk behaviour).
Adds task_scheduler support for parallel bulk execution.