Changeset 04e6f93 for doc/papers/concurrency/examples/PingPong.c

Timestamp:

Feb 27, 2020, 4:04:25 PM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

a037f85

Parents:

41efd33 (diff), 930b504 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• doc/papers/concurrency/examples/PingPong.c (modified) (3 diffs)

doc/papers/concurrency/examples/PingPong.c

@@ -2 +2 @@
 
 typedef struct PingPong {
+        int restart;                                                                            // style 1
+        int N, i;
         const char * name;
-        int N, i;
         struct PingPong * partner;
-        void * next;
+        void * next;                                                                            // style 2
 } PingPong;
-#define PPCtor( name, N ) { name, N, 0, NULL, NULL }
+#define PPCtor( name, N ) { 0, N, 0, name, NULL, NULL }
+
 void comain( PingPong * pp ) __attribute__(( noinline ));
 void comain( PingPong * pp ) {
+#if 0
         if ( __builtin_expect(pp->next != 0, 1) ) goto *pp->next;
-#if 0
-        pp->next = &&here;
-                asm( "mov  %0,%%rdi" : "=m" (pp) );
-                asm( "mov  %rdi,%rax" );
-#ifndef OPT
-#ifdef PRINT
-                asm( "add  $16, %rsp" );
-#endif // PRINT
-                asm( "popq %rbp" );
-#endif // ! OPT
-
-#ifdef OPT
-#ifdef PRINT
-                asm( "popq %rbx" );
-#endif // PRINT
-#endif // OPT
-                asm( "jmp  comain" );
-  here: ;
-#endif // 0
-
         pp->next = &&cycle;
         for ( ; pp->i < pp->N; pp->i += 1 ) {
@@ -53 +36 @@
           cycle: ;
         } // for
+#endif // 0
+
+#if 1
+        static void * states[] = {&&s0, &&s1};
+        goto *states[pp->restart];
+  s0: pp->restart = 1;
+        for ( ; pp->i < pp->N; pp->i += 1 ) {
+#ifdef PRINT
+                printf( "%s %d\n", pp->name, pp->i );
+#endif // PRINT
+                asm( "mov  %0,%%rdi" : "=m" (pp->partner) );
+                asm( "mov  %rdi,%rax" );
+#ifndef OPT
+#ifdef PRINT
+                asm( "add  $16, %rsp" );
+#endif // PRINT
+                asm( "popq %rbp" );
+#endif // ! OPT
+
+#ifdef OPT
+#ifdef PRINT
+                asm( "popq %rbx" );
+#endif // PRINT
+#endif // OPT
+                asm( "jmp  comain" );
+          s1: ;
+        } // for
+#endif // 0
 }
 
@@ -70 +81 @@
 // Local Variables: //
 // tab-width: 4 //
-// compile-command: "gcc-8 -g -DPRINT PingPong.c" //
+// compile-command: "gcc-9 -g -DPRINT PingPong.c" //
 // End: //