Changeset 28e58fd for src/tests/sched-int-disjoint.c

Timestamp:

Aug 25, 2017, 10:38:34 AM (8 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

800d275

Parents:

af08051 (diff), 3eab308c (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• src/tests/sched-int-disjoint.c (modified) (5 diffs)

src/tests/sched-int-disjoint.c

@@ -20 +20 @@
 
 monitor global_data_t;
-void ?{}( global_data_t * this );
-void ^?{} ( global_data_t * this );
+void ?{}( global_data_t & this );
+void ^?{} ( global_data_t & this );
 
 monitor global_data_t {
@@ -32 +32 @@
 volatile bool all_done;
 
-void ?{}( global_data_t * this ) {
-        this->counter == 0;
-        this->state = BARGE;
+void ?{}( global_data_t & this ) {
+        this.counter == 0;
+        this.state = BARGE;
 }
 
-void ^?{} ( global_data_t * this ) {}
+void ^?{} ( global_data_t & this ) {}
 
 //------------------------------------------------------------------------------
 // Barging logic
-void barge( global_data_t * mutex d ) {
-        d->state = BARGE;
+void barge( global_data_t & mutex d ) {
+        d.state = BARGE;
 }
 
 thread Barger {};
 
-void main( Barger * this ) {
+void main( Barger & this ) {
         while( !all_done ) {
-                barge( &data );
+                barge( data );
                 yield();
         }
@@ -56 +56 @@
 //------------------------------------------------------------------------------
 // Waiting logic
-bool wait( global_t * mutex m, global_data_t * mutex d ) {
+bool wait( global_t & mutex m, global_data_t & mutex d ) {
         wait( &cond );
-        if( d->state != SIGNAL ) {
+        if( d.state != SIGNAL ) {
                 sout | "ERROR barging!" | endl;
         }
 
-        d->counter++;
+        d.counter++;
 
-        if( (d->counter % 1000) == 0 ) sout | d->counter | endl;
+        if( (d.counter % 1000) == 0 ) sout | d.counter | endl;
 
-        return d->counter < N;
+        return d.counter < N;
 }
 
 thread Waiter {};
 
-void main( Waiter * this ) {
-        while( wait( &mut, &data ) ) { yield(); }
+void main( Waiter & this ) {
+        while( wait( mut, data ) ) { yield(); }
 }
 
@@ -78 +78 @@
 //------------------------------------------------------------------------------
 // Signalling logic
-void signal( condition * cond, global_t * mutex a, global_data_t * mutex b ) {
-        b->state = SIGNAL;
+void signal( condition * cond, global_t & mutex a, global_data_t & mutex b ) {
+        b.state = SIGNAL;
         signal( cond );
 }
 
-void logic( global_t * mutex a ) {
-        signal( &cond, a, &data );
+void logic( global_t & mutex a ) {
+        signal( &cond, a, data );
 
         yield( (unsigned)rand48() % 10 );
@@ -97 +97 @@
 thread Signaller {};
 
-void main( Signaller * this ) {
+void main( Signaller & this ) {
         while( !all_done ) {
-                logic( &mut );
+                logic( mut );
                 yield();
         }