delete redis

sihangliu · Dec 4, 2019 · 26dd00d · 26dd00d
1 parent a7d96ed
commit 26dd00d
Show file tree

Hide file tree

Showing 600 changed files with 79 additions and 193,490 deletions.
diff --git a/init_redis.sh b/init_redis.sh
@@ -0,0 +1,13 @@
+git clone https://github.com/pmem/redis.git redis-nvml
+cd redis-nvml
+# Change to PMDK version of Redis (PMDK was named as NVML)
+git checkout 3.2-nvml
+# Apply XFDetector's patch
+git apply ../redis_xfdetector.patch
+# Add PMDK to redis dependency folder
+ln -s ../../pmdk/ ./deps/pmdk
+# Compile with PMDK enabled
+make USE_PMDK=yes STD=-std=gnu99
+# Add config for XFDetector post-failure process
+cp redis.conf redis_post.conf
+sed -i 's/port 6379/port 6380/' redis_post.conf
diff --git a/pmrace/runRedis.sh b/pmrace/runRedis.sh
@@ -49,7 +49,7 @@ wait
 # Start PMRace
 ${PMRACE_EXE} ${CONFIG_FILE} >> ${TIMING_OUT} 2> ${DEBUG_OUT} &
 sleep 1
-${PIN_EXE} -t ${PINTOOL_SO} -t 1 -f 1 -- ${REDIS_SERVER} ${TEST_ROOT}/redis-nvml/redis.conf pmfile ${PMIMAGE} 8mb > /dev/null &
+${PIN_EXE} -t ${PINTOOL_SO} -t 1 -f 1 -- ${REDIS_SERVER} ${TEST_ROOT}/redis-nvml/redis.conf pmfile ${PMIMAGE} 8mb  &
 sleep 10
 ${REDIS_TEST} ${TESTSIZE} 9
 wait
diff --git a/redis-nvml/.gitignore b/redis-nvml/.gitignore