redis protocol encoder/decoder