redo log 是干嘛的呢？这是一块内存空间还是磁盘空间？为什么还需要 change buffer ？它是为谁承载的呢？这几个东西在初接触时比较容易头晕。