projects
/
c11tester.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
1f7db94
)
performance improvements
author
Brian Demsky
<bdemsky@uci.edu>
Fri, 21 Jun 2019 05:31:45 +0000
(22:31 -0700)
committer
Brian Demsky
<bdemsky@uci.edu>
Fri, 21 Jun 2019 05:31:45 +0000
(22:31 -0700)
execution.cc
patch
|
blob
|
history
snapshot.cc
patch
|
blob
|
history
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 */
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)
/* 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 */
#else /* !USE_MPROTECT_SNAPSHOT */
-#define SHARED_MEMORY_DEFAULT (
1
00 * ((size_t)1 << 20)) // 100mb for the shared memory
+#define SHARED_MEMORY_DEFAULT (
2
00 * ((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 {
#define STACK_SIZE_DEFAULT (((size_t)1 << 20) * 20) // 20 mb out of the above 100 mb for my stack
struct fork_snapshotter {