Commit fd35fc02 authored by Etienne Baratte's avatar Etienne Baratte

fix profile_coordinator not recording

parent f5e61e27
...@@ -223,8 +223,8 @@ actor_system::actor_system(actor_system_config& cfg) ...@@ -223,8 +223,8 @@ actor_system::actor_system(actor_system_config& cfg)
using test = scheduler::test_coordinator; using test = scheduler::test_coordinator;
using share = scheduler::coordinator<policy::work_sharing>; using share = scheduler::coordinator<policy::work_sharing>;
using steal = scheduler::coordinator<policy::work_stealing>; using steal = scheduler::coordinator<policy::work_stealing>;
using profiled_share = scheduler::profiled_coordinator<policy::work_sharing>; using profiled_share = scheduler::profiled_coordinator<policy::profiled<policy::work_sharing>>;
using profiled_steal = scheduler::profiled_coordinator<policy::work_stealing>; using profiled_steal = scheduler::profiled_coordinator<policy::profiled<policy::work_stealing>>;
// set scheduler only if not explicitly loaded by user // set scheduler only if not explicitly loaded by user
if (!sched) { if (!sched) {
enum sched_conf { enum sched_conf {
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment