//flush log buffer to disk.
txnManager.getLogManager().flush();
//Flush btree buffer to disk.
PageBufferManager bpm = PageBufferManager.getInstance();
bpm.dump(sync);
//because dump() may generate new log records, so that
//flush log again.
txnManager.getLogManager().flush();