Right now if you do a minor compaction, the filename for the new transaction file is determined at the time the compacted database is committed. If another transaction is started after the compaction begins, and is committed before the compaction completes, the filename for the transaction will be ordered after that other transaction, which would violate the precedence of records.
Right now if you do a minor compaction, the filename for the new transaction file is determined at the time the compacted database is committed. If another transaction is started after the compaction begins, and is committed before the compaction completes, the filename for the transaction will be ordered after that other transaction, which would violate the precedence of records.