void * get_location() const { return location; }
void set_location(void * loc) { location = loc; }
- void reset_location() { location = NULL; }
action_type get_type() const { return type; }
memory_order get_mo() const { return order; }
bool is_single_location() { return single_location; }
void not_single_location() { single_location = false; }
+ void set_execution_number(int new_number) { execution_number = new_number; }
+ int get_execution_number() { return execution_number; }
+
void print();
MEMALLOC
* location only stores the memory location when this FuncInst was constructed.
*/
void * location;
+
+ /* NOTE: for rmw actions, func_inst and act may have different
+ * action types because of action type conversion in ModelExecution */
action_type type;
+
memory_order order;
FuncNode * func_node;
bool single_location;
+ int execution_number;
/* Currently not in use. May remove this field later
*
};
#endif /* __FUNCINST_H__ */
-