从Redo Log 的写入机制可以发现哪些内容？

由图可以看出：

1)Wirte Pos 是数据表中当前记录所在的位置，随着不断地向数据表中写数据，这个位置会向后移动，当移动到最后一个文件的最后一个位置时，又会回到第一个文件的开始位置进行写操作；

2)CheckPoint 是当前要擦除的位置，这个位置也是向后移动的，移动到最后一个文件的最后一个位置时，也会回到第一个文件的开始位置进行擦除。只不过在擦除记录之前，需要把记录更新到数据文件中；

3）Write Pos 和 CheckPoint 之间存在间隔时，中间的间隔表示还可以记录新的操作。如果 Write Pos 移动的速度较快，追上了 CheckPo int , 则表示数据已经写满，不能再向Redo Log 文件中写数据了。此时，需要停止写入数据，擦除一些记录。

资料来源：《深入理解分布式事务：原理与实战》，下载链接为：https://developer.aliyun.com/topic/download?id=8201。