#include <cstddef>
#include "threads.h"
-#include "libatomic.h"
#include "mymemory.h"
#include "clockvector.h"
+#include "libatomic.h"
/** Note that this value can be legitimately used by a program, and
hence by iteself does not indicate no value. */
return get_seq_number() > act.get_seq_number();
}
+ void upgrade_rmw(ModelAction * act);
+
MEMALLOC
private:
/** The thread id that performed this action. */
thread_id_t tid;
- /** The value read or written (if RMW, then the value written). This
- * should probably be something longer. */
+ /** The value written (for write or RMW; undefined for read) */
uint64_t value;
/** The action that this action reads from. Only valid for reads */