model: note how we support seq-cst fences
authorBrian Norris <banorris@uci.edu>
Tue, 19 Mar 2013 02:23:21 +0000 (19:23 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 19 Mar 2013 02:23:21 +0000 (19:23 -0700)
model.cc

index d9ff365..3ed2fb2 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -1128,6 +1128,7 @@ bool ModelChecker::process_fence(ModelAction *curr)
         *   use in later synchronization
         * fence-acquire (this function): search for hypothetical release
         *   sequences
         *   use in later synchronization
         * fence-acquire (this function): search for hypothetical release
         *   sequences
+        * fence-seq-cst: MO constraints formed in {r,w}_modification_order
         */
        bool updated = false;
        if (curr->is_acquire()) {
         */
        bool updated = false;
        if (curr->is_acquire()) {