Provided Redis implementation