Changeset e255902b for doc/uC++toCFA/uC++toCFA.tex

Timestamp:

Nov 16, 2024, 6:32:00 PM (14 hours ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

95707a3

Parents:

489d3ba

Message:

more updates to the uC++toCFA document

File:

• doc/uC++toCFA/uC++toCFA.tex (modified) (8 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 : Wed Nov 13 18:09:58 2024
-%% Update Count     : 6207
+%% Last Modified On : Fri Nov 15 09:55:34 2024
+%% Update Count     : 6249
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
@@ -357 +357 @@
 
 
+\section{Constructor / Destructor}
+
+\begin{cquote}
+\begin{tabular}{@{}l|l@{}}
+\begin{uC++}
+
+struct S {
+        int i, j;
+
+        @S@( int i, int j ) { S::i = i; S::j = j; }
+        @~S@() {}
+};
+S s1 = { 1, 2 };
+
+S * s2 = new S{ 1, 2 };
+delete s2;
+s2 = new S{ 1, 2 };
+delete s2;
+S & s3 = *new S{ 1, 2 };
+delete &s3;
+s3 = *new S{ 1, 2 };
+delete &s3;
+\end{uC++}
+&
+\begin{cfa}
+#include <stdlib.hfa> // new (malloc)
+struct S {
+        int i, j;
+};
+void @?{}@( S & s, int i, int j ) { s.i = i; s.j = j; }
+void @^?{}@( S & s ) { s.i = 0; s.j = 0; }      
+
+S s1 = { 1, 2 };
+// cannot use 0/1 (zero_t/one_t) with "new"
+S * s2 = new( 1@n@, 2 ); // n => (int) 
+delete( s2 );
+s2 = new( 1n, 2 );
+delete( s2 );
+S & s3 = *new( 1n, 2 );
+delete( s3 );
+&s3 = &*new( 1n, 2 );
+delete( s3 );
+\end{cfa}
+\end{tabular}
+\end{cquote}
+
+
 \section{\texorpdfstring{Structures (object-oriented \protect\vs routine style)}{Structures (object-oriented vs. routine style)}}
 
@@ -381 +428 @@
 setter( @s,@ 3 );  // normal calls
 int k = getter( @s@ );
-\end{cfa}
-\end{tabular}
-\end{cquote}
-
-
-\section{Constructor / Destructor}
-
-\begin{cquote}
-\begin{tabular}{@{}l|l@{}}
-\begin{uC++}
-
-struct S {
-        int i, j;
-        @S@( int i, int j ) { S::i = i; S::j = j; }
-        @~S@() {}
-};
-S s = { 1, 2 }, s2{ 1, 2 };
-S * s3 = new S{ 1, 2 };
-S & s4 = *new S{ 1, 2 };
-\end{uC++}
-&
-\begin{cfa}
-#include <stdlib.hfa> // malloc
-struct S {
-        int i, j;
-};
-void @?{}( S & s@, int i, int j ) { s.[i, j] = [i, j]; }
-void @^?{}( S & s@ ) {}
-S s = { 1, 2 }, s2{ 1, 2 };
-S * s3 = &(*malloc()){ 1, 2 };
-S & s4 = (*malloc()){ 1, 2 }; // fails
 \end{cfa}
 \end{tabular}
@@ -734 +750 @@
                 : @public uBarrier@ { // inheritance
         int total;
+        void @last@() { cout << total << endl; }
   public:
         Barrier( unsigned int group ) :
@@ -740 +757 @@
         }
         void @block@( int subtotal ) {
+
+
                 total += subtotal;
                 @uBarrier::block();@
         }
-  private:
-        void @last@() { cout << total << endl; }
 };
 enum { N = 3 };
@@ -770 +787 @@
         @barrier b;@                    // containment
         int total;
+
 };
 void ?{}( Barrier & B, unsigned int group ) with(B) {
@@ -776 +794 @@
 }
 unsigned int block( Barrier & B, int subtotal ) with(B) {
-        @mutex( b )@ {  total += subtotal; } // use barrier's mutual exclusion
         void @last@() { sout | total; } // called by Gth arriving thread
-        @block@( b, last ); // wait for barrier trigger
-}
-
-
+        @mutex( b )@ {  // use barrier's mutual exclusion
+                total += subtotal;
+                return @block@( b, last ); // wait for barrier trigger
+        }
+}
 enum { N = 3 };
 Barrier b{ N };
@@ -871 +889 @@
 \enlargethispage{1000pt}
 
+\noindent
 External Scheduling
 \begin{cquote}