}
/* Monitor the statuses of threads waiting for tid */
- monitor_waiting_thread(func_id, tid);
+ // monitor_waiting_thread(func_id, tid);
}
/* @param func_id a non-zero value */
return;
/* Monitor the statuses of threads waiting for tid */
- monitor_waiting_thread_counter(tid);
+ // monitor_waiting_thread_counter(tid);
/* Every write action should be processed, including
* nonatomic writes (which have no position) */
return;
/* Add to curr_inst_list */
- curr_act_list->push_back(act);
+ act->setFuncActRef(curr_act_list->add_back(act));
FuncNode * func_node = func_nodes[func_id];
func_node->add_inst(act);