source: doc/papers/concurrency/examples/Fib.cfa@ f673c13c

ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
Last change on this file since f673c13c was b60ed54, checked in by Peter A. Buhr <pabuhr@…>, 6 years ago

fix error and formatting

  • Property mode set to 100644
File size: 1.8 KB
Line 
1#include <thread.hfa>
2#include <fstream.hfa>
3
4int fn1, fn2, state = 1;
5int fib_gvar() {
6 int fn;
7 choose ( state ) {
8 case 1: fn = 0; fn1 = fn; state = 2;
9 case 2: fn = 1; fn2 = fn1; fn1 = fn; state = 3;
10 case 3: fn = fn1 + fn2; fn2 = fn1; fn1 = fn;
11 }
12 return fn;
13}
14
15#define FibCtor { 1, 0 }
16typedef struct { int fn1, fn; } Fib;
17int fib_state( Fib & f ) with(f) {
18 int ret = fn; fn = fn1; fn1 = fn + ret;
19 return ret;
20}
21
22coroutine Fib1 { int fn; }; // used for communication
23void main( Fib1 & fib ) with( fib ) { // called on first resume
24 fn = 0; int fn1 = fn; suspend();
25 fn = 1; int fn2 = fn1; fn1 = fn; suspend();
26 for () {
27 fn = fn1 + fn2; fn2 = fn1; fn1 = fn; suspend();
28 }
29}
30int ?()( Fib1 & fib ) with( fib ) { return resume( fib ).fn; }
31
32coroutine Fib2 { int fn; }; // used for communication
33void main( Fib2 & fib ) with( fib ) { // called on first resume
34 int fn1; // precompute first two states
35 [fn1, fn] = [1, 0];
36 for () {
37 suspend(); // restart last resume
38 [fn1, fn] = [fn, fn + fn1];
39 }
40}
41int ?()( Fib2 & fib ) { // function-call interface
42 return resume( fib ).fn; // restart last suspend
43}
44int ?()( Fib2 & fib, int N ) { // skip N values
45 for ( N - 1 ) fib(); // use function-call interface
46 return fib();
47}
48double ?()( Fib2 & fib ) { // different return type
49 return (int)(fib()) / 3.14159; // cast prevents recursive call
50}
51
52int main() {
53 for ( 10 )
54 sout | fib_gvar();
55 sout | nl;
56
57 Fib f1 = FibCtor, f2 = FibCtor;
58 for ( 10 )
59 sout | fib_state( f1 ) | fib_state( f2 );
60 sout | nl;
61
62 Fib1 f1, f2;
63 for ( 10 )
64 sout | f1() | f2();
65 sout | nl;
66
67 Fib2 f12, f22;
68 for ( 10 )
69 sout | (int)f12() | (double)f12() | f22( 2 );
70}
71
72// Local Variables: //
73// tab-width: 4 //
74// fill-column: 120 //
75// compile-command: "cfa Fib.cfa" //
76// End: //
Note: See TracBrowser for help on using the repository browser.