Changes in doc/uC++toCFA/uC++toCFA.tex [0cb3479:135a2d8]

File:

• doc/uC++toCFA/uC++toCFA.tex (modified) (7 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 11 21:51:39 2024
-%% Update Count     : 6144
+%% Last Modified On : Fri Nov  8 08:22:25 2024
+%% Update Count     : 6107
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
@@ -498 +498 @@
 
 
-\section{Coroutine}
+\section{Coroutines}
 
 \begin{cquote}
@@ -591 +591 @@
 
 struct StrMsg : @public uActor::Message@ {
-
         const char * val; // string message
+
 
         StrMsg( const char * val ) :
@@ -600 +600 @@
 _Actor Hello { ${\color{red}\LstCommentStyle{// : public uActor}}$
         Allocation receive( Message & msg ) {
-                Case( @StartMsg@, msg ) { // discriminate
-
-                } else Case( StrMsg, msg ) {
+                Case( StrMsg, msg ) { // discriminate
                         osacquire( cout ) << msg_d->val << endl;
-
-                } else Case( @StopMsg@, msg )
-                        return Delete;  // delete actor
-                return Nodelete;  // reuse actor
+                };
+                return Delete;  // delete after use
         }
 };
 int main() {
         @uActor::start();@ // start actor system
-        *new Hello() | uActor::startMsg
-                | *new StrMsg( "hello" ) | uActor::stopMsg;
-        *new Hello() | uActor::startMsg
-                | *new StrMsg( "bonjour" ) | uActor::stopMsg;
-        @uActor::stop();@  // wait for actors to terminate
+        *new Hello() | *new StrMsg( "hello" );
+        *new Hello() | *new StrMsg( "bonjour" );
+        @uActor::stop();@  // wait for all actors to terminate
 }
 \end{uC++}
@@ -629 +623 @@
         const char * val; // string message
 };
-void ?{}( StrMsg & msg, const char * str ) {
+void ?{}( StrMsg & msg, char * str ) {
+        msg.val = str;
         @set_allocation( msg, Delete );@ // delete after use
-        msg.val = str;
-}
-struct Hello { @inline actor;@ }; // derived actor
-allocation receive( Hello & receiver, @start_msg_t@ & ) {
-        return Nodelete;
-}
+}
+struct Hello {
+        @inline actor;@ // derived actor
+};
 allocation receive( Hello & receiver, StrMsg & msg ) {
         mutex( sout ) sout | msg.val;
-        return Nodelete;  // reuse actor
-}
-allocation receive( Hello & receiver, @stop_msg_t@ & ) {
-        return Delete;  // delete actor
+        return Delete;  // delete after use
 }
 
 int main() {
-        @actor_start();@  // start actor system
-        *(Hello *)new() | start_msg
-                | *(StrMsg *)new( "hello" ) | stop_msg;
-        *(Hello *)new() | start_msg
-                | *(StrMsg *)new( "bonjour" ) | stop_msg;
-        @actor_stop();@  // wait for actors to terminate
-}
-\end{cfa}
-\end{tabular}
-\end{cquote}
-
-
-\section{Thread}
+        @start_actor_system();@  // start actor system
+        *(Hello *)new() | *(StrMsg *)new( "hello" );
+        *(Hello *)new() | *(StrMsg *)new( "bonjour" );
+        @stop_actor_system();@  // wait for all actors to terminate
+}
+\end{cfa}
+\end{tabular}
+\end{cquote}
+
+
+\section{Threads}
 
 \begin{cquote}
@@ -722 +710 @@
 
 
-\section{Monitor}
+\section{Monitors}
 
 Internal Scheduling
@@ -788 +776 @@
 \end{tabular}
 \end{cquote}
-
-\newpage
-
+\enlargethispage{1000pt}
 External Scheduling
 \begin{cquote}