From d15971f784c68e45199ee9052773d6546af131aa Mon Sep 17 00:00:00 2001 From: Brian Demsky Date: Thu, 20 Jun 2019 22:31:45 -0700 Subject: [PATCH] performance improvements --- execution.cc | 2 +- snapshot.cc | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/execution.cc b/execution.cc index 52af5212..c32b6288 100644 --- 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 ca54c785..bada736d 100644 --- 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 { -- 2.34.1