How InnoDB handles REDO logging | Hacker News Reader