main change: rename first redo log without file close

second change: use os_offset_t to represent offset in a file

third change: fix log texts