}
/* 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) */
/* Add to curr_inst_list */
curr_act_list->push_back(act);
+ // Increment ref count for every action and reads_froms
+ act->incr_func_ref_count();
+ if (act->is_read()) {
+ ModelAction * rf = act->get_reads_from();
+ rf->incr_func_ref_count();
+ }
+
FuncNode * func_node = func_nodes[func_id];
func_node->add_inst(act);