class RedoLogBuffer {
    private List<RedoLogRecord> buffer = new ArrayList<>();
    private final int BUFFER_SIZE = 1024; // 示例大小

    public synchronized void addLog(RedoLogRecord log) {
        buffer.add(log);
        if (buffer.size() >= BUFFER_SIZE) {
            flushToDisk();
        }
    }

    public synchronized void flushToDisk() {
        if (buffer.isEmpty()) {
            return;
        }
        // 將日志記錄寫入磁盤
        writeToDisk(buffer);
        buffer.clear();
    }

    private void writeToDisk(List<RedoLogRecord> logs) {
        // 實際的磁盤寫入操作
        // 這里簡化為打印日志記錄
        for (RedoLogRecord log : logs) {
            System.out.println("Writing log to disk: " + log);
        }
    }
}

class RedoLogRecord {
    private String data;

    public RedoLogRecord(String data) {
        this.data = data;
    }

    @Override
    public String toString() {
        return data;
    }
}

class Transaction {
    private RedoLogBuffer redoLogBuffer;

    public Transaction(RedoLogBuffer redoLogBuffer) {
        this.redoLogBuffer = redoLogBuffer;
    }

    public void execute(String operation) {
        // 執(zhí)行操作并生成Redo Log
        RedoLogRecord log = new RedoLogRecord(operation);
        redoLogBuffer.addLog(log);
    }

    public void commit() {
        // 提交事務(wù)時，確保所有日志記錄都刷入磁盤
        redoLogBuffer.flushToDisk();
        System.out.println("Transaction committed.");
    }
}

public class RedoLogExample {
    public static void main(String[] args) {
        RedoLogBuffer redoLogBuffer = new RedoLogBuffer();
        Transaction tx = new Transaction(redoLogBuffer);

        tx.execute("UPDATE table SET column = 'value' WHERE id = 1");
        tx.execute("UPDATE table SET column = 'value' WHERE id = 2");

        // 提交事務(wù)
        tx.commit();
    }
}