Implement Work-sharing scheduler
The Work-sharing scheduler can be activated with `set_scheduler<policy::work_sharing>()` before spawning an actor. closes #326
Showing
Please register or sign in to comment
The Work-sharing scheduler can be activated with `set_scheduler<policy::work_sharing>()` before spawning an actor. closes #326