-/* @param tid thread id
- * Store the values read by atomic read actions into thrd_read_map */
-void FuncNode::store_read(ModelAction * act, thread_id_t tid)
-{
-/*
- ASSERT(act);
-
- void * location = act->get_location();
- uint64_t read_from_val = act->get_reads_from_value();
-
- // resize and initialize
- uint32_t old_size = thrd_read_map.size();
- if (old_size <= tid) {
- thrd_read_map.resize(tid + 1);
- for (uint32_t i = old_size; i < tid + 1;i++)
- thrd_read_map[i] = new read_map_t();
- }
-
- read_map_t * read_map = thrd_read_map[tid];
- read_map->put(location, read_from_val);
-*/
-}
-
-uint64_t FuncNode::query_last_read(void * location, thread_id_t tid)
-{
-/*
- if (thrd_read_map.size() <= tid)
- return VALUE_NONE;
-
- read_map_t * read_map = thrd_read_map[tid];
-
- // last read value not found
- if ( !read_map->contains(location) )
- return VALUE_NONE;
-
- uint64_t read_val = read_map->get(location);
- return read_val;
-*/
-}
-
-/* @param tid thread id
- * Reset read map for a thread. This function shall only be called
- * when a thread exits a function
- */
-void FuncNode::clear_read_map(thread_id_t tid)
-{
-/*
- if (thrd_read_map.size() <= tid)
- return;
-
- thrd_read_map[tid]->reset();
-*/
-}
-