Changeset e0b8ccd5

Timestamp:

May 5, 2017, 10:56:12 AM (7 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:

bd951f7

Parents:

8cb6fcd

Message:

Monitor benchmarks now compare 1 and 2 monitors

Location:

src/benchmark

Files:

• Monitor.c (modified) (1 diff)
• SchedInt.c (modified) (4 diffs)

src/benchmark/Monitor.c

@@ -9 +9 @@
 mon_t mon1, mon2;
 
+void dummy( mon_t * mutex a ) {}
 void dummy( mon_t * mutex a, mon_t * mutex b ) {}
-
-
 
 int main() {
         long long int StartTime, EndTime;
+
+        StartTime = Time();
+        for( int i = 0; i < N; i++ ) {
+                dummy( &mon1 );
+        }
+        EndTime = Time();
+
+        sout | ( EndTime - StartTime ) / N;
 
         StartTime = Time();

src/benchmark/SchedInt.c

@@ -7 +7 @@
 condition condA; 
 condition condB;
+condition condC;
+condition condD;
 
 monitor mon_t {};
@@ -14 +16 @@
 thread thrdA {};
 thread thrdB {};
+thread thrdC {};
+thread thrdD {};
 
-void sideA( mon_t * mutex a, mon_t * mutex b ) {
+//-------------------------------------------------------------------
+// 1 monitor signal cycle
+void sideA( mon_t * mutex a ) {
         long long int StartTime, EndTime;
 
@@ -26 +32 @@
         EndTime = Time();
 
-        sout | ( EndTime - StartTime ) / N | endl;
+        sout | ( EndTime - StartTime ) / N;
 }
 
-void sideB( mon_t * mutex a, mon_t * mutex b ) {
+void sideB( mon_t * mutex a ) {
         for( int i = 0;; i++ ) {
                 signal(&condB);
@@ -37 +43 @@
 }
 
-void main( thrdA * this ) { sideA( &mon1, &mon2 ); }
-void main( thrdB * this ) { sideB( &mon1, &mon2 ); }
+//-------------------------------------------------------------------
+// 2 monitor signal cycle
+void sideC( mon_t * mutex a, mon_t * mutex b ) {
+        long long int StartTime, EndTime;
+
+        StartTime = Time();
+        for( int i = 0;; i++ ) {
+                signal(&condC);
+                if( i > N ) break;
+                wait(&condD);
+        }
+        EndTime = Time();
+
+        sout | ( EndTime - StartTime ) / N | endl;
+}
+
+void sideD( mon_t * mutex a, mon_t * mutex b ) {
+        for( int i = 0;; i++ ) {
+                signal(&condD);
+                if( i > N ) break;
+                wait(&condC);
+        }
+}
+
+void main( thrdA * this ) { sideA( &mon1 ); }
+void main( thrdB * this ) { sideB( &mon1 ); }
+void main( thrdC * this ) { sideC( &mon1, &mon2 ); }
+void main( thrdD * this ) { sideD( &mon1, &mon2 ); }
 
 int main() {
-        thrdA a;
-        thrdB b;
+        {
+                thrdA a;
+                thrdB b;
+        }
+        {
+                thrdC c;
+                thrdD d;
+        }
 }