- bool increment_threads(thread_id_t tid);
-
- bool has_sync_thread(thread_id_t tid) {
- unsigned int id = id_to_int(tid);
- if (id >= synced_thread.size())
- return false;
- return synced_thread[id];
- }
-
- bool check_promise();
+ bool eliminate_thread(thread_id_t tid);
+ void add_thread(thread_id_t tid);
+ bool thread_is_available(thread_id_t tid) const;
+ bool has_failed() const;