A distributed bloom filter implementation based on redis