std::vector<kernel::actor::ActorImpl*> actors_to_run;
std::vector<kernel::actor::ActorImpl*> actors_that_ran;
std::map<aid_t, kernel::actor::ActorImpl*> process_list;
std::vector<kernel::actor::ActorImpl*> actors_to_run;
std::vector<kernel::actor::ActorImpl*> actors_that_ran;
std::map<aid_t, kernel::actor::ActorImpl*> process_list;