allocbench/src/benchmarks/redis, branch bumpptrs benchmark tool for POSIX memory allocators port building of redis to python 2019-09-11T15:28:29+00:00 Florian Fischer florian.fl.fischer@fau.de 2019-09-11T15:08:18+00:00 436f6e63072f3537e66cef87dd8f6ae776dd0454 






add redis benchmark inspired by mimalloc-bench
2019-09-11T15:28:29+00:00

Florian Fischer
florian.fl.fischer@fau.de

2019-09-04T21:28:26+00:00

600ce8dbd7edaf43af8f6796225fadd5ca14b6f9

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





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