FuncNode * get_curr_func_node(thread_id_t tid);
void update_write_history(void * location, uint64_t write_val);
- HashTable<void *, value_set_t *, uintptr_t, 4> * getWriteHistory() { return write_history; }
+ HashTable<void *, value_set_t *, uintptr_t, 0> * getWriteHistory() { return write_history; }
void update_loc_rd_func_nodes_map(void * location, FuncNode * node);
void update_loc_wr_func_nodes_map(void * location, FuncNode * node);
SnapVector<FuncNode *> * getRdFuncNodes(void * location);
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_node(thread_id_t self_id, thread_id_t waiting_for_id, FuncNode * target_node);
SnapVector<inst_act_map_t *> * getThrdInstActMap(uint32_t func_id);
ModelVector<FuncNode *> func_nodes;
/* Map a location to a set of values that have been written to it */
- HashTable<void *, value_set_t *, uintptr_t, 4> * write_history;
+ HashTable<void *, value_set_t *, uintptr_t, 0> * write_history;
/* Map a location to FuncNodes that may read from it */
HashTable<void *, SnapVector<FuncNode *> *, uintptr_t, 0> * loc_rd_func_nodes_map;
bool skip_action(ModelAction * act, SnapList<ModelAction *> * curr_act_list);
void monitor_waiting_thread(uint32_t func_id, thread_id_t tid);
+ void monitor_waiting_thread_counter(thread_id_t tid);
};
#endif /* __HISTORY_H__ */