TraceFrontier brings all times up to a frontier (and discards updates at times beyond another frontier). This introduces the potential for consolidation, but map_times does not consolidate updates and relies on the interested user to do this. Recent experience indicates that most users are not aware of this, including your correspondent. This fix introduces consolidation as part of map_times, and is meant to broadly insulate folks who do not actively consolidate, which includes some parts of DD itself (seemingly just Cursor::to_vec; other users seem to have a prompt consolidation).
TraceFrontier
brings all times up to a frontier (and discards updates at times beyond another frontier). This introduces the potential for consolidation, butmap_times
does not consolidate updates and relies on the interested user to do this. Recent experience indicates that most users are not aware of this, including your correspondent. This fix introduces consolidation as part ofmap_times
, and is meant to broadly insulate folks who do not actively consolidate, which includes some parts of DD itself (seemingly justCursor::to_vec
; other users seem to have a prompt consolidation).cc: @antiguru