performance improvements

diff --git a/execution.cc b/execution.cc
index 52af5212534d397566b1d7ac2ac90925492ce192..c32b628876fc22ccf3a4aba46d2839f182f99965 100644 (file)
--- a/execution.cc
+++ b/execution.cc
@@ -783,7 +783,7 @@ bool ModelExecution::r_modification_order(ModelAction *curr, const ModelAction *
        int tid = curr->get_tid();
        ModelAction *prev_same_thread = NULL;
        /* Iterate over all threads */
-       for (i = 0;i < thrd_lists->size();i++, tid = ((tid+1) == thrd_lists->size()) ? 0: tid + 1) {
+       for (i = 0;i < thrd_lists->size();i++, tid = (((unsigned int)(tid+1)) == thrd_lists->size()) ? 0: tid + 1) {
                /* Last SC fence in thread tid */
                ModelAction *last_sc_fence_thread_local = NULL;
                if (i != 0)

diff --git a/snapshot.cc b/snapshot.cc
index ca54c785385bb85b0fa68ada3267c933dd9ca8f0..bada736d35ab0979b217d923785efcec4acde7f1 100644 (file)
--- a/snapshot.cc
+++ b/snapshot.cc
@@ -248,7 +248,7 @@ static void mprot_roll_back(snapshot_id theID)
 
 #else  /* !USE_MPROTECT_SNAPSHOT */
 
-#define SHARED_MEMORY_DEFAULT  (100 * ((size_t)1 << 20))       // 100mb for the shared memory
+#define SHARED_MEMORY_DEFAULT  (200 * ((size_t)1 << 20))       // 100mb for the shared memory
 #define STACK_SIZE_DEFAULT      (((size_t)1 << 20) * 20)       // 20 mb out of the above 100 mb for my stack
 
 struct fork_snapshotter {