Commit b54a4d4a authored by Dominik Charousset's avatar Dominik Charousset Committed by GitHub

Merge pull request #563

fix profile_coordinator not recording
parents f5e61e27 fd35fc02
......@@ -223,8 +223,8 @@ actor_system::actor_system(actor_system_config& cfg)
using test = scheduler::test_coordinator;
using share = scheduler::coordinator<policy::work_sharing>;
using steal = scheduler::coordinator<policy::work_stealing>;
using profiled_share = scheduler::profiled_coordinator<policy::work_sharing>;
using profiled_steal = scheduler::profiled_coordinator<policy::work_stealing>;
using profiled_share = scheduler::profiled_coordinator<policy::profiled<policy::work_sharing>>;
using profiled_steal = scheduler::profiled_coordinator<policy::profiled<policy::work_stealing>>;
// set scheduler only if not explicitly loaded by user
if (!sched) {
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