Changeset 8659435

Timestamp:

Mar 1, 2026, 5:19:18 PM (12 hours ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

8086004

Parents:

acb89d74

Message:

update choose and waituntil statements

File:

• doc/uC++toCFA/uC++toCFA.tex (modified) (11 diffs)

doc/uC++toCFA/uC++toCFA.tex

@@ -11 +11 @@
 %% Created On       : Wed Apr  6 14:53:29 2016
 %% Last Modified By : Peter A. Buhr
-%% Last Modified On : Mon Nov 17 11:14:48 2025
-%% Update Count     : 6677
+%% Last Modified On : Fri Feb 20 11:19:31 2026
+%% Update Count     : 6717
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
@@ -194 +194 @@
 
 The @choose@ statement provides an implicit @break@ after the @case@ clause for safety.
-It is possible to @break default@ in a @case@ clause to transfer to common code in the @default@ clause.
-\begin{cquote}
-\begin{tabular}{@{}l|l@{}}
-\begin{uC++}
+It is possible to @fallthrough@ label in a @case@ clause to transfer to common code or the @default@ clause.
+\begin{cquote}
+\begin{tabular}{@{}l|l@{}}
+\begin{cfa}
 switch ( i ) {
-  case 1: ... @break@; // explicit break
-  case 2: ... @break@; // explicit break
+  case 3: ... @fallthrough common@;
+  case 2: if ( ... ) @fallthrough@;
+  case 1:
+  common: ... ; // implicit fall through
   default: ... ;
 }
-\end{uC++}
+\end{cfa}
 &
 \begin{cfa}
 choose ( i ) {
-  case 1: ... ; // implicit break
-  case 2: ... ; // implicit break
+  case 3: ... @fallthrough common@; // labelled explicit fallthrough
+  case 2: if ( ... ) @fallthrough@; // conditional explicit fallthrough
+  case 1:
+  common: ... ; // implicit break
   default: ... ;
 }
@@ -250 +254 @@
 for ( i; @5@ ~ @15@ ~ @2@ ) { ... } // 5 to 14 by 2
 for ( i; -2 ~@=@ 10 ~ 3 ) { ... } // -2 to 10 by 3
-for ( i; -3 @-@~ 10 ) { ... } // not 10 -~= -3, 10 to -2 by -1
-for ( i; 0 @-@~@=@ 10 ) { ... } // not 10 -~= 0, 10 to 0 by -1
+for ( i; -3 @-@~ 10 ) { ... } // 10 to -2 by -1, not 10 -~= -3
+for ( i; 0 @-@~@=@ 10 ) { ... } // 10 to 0 by -1, not 10 -~= 0
 \end{cfa}
 \end{tabular}
@@ -908 +912 @@
   public:
 };
+T t;
+uProcessor p[3];
 \end{uC++}
 &
@@ -917 +923 @@
 };
 void main( @T & t@ ) {
-        ... @resumeAt( partner, ExceptionInst( E, ... )@ );
+        ... @resumeAt( partner, ExceptionInst( E, ... ) )@;
         ... @active_thread();@ ...
 }
-\end{cfa}
-\\
-\multicolumn{2}{@{}l@{}}{\lstinline{T t; // start thread in main routine}}
+T t;  // create thread object and start thread in main
+processor p[3]; // 4 kernel threads including program main
+\end{cfa}
 \end{tabular}
 \end{cquote}
@@ -1009 +1015 @@
         }
 };
-enum { N = 3 };
-Barrier b{ N };
+Barrier b{ 3 };
 \end{uC++}
 &
@@ -1034 +1039 @@
         }
 }
-enum { N = 3 };
-Barrier b{ N };
+Barrier b{ 3 };
 \end{cfa}
 \end{tabular}
@@ -1178 +1182 @@
 
 
-{\lstset{tabsize=3}
+{\lstset{tabsize=4}
 \setlength{\tabcolsep}{5pt}
 \begin{tabular}{@{}l|ll@{}}
@@ -1186 +1190 @@
 @Future_ISM@<double> fd;
 struct Msg { int i, j; }; @Future_ISM@<Msg> fm;
-struct Stop {}; @Future_ISM@<Stop> fs;
 struct Cont {}; @Future_ISM@<Cont> fc;
+_Exception Stop {};
 
 _Task Worker {
         void main() {
-
-                for ( ;; ) {
-                        _Select( fi ) { cout << fi() << endl; fi.reset(); }
-                        and _Select( fd ) { cout << fd() << endl; fd.reset(); }
-                        and _Select( fm ) {
-                                cout << fm().i << " " << fm().j << endl; fm.reset();
-                        } or _Select( fs ) { cout << "stop" << endl; break; }
-                        fc.delivery( (Cont){} );        // synchronize
-                }
-        }
-
+                try {
+                        for ( ;; ) {
+                                _Select( fi ) { cout << fi() << endl; fi.reset(); }
+                                and _Select( fd ) { cout << fd() << endl; fd.reset(); }
+                                and _Select( fm ) {
+                                        cout << fm().i << " " << fm().j << endl; fm.reset();
+                                }
+                                fc( (Cont){} );         // synchronize
+                        }
+                } catch( Stop & ) { cout << "stop" << endl;}
+        }
 };
 int main() {
         Worker worker;
         for ( int i = 0; i < 10; i += 1 ) {
-                fi( i );   fd( i + 2.5 );   fm( (Msg){ i, 2 } ); // fulfil
+                fi( i );   fd( i + 2.5 );   fm( (Msg){ i, 2 } );  // fulfil
                 fc(); fc.reset();                               // synchronize
         }
-        fs( (Stop){} );
+        fi( new Stop{} );                               // trigger exception
 } // wait for worker to terminate
 \end{uC++}
@@ -1215 +1219 @@
 \begin{cfa}
 #include <future.hfa>
-@future_rc@(int) fi;
-@future_rc@(double) fd;
-struct Msg { int i, j; }; @future_rc@(Msg) fm;
-struct Stop {}; @future_rc@(Stop) fs;
-struct Cont {}; @future_rc@(Cont) fc;
-ExceptionDecl( Break );
+@future_rc@( int ) fi;
+@future_rc@( double ) fd;
+struct Msg { int i, j; }; @future_rc@( Msg ) fm;
+struct Cont {}; @future_rc@( Cont ) fc;
+ExceptionDecl( Stop );
+
 thread Worker {};
 void main( Worker & ) {
@@ -1227 +1231 @@
                         waituntil( fi ) { sout | fi(); reset( fi ); }
                         and waituntil( fd ) { sout | fd(); reset( fd ); }
-                        and waituntil( fm ) { sout | fm().i | fm().j; reset( fm ); }
-                        or waituntil( fs ) { sout | "stop";
-                                throw ExceptionInst( Break );
+                        and waituntil( fm ) {
+                                sout | fm().i | fm().j; reset( fm );
                         }
                         fc( (Cont){} );         // synchronize
                 }
-        } catch( Break * ) {}
-}
+        } catch( Stop * ) { sout | "stop"; }
+}
+
 int main() {
         Worker worker;
         for ( i; 10 ) {
-                fi( i );   fd( i + 2.5 );   fm( (Msg){ i, 2 } ); // fulfil
+                fi( i );   fd( i + 2.5 );   fm( (Msg){ i, 2 } );  // fulfil
                 fc(); reset( fc );              // synchronize
         }
-        fs( (Stop){} );
+        fi( ExceptionPtr( ExceptionInst( Stop ) ) );
 } // wait for worker to terminate
 \end{cfa}