Redis主从数据同步原理是什么？是同步还是异步？