delete redis

Author: warsier

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

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