allow ModelHistory to process non-atomic actions when they are created
authorweiyu <weiyuluo1232@gmail.com>
Tue, 20 Aug 2019 22:23:26 +0000 (15:23 -0700)
committerweiyu <weiyuluo1232@gmail.com>
Tue, 20 Aug 2019 22:23:26 +0000 (15:23 -0700)
execution.cc

index d477a04..c6962bc 100644 (file)
@@ -280,6 +280,7 @@ ModelAction * ModelExecution::convertNonAtomicStore(void * location) {
        add_normal_write_to_lists(act);
        add_write_to_lists(act);
        w_modification_order(act);
+       model->get_history()->process_action(act, act->get_tid());
        return act;
 }