
On 04/12/2018 10:08 AM, Vladimir Sementsov-Ogievskiy wrote:
I propose, not to say that bitmap represents a checkpoint. It is simpler to say (and it reflects the reality) that bitmap is a difference between two consecutive checkpoints. And we can say, that active state is some kind of a checkpoint, current point in time.
So, we have checkpoints (5* is an active state) which are points in time:
1 2 3 4 5*
Oh -- the most recent checkpoint there doesn't belong to a ***specific time*** yet. It's a floating checkpoint -- it always represents the most current version. It's not really a checkpoint at all. 1, 2, 3, and 4 however are associated with a specific timestamp though.
And bitmaps, first three are disabled, last is enabled:
"1->2", "2->3", "3->4", "4->5*"
OK; so 1->2, 2->3 and 3->4 define deltas between two ***defined*** points in time. 4->5* however is only anchored by one specific point in time, and is floating just like the most recent checkpoint is floating.
So, remove first checkpoint: just remove bitmap "A->B".
I assume you mean "1->2" here. And... yes, I agree -- if you don't care about your very first checkpoint anymore, you can just delete the first bitmap, too.
Remove any other checkpoint N: create new bitmap "(N-1)->(N+1)" = merge("(N-1)->N", "N->(N+1)"), drop bitmaps "(N-1)->N" and "N->(N+1)".
err, okay, so let's say we want to drop checkpoint 3: create: "2->4" merge: "2->3", "3->4" [and presumably store in "2->4"] drop: 2->3, 3->4 OK, that makes more sense to me. In essence; (1) We could consider this 2->3 absorbing 3->4, or (2) 3->4 absorbing 2->3 and in either case it's the same, really.
If the latter was active, the new one becomes active. And we cant remove 5* checkpoint, as it is an active state, not an actual checkpoint.
OK, crystal. --js