redo log写在内存里还是写在磁盘里？写在磁盘里的话怎么保证性能，为什么不直接刷盘呢？ 这个怎么回答的呢？