WaitObj * getWaitObj(thread_id_t tid);
void add_waiting_thread(thread_id_t self_id, thread_id_t waiting_for_id, FuncNode * target_node, int dist);
void remove_waiting_thread(thread_id_t tid);
+ void stop_waiting_for(thread_id_t self_id, thread_id_t waiting_for_id, FuncNode * target_node);
SnapVector<inst_act_map_t *> * getThrdInstActMap(uint32_t func_id);