Changeset a5d1fe7

Timestamp:

Sep 16, 2021, 2:19:34 PM (4 years ago)

Author:

caparsons <caparson@…>

Branches:

ADT, ast-experimental, enum, forall-pointer-decay, master, pthread-emulation, qualifiedEnum

Children:

ce9f9d4

Parents:

180f249

Message:

added mutexStmt benchmarks

Location:

benchmark/mutexStmt

Files:

• JavaThread.java (added)
• cpp1.cc (added)
• cpp2.cc (added)
• cpp4.cc (added)
• cpp8.cc (added)
• cppLock.hpp (added)
• lock1.cfa (modified) (1 diff)
• lock2.cfa (modified) (1 diff)
• lock4.cfa (modified) (1 diff)
• lock8.cfa (modified) (1 diff)
• no_stmt_lock1.cfa (modified) (1 diff)
• no_stmt_lock2.cfa (modified) (1 diff)
• no_stmt_lock4.cfa (modified) (1 diff)
• no_stmt_lock8.cfa (modified) (1 diff)

benchmark/mutexStmt/lock1.cfa ¶

@@ -5 +5 @@
 #include "bench.h"
 
-single_acquisition_lock l1;
+test_spinlock l1;
 
 int main( int argc, char * argv[] ) {

benchmark/mutexStmt/lock2.cfa ¶

@@ -5 +5 @@
 #include "bench.h"
 
-single_acquisition_lock l1, l2;
+test_spinlock l1, l2;
 
 int main( int argc, char * argv[] ) {

benchmark/mutexStmt/lock4.cfa ¶

@@ -5 +5 @@
 #include "bench.h"
 
-single_acquisition_lock l1, l2, l3, l4;
+test_spinlock l1, l2, l3, l4;
 
 int main( int argc, char * argv[] ) {

benchmark/mutexStmt/lock8.cfa ¶

@@ -5 +5 @@
 #include "bench.h"
 
-single_acquisition_lock l1, l2, l3, l4, l5, l6, l7, l8;
+test_spinlock l1, l2, l3, l4, l5, l6, l7, l8;
 
 int main( int argc, char * argv[] ) {

benchmark/mutexStmt/no_stmt_lock1.cfa ¶

@@ -5 +5 @@
 #include "bench.h"
 
-single_acquisition_lock l1;
+test_spinlock l1;
 
 int main( int argc, char * argv[] ) {

benchmark/mutexStmt/no_stmt_lock2.cfa ¶

@@ -5 +5 @@
 #include "bench.h"
 
-single_acquisition_lock l1, l2;
+test_spinlock l1, l2;
 
 int main( int argc, char * argv[] ) {

benchmark/mutexStmt/no_stmt_lock4.cfa ¶

@@ -5 +5 @@
 #include "bench.h"
 
-single_acquisition_lock l1, l2, l3, l4;
+test_spinlock l1, l2, l3, l4;
 
 int main( int argc, char * argv[] ) {

benchmark/mutexStmt/no_stmt_lock8.cfa ¶

@@ -5 +5 @@
 #include "bench.h"
 
-single_acquisition_lock l1, l2, l3, l4, l5, l6, l7, l8;
+test_spinlock l1, l2, l3, l4, l5, l6, l7, l8;
 
 int main( int argc, char * argv[] ) {