在MySQL的主从复制（Master-Slave Replication）中，主库修改的redo log并不会自动同步到备库（也称为从库）。主库的redo log是用于持久化事务的日志记录，而备库通过读取主库的binlog（二进制日志）来进行复制。

在基于二进制日志的复制过程中，主库将修改操作记录到binlog中，然后备库通过读取主库的binlog来执行相同的操作，从而保持备库与主库的数据一致性。这意味着主库的redo log本身不会直接同步到备库。

因此，主库的redo log和备库的复制过程是两个独立的机制。主库的redo log用于主库的持久化和崩溃恢复，而备库通过复制主库的binlog来保持数据的同步。

值得注意的是，备库的重做日志（redo log）与主库的redo log并不是同一个概念。备库在执行主库的binlog时，也会有自己的重做日志用于持久化复制过程。这些备库的重做日志通常称为relay log（中继日志），用于记录备库执行的主库操作，以确保数据的一致性。