Changeset 65 for sources/src/sc_main.cc

Timestamp:

Oct 23, 2019, 12:53:07 PM (5 years ago)

Author:

bouyer

Message:

Various performance improvements for the parallel systemcass: cache-aligned
data structures, write only when needed, disable some unneeded barriers.

Fix bug in the non-openmp case: a pointer was not initialized

various style updates

File:

• sources/src/sc_main.cc (modified) (4 diffs)

sources/src/sc_main.cc

@@ -35 +35 @@
  */
 
-#include <sstream>
+#include <cassert>
+#include <cstring> // strcmp
 #include <list>
 #ifdef _OPENMP
@@ -41 +42 @@
 #endif
 #include <set>
-#include <cstring> // strcmp
-#include <cassert>
+#include <sstream>
 
 #include "internal.h"
@@ -91 +91 @@
 
 #ifdef _OPENMP
-bool use_openmp = true;
+const bool use_openmp = true;
 #else
-bool use_openmp = false;
+const bool use_openmp = false;
 #endif
 
@@ -395 +395 @@
     }
 
-    int ret = sc_main(argc, argv);
-    //free(pending_write_vector);
-    close_systemcass();
+  int ret = sc_main(argc, argv);
+//  free (pending_write_vector);
+  close_systemcass ();
 
     if (have_to_stop) {