read redis source