Changeset 58fe85a for doc/papers/concurrency/examples/Fib2.c

Timestamp:

Jan 7, 2021, 3:27:00 PM (5 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

2b4daf2, 64aeca0

Parents:

3c64c668 (diff), eef8dfb (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' into park_unpark

File:

• doc/papers/concurrency/examples/Fib2.c (modified) (1 diff)

doc/papers/concurrency/examples/Fib2.c

@@ -1 +1 @@
 #include <stdio.h>
 
-void mary() {
-        printf( "MARY\n" );
-}
-
 #define FIB_INIT { 0 }
-typedef struct { int next; int fn1, fn2; } Fib;
+typedef struct { int restart; int fn1, fn2; } Fib;
 int fib( Fib * f ) {
-        static void * states[] = { &&s1, &&s2, &&s3 };
-        goto *states[f->next];
+        static void * states[] = { &&s0, &&s1, &&s2 };
+        goto *states[f->restart];
+  s0:
+        f->fn1 = 0;
+        f->restart = 1;
+        return f->fn1;
   s1:
-        mary();
-        f->fn1 = 0;
-        f->next = 1;
-        return f->fn1;
-  s2:
-        mary();
         f->fn2 = f->fn1;
         f->fn1 = 1;
-        f->next = 2;
+        f->restart = 2;
         return f->fn1;
-  s3:;
-        mary();
+  s2:;
         int fn = f->fn1 + f->fn2;
         f->fn2 = f->fn1;