##// END OF EJS Templates
snapshot: use None as a stop value when looking for a good delta...
Boris Feld -
r39533:5b308a4e default
parent child Browse files
Show More
@@ -1,857 +1,861 b''
1 1 # revlogdeltas.py - Logic around delta computation for revlog
2 2 #
3 3 # Copyright 2005-2007 Matt Mackall <mpm@selenic.com>
4 4 # Copyright 2018 Octobus <contact@octobus.net>
5 5 #
6 6 # This software may be used and distributed according to the terms of the
7 7 # GNU General Public License version 2 or any later version.
8 8 """Helper class to compute deltas stored inside revlogs"""
9 9
10 10 from __future__ import absolute_import
11 11
12 12 import collections
13 13 import heapq
14 14 import struct
15 15
16 16 # import stuff from node for others to import from revlog
17 17 from ..node import (
18 18 nullrev,
19 19 )
20 20 from ..i18n import _
21 21
22 22 from .constants import (
23 23 REVIDX_ISCENSORED,
24 24 REVIDX_RAWTEXT_CHANGING_FLAGS,
25 25 )
26 26
27 27 from ..thirdparty import (
28 28 attr,
29 29 )
30 30
31 31 from .. import (
32 32 error,
33 33 mdiff,
34 34 )
35 35
36 36 RevlogError = error.RevlogError
37 37 CensoredNodeError = error.CensoredNodeError
38 38
39 39 # maximum <delta-chain-data>/<revision-text-length> ratio
40 40 LIMIT_DELTA2TEXT = 2
41 41
42 42 class _testrevlog(object):
43 43 """minimalist fake revlog to use in doctests"""
44 44
45 45 def __init__(self, data, density=0.5, mingap=0):
46 46 """data is an list of revision payload boundaries"""
47 47 self._data = data
48 48 self._srdensitythreshold = density
49 49 self._srmingapsize = mingap
50 50
51 51 def start(self, rev):
52 52 if rev == 0:
53 53 return 0
54 54 return self._data[rev - 1]
55 55
56 56 def end(self, rev):
57 57 return self._data[rev]
58 58
59 59 def length(self, rev):
60 60 return self.end(rev) - self.start(rev)
61 61
62 62 def __len__(self):
63 63 return len(self._data)
64 64
65 65 def slicechunk(revlog, revs, deltainfo=None, targetsize=None):
66 66 """slice revs to reduce the amount of unrelated data to be read from disk.
67 67
68 68 ``revs`` is sliced into groups that should be read in one time.
69 69 Assume that revs are sorted.
70 70
71 71 The initial chunk is sliced until the overall density (payload/chunks-span
72 72 ratio) is above `revlog._srdensitythreshold`. No gap smaller than
73 73 `revlog._srmingapsize` is skipped.
74 74
75 75 If `targetsize` is set, no chunk larger than `targetsize` will be yield.
76 76 For consistency with other slicing choice, this limit won't go lower than
77 77 `revlog._srmingapsize`.
78 78
79 79 If individual revisions chunk are larger than this limit, they will still
80 80 be raised individually.
81 81
82 82 >>> revlog = _testrevlog([
83 83 ... 5, #00 (5)
84 84 ... 10, #01 (5)
85 85 ... 12, #02 (2)
86 86 ... 12, #03 (empty)
87 87 ... 27, #04 (15)
88 88 ... 31, #05 (4)
89 89 ... 31, #06 (empty)
90 90 ... 42, #07 (11)
91 91 ... 47, #08 (5)
92 92 ... 47, #09 (empty)
93 93 ... 48, #10 (1)
94 94 ... 51, #11 (3)
95 95 ... 74, #12 (23)
96 96 ... 85, #13 (11)
97 97 ... 86, #14 (1)
98 98 ... 91, #15 (5)
99 99 ... ])
100 100
101 101 >>> list(slicechunk(revlog, list(range(16))))
102 102 [[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]]
103 103 >>> list(slicechunk(revlog, [0, 15]))
104 104 [[0], [15]]
105 105 >>> list(slicechunk(revlog, [0, 11, 15]))
106 106 [[0], [11], [15]]
107 107 >>> list(slicechunk(revlog, [0, 11, 13, 15]))
108 108 [[0], [11, 13, 15]]
109 109 >>> list(slicechunk(revlog, [1, 2, 3, 5, 8, 10, 11, 14]))
110 110 [[1, 2], [5, 8, 10, 11], [14]]
111 111
112 112 Slicing with a maximum chunk size
113 113 >>> list(slicechunk(revlog, [0, 11, 13, 15], targetsize=15))
114 114 [[0], [11], [13], [15]]
115 115 >>> list(slicechunk(revlog, [0, 11, 13, 15], targetsize=20))
116 116 [[0], [11], [13, 15]]
117 117 """
118 118 if targetsize is not None:
119 119 targetsize = max(targetsize, revlog._srmingapsize)
120 120 # targetsize should not be specified when evaluating delta candidates:
121 121 # * targetsize is used to ensure we stay within specification when reading,
122 122 # * deltainfo is used to pick are good delta chain when writing.
123 123 if not (deltainfo is None or targetsize is None):
124 124 msg = 'cannot use `targetsize` with a `deltainfo`'
125 125 raise error.ProgrammingError(msg)
126 126 for chunk in _slicechunktodensity(revlog, revs,
127 127 deltainfo,
128 128 revlog._srdensitythreshold,
129 129 revlog._srmingapsize):
130 130 for subchunk in _slicechunktosize(revlog, chunk, targetsize):
131 131 yield subchunk
132 132
133 133 def _slicechunktosize(revlog, revs, targetsize=None):
134 134 """slice revs to match the target size
135 135
136 136 This is intended to be used on chunk that density slicing selected by that
137 137 are still too large compared to the read garantee of revlog. This might
138 138 happens when "minimal gap size" interrupted the slicing or when chain are
139 139 built in a way that create large blocks next to each other.
140 140
141 141 >>> revlog = _testrevlog([
142 142 ... 3, #0 (3)
143 143 ... 5, #1 (2)
144 144 ... 6, #2 (1)
145 145 ... 8, #3 (2)
146 146 ... 8, #4 (empty)
147 147 ... 11, #5 (3)
148 148 ... 12, #6 (1)
149 149 ... 13, #7 (1)
150 150 ... 14, #8 (1)
151 151 ... ])
152 152
153 153 Cases where chunk is already small enough
154 154 >>> list(_slicechunktosize(revlog, [0], 3))
155 155 [[0]]
156 156 >>> list(_slicechunktosize(revlog, [6, 7], 3))
157 157 [[6, 7]]
158 158 >>> list(_slicechunktosize(revlog, [0], None))
159 159 [[0]]
160 160 >>> list(_slicechunktosize(revlog, [6, 7], None))
161 161 [[6, 7]]
162 162
163 163 cases where we need actual slicing
164 164 >>> list(_slicechunktosize(revlog, [0, 1], 3))
165 165 [[0], [1]]
166 166 >>> list(_slicechunktosize(revlog, [1, 3], 3))
167 167 [[1], [3]]
168 168 >>> list(_slicechunktosize(revlog, [1, 2, 3], 3))
169 169 [[1, 2], [3]]
170 170 >>> list(_slicechunktosize(revlog, [3, 5], 3))
171 171 [[3], [5]]
172 172 >>> list(_slicechunktosize(revlog, [3, 4, 5], 3))
173 173 [[3], [5]]
174 174 >>> list(_slicechunktosize(revlog, [5, 6, 7, 8], 3))
175 175 [[5], [6, 7, 8]]
176 176 >>> list(_slicechunktosize(revlog, [0, 1, 2, 3, 4, 5, 6, 7, 8], 3))
177 177 [[0], [1, 2], [3], [5], [6, 7, 8]]
178 178
179 179 Case with too large individual chunk (must return valid chunk)
180 180 >>> list(_slicechunktosize(revlog, [0, 1], 2))
181 181 [[0], [1]]
182 182 >>> list(_slicechunktosize(revlog, [1, 3], 1))
183 183 [[1], [3]]
184 184 >>> list(_slicechunktosize(revlog, [3, 4, 5], 2))
185 185 [[3], [5]]
186 186 """
187 187 assert targetsize is None or 0 <= targetsize
188 188 if targetsize is None or segmentspan(revlog, revs) <= targetsize:
189 189 yield revs
190 190 return
191 191
192 192 startrevidx = 0
193 193 startdata = revlog.start(revs[0])
194 194 endrevidx = 0
195 195 iterrevs = enumerate(revs)
196 196 next(iterrevs) # skip first rev.
197 197 for idx, r in iterrevs:
198 198 span = revlog.end(r) - startdata
199 199 if span <= targetsize:
200 200 endrevidx = idx
201 201 else:
202 202 chunk = _trimchunk(revlog, revs, startrevidx, endrevidx + 1)
203 203 if chunk:
204 204 yield chunk
205 205 startrevidx = idx
206 206 startdata = revlog.start(r)
207 207 endrevidx = idx
208 208 yield _trimchunk(revlog, revs, startrevidx)
209 209
210 210 def _slicechunktodensity(revlog, revs, deltainfo=None, targetdensity=0.5,
211 211 mingapsize=0):
212 212 """slice revs to reduce the amount of unrelated data to be read from disk.
213 213
214 214 ``revs`` is sliced into groups that should be read in one time.
215 215 Assume that revs are sorted.
216 216
217 217 ``deltainfo`` is a _deltainfo instance of a revision that we would append
218 218 to the top of the revlog.
219 219
220 220 The initial chunk is sliced until the overall density (payload/chunks-span
221 221 ratio) is above `targetdensity`. No gap smaller than `mingapsize` is
222 222 skipped.
223 223
224 224 >>> revlog = _testrevlog([
225 225 ... 5, #00 (5)
226 226 ... 10, #01 (5)
227 227 ... 12, #02 (2)
228 228 ... 12, #03 (empty)
229 229 ... 27, #04 (15)
230 230 ... 31, #05 (4)
231 231 ... 31, #06 (empty)
232 232 ... 42, #07 (11)
233 233 ... 47, #08 (5)
234 234 ... 47, #09 (empty)
235 235 ... 48, #10 (1)
236 236 ... 51, #11 (3)
237 237 ... 74, #12 (23)
238 238 ... 85, #13 (11)
239 239 ... 86, #14 (1)
240 240 ... 91, #15 (5)
241 241 ... ])
242 242
243 243 >>> list(_slicechunktodensity(revlog, list(range(16))))
244 244 [[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]]
245 245 >>> list(_slicechunktodensity(revlog, [0, 15]))
246 246 [[0], [15]]
247 247 >>> list(_slicechunktodensity(revlog, [0, 11, 15]))
248 248 [[0], [11], [15]]
249 249 >>> list(_slicechunktodensity(revlog, [0, 11, 13, 15]))
250 250 [[0], [11, 13, 15]]
251 251 >>> list(_slicechunktodensity(revlog, [1, 2, 3, 5, 8, 10, 11, 14]))
252 252 [[1, 2], [5, 8, 10, 11], [14]]
253 253 >>> list(_slicechunktodensity(revlog, [1, 2, 3, 5, 8, 10, 11, 14],
254 254 ... mingapsize=20))
255 255 [[1, 2, 3, 5, 8, 10, 11], [14]]
256 256 >>> list(_slicechunktodensity(revlog, [1, 2, 3, 5, 8, 10, 11, 14],
257 257 ... targetdensity=0.95))
258 258 [[1, 2], [5], [8, 10, 11], [14]]
259 259 >>> list(_slicechunktodensity(revlog, [1, 2, 3, 5, 8, 10, 11, 14],
260 260 ... targetdensity=0.95, mingapsize=12))
261 261 [[1, 2], [5, 8, 10, 11], [14]]
262 262 """
263 263 start = revlog.start
264 264 length = revlog.length
265 265
266 266 if len(revs) <= 1:
267 267 yield revs
268 268 return
269 269
270 270 nextrev = len(revlog)
271 271 nextoffset = revlog.end(nextrev - 1)
272 272
273 273 if deltainfo is None:
274 274 deltachainspan = segmentspan(revlog, revs)
275 275 chainpayload = sum(length(r) for r in revs)
276 276 else:
277 277 deltachainspan = deltainfo.distance
278 278 chainpayload = deltainfo.compresseddeltalen
279 279
280 280 if deltachainspan < mingapsize:
281 281 yield revs
282 282 return
283 283
284 284 readdata = deltachainspan
285 285
286 286 if deltachainspan:
287 287 density = chainpayload / float(deltachainspan)
288 288 else:
289 289 density = 1.0
290 290
291 291 if density >= targetdensity:
292 292 yield revs
293 293 return
294 294
295 295 if deltainfo is not None and deltainfo.deltalen:
296 296 revs = list(revs)
297 297 revs.append(nextrev)
298 298
299 299 # Store the gaps in a heap to have them sorted by decreasing size
300 300 gapsheap = []
301 301 heapq.heapify(gapsheap)
302 302 prevend = None
303 303 for i, rev in enumerate(revs):
304 304 if rev < nextrev:
305 305 revstart = start(rev)
306 306 revlen = length(rev)
307 307 else:
308 308 revstart = nextoffset
309 309 revlen = deltainfo.deltalen
310 310
311 311 # Skip empty revisions to form larger holes
312 312 if revlen == 0:
313 313 continue
314 314
315 315 if prevend is not None:
316 316 gapsize = revstart - prevend
317 317 # only consider holes that are large enough
318 318 if gapsize > mingapsize:
319 319 heapq.heappush(gapsheap, (-gapsize, i))
320 320
321 321 prevend = revstart + revlen
322 322
323 323 # Collect the indices of the largest holes until the density is acceptable
324 324 indicesheap = []
325 325 heapq.heapify(indicesheap)
326 326 while gapsheap and density < targetdensity:
327 327 oppgapsize, gapidx = heapq.heappop(gapsheap)
328 328
329 329 heapq.heappush(indicesheap, gapidx)
330 330
331 331 # the gap sizes are stored as negatives to be sorted decreasingly
332 332 # by the heap
333 333 readdata -= (-oppgapsize)
334 334 if readdata > 0:
335 335 density = chainpayload / float(readdata)
336 336 else:
337 337 density = 1.0
338 338
339 339 # Cut the revs at collected indices
340 340 previdx = 0
341 341 while indicesheap:
342 342 idx = heapq.heappop(indicesheap)
343 343
344 344 chunk = _trimchunk(revlog, revs, previdx, idx)
345 345 if chunk:
346 346 yield chunk
347 347
348 348 previdx = idx
349 349
350 350 chunk = _trimchunk(revlog, revs, previdx)
351 351 if chunk:
352 352 yield chunk
353 353
354 354 def _trimchunk(revlog, revs, startidx, endidx=None):
355 355 """returns revs[startidx:endidx] without empty trailing revs
356 356
357 357 Doctest Setup
358 358 >>> revlog = _testrevlog([
359 359 ... 5, #0
360 360 ... 10, #1
361 361 ... 12, #2
362 362 ... 12, #3 (empty)
363 363 ... 17, #4
364 364 ... 21, #5
365 365 ... 21, #6 (empty)
366 366 ... ])
367 367
368 368 Contiguous cases:
369 369 >>> _trimchunk(revlog, [0, 1, 2, 3, 4, 5, 6], 0)
370 370 [0, 1, 2, 3, 4, 5]
371 371 >>> _trimchunk(revlog, [0, 1, 2, 3, 4, 5, 6], 0, 5)
372 372 [0, 1, 2, 3, 4]
373 373 >>> _trimchunk(revlog, [0, 1, 2, 3, 4, 5, 6], 0, 4)
374 374 [0, 1, 2]
375 375 >>> _trimchunk(revlog, [0, 1, 2, 3, 4, 5, 6], 2, 4)
376 376 [2]
377 377 >>> _trimchunk(revlog, [0, 1, 2, 3, 4, 5, 6], 3)
378 378 [3, 4, 5]
379 379 >>> _trimchunk(revlog, [0, 1, 2, 3, 4, 5, 6], 3, 5)
380 380 [3, 4]
381 381
382 382 Discontiguous cases:
383 383 >>> _trimchunk(revlog, [1, 3, 5, 6], 0)
384 384 [1, 3, 5]
385 385 >>> _trimchunk(revlog, [1, 3, 5, 6], 0, 2)
386 386 [1]
387 387 >>> _trimchunk(revlog, [1, 3, 5, 6], 1, 3)
388 388 [3, 5]
389 389 >>> _trimchunk(revlog, [1, 3, 5, 6], 1)
390 390 [3, 5]
391 391 """
392 392 length = revlog.length
393 393
394 394 if endidx is None:
395 395 endidx = len(revs)
396 396
397 397 # If we have a non-emtpy delta candidate, there are nothing to trim
398 398 if revs[endidx - 1] < len(revlog):
399 399 # Trim empty revs at the end, except the very first revision of a chain
400 400 while (endidx > 1
401 401 and endidx > startidx
402 402 and length(revs[endidx - 1]) == 0):
403 403 endidx -= 1
404 404
405 405 return revs[startidx:endidx]
406 406
407 407 def segmentspan(revlog, revs, deltainfo=None):
408 408 """Get the byte span of a segment of revisions
409 409
410 410 revs is a sorted array of revision numbers
411 411
412 412 >>> revlog = _testrevlog([
413 413 ... 5, #0
414 414 ... 10, #1
415 415 ... 12, #2
416 416 ... 12, #3 (empty)
417 417 ... 17, #4
418 418 ... ])
419 419
420 420 >>> segmentspan(revlog, [0, 1, 2, 3, 4])
421 421 17
422 422 >>> segmentspan(revlog, [0, 4])
423 423 17
424 424 >>> segmentspan(revlog, [3, 4])
425 425 5
426 426 >>> segmentspan(revlog, [1, 2, 3,])
427 427 7
428 428 >>> segmentspan(revlog, [1, 3])
429 429 7
430 430 """
431 431 if not revs:
432 432 return 0
433 433 if deltainfo is not None and len(revlog) <= revs[-1]:
434 434 if len(revs) == 1:
435 435 return deltainfo.deltalen
436 436 offset = revlog.end(len(revlog) - 1)
437 437 end = deltainfo.deltalen + offset
438 438 else:
439 439 end = revlog.end(revs[-1])
440 440 return end - revlog.start(revs[0])
441 441
442 442 def _textfromdelta(fh, revlog, baserev, delta, p1, p2, flags, expectednode):
443 443 """build full text from a (base, delta) pair and other metadata"""
444 444 # special case deltas which replace entire base; no need to decode
445 445 # base revision. this neatly avoids censored bases, which throw when
446 446 # they're decoded.
447 447 hlen = struct.calcsize(">lll")
448 448 if delta[:hlen] == mdiff.replacediffheader(revlog.rawsize(baserev),
449 449 len(delta) - hlen):
450 450 fulltext = delta[hlen:]
451 451 else:
452 452 # deltabase is rawtext before changed by flag processors, which is
453 453 # equivalent to non-raw text
454 454 basetext = revlog.revision(baserev, _df=fh, raw=False)
455 455 fulltext = mdiff.patch(basetext, delta)
456 456
457 457 try:
458 458 res = revlog._processflags(fulltext, flags, 'read', raw=True)
459 459 fulltext, validatehash = res
460 460 if validatehash:
461 461 revlog.checkhash(fulltext, expectednode, p1=p1, p2=p2)
462 462 if flags & REVIDX_ISCENSORED:
463 463 raise RevlogError(_('node %s is not censored') % expectednode)
464 464 except CensoredNodeError:
465 465 # must pass the censored index flag to add censored revisions
466 466 if not flags & REVIDX_ISCENSORED:
467 467 raise
468 468 return fulltext
469 469
470 470 @attr.s(slots=True, frozen=True)
471 471 class _deltainfo(object):
472 472 distance = attr.ib()
473 473 deltalen = attr.ib()
474 474 data = attr.ib()
475 475 base = attr.ib()
476 476 chainbase = attr.ib()
477 477 chainlen = attr.ib()
478 478 compresseddeltalen = attr.ib()
479 479 snapshotdepth = attr.ib()
480 480
481 481 def isgooddeltainfo(revlog, deltainfo, revinfo):
482 482 """Returns True if the given delta is good. Good means that it is within
483 483 the disk span, disk size, and chain length bounds that we know to be
484 484 performant."""
485 485 if deltainfo is None:
486 486 return False
487 487
488 488 # - 'deltainfo.distance' is the distance from the base revision --
489 489 # bounding it limits the amount of I/O we need to do.
490 490 # - 'deltainfo.compresseddeltalen' is the sum of the total size of
491 491 # deltas we need to apply -- bounding it limits the amount of CPU
492 492 # we consume.
493 493
494 494 if revlog._sparserevlog:
495 495 # As sparse-read will be used, we can consider that the distance,
496 496 # instead of being the span of the whole chunk,
497 497 # is the span of the largest read chunk
498 498 base = deltainfo.base
499 499
500 500 if base != nullrev:
501 501 deltachain = revlog._deltachain(base)[0]
502 502 else:
503 503 deltachain = []
504 504
505 505 # search for the first non-snapshot revision
506 506 for idx, r in enumerate(deltachain):
507 507 if not revlog.issnapshot(r):
508 508 break
509 509 deltachain = deltachain[idx:]
510 510 chunks = slicechunk(revlog, deltachain, deltainfo)
511 511 all_span = [segmentspan(revlog, revs, deltainfo)
512 512 for revs in chunks]
513 513 distance = max(all_span)
514 514 else:
515 515 distance = deltainfo.distance
516 516
517 517 textlen = revinfo.textlen
518 518 defaultmax = textlen * 4
519 519 maxdist = revlog._maxdeltachainspan
520 520 if not maxdist:
521 521 maxdist = distance # ensure the conditional pass
522 522 maxdist = max(maxdist, defaultmax)
523 523 if revlog._sparserevlog and maxdist < revlog._srmingapsize:
524 524 # In multiple place, we are ignoring irrelevant data range below a
525 525 # certain size. Be also apply this tradeoff here and relax span
526 526 # constraint for small enought content.
527 527 maxdist = revlog._srmingapsize
528 528
529 529 # Bad delta from read span:
530 530 #
531 531 # If the span of data read is larger than the maximum allowed.
532 532 if maxdist < distance:
533 533 return False
534 534
535 535 # Bad delta from new delta size:
536 536 #
537 537 # If the delta size is larger than the target text, storing the
538 538 # delta will be inefficient.
539 539 if textlen < deltainfo.deltalen:
540 540 return False
541 541
542 542 # Bad delta from cumulated payload size:
543 543 #
544 544 # If the sum of delta get larger than K * target text length.
545 545 if textlen * LIMIT_DELTA2TEXT < deltainfo.compresseddeltalen:
546 546 return False
547 547
548 548 # Bad delta from chain length:
549 549 #
550 550 # If the number of delta in the chain gets too high.
551 551 if (revlog._maxchainlen
552 552 and revlog._maxchainlen < deltainfo.chainlen):
553 553 return False
554 554
555 555 # bad delta from intermediate snapshot size limit
556 556 #
557 557 # If an intermediate snapshot size is higher than the limit. The
558 558 # limit exist to prevent endless chain of intermediate delta to be
559 559 # created.
560 560 if (deltainfo.snapshotdepth is not None and
561 561 (textlen >> deltainfo.snapshotdepth) < deltainfo.deltalen):
562 562 return False
563 563
564 564 # bad delta if new intermediate snapshot is larger than the previous
565 565 # snapshot
566 566 if (deltainfo.snapshotdepth
567 567 and revlog.length(deltainfo.base) < deltainfo.deltalen):
568 568 return False
569 569
570 570 return True
571 571
572 572 def _candidategroups(revlog, textlen, p1, p2, cachedelta):
573 573 """Provides group of revision to be tested as delta base
574 574
575 575 This top level function focus on emitting groups with unique and worthwhile
576 576 content. See _raw_candidate_groups for details about the group order.
577 577 """
578 578 # should we try to build a delta?
579 579 if not (len(revlog) and revlog._storedeltachains):
580 yield None
580 581 return
581 582
582 583 deltalength = revlog.length
583 584 deltaparent = revlog.deltaparent
584 585
585 586 deltas_limit = textlen * LIMIT_DELTA2TEXT
586 587
587 588 tested = set([nullrev])
588 589 for temptative in _refinedgroups(revlog, p1, p2, cachedelta):
589 590 group = []
590 591 for rev in temptative:
591 592 # skip over empty delta (no need to include them in a chain)
592 593 while not (rev == nullrev or rev in tested or deltalength(rev)):
593 594 rev = deltaparent(rev)
594 595 tested.add(rev)
595 596 # filter out revision we tested already
596 597 if rev in tested:
597 598 continue
598 599 tested.add(rev)
599 600 # filter out delta base that will never produce good delta
600 601 if deltas_limit < revlog.length(rev):
601 602 continue
602 603 # no need to try a delta against nullrev, this will be done as a
603 604 # last resort.
604 605 if rev == nullrev:
605 606 continue
606 607 # no delta for rawtext-changing revs (see "candelta" for why)
607 608 if revlog.flags(rev) & REVIDX_RAWTEXT_CHANGING_FLAGS:
608 609 continue
609 610 group.append(rev)
610 611 if group:
611 612 # XXX: in the sparse revlog case, group can become large,
612 613 # impacting performances. Some bounding or slicing mecanism
613 614 # would help to reduce this impact.
614 615 yield tuple(group)
616 yield None
615 617
616 618 def _findsnapshots(revlog, cache, start_rev):
617 619 """find snapshot from start_rev to tip"""
618 620 deltaparent = revlog.deltaparent
619 621 issnapshot = revlog.issnapshot
620 622 for rev in revlog.revs(start_rev):
621 623 if issnapshot(rev):
622 624 cache[deltaparent(rev)].append(rev)
623 625
624 626 def _refinedgroups(revlog, p1, p2, cachedelta):
625 627 good = None
626 628 for candidates in _rawgroups(revlog, p1, p2, cachedelta):
627 629 good = yield candidates
628 630 if good is not None:
629 631 break
630 632
631 633 def _rawgroups(revlog, p1, p2, cachedelta):
632 634 """Provides group of revision to be tested as delta base
633 635
634 636 This lower level function focus on emitting delta theorically interresting
635 637 without looking it any practical details.
636 638
637 639 The group order aims at providing fast or small candidates first.
638 640 """
639 641 gdelta = revlog._generaldelta
640 642 sparse = revlog._sparserevlog
641 643 curr = len(revlog)
642 644 prev = curr - 1
643 645 deltachain = lambda rev: revlog._deltachain(rev)[0]
644 646
645 647 # First we try to reuse a the delta contained in the bundle.
646 648 # (or from the source revlog)
647 649 #
648 650 # This logic only applies to general delta repositories and can be disabled
649 651 # through configuration. Disabling reuse of source delta is useful when
650 652 # we want to make sure we recomputed "optimal" deltas.
651 653 if cachedelta and gdelta and revlog._lazydeltabase:
652 654 # Assume what we received from the server is a good choice
653 655 # build delta will reuse the cache
654 656 yield (cachedelta[0],)
655 657
656 658 if gdelta:
657 659 # exclude already lazy tested base if any
658 660 parents = [p for p in (p1, p2) if p != nullrev]
659 661
660 662 if not revlog._deltabothparents and len(parents) == 2:
661 663 parents.sort()
662 664 # To minimize the chance of having to build a fulltext,
663 665 # pick first whichever parent is closest to us (max rev)
664 666 yield (parents[1],)
665 667 # then the other one (min rev) if the first did not fit
666 668 yield (parents[0],)
667 669 elif len(parents) > 0:
668 670 # Test all parents (1 or 2), and keep the best candidate
669 671 yield parents
670 672
671 673 if sparse and parents:
672 674 snapshots = collections.defaultdict(list) # map: base-rev: snapshot-rev
673 675 # See if we can use an existing snapshot in the parent chains to use as
674 676 # a base for a new intermediate-snapshot
675 677 #
676 678 # search for snapshot in parents delta chain
677 679 # map: snapshot-level: snapshot-rev
678 680 parents_snaps = collections.defaultdict(set)
679 681 for p in parents:
680 682 for idx, s in enumerate(deltachain(p)):
681 683 if not revlog.issnapshot(s):
682 684 break
683 685 parents_snaps[idx].add(s)
684 686 snapfloor = min(parents_snaps[0]) + 1
685 687 _findsnapshots(revlog, snapshots, snapfloor)
686 688 # Test them as possible intermediate snapshot base
687 689 # We test them from highest to lowest level. High level one are more
688 690 # likely to result in small delta
689 691 floor = None
690 692 for idx, snaps in sorted(parents_snaps.items(), reverse=True):
691 693 siblings = set()
692 694 for s in snaps:
693 695 siblings.update(snapshots[s])
694 696 # Before considering making a new intermediate snapshot, we check
695 697 # if an existing snapshot, children of base we consider, would be
696 698 # suitable.
697 699 #
698 700 # It give a change to reuse a delta chain "unrelated" to the
699 701 # current revision instead of starting our own. Without such
700 702 # re-use, topological branches would keep reopening new chains.
701 703 # Creating more and more snapshot as the repository grow.
702 704
703 705 if floor is not None:
704 706 # We only do this for siblings created after the one in our
705 707 # parent's delta chain. Those created before has less chances
706 708 # to be valid base since our ancestors had to create a new
707 709 # snapshot.
708 710 siblings = [r for r in siblings if floor < r]
709 711 yield tuple(sorted(siblings))
710 712 # then test the base from our parent's delta chain.
711 713 yield tuple(sorted(snaps))
712 714 floor = min(snaps)
713 715 # No suitable base found in the parent chain, search if any full
714 716 # snapshots emitted since parent's base would be a suitable base for an
715 717 # intermediate snapshot.
716 718 #
717 719 # It give a chance to reuse a delta chain unrelated to the current
718 720 # revisions instead of starting our own. Without such re-use,
719 721 # topological branches would keep reopening new full chains. Creating
720 722 # more and more snapshot as the repository grow.
721 723 yield tuple(snapshots[nullrev])
722 724
723 725 # other approach failed try against prev to hopefully save us a
724 726 # fulltext.
725 727 yield (prev,)
726 728
727 729 class deltacomputer(object):
728 730 def __init__(self, revlog):
729 731 self.revlog = revlog
730 732
731 733 def buildtext(self, revinfo, fh):
732 734 """Builds a fulltext version of a revision
733 735
734 736 revinfo: _revisioninfo instance that contains all needed info
735 737 fh: file handle to either the .i or the .d revlog file,
736 738 depending on whether it is inlined or not
737 739 """
738 740 btext = revinfo.btext
739 741 if btext[0] is not None:
740 742 return btext[0]
741 743
742 744 revlog = self.revlog
743 745 cachedelta = revinfo.cachedelta
744 746 baserev = cachedelta[0]
745 747 delta = cachedelta[1]
746 748
747 749 fulltext = btext[0] = _textfromdelta(fh, revlog, baserev, delta,
748 750 revinfo.p1, revinfo.p2,
749 751 revinfo.flags, revinfo.node)
750 752 return fulltext
751 753
752 754 def _builddeltadiff(self, base, revinfo, fh):
753 755 revlog = self.revlog
754 756 t = self.buildtext(revinfo, fh)
755 757 if revlog.iscensored(base):
756 758 # deltas based on a censored revision must replace the
757 759 # full content in one patch, so delta works everywhere
758 760 header = mdiff.replacediffheader(revlog.rawsize(base), len(t))
759 761 delta = header + t
760 762 else:
761 763 ptext = revlog.revision(base, _df=fh, raw=True)
762 764 delta = mdiff.textdiff(ptext, t)
763 765
764 766 return delta
765 767
766 768 def _builddeltainfo(self, revinfo, base, fh):
767 769 # can we use the cached delta?
768 770 if revinfo.cachedelta and revinfo.cachedelta[0] == base:
769 771 delta = revinfo.cachedelta[1]
770 772 else:
771 773 delta = self._builddeltadiff(base, revinfo, fh)
772 774 revlog = self.revlog
773 775 header, data = revlog.compress(delta)
774 776 deltalen = len(header) + len(data)
775 777 chainbase = revlog.chainbase(base)
776 778 offset = revlog.end(len(revlog) - 1)
777 779 dist = deltalen + offset - revlog.start(chainbase)
778 780 if revlog._generaldelta:
779 781 deltabase = base
780 782 else:
781 783 deltabase = chainbase
782 784 chainlen, compresseddeltalen = revlog._chaininfo(base)
783 785 chainlen += 1
784 786 compresseddeltalen += deltalen
785 787
786 788 revlog = self.revlog
787 789 snapshotdepth = None
788 790 if deltabase == nullrev:
789 791 snapshotdepth = 0
790 792 elif revlog._sparserevlog and revlog.issnapshot(deltabase):
791 793 # A delta chain should always be one full snapshot,
792 794 # zero or more semi-snapshots, and zero or more deltas
793 795 p1, p2 = revlog.rev(revinfo.p1), revlog.rev(revinfo.p2)
794 796 if deltabase not in (p1, p2) and revlog.issnapshot(deltabase):
795 797 snapshotdepth = len(revlog._deltachain(deltabase)[0])
796 798
797 799 return _deltainfo(dist, deltalen, (header, data), deltabase,
798 800 chainbase, chainlen, compresseddeltalen,
799 801 snapshotdepth)
800 802
801 803 def _fullsnapshotinfo(self, fh, revinfo):
802 804 curr = len(self.revlog)
803 805 rawtext = self.buildtext(revinfo, fh)
804 806 data = self.revlog.compress(rawtext)
805 807 compresseddeltalen = deltalen = dist = len(data[1]) + len(data[0])
806 808 deltabase = chainbase = curr
807 809 snapshotdepth = 0
808 810 chainlen = 1
809 811
810 812 return _deltainfo(dist, deltalen, data, deltabase,
811 813 chainbase, chainlen, compresseddeltalen,
812 814 snapshotdepth)
813 815
814 816 def finddeltainfo(self, revinfo, fh):
815 817 """Find an acceptable delta against a candidate revision
816 818
817 819 revinfo: information about the revision (instance of _revisioninfo)
818 820 fh: file handle to either the .i or the .d revlog file,
819 821 depending on whether it is inlined or not
820 822
821 823 Returns the first acceptable candidate revision, as ordered by
822 824 _candidategroups
823 825
824 826 If no suitable deltabase is found, we return delta info for a full
825 827 snapshot.
826 828 """
827 829 if not revinfo.textlen:
828 830 return self._fullsnapshotinfo(fh, revinfo)
829 831
830 832 # no delta for flag processor revision (see "candelta" for why)
831 833 # not calling candelta since only one revision needs test, also to
832 834 # avoid overhead fetching flags again.
833 835 if revinfo.flags & REVIDX_RAWTEXT_CHANGING_FLAGS:
834 836 return self._fullsnapshotinfo(fh, revinfo)
835 837
836 838 cachedelta = revinfo.cachedelta
837 839 p1 = revinfo.p1
838 840 p2 = revinfo.p2
839 841 revlog = self.revlog
840 842
841 843 deltainfo = None
842 844 p1r, p2r = revlog.rev(p1), revlog.rev(p2)
843 845 groups = _candidategroups(self.revlog, revinfo.textlen,
844 846 p1r, p2r, cachedelta)
845 for candidaterevs in groups:
847 candidaterevs = next(groups)
848 while candidaterevs is not None:
846 849 nominateddeltas = []
847 850 for candidaterev in candidaterevs:
848 851 candidatedelta = self._builddeltainfo(revinfo, candidaterev, fh)
849 852 if isgooddeltainfo(self.revlog, candidatedelta, revinfo):
850 853 nominateddeltas.append(candidatedelta)
851 854 if nominateddeltas:
852 855 deltainfo = min(nominateddeltas, key=lambda x: x.deltalen)
853 856 break
857 candidaterevs = next(groups)
854 858
855 859 if deltainfo is None:
856 860 deltainfo = self._fullsnapshotinfo(fh, revinfo)
857 861 return deltainfo
General Comments 0
You need to be logged in to leave comments. Login now