Context Navigation

cfa2.cfa [26fd986:2316525]

File:

-                      r26fd986
+                      r2316525
 volatile int go = 0;
 condition c;
 monitor M {} m1, m2;
 …
         signal( c );
+}
 void __attribute__((noinline)) wait( M & mutex p1, M & mutex p2 ) {
         go = 1;
 …
                 wait( c );
+        }
+        go = 0;
+}
 thread T {};
 void main( T & ) {
         while ( go == 0 ) { yield(); } // waiter must start first
+        while ( go == 0 ) { yield(); }
         BENCH(
                 for ( times ) { call( m1, m2 ); },
+                while ( go == 1 ) { call( m1, m2 ); },
                 result
+        )

Note: See TracChangeset for help on using the changeset viewer.