Changeset 600d7be for doc/papers/concurrency/examples/Fib.cfa

Timestamp:

Jun 4, 2019, 6:28:55 PM (5 years ago)

Author:

Peter A. Buhr <pabuhr@…>

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:

7261e3c

Parents:

466fa01

Message:

example updates

File:

• doc/papers/concurrency/examples/Fib.cfa (modified) (4 diffs)

doc/papers/concurrency/examples/Fib.cfa

@@ -13 +13 @@
 }
 
-#define FIB_INIT { 0, 1 }
-typedef struct { int fn1, fn2; } Fib;
+#define FibCtor { 0, 1 }
+typedef struct { int fn, fn1; } Fib;
 int fib_state( Fib & f ) with( f ) {
-        int ret = fn2;
-        int fn = fn1 + fn2;
-        fn2 = fn1; fn1 = fn;
-        return ret;
+        int fn0 = fn1 + fn2;  fn2 = fn1;  fn = fn0;
+        return fn1;
 }
 
@@ -30 +28 @@
         }
 }
-int next( Fib1 & fib ) with( fib ) { resume( fib ); return fn; }
+int ?()( Fib1 & fib ) with( fib ) { return resume( fib ).fn; }
 
-coroutine Fib2 { int ret; };                                    // used for communication
+coroutine Fib2 { int fn; };                                             // used for communication
 void main( Fib2 & fib ) with( fib ) {                   // called on first resume
-        int fn, fn1 = 1, fn2 = 0;                                       // precompute first two states
+        int fn1 = 1, fn2 = 0;                                           // precompute first two states
         for () {
-                ret = fn2;
                 fn = fn1 + fn2;  fn2 = fn1;  fn1 = fn;  // general case
                 suspend();                                                              // restart last resume
         }
 }
-int next( Fib2 & fib ) with( fib ) {
-        resume( fib );                                                          // restart last suspend
-        return ret;
+int ?()( Fib2 & fib ) with( fib ) {
+        return resume( fib ).fn;                                        // restart last suspend
+}
+int ?()( Fib2 & fib, int N ) with( fib ) {
+        for ( N - 1 ) fib();
+        return fib();
+}
+double ?()( Fib2 & fib ) with( fib ) {
+        return (int)(fib()) / 3.14159;                                          // restart last suspend
 }
 
@@ -51 +54 @@
         sout | nl;
 
-        Fib f1 = FIB_INIT, f2 = FIB_INIT;
+        Fib f1 = FibCtor, f2 = FibCtor;
         for ( 10 )
                 sout | fib_state( f1 ) | fib_state( f2 );
@@ -58 +61 @@
         Fib1 f1, f2;
         for ( 10 )
-                sout | next( f1 ) | next( f2 );
+                sout | f1() | f2();
         sout | nl;
 
-        Fib2 f1, f2;
+        Fib2 f12, f22;
         for ( 10 )
-                sout | next( (Fib2 &)f1 ) | next( (Fib2 &)f2 );
+                sout | (int)f12() | (double)f12() | f22( 2 );
 }