#include "model.h"
#include "cmodelint.h"
+#include "threads-model.h"
/** Performs a read action.*/
uint64_t model_read_action(void * obj, memory_order ord) {
void model_rmwc_action(void *obj, memory_order ord) {
model->switch_to_master(new ModelAction(ATOMIC_RMWC, ord, obj));
}
+
+/** Issues a fence operation. */
+void model_fence_action(memory_order ord) {
+ model->switch_to_master(new ModelAction(ATOMIC_FENCE, ord, NULL));
+}