add redis benchmark inspired by mimalloc-benchredis

redis is build using a bash script because I wasn't able to build
with make alone.
TODO: build redis using only a Makefile

3 files changed, 114 insertions, 0 deletions

diff --git a/src/benchmarks/redis.py b/src/benchmarks/redis.py
new file mode 100644
index 0000000..945d3a0
--- /dev/null
+++ b/src/benchmarks/redis.py
@@ -0,0 +1,57 @@
+# Copyright 2018-2019 Florian Fischer <florian.fl.fischer@fau.de>
+#
+# This file is part of allocbench.
+#
+# allocbench is free software: you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+#
+# allocbench is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with allocbench.  If not, see <http://www.gnu.org/licenses/>.
+
+"""Definition of the redis benchmark"""
+
+import re
+
+from src.benchmark import Benchmark
+
+
+REQUESTS_RE = re.compile("(?P<requests>(\\d*.\\d*)) requests per second")
+
+class BenchmarkRedis(Benchmark):
+    """Redis benchmark
+
+    This benchmark uses the redis benchmark tool included in the redis release
+    archive. The used parameters are inspired by the ones used in mimalloc-bench."
+    """
+
+    def __init__(self):
+        name = "redis"
+
+        self.cmd = "redis-benchmark 1000000 -n 1000000 -P 8 -q lpush a 1 2 3 4 5 6 7 8 9 10 lrange a 1 10"
+        self.servers = [{"name": "redis",
+                         "cmd": "redis-server",
+                         "shutdown_cmds": ["redis-cli shutdown"]}]
+
+        super().__init__(name)
+
+    @staticmethod
+    def process_output(result, stdout, stderr, allocator, perm):
+        result["requests"] = REQUESTS_RE.search(stdout).group("requests")
+
+    def summary(self):
+        self.barplot_single_arg("{requests}",
+                                ylabel='"requests per s"',
+                                title='"redis benchmark"',
+                                filepostfix="requests")
+
+        self.export_stats_to_dataref("requests")
+
+
+redis = BenchmarkRedis()
diff --git a/src/benchmarks/redis/Makefile b/src/benchmarks/redis/Makefile
new file mode 100644
index 0000000..de72342
--- /dev/null
+++ b/src/benchmarks/redis/Makefile
@@ -0,0 +1,20 @@
+OBJDIR ?= obj
+
+unexport CC
+unexport CXX
+unexport WARNFLAGS
+unexport COMMONFLAGS
+unexport OPTFLAGS
+unexport CFLAGS
+unexport CXXFLAGS
+unexport LDFLAGS
+unexport LDXXFLAGS
+
+.PHONY = all clean
+
+all:
+	@echo building redis benchmark
+	./build.sh $(OBJDIR) $(REDIS_VERSION)
+
+clean:
+	rm -rf $(OBJDIR)
diff --git a/src/benchmarks/redis/build.sh b/src/benchmarks/redis/build.sh
new file mode 100755
index 0000000..e58cb43
--- /dev/null
+++ b/src/benchmarks/redis/build.sh
@@ -0,0 +1,37 @@
+#!/bin/bash
+
+REDIS_VERSION=5.0.5
+REDIS_DIR=redis-${REDIS_VERSION}
+REDIS_ARCHIVE=${REDIS_DIR}.tar.gz
+REDIS_URL=http://download.redis.io/releases/${REDIS_ARCHIVE}
+
+if [[ $# -gt 0 ]]
+then
+	OBJDIR=$1
+else
+	OBJDIR=obj
+fi
+
+mkdir -p $OBJDIR
+cd $OBJDIR
+
+if [[ ! -d "${OBJDIR}/redis-${REDIS_VERSION}" ]]
+then
+	echo retrievinug ${REDIS_DIR}...
+	wget ${REDIS_URL}
+
+	echo extracting ${REDIS_ARCHIVE}...
+	tar xf ${REDIS_ARCHIVE}
+fi
+
+echo building ${REDIS_DIR}...
+make -C ${REDIS_DIR}
+
+echo linking redis-cli...
+ln -s -f  ${REDIS_DIR}/src/redis-cli
+
+echo linking redis-server...
+ln -s -f ${REDIS_DIR}/src/redis-server
+
+echo linking redis-benchmark...
+ln -s -f ${REDIS_DIR}/src/redis-benchmark