static void deinit_dummy_sched(struct starpu_machine_topology_s *topology, struct starpu_sched_policy_s *policy) { STARPU_ASSERT(starpu_task_list_empty(&sched_list)); pthread_cond_destroy(&sched_cond); pthread_mutex_destroy(&sched_mutex); fprintf(stderr, "Destroying Dummy scheduler\n"); }
static void deinit_dummy_sched(unsigned sched_ctx_id) { struct dummy_sched_data *data = (struct dummy_sched_data*)starpu_sched_ctx_get_policy_data(sched_ctx_id); STARPU_ASSERT(starpu_task_list_empty(&data->sched_list)); starpu_sched_ctx_delete_worker_collection(sched_ctx_id); starpu_pthread_mutex_destroy(&data->policy_mutex); free(data); FPRINTF(stderr, "Destroying Dummy scheduler\n"); }