| /* -*- Mode: C++; tab-width: 8; c-basic-offset: 2; indent-tabs-mode: nil; -*- */ |
| void HasTaskSet::insert_task(Task* t) { |
| LOG(debug) << "adding " << t->tid << " to task set " << this; |
| void HasTaskSet::erase_task(Task* t) { |
| LOG(debug) << "removing " << t->tid << " from task set " << this; |
| Task* HasTaskSet::first_running_task() const { |
| for (auto t : task_set()) { |
| if (!t->already_exited() && !t->seen_ptrace_exit_event()) { |
| Task* HasTaskSet::find_other_thread_group(Task* t) const { |
| for (Task* tt : task_set()) { |
| if (tt->thread_group() != t->thread_group()) { |