RedLine: Redis serialization protocol from RedBox