implement redis in cpp