##// END OF EJS Templates
revlog: rename `versionflags` to header...
marmoute -
r47941:6e0ee181 default
parent child Browse files
Show More
@@ -1,3180 +1,3180 b''
1 1 # revlog.py - storage back-end for mercurial
2 2 #
3 3 # Copyright 2005-2007 Olivia Mackall <olivia@selenic.com>
4 4 #
5 5 # This software may be used and distributed according to the terms of the
6 6 # GNU General Public License version 2 or any later version.
7 7
8 8 """Storage back-end for Mercurial.
9 9
10 10 This provides efficient delta storage with O(1) retrieve and append
11 11 and O(changes) merge between branches.
12 12 """
13 13
14 14 from __future__ import absolute_import
15 15
16 16 import binascii
17 17 import collections
18 18 import contextlib
19 19 import errno
20 20 import io
21 21 import os
22 22 import struct
23 23 import zlib
24 24
25 25 # import stuff from node for others to import from revlog
26 26 from .node import (
27 27 bin,
28 28 hex,
29 29 nullrev,
30 30 sha1nodeconstants,
31 31 short,
32 32 wdirrev,
33 33 )
34 34 from .i18n import _
35 35 from .pycompat import getattr
36 36 from .revlogutils.constants import (
37 37 ALL_KINDS,
38 38 FLAG_GENERALDELTA,
39 39 FLAG_INLINE_DATA,
40 40 INDEX_HEADER,
41 41 REVLOGV0,
42 42 REVLOGV1,
43 43 REVLOGV1_FLAGS,
44 44 REVLOGV2,
45 45 REVLOGV2_FLAGS,
46 46 REVLOG_DEFAULT_FLAGS,
47 47 REVLOG_DEFAULT_FORMAT,
48 48 REVLOG_DEFAULT_VERSION,
49 49 )
50 50 from .revlogutils.flagutil import (
51 51 REVIDX_DEFAULT_FLAGS,
52 52 REVIDX_ELLIPSIS,
53 53 REVIDX_EXTSTORED,
54 54 REVIDX_FLAGS_ORDER,
55 55 REVIDX_HASCOPIESINFO,
56 56 REVIDX_ISCENSORED,
57 57 REVIDX_RAWTEXT_CHANGING_FLAGS,
58 58 )
59 59 from .thirdparty import attr
60 60 from . import (
61 61 ancestor,
62 62 dagop,
63 63 error,
64 64 mdiff,
65 65 policy,
66 66 pycompat,
67 67 templatefilters,
68 68 util,
69 69 )
70 70 from .interfaces import (
71 71 repository,
72 72 util as interfaceutil,
73 73 )
74 74 from .revlogutils import (
75 75 deltas as deltautil,
76 76 flagutil,
77 77 nodemap as nodemaputil,
78 78 revlogv0,
79 79 sidedata as sidedatautil,
80 80 )
81 81 from .utils import (
82 82 storageutil,
83 83 stringutil,
84 84 )
85 85
86 86 # blanked usage of all the name to prevent pyflakes constraints
87 87 # We need these name available in the module for extensions.
88 88
89 89 REVLOGV0
90 90 REVLOGV1
91 91 REVLOGV2
92 92 FLAG_INLINE_DATA
93 93 FLAG_GENERALDELTA
94 94 REVLOG_DEFAULT_FLAGS
95 95 REVLOG_DEFAULT_FORMAT
96 96 REVLOG_DEFAULT_VERSION
97 97 REVLOGV1_FLAGS
98 98 REVLOGV2_FLAGS
99 99 REVIDX_ISCENSORED
100 100 REVIDX_ELLIPSIS
101 101 REVIDX_HASCOPIESINFO
102 102 REVIDX_EXTSTORED
103 103 REVIDX_DEFAULT_FLAGS
104 104 REVIDX_FLAGS_ORDER
105 105 REVIDX_RAWTEXT_CHANGING_FLAGS
106 106
107 107 parsers = policy.importmod('parsers')
108 108 rustancestor = policy.importrust('ancestor')
109 109 rustdagop = policy.importrust('dagop')
110 110 rustrevlog = policy.importrust('revlog')
111 111
112 112 # Aliased for performance.
113 113 _zlibdecompress = zlib.decompress
114 114
115 115 # max size of revlog with inline data
116 116 _maxinline = 131072
117 117 _chunksize = 1048576
118 118
119 119 # Flag processors for REVIDX_ELLIPSIS.
120 120 def ellipsisreadprocessor(rl, text):
121 121 return text, False
122 122
123 123
124 124 def ellipsiswriteprocessor(rl, text):
125 125 return text, False
126 126
127 127
128 128 def ellipsisrawprocessor(rl, text):
129 129 return False
130 130
131 131
132 132 ellipsisprocessor = (
133 133 ellipsisreadprocessor,
134 134 ellipsiswriteprocessor,
135 135 ellipsisrawprocessor,
136 136 )
137 137
138 138
139 139 def offset_type(offset, type):
140 140 if (type & ~flagutil.REVIDX_KNOWN_FLAGS) != 0:
141 141 raise ValueError(b'unknown revlog index flags')
142 142 return int(int(offset) << 16 | type)
143 143
144 144
145 145 def _verify_revision(rl, skipflags, state, node):
146 146 """Verify the integrity of the given revlog ``node`` while providing a hook
147 147 point for extensions to influence the operation."""
148 148 if skipflags:
149 149 state[b'skipread'].add(node)
150 150 else:
151 151 # Side-effect: read content and verify hash.
152 152 rl.revision(node)
153 153
154 154
155 155 # True if a fast implementation for persistent-nodemap is available
156 156 #
157 157 # We also consider we have a "fast" implementation in "pure" python because
158 158 # people using pure don't really have performance consideration (and a
159 159 # wheelbarrow of other slowness source)
160 160 HAS_FAST_PERSISTENT_NODEMAP = rustrevlog is not None or util.safehasattr(
161 161 parsers, 'BaseIndexObject'
162 162 )
163 163
164 164
165 165 @attr.s(slots=True, frozen=True)
166 166 class _revisioninfo(object):
167 167 """Information about a revision that allows building its fulltext
168 168 node: expected hash of the revision
169 169 p1, p2: parent revs of the revision
170 170 btext: built text cache consisting of a one-element list
171 171 cachedelta: (baserev, uncompressed_delta) or None
172 172 flags: flags associated to the revision storage
173 173
174 174 One of btext[0] or cachedelta must be set.
175 175 """
176 176
177 177 node = attr.ib()
178 178 p1 = attr.ib()
179 179 p2 = attr.ib()
180 180 btext = attr.ib()
181 181 textlen = attr.ib()
182 182 cachedelta = attr.ib()
183 183 flags = attr.ib()
184 184
185 185
186 186 @interfaceutil.implementer(repository.irevisiondelta)
187 187 @attr.s(slots=True)
188 188 class revlogrevisiondelta(object):
189 189 node = attr.ib()
190 190 p1node = attr.ib()
191 191 p2node = attr.ib()
192 192 basenode = attr.ib()
193 193 flags = attr.ib()
194 194 baserevisionsize = attr.ib()
195 195 revision = attr.ib()
196 196 delta = attr.ib()
197 197 sidedata = attr.ib()
198 198 protocol_flags = attr.ib()
199 199 linknode = attr.ib(default=None)
200 200
201 201
202 202 @interfaceutil.implementer(repository.iverifyproblem)
203 203 @attr.s(frozen=True)
204 204 class revlogproblem(object):
205 205 warning = attr.ib(default=None)
206 206 error = attr.ib(default=None)
207 207 node = attr.ib(default=None)
208 208
209 209
210 210 def parse_index_v1(data, inline):
211 211 # call the C implementation to parse the index data
212 212 index, cache = parsers.parse_index2(data, inline)
213 213 return index, cache
214 214
215 215
216 216 def parse_index_v2(data, inline):
217 217 # call the C implementation to parse the index data
218 218 index, cache = parsers.parse_index2(data, inline, revlogv2=True)
219 219 return index, cache
220 220
221 221
222 222 if util.safehasattr(parsers, 'parse_index_devel_nodemap'):
223 223
224 224 def parse_index_v1_nodemap(data, inline):
225 225 index, cache = parsers.parse_index_devel_nodemap(data, inline)
226 226 return index, cache
227 227
228 228
229 229 else:
230 230 parse_index_v1_nodemap = None
231 231
232 232
233 233 def parse_index_v1_mixed(data, inline):
234 234 index, cache = parse_index_v1(data, inline)
235 235 return rustrevlog.MixedIndex(index), cache
236 236
237 237
238 238 # corresponds to uncompressed length of indexformatng (2 gigs, 4-byte
239 239 # signed integer)
240 240 _maxentrysize = 0x7FFFFFFF
241 241
242 242
243 243 class revlog(object):
244 244 """
245 245 the underlying revision storage object
246 246
247 247 A revlog consists of two parts, an index and the revision data.
248 248
249 249 The index is a file with a fixed record size containing
250 250 information on each revision, including its nodeid (hash), the
251 251 nodeids of its parents, the position and offset of its data within
252 252 the data file, and the revision it's based on. Finally, each entry
253 253 contains a linkrev entry that can serve as a pointer to external
254 254 data.
255 255
256 256 The revision data itself is a linear collection of data chunks.
257 257 Each chunk represents a revision and is usually represented as a
258 258 delta against the previous chunk. To bound lookup time, runs of
259 259 deltas are limited to about 2 times the length of the original
260 260 version data. This makes retrieval of a version proportional to
261 261 its size, or O(1) relative to the number of revisions.
262 262
263 263 Both pieces of the revlog are written to in an append-only
264 264 fashion, which means we never need to rewrite a file to insert or
265 265 remove data, and can use some simple techniques to avoid the need
266 266 for locking while reading.
267 267
268 268 If checkambig, indexfile is opened with checkambig=True at
269 269 writing, to avoid file stat ambiguity.
270 270
271 271 If mmaplargeindex is True, and an mmapindexthreshold is set, the
272 272 index will be mmapped rather than read if it is larger than the
273 273 configured threshold.
274 274
275 275 If censorable is True, the revlog can have censored revisions.
276 276
277 277 If `upperboundcomp` is not None, this is the expected maximal gain from
278 278 compression for the data content.
279 279
280 280 `concurrencychecker` is an optional function that receives 3 arguments: a
281 281 file handle, a filename, and an expected position. It should check whether
282 282 the current position in the file handle is valid, and log/warn/fail (by
283 283 raising).
284 284 """
285 285
286 286 _flagserrorclass = error.RevlogError
287 287
288 288 def __init__(
289 289 self,
290 290 opener,
291 291 target,
292 292 radix,
293 293 postfix=None,
294 294 checkambig=False,
295 295 mmaplargeindex=False,
296 296 censorable=False,
297 297 upperboundcomp=None,
298 298 persistentnodemap=False,
299 299 concurrencychecker=None,
300 300 ):
301 301 """
302 302 create a revlog object
303 303
304 304 opener is a function that abstracts the file opening operation
305 305 and can be used to implement COW semantics or the like.
306 306
307 307 `target`: a (KIND, ID) tuple that identify the content stored in
308 308 this revlog. It help the rest of the code to understand what the revlog
309 309 is about without having to resort to heuristic and index filename
310 310 analysis. Note: that this must be reliably be set by normal code, but
311 311 that test, debug, or performance measurement code might not set this to
312 312 accurate value.
313 313 """
314 314 self.upperboundcomp = upperboundcomp
315 315
316 316 self.radix = radix
317 317
318 318 self._indexfile = None
319 319 self._datafile = None
320 320 self._nodemap_file = None
321 321 self.postfix = postfix
322 322 self.opener = opener
323 323 if persistentnodemap:
324 324 self._nodemap_file = nodemaputil.get_nodemap_file(self)
325 325
326 326 assert target[0] in ALL_KINDS
327 327 assert len(target) == 2
328 328 self.target = target
329 329 # When True, indexfile is opened with checkambig=True at writing, to
330 330 # avoid file stat ambiguity.
331 331 self._checkambig = checkambig
332 332 self._mmaplargeindex = mmaplargeindex
333 333 self._censorable = censorable
334 334 # 3-tuple of (node, rev, text) for a raw revision.
335 335 self._revisioncache = None
336 336 # Maps rev to chain base rev.
337 337 self._chainbasecache = util.lrucachedict(100)
338 338 # 2-tuple of (offset, data) of raw data from the revlog at an offset.
339 339 self._chunkcache = (0, b'')
340 340 # How much data to read and cache into the raw revlog data cache.
341 341 self._chunkcachesize = 65536
342 342 self._maxchainlen = None
343 343 self._deltabothparents = True
344 344 self.index = None
345 345 self._nodemap_docket = None
346 346 # Mapping of partial identifiers to full nodes.
347 347 self._pcache = {}
348 348 # Mapping of revision integer to full node.
349 349 self._compengine = b'zlib'
350 350 self._compengineopts = {}
351 351 self._maxdeltachainspan = -1
352 352 self._withsparseread = False
353 353 self._sparserevlog = False
354 354 self._srdensitythreshold = 0.50
355 355 self._srmingapsize = 262144
356 356
357 357 # Make copy of flag processors so each revlog instance can support
358 358 # custom flags.
359 359 self._flagprocessors = dict(flagutil.flagprocessors)
360 360
361 361 # 2-tuple of file handles being used for active writing.
362 362 self._writinghandles = None
363 363
364 364 self._loadindex()
365 365
366 366 self._concurrencychecker = concurrencychecker
367 367
368 368 def _init_opts(self):
369 369 """process options (from above/config) to setup associated default revlog mode
370 370
371 371 These values might be affected when actually reading on disk information.
372 372
373 373 The relevant values are returned for use in _loadindex().
374 374
375 375 * newversionflags:
376 376 version header to use if we need to create a new revlog
377 377
378 378 * mmapindexthreshold:
379 379 minimal index size for start to use mmap
380 380
381 381 * force_nodemap:
382 382 force the usage of a "development" version of the nodemap code
383 383 """
384 384 mmapindexthreshold = None
385 385 opts = self.opener.options
386 386
387 387 if b'revlogv2' in opts:
388 388 newversionflags = REVLOGV2 | FLAG_INLINE_DATA
389 389 elif b'revlogv1' in opts:
390 390 newversionflags = REVLOGV1 | FLAG_INLINE_DATA
391 391 if b'generaldelta' in opts:
392 392 newversionflags |= FLAG_GENERALDELTA
393 393 elif b'revlogv0' in self.opener.options:
394 394 newversionflags = REVLOGV0
395 395 else:
396 396 newversionflags = REVLOG_DEFAULT_VERSION
397 397
398 398 if b'chunkcachesize' in opts:
399 399 self._chunkcachesize = opts[b'chunkcachesize']
400 400 if b'maxchainlen' in opts:
401 401 self._maxchainlen = opts[b'maxchainlen']
402 402 if b'deltabothparents' in opts:
403 403 self._deltabothparents = opts[b'deltabothparents']
404 404 self._lazydelta = bool(opts.get(b'lazydelta', True))
405 405 self._lazydeltabase = False
406 406 if self._lazydelta:
407 407 self._lazydeltabase = bool(opts.get(b'lazydeltabase', False))
408 408 if b'compengine' in opts:
409 409 self._compengine = opts[b'compengine']
410 410 if b'zlib.level' in opts:
411 411 self._compengineopts[b'zlib.level'] = opts[b'zlib.level']
412 412 if b'zstd.level' in opts:
413 413 self._compengineopts[b'zstd.level'] = opts[b'zstd.level']
414 414 if b'maxdeltachainspan' in opts:
415 415 self._maxdeltachainspan = opts[b'maxdeltachainspan']
416 416 if self._mmaplargeindex and b'mmapindexthreshold' in opts:
417 417 mmapindexthreshold = opts[b'mmapindexthreshold']
418 418 self.hassidedata = bool(opts.get(b'side-data', False))
419 419 self._sparserevlog = bool(opts.get(b'sparse-revlog', False))
420 420 withsparseread = bool(opts.get(b'with-sparse-read', False))
421 421 # sparse-revlog forces sparse-read
422 422 self._withsparseread = self._sparserevlog or withsparseread
423 423 if b'sparse-read-density-threshold' in opts:
424 424 self._srdensitythreshold = opts[b'sparse-read-density-threshold']
425 425 if b'sparse-read-min-gap-size' in opts:
426 426 self._srmingapsize = opts[b'sparse-read-min-gap-size']
427 427 if opts.get(b'enableellipsis'):
428 428 self._flagprocessors[REVIDX_ELLIPSIS] = ellipsisprocessor
429 429
430 430 # revlog v0 doesn't have flag processors
431 431 for flag, processor in pycompat.iteritems(
432 432 opts.get(b'flagprocessors', {})
433 433 ):
434 434 flagutil.insertflagprocessor(flag, processor, self._flagprocessors)
435 435
436 436 if self._chunkcachesize <= 0:
437 437 raise error.RevlogError(
438 438 _(b'revlog chunk cache size %r is not greater than 0')
439 439 % self._chunkcachesize
440 440 )
441 441 elif self._chunkcachesize & (self._chunkcachesize - 1):
442 442 raise error.RevlogError(
443 443 _(b'revlog chunk cache size %r is not a power of 2')
444 444 % self._chunkcachesize
445 445 )
446 446 force_nodemap = opts.get(b'devel-force-nodemap', False)
447 447 return newversionflags, mmapindexthreshold, force_nodemap
448 448
449 449 def _get_data(self, filepath, mmap_threshold):
450 450 """return a file content with or without mmap
451 451
452 452 If the file is missing return the empty string"""
453 453 try:
454 454 with self.opener(filepath) as fp:
455 455 if mmap_threshold is not None:
456 456 file_size = self.opener.fstat(fp).st_size
457 457 if file_size >= mmap_threshold:
458 458 # TODO: should .close() to release resources without
459 459 # relying on Python GC
460 460 return util.buffer(util.mmapread(fp))
461 461 return fp.read()
462 462 except IOError as inst:
463 463 if inst.errno != errno.ENOENT:
464 464 raise
465 465 return b''
466 466
467 467 def _loadindex(self):
468 468
469 469 newversionflags, mmapindexthreshold, force_nodemap = self._init_opts()
470 470
471 471 if self.postfix is None:
472 472 index_file = b'%s.i' % self.radix
473 473 data_file = b'%s.d' % self.radix
474 474 elif self.postfix == b'a':
475 475 index_file = b'%s.i.a' % self.radix
476 476 data_file = b'%s.d' % self.radix
477 477 else:
478 478 index_file = b'%s.i.%s' % (self.radix, self.postfix)
479 479 data_file = b'%s.d.%s' % (self.radix, self.postfix)
480 480
481 481 self._indexfile = index_file
482 482 self._datafile = data_file
483 483
484 484 indexdata = b''
485 485 self._initempty = True
486 486 indexdata = self._get_data(self._indexfile, mmapindexthreshold)
487 487 if len(indexdata) > 0:
488 versionflags = INDEX_HEADER.unpack(indexdata[:4])[0]
488 header = INDEX_HEADER.unpack(indexdata[:4])[0]
489 489 self._initempty = False
490 490 else:
491 versionflags = newversionflags
492
493 flags = self._format_flags = versionflags & ~0xFFFF
494 fmt = self._format_version = versionflags & 0xFFFF
491 header = newversionflags
492
493 flags = self._format_flags = header & ~0xFFFF
494 fmt = self._format_version = header & 0xFFFF
495 495
496 496 if fmt == REVLOGV0:
497 497 if flags:
498 498 raise error.RevlogError(
499 499 _(b'unknown flags (%#04x) in version %d revlog %s')
500 500 % (flags >> 16, fmt, self.display_id)
501 501 )
502 502
503 503 self._inline = False
504 504 self._generaldelta = False
505 505
506 506 elif fmt == REVLOGV1:
507 507 if flags & ~REVLOGV1_FLAGS:
508 508 raise error.RevlogError(
509 509 _(b'unknown flags (%#04x) in version %d revlog %s')
510 510 % (flags >> 16, fmt, self.display_id)
511 511 )
512 512
513 self._inline = versionflags & FLAG_INLINE_DATA
514 self._generaldelta = versionflags & FLAG_GENERALDELTA
513 self._inline = header & FLAG_INLINE_DATA
514 self._generaldelta = header & FLAG_GENERALDELTA
515 515
516 516 elif fmt == REVLOGV2:
517 517 if flags & ~REVLOGV2_FLAGS:
518 518 raise error.RevlogError(
519 519 _(b'unknown flags (%#04x) in version %d revlog %s')
520 520 % (flags >> 16, fmt, self.display_id)
521 521 )
522 522
523 523 # There is a bug in the transaction handling when going from an
524 524 # inline revlog to a separate index and data file. Turn it off until
525 525 # it's fixed, since v2 revlogs sometimes get rewritten on exchange.
526 526 # See issue6485
527 527 self._inline = False
528 528 # generaldelta implied by version 2 revlogs.
529 529 self._generaldelta = True
530 530
531 531 else:
532 532 raise error.RevlogError(
533 533 _(b'unknown version (%d) in revlog %s') % (fmt, self.display_id)
534 534 )
535 535
536 536 self.nodeconstants = sha1nodeconstants
537 537 self.nullid = self.nodeconstants.nullid
538 538
539 539 # sparse-revlog can't be on without general-delta (issue6056)
540 540 if not self._generaldelta:
541 541 self._sparserevlog = False
542 542
543 543 self._storedeltachains = True
544 544
545 545 devel_nodemap = (
546 546 self._nodemap_file
547 547 and force_nodemap
548 548 and parse_index_v1_nodemap is not None
549 549 )
550 550
551 551 use_rust_index = False
552 552 if rustrevlog is not None:
553 553 if self._nodemap_file is not None:
554 554 use_rust_index = True
555 555 else:
556 556 use_rust_index = self.opener.options.get(b'rust.index')
557 557
558 558 self._parse_index = parse_index_v1
559 559 if self._format_version == REVLOGV0:
560 560 self._parse_index = revlogv0.parse_index_v0
561 561 elif fmt == REVLOGV2:
562 562 self._parse_index = parse_index_v2
563 563 elif devel_nodemap:
564 564 self._parse_index = parse_index_v1_nodemap
565 565 elif use_rust_index:
566 566 self._parse_index = parse_index_v1_mixed
567 567 try:
568 568 d = self._parse_index(indexdata, self._inline)
569 569 index, _chunkcache = d
570 570 use_nodemap = (
571 571 not self._inline
572 572 and self._nodemap_file is not None
573 573 and util.safehasattr(index, 'update_nodemap_data')
574 574 )
575 575 if use_nodemap:
576 576 nodemap_data = nodemaputil.persisted_data(self)
577 577 if nodemap_data is not None:
578 578 docket = nodemap_data[0]
579 579 if (
580 580 len(d[0]) > docket.tip_rev
581 581 and d[0][docket.tip_rev][7] == docket.tip_node
582 582 ):
583 583 # no changelog tampering
584 584 self._nodemap_docket = docket
585 585 index.update_nodemap_data(*nodemap_data)
586 586 except (ValueError, IndexError):
587 587 raise error.RevlogError(
588 588 _(b"index %s is corrupted") % self.display_id
589 589 )
590 590 self.index, self._chunkcache = d
591 591 if not self._chunkcache:
592 592 self._chunkclear()
593 593 # revnum -> (chain-length, sum-delta-length)
594 594 self._chaininfocache = util.lrucachedict(500)
595 595 # revlog header -> revlog compressor
596 596 self._decompressors = {}
597 597
598 598 @util.propertycache
599 599 def revlog_kind(self):
600 600 return self.target[0]
601 601
602 602 @util.propertycache
603 603 def display_id(self):
604 604 """The public facing "ID" of the revlog that we use in message"""
605 605 # Maybe we should build a user facing representation of
606 606 # revlog.target instead of using `self.radix`
607 607 return self.radix
608 608
609 609 @util.propertycache
610 610 def _compressor(self):
611 611 engine = util.compengines[self._compengine]
612 612 return engine.revlogcompressor(self._compengineopts)
613 613
614 614 def _indexfp(self, mode=b'r'):
615 615 """file object for the revlog's index file"""
616 616 args = {'mode': mode}
617 617 if mode != b'r':
618 618 args['checkambig'] = self._checkambig
619 619 if mode == b'w':
620 620 args['atomictemp'] = True
621 621 return self.opener(self._indexfile, **args)
622 622
623 623 def _datafp(self, mode=b'r'):
624 624 """file object for the revlog's data file"""
625 625 return self.opener(self._datafile, mode=mode)
626 626
627 627 @contextlib.contextmanager
628 628 def _datareadfp(self, existingfp=None):
629 629 """file object suitable to read data"""
630 630 # Use explicit file handle, if given.
631 631 if existingfp is not None:
632 632 yield existingfp
633 633
634 634 # Use a file handle being actively used for writes, if available.
635 635 # There is some danger to doing this because reads will seek the
636 636 # file. However, _writeentry() performs a SEEK_END before all writes,
637 637 # so we should be safe.
638 638 elif self._writinghandles:
639 639 if self._inline:
640 640 yield self._writinghandles[0]
641 641 else:
642 642 yield self._writinghandles[1]
643 643
644 644 # Otherwise open a new file handle.
645 645 else:
646 646 if self._inline:
647 647 func = self._indexfp
648 648 else:
649 649 func = self._datafp
650 650 with func() as fp:
651 651 yield fp
652 652
653 653 def tiprev(self):
654 654 return len(self.index) - 1
655 655
656 656 def tip(self):
657 657 return self.node(self.tiprev())
658 658
659 659 def __contains__(self, rev):
660 660 return 0 <= rev < len(self)
661 661
662 662 def __len__(self):
663 663 return len(self.index)
664 664
665 665 def __iter__(self):
666 666 return iter(pycompat.xrange(len(self)))
667 667
668 668 def revs(self, start=0, stop=None):
669 669 """iterate over all rev in this revlog (from start to stop)"""
670 670 return storageutil.iterrevs(len(self), start=start, stop=stop)
671 671
672 672 @property
673 673 def nodemap(self):
674 674 msg = (
675 675 b"revlog.nodemap is deprecated, "
676 676 b"use revlog.index.[has_node|rev|get_rev]"
677 677 )
678 678 util.nouideprecwarn(msg, b'5.3', stacklevel=2)
679 679 return self.index.nodemap
680 680
681 681 @property
682 682 def _nodecache(self):
683 683 msg = b"revlog._nodecache is deprecated, use revlog.index.nodemap"
684 684 util.nouideprecwarn(msg, b'5.3', stacklevel=2)
685 685 return self.index.nodemap
686 686
687 687 def hasnode(self, node):
688 688 try:
689 689 self.rev(node)
690 690 return True
691 691 except KeyError:
692 692 return False
693 693
694 694 def candelta(self, baserev, rev):
695 695 """whether two revisions (baserev, rev) can be delta-ed or not"""
696 696 # Disable delta if either rev requires a content-changing flag
697 697 # processor (ex. LFS). This is because such flag processor can alter
698 698 # the rawtext content that the delta will be based on, and two clients
699 699 # could have a same revlog node with different flags (i.e. different
700 700 # rawtext contents) and the delta could be incompatible.
701 701 if (self.flags(baserev) & REVIDX_RAWTEXT_CHANGING_FLAGS) or (
702 702 self.flags(rev) & REVIDX_RAWTEXT_CHANGING_FLAGS
703 703 ):
704 704 return False
705 705 return True
706 706
707 707 def update_caches(self, transaction):
708 708 if self._nodemap_file is not None:
709 709 if transaction is None:
710 710 nodemaputil.update_persistent_nodemap(self)
711 711 else:
712 712 nodemaputil.setup_persistent_nodemap(transaction, self)
713 713
714 714 def clearcaches(self):
715 715 self._revisioncache = None
716 716 self._chainbasecache.clear()
717 717 self._chunkcache = (0, b'')
718 718 self._pcache = {}
719 719 self._nodemap_docket = None
720 720 self.index.clearcaches()
721 721 # The python code is the one responsible for validating the docket, we
722 722 # end up having to refresh it here.
723 723 use_nodemap = (
724 724 not self._inline
725 725 and self._nodemap_file is not None
726 726 and util.safehasattr(self.index, 'update_nodemap_data')
727 727 )
728 728 if use_nodemap:
729 729 nodemap_data = nodemaputil.persisted_data(self)
730 730 if nodemap_data is not None:
731 731 self._nodemap_docket = nodemap_data[0]
732 732 self.index.update_nodemap_data(*nodemap_data)
733 733
734 734 def rev(self, node):
735 735 try:
736 736 return self.index.rev(node)
737 737 except TypeError:
738 738 raise
739 739 except error.RevlogError:
740 740 # parsers.c radix tree lookup failed
741 741 if (
742 742 node == self.nodeconstants.wdirid
743 743 or node in self.nodeconstants.wdirfilenodeids
744 744 ):
745 745 raise error.WdirUnsupported
746 746 raise error.LookupError(node, self.display_id, _(b'no node'))
747 747
748 748 # Accessors for index entries.
749 749
750 750 # First tuple entry is 8 bytes. First 6 bytes are offset. Last 2 bytes
751 751 # are flags.
752 752 def start(self, rev):
753 753 return int(self.index[rev][0] >> 16)
754 754
755 755 def flags(self, rev):
756 756 return self.index[rev][0] & 0xFFFF
757 757
758 758 def length(self, rev):
759 759 return self.index[rev][1]
760 760
761 761 def sidedata_length(self, rev):
762 762 if not self.hassidedata:
763 763 return 0
764 764 return self.index[rev][9]
765 765
766 766 def rawsize(self, rev):
767 767 """return the length of the uncompressed text for a given revision"""
768 768 l = self.index[rev][2]
769 769 if l >= 0:
770 770 return l
771 771
772 772 t = self.rawdata(rev)
773 773 return len(t)
774 774
775 775 def size(self, rev):
776 776 """length of non-raw text (processed by a "read" flag processor)"""
777 777 # fast path: if no "read" flag processor could change the content,
778 778 # size is rawsize. note: ELLIPSIS is known to not change the content.
779 779 flags = self.flags(rev)
780 780 if flags & (flagutil.REVIDX_KNOWN_FLAGS ^ REVIDX_ELLIPSIS) == 0:
781 781 return self.rawsize(rev)
782 782
783 783 return len(self.revision(rev, raw=False))
784 784
785 785 def chainbase(self, rev):
786 786 base = self._chainbasecache.get(rev)
787 787 if base is not None:
788 788 return base
789 789
790 790 index = self.index
791 791 iterrev = rev
792 792 base = index[iterrev][3]
793 793 while base != iterrev:
794 794 iterrev = base
795 795 base = index[iterrev][3]
796 796
797 797 self._chainbasecache[rev] = base
798 798 return base
799 799
800 800 def linkrev(self, rev):
801 801 return self.index[rev][4]
802 802
803 803 def parentrevs(self, rev):
804 804 try:
805 805 entry = self.index[rev]
806 806 except IndexError:
807 807 if rev == wdirrev:
808 808 raise error.WdirUnsupported
809 809 raise
810 810 if entry[5] == nullrev:
811 811 return entry[6], entry[5]
812 812 else:
813 813 return entry[5], entry[6]
814 814
815 815 # fast parentrevs(rev) where rev isn't filtered
816 816 _uncheckedparentrevs = parentrevs
817 817
818 818 def node(self, rev):
819 819 try:
820 820 return self.index[rev][7]
821 821 except IndexError:
822 822 if rev == wdirrev:
823 823 raise error.WdirUnsupported
824 824 raise
825 825
826 826 # Derived from index values.
827 827
828 828 def end(self, rev):
829 829 return self.start(rev) + self.length(rev)
830 830
831 831 def parents(self, node):
832 832 i = self.index
833 833 d = i[self.rev(node)]
834 834 # inline node() to avoid function call overhead
835 835 if d[5] == self.nullid:
836 836 return i[d[6]][7], i[d[5]][7]
837 837 else:
838 838 return i[d[5]][7], i[d[6]][7]
839 839
840 840 def chainlen(self, rev):
841 841 return self._chaininfo(rev)[0]
842 842
843 843 def _chaininfo(self, rev):
844 844 chaininfocache = self._chaininfocache
845 845 if rev in chaininfocache:
846 846 return chaininfocache[rev]
847 847 index = self.index
848 848 generaldelta = self._generaldelta
849 849 iterrev = rev
850 850 e = index[iterrev]
851 851 clen = 0
852 852 compresseddeltalen = 0
853 853 while iterrev != e[3]:
854 854 clen += 1
855 855 compresseddeltalen += e[1]
856 856 if generaldelta:
857 857 iterrev = e[3]
858 858 else:
859 859 iterrev -= 1
860 860 if iterrev in chaininfocache:
861 861 t = chaininfocache[iterrev]
862 862 clen += t[0]
863 863 compresseddeltalen += t[1]
864 864 break
865 865 e = index[iterrev]
866 866 else:
867 867 # Add text length of base since decompressing that also takes
868 868 # work. For cache hits the length is already included.
869 869 compresseddeltalen += e[1]
870 870 r = (clen, compresseddeltalen)
871 871 chaininfocache[rev] = r
872 872 return r
873 873
874 874 def _deltachain(self, rev, stoprev=None):
875 875 """Obtain the delta chain for a revision.
876 876
877 877 ``stoprev`` specifies a revision to stop at. If not specified, we
878 878 stop at the base of the chain.
879 879
880 880 Returns a 2-tuple of (chain, stopped) where ``chain`` is a list of
881 881 revs in ascending order and ``stopped`` is a bool indicating whether
882 882 ``stoprev`` was hit.
883 883 """
884 884 # Try C implementation.
885 885 try:
886 886 return self.index.deltachain(rev, stoprev, self._generaldelta)
887 887 except AttributeError:
888 888 pass
889 889
890 890 chain = []
891 891
892 892 # Alias to prevent attribute lookup in tight loop.
893 893 index = self.index
894 894 generaldelta = self._generaldelta
895 895
896 896 iterrev = rev
897 897 e = index[iterrev]
898 898 while iterrev != e[3] and iterrev != stoprev:
899 899 chain.append(iterrev)
900 900 if generaldelta:
901 901 iterrev = e[3]
902 902 else:
903 903 iterrev -= 1
904 904 e = index[iterrev]
905 905
906 906 if iterrev == stoprev:
907 907 stopped = True
908 908 else:
909 909 chain.append(iterrev)
910 910 stopped = False
911 911
912 912 chain.reverse()
913 913 return chain, stopped
914 914
915 915 def ancestors(self, revs, stoprev=0, inclusive=False):
916 916 """Generate the ancestors of 'revs' in reverse revision order.
917 917 Does not generate revs lower than stoprev.
918 918
919 919 See the documentation for ancestor.lazyancestors for more details."""
920 920
921 921 # first, make sure start revisions aren't filtered
922 922 revs = list(revs)
923 923 checkrev = self.node
924 924 for r in revs:
925 925 checkrev(r)
926 926 # and we're sure ancestors aren't filtered as well
927 927
928 928 if rustancestor is not None:
929 929 lazyancestors = rustancestor.LazyAncestors
930 930 arg = self.index
931 931 else:
932 932 lazyancestors = ancestor.lazyancestors
933 933 arg = self._uncheckedparentrevs
934 934 return lazyancestors(arg, revs, stoprev=stoprev, inclusive=inclusive)
935 935
936 936 def descendants(self, revs):
937 937 return dagop.descendantrevs(revs, self.revs, self.parentrevs)
938 938
939 939 def findcommonmissing(self, common=None, heads=None):
940 940 """Return a tuple of the ancestors of common and the ancestors of heads
941 941 that are not ancestors of common. In revset terminology, we return the
942 942 tuple:
943 943
944 944 ::common, (::heads) - (::common)
945 945
946 946 The list is sorted by revision number, meaning it is
947 947 topologically sorted.
948 948
949 949 'heads' and 'common' are both lists of node IDs. If heads is
950 950 not supplied, uses all of the revlog's heads. If common is not
951 951 supplied, uses nullid."""
952 952 if common is None:
953 953 common = [self.nullid]
954 954 if heads is None:
955 955 heads = self.heads()
956 956
957 957 common = [self.rev(n) for n in common]
958 958 heads = [self.rev(n) for n in heads]
959 959
960 960 # we want the ancestors, but inclusive
961 961 class lazyset(object):
962 962 def __init__(self, lazyvalues):
963 963 self.addedvalues = set()
964 964 self.lazyvalues = lazyvalues
965 965
966 966 def __contains__(self, value):
967 967 return value in self.addedvalues or value in self.lazyvalues
968 968
969 969 def __iter__(self):
970 970 added = self.addedvalues
971 971 for r in added:
972 972 yield r
973 973 for r in self.lazyvalues:
974 974 if not r in added:
975 975 yield r
976 976
977 977 def add(self, value):
978 978 self.addedvalues.add(value)
979 979
980 980 def update(self, values):
981 981 self.addedvalues.update(values)
982 982
983 983 has = lazyset(self.ancestors(common))
984 984 has.add(nullrev)
985 985 has.update(common)
986 986
987 987 # take all ancestors from heads that aren't in has
988 988 missing = set()
989 989 visit = collections.deque(r for r in heads if r not in has)
990 990 while visit:
991 991 r = visit.popleft()
992 992 if r in missing:
993 993 continue
994 994 else:
995 995 missing.add(r)
996 996 for p in self.parentrevs(r):
997 997 if p not in has:
998 998 visit.append(p)
999 999 missing = list(missing)
1000 1000 missing.sort()
1001 1001 return has, [self.node(miss) for miss in missing]
1002 1002
1003 1003 def incrementalmissingrevs(self, common=None):
1004 1004 """Return an object that can be used to incrementally compute the
1005 1005 revision numbers of the ancestors of arbitrary sets that are not
1006 1006 ancestors of common. This is an ancestor.incrementalmissingancestors
1007 1007 object.
1008 1008
1009 1009 'common' is a list of revision numbers. If common is not supplied, uses
1010 1010 nullrev.
1011 1011 """
1012 1012 if common is None:
1013 1013 common = [nullrev]
1014 1014
1015 1015 if rustancestor is not None:
1016 1016 return rustancestor.MissingAncestors(self.index, common)
1017 1017 return ancestor.incrementalmissingancestors(self.parentrevs, common)
1018 1018
1019 1019 def findmissingrevs(self, common=None, heads=None):
1020 1020 """Return the revision numbers of the ancestors of heads that
1021 1021 are not ancestors of common.
1022 1022
1023 1023 More specifically, return a list of revision numbers corresponding to
1024 1024 nodes N such that every N satisfies the following constraints:
1025 1025
1026 1026 1. N is an ancestor of some node in 'heads'
1027 1027 2. N is not an ancestor of any node in 'common'
1028 1028
1029 1029 The list is sorted by revision number, meaning it is
1030 1030 topologically sorted.
1031 1031
1032 1032 'heads' and 'common' are both lists of revision numbers. If heads is
1033 1033 not supplied, uses all of the revlog's heads. If common is not
1034 1034 supplied, uses nullid."""
1035 1035 if common is None:
1036 1036 common = [nullrev]
1037 1037 if heads is None:
1038 1038 heads = self.headrevs()
1039 1039
1040 1040 inc = self.incrementalmissingrevs(common=common)
1041 1041 return inc.missingancestors(heads)
1042 1042
1043 1043 def findmissing(self, common=None, heads=None):
1044 1044 """Return the ancestors of heads that are not ancestors of common.
1045 1045
1046 1046 More specifically, return a list of nodes N such that every N
1047 1047 satisfies the following constraints:
1048 1048
1049 1049 1. N is an ancestor of some node in 'heads'
1050 1050 2. N is not an ancestor of any node in 'common'
1051 1051
1052 1052 The list is sorted by revision number, meaning it is
1053 1053 topologically sorted.
1054 1054
1055 1055 'heads' and 'common' are both lists of node IDs. If heads is
1056 1056 not supplied, uses all of the revlog's heads. If common is not
1057 1057 supplied, uses nullid."""
1058 1058 if common is None:
1059 1059 common = [self.nullid]
1060 1060 if heads is None:
1061 1061 heads = self.heads()
1062 1062
1063 1063 common = [self.rev(n) for n in common]
1064 1064 heads = [self.rev(n) for n in heads]
1065 1065
1066 1066 inc = self.incrementalmissingrevs(common=common)
1067 1067 return [self.node(r) for r in inc.missingancestors(heads)]
1068 1068
1069 1069 def nodesbetween(self, roots=None, heads=None):
1070 1070 """Return a topological path from 'roots' to 'heads'.
1071 1071
1072 1072 Return a tuple (nodes, outroots, outheads) where 'nodes' is a
1073 1073 topologically sorted list of all nodes N that satisfy both of
1074 1074 these constraints:
1075 1075
1076 1076 1. N is a descendant of some node in 'roots'
1077 1077 2. N is an ancestor of some node in 'heads'
1078 1078
1079 1079 Every node is considered to be both a descendant and an ancestor
1080 1080 of itself, so every reachable node in 'roots' and 'heads' will be
1081 1081 included in 'nodes'.
1082 1082
1083 1083 'outroots' is the list of reachable nodes in 'roots', i.e., the
1084 1084 subset of 'roots' that is returned in 'nodes'. Likewise,
1085 1085 'outheads' is the subset of 'heads' that is also in 'nodes'.
1086 1086
1087 1087 'roots' and 'heads' are both lists of node IDs. If 'roots' is
1088 1088 unspecified, uses nullid as the only root. If 'heads' is
1089 1089 unspecified, uses list of all of the revlog's heads."""
1090 1090 nonodes = ([], [], [])
1091 1091 if roots is not None:
1092 1092 roots = list(roots)
1093 1093 if not roots:
1094 1094 return nonodes
1095 1095 lowestrev = min([self.rev(n) for n in roots])
1096 1096 else:
1097 1097 roots = [self.nullid] # Everybody's a descendant of nullid
1098 1098 lowestrev = nullrev
1099 1099 if (lowestrev == nullrev) and (heads is None):
1100 1100 # We want _all_ the nodes!
1101 1101 return (
1102 1102 [self.node(r) for r in self],
1103 1103 [self.nullid],
1104 1104 list(self.heads()),
1105 1105 )
1106 1106 if heads is None:
1107 1107 # All nodes are ancestors, so the latest ancestor is the last
1108 1108 # node.
1109 1109 highestrev = len(self) - 1
1110 1110 # Set ancestors to None to signal that every node is an ancestor.
1111 1111 ancestors = None
1112 1112 # Set heads to an empty dictionary for later discovery of heads
1113 1113 heads = {}
1114 1114 else:
1115 1115 heads = list(heads)
1116 1116 if not heads:
1117 1117 return nonodes
1118 1118 ancestors = set()
1119 1119 # Turn heads into a dictionary so we can remove 'fake' heads.
1120 1120 # Also, later we will be using it to filter out the heads we can't
1121 1121 # find from roots.
1122 1122 heads = dict.fromkeys(heads, False)
1123 1123 # Start at the top and keep marking parents until we're done.
1124 1124 nodestotag = set(heads)
1125 1125 # Remember where the top was so we can use it as a limit later.
1126 1126 highestrev = max([self.rev(n) for n in nodestotag])
1127 1127 while nodestotag:
1128 1128 # grab a node to tag
1129 1129 n = nodestotag.pop()
1130 1130 # Never tag nullid
1131 1131 if n == self.nullid:
1132 1132 continue
1133 1133 # A node's revision number represents its place in a
1134 1134 # topologically sorted list of nodes.
1135 1135 r = self.rev(n)
1136 1136 if r >= lowestrev:
1137 1137 if n not in ancestors:
1138 1138 # If we are possibly a descendant of one of the roots
1139 1139 # and we haven't already been marked as an ancestor
1140 1140 ancestors.add(n) # Mark as ancestor
1141 1141 # Add non-nullid parents to list of nodes to tag.
1142 1142 nodestotag.update(
1143 1143 [p for p in self.parents(n) if p != self.nullid]
1144 1144 )
1145 1145 elif n in heads: # We've seen it before, is it a fake head?
1146 1146 # So it is, real heads should not be the ancestors of
1147 1147 # any other heads.
1148 1148 heads.pop(n)
1149 1149 if not ancestors:
1150 1150 return nonodes
1151 1151 # Now that we have our set of ancestors, we want to remove any
1152 1152 # roots that are not ancestors.
1153 1153
1154 1154 # If one of the roots was nullid, everything is included anyway.
1155 1155 if lowestrev > nullrev:
1156 1156 # But, since we weren't, let's recompute the lowest rev to not
1157 1157 # include roots that aren't ancestors.
1158 1158
1159 1159 # Filter out roots that aren't ancestors of heads
1160 1160 roots = [root for root in roots if root in ancestors]
1161 1161 # Recompute the lowest revision
1162 1162 if roots:
1163 1163 lowestrev = min([self.rev(root) for root in roots])
1164 1164 else:
1165 1165 # No more roots? Return empty list
1166 1166 return nonodes
1167 1167 else:
1168 1168 # We are descending from nullid, and don't need to care about
1169 1169 # any other roots.
1170 1170 lowestrev = nullrev
1171 1171 roots = [self.nullid]
1172 1172 # Transform our roots list into a set.
1173 1173 descendants = set(roots)
1174 1174 # Also, keep the original roots so we can filter out roots that aren't
1175 1175 # 'real' roots (i.e. are descended from other roots).
1176 1176 roots = descendants.copy()
1177 1177 # Our topologically sorted list of output nodes.
1178 1178 orderedout = []
1179 1179 # Don't start at nullid since we don't want nullid in our output list,
1180 1180 # and if nullid shows up in descendants, empty parents will look like
1181 1181 # they're descendants.
1182 1182 for r in self.revs(start=max(lowestrev, 0), stop=highestrev + 1):
1183 1183 n = self.node(r)
1184 1184 isdescendant = False
1185 1185 if lowestrev == nullrev: # Everybody is a descendant of nullid
1186 1186 isdescendant = True
1187 1187 elif n in descendants:
1188 1188 # n is already a descendant
1189 1189 isdescendant = True
1190 1190 # This check only needs to be done here because all the roots
1191 1191 # will start being marked is descendants before the loop.
1192 1192 if n in roots:
1193 1193 # If n was a root, check if it's a 'real' root.
1194 1194 p = tuple(self.parents(n))
1195 1195 # If any of its parents are descendants, it's not a root.
1196 1196 if (p[0] in descendants) or (p[1] in descendants):
1197 1197 roots.remove(n)
1198 1198 else:
1199 1199 p = tuple(self.parents(n))
1200 1200 # A node is a descendant if either of its parents are
1201 1201 # descendants. (We seeded the dependents list with the roots
1202 1202 # up there, remember?)
1203 1203 if (p[0] in descendants) or (p[1] in descendants):
1204 1204 descendants.add(n)
1205 1205 isdescendant = True
1206 1206 if isdescendant and ((ancestors is None) or (n in ancestors)):
1207 1207 # Only include nodes that are both descendants and ancestors.
1208 1208 orderedout.append(n)
1209 1209 if (ancestors is not None) and (n in heads):
1210 1210 # We're trying to figure out which heads are reachable
1211 1211 # from roots.
1212 1212 # Mark this head as having been reached
1213 1213 heads[n] = True
1214 1214 elif ancestors is None:
1215 1215 # Otherwise, we're trying to discover the heads.
1216 1216 # Assume this is a head because if it isn't, the next step
1217 1217 # will eventually remove it.
1218 1218 heads[n] = True
1219 1219 # But, obviously its parents aren't.
1220 1220 for p in self.parents(n):
1221 1221 heads.pop(p, None)
1222 1222 heads = [head for head, flag in pycompat.iteritems(heads) if flag]
1223 1223 roots = list(roots)
1224 1224 assert orderedout
1225 1225 assert roots
1226 1226 assert heads
1227 1227 return (orderedout, roots, heads)
1228 1228
1229 1229 def headrevs(self, revs=None):
1230 1230 if revs is None:
1231 1231 try:
1232 1232 return self.index.headrevs()
1233 1233 except AttributeError:
1234 1234 return self._headrevs()
1235 1235 if rustdagop is not None:
1236 1236 return rustdagop.headrevs(self.index, revs)
1237 1237 return dagop.headrevs(revs, self._uncheckedparentrevs)
1238 1238
1239 1239 def computephases(self, roots):
1240 1240 return self.index.computephasesmapsets(roots)
1241 1241
1242 1242 def _headrevs(self):
1243 1243 count = len(self)
1244 1244 if not count:
1245 1245 return [nullrev]
1246 1246 # we won't iter over filtered rev so nobody is a head at start
1247 1247 ishead = [0] * (count + 1)
1248 1248 index = self.index
1249 1249 for r in self:
1250 1250 ishead[r] = 1 # I may be an head
1251 1251 e = index[r]
1252 1252 ishead[e[5]] = ishead[e[6]] = 0 # my parent are not
1253 1253 return [r for r, val in enumerate(ishead) if val]
1254 1254
1255 1255 def heads(self, start=None, stop=None):
1256 1256 """return the list of all nodes that have no children
1257 1257
1258 1258 if start is specified, only heads that are descendants of
1259 1259 start will be returned
1260 1260 if stop is specified, it will consider all the revs from stop
1261 1261 as if they had no children
1262 1262 """
1263 1263 if start is None and stop is None:
1264 1264 if not len(self):
1265 1265 return [self.nullid]
1266 1266 return [self.node(r) for r in self.headrevs()]
1267 1267
1268 1268 if start is None:
1269 1269 start = nullrev
1270 1270 else:
1271 1271 start = self.rev(start)
1272 1272
1273 1273 stoprevs = {self.rev(n) for n in stop or []}
1274 1274
1275 1275 revs = dagop.headrevssubset(
1276 1276 self.revs, self.parentrevs, startrev=start, stoprevs=stoprevs
1277 1277 )
1278 1278
1279 1279 return [self.node(rev) for rev in revs]
1280 1280
1281 1281 def children(self, node):
1282 1282 """find the children of a given node"""
1283 1283 c = []
1284 1284 p = self.rev(node)
1285 1285 for r in self.revs(start=p + 1):
1286 1286 prevs = [pr for pr in self.parentrevs(r) if pr != nullrev]
1287 1287 if prevs:
1288 1288 for pr in prevs:
1289 1289 if pr == p:
1290 1290 c.append(self.node(r))
1291 1291 elif p == nullrev:
1292 1292 c.append(self.node(r))
1293 1293 return c
1294 1294
1295 1295 def commonancestorsheads(self, a, b):
1296 1296 """calculate all the heads of the common ancestors of nodes a and b"""
1297 1297 a, b = self.rev(a), self.rev(b)
1298 1298 ancs = self._commonancestorsheads(a, b)
1299 1299 return pycompat.maplist(self.node, ancs)
1300 1300
1301 1301 def _commonancestorsheads(self, *revs):
1302 1302 """calculate all the heads of the common ancestors of revs"""
1303 1303 try:
1304 1304 ancs = self.index.commonancestorsheads(*revs)
1305 1305 except (AttributeError, OverflowError): # C implementation failed
1306 1306 ancs = ancestor.commonancestorsheads(self.parentrevs, *revs)
1307 1307 return ancs
1308 1308
1309 1309 def isancestor(self, a, b):
1310 1310 """return True if node a is an ancestor of node b
1311 1311
1312 1312 A revision is considered an ancestor of itself."""
1313 1313 a, b = self.rev(a), self.rev(b)
1314 1314 return self.isancestorrev(a, b)
1315 1315
1316 1316 def isancestorrev(self, a, b):
1317 1317 """return True if revision a is an ancestor of revision b
1318 1318
1319 1319 A revision is considered an ancestor of itself.
1320 1320
1321 1321 The implementation of this is trivial but the use of
1322 1322 reachableroots is not."""
1323 1323 if a == nullrev:
1324 1324 return True
1325 1325 elif a == b:
1326 1326 return True
1327 1327 elif a > b:
1328 1328 return False
1329 1329 return bool(self.reachableroots(a, [b], [a], includepath=False))
1330 1330
1331 1331 def reachableroots(self, minroot, heads, roots, includepath=False):
1332 1332 """return (heads(::(<roots> and <roots>::<heads>)))
1333 1333
1334 1334 If includepath is True, return (<roots>::<heads>)."""
1335 1335 try:
1336 1336 return self.index.reachableroots2(
1337 1337 minroot, heads, roots, includepath
1338 1338 )
1339 1339 except AttributeError:
1340 1340 return dagop._reachablerootspure(
1341 1341 self.parentrevs, minroot, roots, heads, includepath
1342 1342 )
1343 1343
1344 1344 def ancestor(self, a, b):
1345 1345 """calculate the "best" common ancestor of nodes a and b"""
1346 1346
1347 1347 a, b = self.rev(a), self.rev(b)
1348 1348 try:
1349 1349 ancs = self.index.ancestors(a, b)
1350 1350 except (AttributeError, OverflowError):
1351 1351 ancs = ancestor.ancestors(self.parentrevs, a, b)
1352 1352 if ancs:
1353 1353 # choose a consistent winner when there's a tie
1354 1354 return min(map(self.node, ancs))
1355 1355 return self.nullid
1356 1356
1357 1357 def _match(self, id):
1358 1358 if isinstance(id, int):
1359 1359 # rev
1360 1360 return self.node(id)
1361 1361 if len(id) == self.nodeconstants.nodelen:
1362 1362 # possibly a binary node
1363 1363 # odds of a binary node being all hex in ASCII are 1 in 10**25
1364 1364 try:
1365 1365 node = id
1366 1366 self.rev(node) # quick search the index
1367 1367 return node
1368 1368 except error.LookupError:
1369 1369 pass # may be partial hex id
1370 1370 try:
1371 1371 # str(rev)
1372 1372 rev = int(id)
1373 1373 if b"%d" % rev != id:
1374 1374 raise ValueError
1375 1375 if rev < 0:
1376 1376 rev = len(self) + rev
1377 1377 if rev < 0 or rev >= len(self):
1378 1378 raise ValueError
1379 1379 return self.node(rev)
1380 1380 except (ValueError, OverflowError):
1381 1381 pass
1382 1382 if len(id) == 2 * self.nodeconstants.nodelen:
1383 1383 try:
1384 1384 # a full hex nodeid?
1385 1385 node = bin(id)
1386 1386 self.rev(node)
1387 1387 return node
1388 1388 except (TypeError, error.LookupError):
1389 1389 pass
1390 1390
1391 1391 def _partialmatch(self, id):
1392 1392 # we don't care wdirfilenodeids as they should be always full hash
1393 1393 maybewdir = self.nodeconstants.wdirhex.startswith(id)
1394 1394 try:
1395 1395 partial = self.index.partialmatch(id)
1396 1396 if partial and self.hasnode(partial):
1397 1397 if maybewdir:
1398 1398 # single 'ff...' match in radix tree, ambiguous with wdir
1399 1399 raise error.RevlogError
1400 1400 return partial
1401 1401 if maybewdir:
1402 1402 # no 'ff...' match in radix tree, wdir identified
1403 1403 raise error.WdirUnsupported
1404 1404 return None
1405 1405 except error.RevlogError:
1406 1406 # parsers.c radix tree lookup gave multiple matches
1407 1407 # fast path: for unfiltered changelog, radix tree is accurate
1408 1408 if not getattr(self, 'filteredrevs', None):
1409 1409 raise error.AmbiguousPrefixLookupError(
1410 1410 id, self.display_id, _(b'ambiguous identifier')
1411 1411 )
1412 1412 # fall through to slow path that filters hidden revisions
1413 1413 except (AttributeError, ValueError):
1414 1414 # we are pure python, or key was too short to search radix tree
1415 1415 pass
1416 1416
1417 1417 if id in self._pcache:
1418 1418 return self._pcache[id]
1419 1419
1420 1420 if len(id) <= 40:
1421 1421 try:
1422 1422 # hex(node)[:...]
1423 1423 l = len(id) // 2 # grab an even number of digits
1424 1424 prefix = bin(id[: l * 2])
1425 1425 nl = [e[7] for e in self.index if e[7].startswith(prefix)]
1426 1426 nl = [
1427 1427 n for n in nl if hex(n).startswith(id) and self.hasnode(n)
1428 1428 ]
1429 1429 if self.nodeconstants.nullhex.startswith(id):
1430 1430 nl.append(self.nullid)
1431 1431 if len(nl) > 0:
1432 1432 if len(nl) == 1 and not maybewdir:
1433 1433 self._pcache[id] = nl[0]
1434 1434 return nl[0]
1435 1435 raise error.AmbiguousPrefixLookupError(
1436 1436 id, self.display_id, _(b'ambiguous identifier')
1437 1437 )
1438 1438 if maybewdir:
1439 1439 raise error.WdirUnsupported
1440 1440 return None
1441 1441 except TypeError:
1442 1442 pass
1443 1443
1444 1444 def lookup(self, id):
1445 1445 """locate a node based on:
1446 1446 - revision number or str(revision number)
1447 1447 - nodeid or subset of hex nodeid
1448 1448 """
1449 1449 n = self._match(id)
1450 1450 if n is not None:
1451 1451 return n
1452 1452 n = self._partialmatch(id)
1453 1453 if n:
1454 1454 return n
1455 1455
1456 1456 raise error.LookupError(id, self.display_id, _(b'no match found'))
1457 1457
1458 1458 def shortest(self, node, minlength=1):
1459 1459 """Find the shortest unambiguous prefix that matches node."""
1460 1460
1461 1461 def isvalid(prefix):
1462 1462 try:
1463 1463 matchednode = self._partialmatch(prefix)
1464 1464 except error.AmbiguousPrefixLookupError:
1465 1465 return False
1466 1466 except error.WdirUnsupported:
1467 1467 # single 'ff...' match
1468 1468 return True
1469 1469 if matchednode is None:
1470 1470 raise error.LookupError(node, self.display_id, _(b'no node'))
1471 1471 return True
1472 1472
1473 1473 def maybewdir(prefix):
1474 1474 return all(c == b'f' for c in pycompat.iterbytestr(prefix))
1475 1475
1476 1476 hexnode = hex(node)
1477 1477
1478 1478 def disambiguate(hexnode, minlength):
1479 1479 """Disambiguate against wdirid."""
1480 1480 for length in range(minlength, len(hexnode) + 1):
1481 1481 prefix = hexnode[:length]
1482 1482 if not maybewdir(prefix):
1483 1483 return prefix
1484 1484
1485 1485 if not getattr(self, 'filteredrevs', None):
1486 1486 try:
1487 1487 length = max(self.index.shortest(node), minlength)
1488 1488 return disambiguate(hexnode, length)
1489 1489 except error.RevlogError:
1490 1490 if node != self.nodeconstants.wdirid:
1491 1491 raise error.LookupError(
1492 1492 node, self.display_id, _(b'no node')
1493 1493 )
1494 1494 except AttributeError:
1495 1495 # Fall through to pure code
1496 1496 pass
1497 1497
1498 1498 if node == self.nodeconstants.wdirid:
1499 1499 for length in range(minlength, len(hexnode) + 1):
1500 1500 prefix = hexnode[:length]
1501 1501 if isvalid(prefix):
1502 1502 return prefix
1503 1503
1504 1504 for length in range(minlength, len(hexnode) + 1):
1505 1505 prefix = hexnode[:length]
1506 1506 if isvalid(prefix):
1507 1507 return disambiguate(hexnode, length)
1508 1508
1509 1509 def cmp(self, node, text):
1510 1510 """compare text with a given file revision
1511 1511
1512 1512 returns True if text is different than what is stored.
1513 1513 """
1514 1514 p1, p2 = self.parents(node)
1515 1515 return storageutil.hashrevisionsha1(text, p1, p2) != node
1516 1516
1517 1517 def _cachesegment(self, offset, data):
1518 1518 """Add a segment to the revlog cache.
1519 1519
1520 1520 Accepts an absolute offset and the data that is at that location.
1521 1521 """
1522 1522 o, d = self._chunkcache
1523 1523 # try to add to existing cache
1524 1524 if o + len(d) == offset and len(d) + len(data) < _chunksize:
1525 1525 self._chunkcache = o, d + data
1526 1526 else:
1527 1527 self._chunkcache = offset, data
1528 1528
1529 1529 def _readsegment(self, offset, length, df=None):
1530 1530 """Load a segment of raw data from the revlog.
1531 1531
1532 1532 Accepts an absolute offset, length to read, and an optional existing
1533 1533 file handle to read from.
1534 1534
1535 1535 If an existing file handle is passed, it will be seeked and the
1536 1536 original seek position will NOT be restored.
1537 1537
1538 1538 Returns a str or buffer of raw byte data.
1539 1539
1540 1540 Raises if the requested number of bytes could not be read.
1541 1541 """
1542 1542 # Cache data both forward and backward around the requested
1543 1543 # data, in a fixed size window. This helps speed up operations
1544 1544 # involving reading the revlog backwards.
1545 1545 cachesize = self._chunkcachesize
1546 1546 realoffset = offset & ~(cachesize - 1)
1547 1547 reallength = (
1548 1548 (offset + length + cachesize) & ~(cachesize - 1)
1549 1549 ) - realoffset
1550 1550 with self._datareadfp(df) as df:
1551 1551 df.seek(realoffset)
1552 1552 d = df.read(reallength)
1553 1553
1554 1554 self._cachesegment(realoffset, d)
1555 1555 if offset != realoffset or reallength != length:
1556 1556 startoffset = offset - realoffset
1557 1557 if len(d) - startoffset < length:
1558 1558 raise error.RevlogError(
1559 1559 _(
1560 1560 b'partial read of revlog %s; expected %d bytes from '
1561 1561 b'offset %d, got %d'
1562 1562 )
1563 1563 % (
1564 1564 self._indexfile if self._inline else self._datafile,
1565 1565 length,
1566 1566 offset,
1567 1567 len(d) - startoffset,
1568 1568 )
1569 1569 )
1570 1570
1571 1571 return util.buffer(d, startoffset, length)
1572 1572
1573 1573 if len(d) < length:
1574 1574 raise error.RevlogError(
1575 1575 _(
1576 1576 b'partial read of revlog %s; expected %d bytes from offset '
1577 1577 b'%d, got %d'
1578 1578 )
1579 1579 % (
1580 1580 self._indexfile if self._inline else self._datafile,
1581 1581 length,
1582 1582 offset,
1583 1583 len(d),
1584 1584 )
1585 1585 )
1586 1586
1587 1587 return d
1588 1588
1589 1589 def _getsegment(self, offset, length, df=None):
1590 1590 """Obtain a segment of raw data from the revlog.
1591 1591
1592 1592 Accepts an absolute offset, length of bytes to obtain, and an
1593 1593 optional file handle to the already-opened revlog. If the file
1594 1594 handle is used, it's original seek position will not be preserved.
1595 1595
1596 1596 Requests for data may be returned from a cache.
1597 1597
1598 1598 Returns a str or a buffer instance of raw byte data.
1599 1599 """
1600 1600 o, d = self._chunkcache
1601 1601 l = len(d)
1602 1602
1603 1603 # is it in the cache?
1604 1604 cachestart = offset - o
1605 1605 cacheend = cachestart + length
1606 1606 if cachestart >= 0 and cacheend <= l:
1607 1607 if cachestart == 0 and cacheend == l:
1608 1608 return d # avoid a copy
1609 1609 return util.buffer(d, cachestart, cacheend - cachestart)
1610 1610
1611 1611 return self._readsegment(offset, length, df=df)
1612 1612
1613 1613 def _getsegmentforrevs(self, startrev, endrev, df=None):
1614 1614 """Obtain a segment of raw data corresponding to a range of revisions.
1615 1615
1616 1616 Accepts the start and end revisions and an optional already-open
1617 1617 file handle to be used for reading. If the file handle is read, its
1618 1618 seek position will not be preserved.
1619 1619
1620 1620 Requests for data may be satisfied by a cache.
1621 1621
1622 1622 Returns a 2-tuple of (offset, data) for the requested range of
1623 1623 revisions. Offset is the integer offset from the beginning of the
1624 1624 revlog and data is a str or buffer of the raw byte data.
1625 1625
1626 1626 Callers will need to call ``self.start(rev)`` and ``self.length(rev)``
1627 1627 to determine where each revision's data begins and ends.
1628 1628 """
1629 1629 # Inlined self.start(startrev) & self.end(endrev) for perf reasons
1630 1630 # (functions are expensive).
1631 1631 index = self.index
1632 1632 istart = index[startrev]
1633 1633 start = int(istart[0] >> 16)
1634 1634 if startrev == endrev:
1635 1635 end = start + istart[1]
1636 1636 else:
1637 1637 iend = index[endrev]
1638 1638 end = int(iend[0] >> 16) + iend[1]
1639 1639
1640 1640 if self._inline:
1641 1641 start += (startrev + 1) * self.index.entry_size
1642 1642 end += (endrev + 1) * self.index.entry_size
1643 1643 length = end - start
1644 1644
1645 1645 return start, self._getsegment(start, length, df=df)
1646 1646
1647 1647 def _chunk(self, rev, df=None):
1648 1648 """Obtain a single decompressed chunk for a revision.
1649 1649
1650 1650 Accepts an integer revision and an optional already-open file handle
1651 1651 to be used for reading. If used, the seek position of the file will not
1652 1652 be preserved.
1653 1653
1654 1654 Returns a str holding uncompressed data for the requested revision.
1655 1655 """
1656 1656 return self.decompress(self._getsegmentforrevs(rev, rev, df=df)[1])
1657 1657
1658 1658 def _chunks(self, revs, df=None, targetsize=None):
1659 1659 """Obtain decompressed chunks for the specified revisions.
1660 1660
1661 1661 Accepts an iterable of numeric revisions that are assumed to be in
1662 1662 ascending order. Also accepts an optional already-open file handle
1663 1663 to be used for reading. If used, the seek position of the file will
1664 1664 not be preserved.
1665 1665
1666 1666 This function is similar to calling ``self._chunk()`` multiple times,
1667 1667 but is faster.
1668 1668
1669 1669 Returns a list with decompressed data for each requested revision.
1670 1670 """
1671 1671 if not revs:
1672 1672 return []
1673 1673 start = self.start
1674 1674 length = self.length
1675 1675 inline = self._inline
1676 1676 iosize = self.index.entry_size
1677 1677 buffer = util.buffer
1678 1678
1679 1679 l = []
1680 1680 ladd = l.append
1681 1681
1682 1682 if not self._withsparseread:
1683 1683 slicedchunks = (revs,)
1684 1684 else:
1685 1685 slicedchunks = deltautil.slicechunk(
1686 1686 self, revs, targetsize=targetsize
1687 1687 )
1688 1688
1689 1689 for revschunk in slicedchunks:
1690 1690 firstrev = revschunk[0]
1691 1691 # Skip trailing revisions with empty diff
1692 1692 for lastrev in revschunk[::-1]:
1693 1693 if length(lastrev) != 0:
1694 1694 break
1695 1695
1696 1696 try:
1697 1697 offset, data = self._getsegmentforrevs(firstrev, lastrev, df=df)
1698 1698 except OverflowError:
1699 1699 # issue4215 - we can't cache a run of chunks greater than
1700 1700 # 2G on Windows
1701 1701 return [self._chunk(rev, df=df) for rev in revschunk]
1702 1702
1703 1703 decomp = self.decompress
1704 1704 for rev in revschunk:
1705 1705 chunkstart = start(rev)
1706 1706 if inline:
1707 1707 chunkstart += (rev + 1) * iosize
1708 1708 chunklength = length(rev)
1709 1709 ladd(decomp(buffer(data, chunkstart - offset, chunklength)))
1710 1710
1711 1711 return l
1712 1712
1713 1713 def _chunkclear(self):
1714 1714 """Clear the raw chunk cache."""
1715 1715 self._chunkcache = (0, b'')
1716 1716
1717 1717 def deltaparent(self, rev):
1718 1718 """return deltaparent of the given revision"""
1719 1719 base = self.index[rev][3]
1720 1720 if base == rev:
1721 1721 return nullrev
1722 1722 elif self._generaldelta:
1723 1723 return base
1724 1724 else:
1725 1725 return rev - 1
1726 1726
1727 1727 def issnapshot(self, rev):
1728 1728 """tells whether rev is a snapshot"""
1729 1729 if not self._sparserevlog:
1730 1730 return self.deltaparent(rev) == nullrev
1731 1731 elif util.safehasattr(self.index, b'issnapshot'):
1732 1732 # directly assign the method to cache the testing and access
1733 1733 self.issnapshot = self.index.issnapshot
1734 1734 return self.issnapshot(rev)
1735 1735 if rev == nullrev:
1736 1736 return True
1737 1737 entry = self.index[rev]
1738 1738 base = entry[3]
1739 1739 if base == rev:
1740 1740 return True
1741 1741 if base == nullrev:
1742 1742 return True
1743 1743 p1 = entry[5]
1744 1744 p2 = entry[6]
1745 1745 if base == p1 or base == p2:
1746 1746 return False
1747 1747 return self.issnapshot(base)
1748 1748
1749 1749 def snapshotdepth(self, rev):
1750 1750 """number of snapshot in the chain before this one"""
1751 1751 if not self.issnapshot(rev):
1752 1752 raise error.ProgrammingError(b'revision %d not a snapshot')
1753 1753 return len(self._deltachain(rev)[0]) - 1
1754 1754
1755 1755 def revdiff(self, rev1, rev2):
1756 1756 """return or calculate a delta between two revisions
1757 1757
1758 1758 The delta calculated is in binary form and is intended to be written to
1759 1759 revlog data directly. So this function needs raw revision data.
1760 1760 """
1761 1761 if rev1 != nullrev and self.deltaparent(rev2) == rev1:
1762 1762 return bytes(self._chunk(rev2))
1763 1763
1764 1764 return mdiff.textdiff(self.rawdata(rev1), self.rawdata(rev2))
1765 1765
1766 1766 def _processflags(self, text, flags, operation, raw=False):
1767 1767 """deprecated entry point to access flag processors"""
1768 1768 msg = b'_processflag(...) use the specialized variant'
1769 1769 util.nouideprecwarn(msg, b'5.2', stacklevel=2)
1770 1770 if raw:
1771 1771 return text, flagutil.processflagsraw(self, text, flags)
1772 1772 elif operation == b'read':
1773 1773 return flagutil.processflagsread(self, text, flags)
1774 1774 else: # write operation
1775 1775 return flagutil.processflagswrite(self, text, flags)
1776 1776
1777 1777 def revision(self, nodeorrev, _df=None, raw=False):
1778 1778 """return an uncompressed revision of a given node or revision
1779 1779 number.
1780 1780
1781 1781 _df - an existing file handle to read from. (internal-only)
1782 1782 raw - an optional argument specifying if the revision data is to be
1783 1783 treated as raw data when applying flag transforms. 'raw' should be set
1784 1784 to True when generating changegroups or in debug commands.
1785 1785 """
1786 1786 if raw:
1787 1787 msg = (
1788 1788 b'revlog.revision(..., raw=True) is deprecated, '
1789 1789 b'use revlog.rawdata(...)'
1790 1790 )
1791 1791 util.nouideprecwarn(msg, b'5.2', stacklevel=2)
1792 1792 return self._revisiondata(nodeorrev, _df, raw=raw)[0]
1793 1793
1794 1794 def sidedata(self, nodeorrev, _df=None):
1795 1795 """a map of extra data related to the changeset but not part of the hash
1796 1796
1797 1797 This function currently return a dictionary. However, more advanced
1798 1798 mapping object will likely be used in the future for a more
1799 1799 efficient/lazy code.
1800 1800 """
1801 1801 return self._revisiondata(nodeorrev, _df)[1]
1802 1802
1803 1803 def _revisiondata(self, nodeorrev, _df=None, raw=False):
1804 1804 # deal with <nodeorrev> argument type
1805 1805 if isinstance(nodeorrev, int):
1806 1806 rev = nodeorrev
1807 1807 node = self.node(rev)
1808 1808 else:
1809 1809 node = nodeorrev
1810 1810 rev = None
1811 1811
1812 1812 # fast path the special `nullid` rev
1813 1813 if node == self.nullid:
1814 1814 return b"", {}
1815 1815
1816 1816 # ``rawtext`` is the text as stored inside the revlog. Might be the
1817 1817 # revision or might need to be processed to retrieve the revision.
1818 1818 rev, rawtext, validated = self._rawtext(node, rev, _df=_df)
1819 1819
1820 1820 if self.hassidedata:
1821 1821 if rev is None:
1822 1822 rev = self.rev(node)
1823 1823 sidedata = self._sidedata(rev)
1824 1824 else:
1825 1825 sidedata = {}
1826 1826
1827 1827 if raw and validated:
1828 1828 # if we don't want to process the raw text and that raw
1829 1829 # text is cached, we can exit early.
1830 1830 return rawtext, sidedata
1831 1831 if rev is None:
1832 1832 rev = self.rev(node)
1833 1833 # the revlog's flag for this revision
1834 1834 # (usually alter its state or content)
1835 1835 flags = self.flags(rev)
1836 1836
1837 1837 if validated and flags == REVIDX_DEFAULT_FLAGS:
1838 1838 # no extra flags set, no flag processor runs, text = rawtext
1839 1839 return rawtext, sidedata
1840 1840
1841 1841 if raw:
1842 1842 validatehash = flagutil.processflagsraw(self, rawtext, flags)
1843 1843 text = rawtext
1844 1844 else:
1845 1845 r = flagutil.processflagsread(self, rawtext, flags)
1846 1846 text, validatehash = r
1847 1847 if validatehash:
1848 1848 self.checkhash(text, node, rev=rev)
1849 1849 if not validated:
1850 1850 self._revisioncache = (node, rev, rawtext)
1851 1851
1852 1852 return text, sidedata
1853 1853
1854 1854 def _rawtext(self, node, rev, _df=None):
1855 1855 """return the possibly unvalidated rawtext for a revision
1856 1856
1857 1857 returns (rev, rawtext, validated)
1858 1858 """
1859 1859
1860 1860 # revision in the cache (could be useful to apply delta)
1861 1861 cachedrev = None
1862 1862 # An intermediate text to apply deltas to
1863 1863 basetext = None
1864 1864
1865 1865 # Check if we have the entry in cache
1866 1866 # The cache entry looks like (node, rev, rawtext)
1867 1867 if self._revisioncache:
1868 1868 if self._revisioncache[0] == node:
1869 1869 return (rev, self._revisioncache[2], True)
1870 1870 cachedrev = self._revisioncache[1]
1871 1871
1872 1872 if rev is None:
1873 1873 rev = self.rev(node)
1874 1874
1875 1875 chain, stopped = self._deltachain(rev, stoprev=cachedrev)
1876 1876 if stopped:
1877 1877 basetext = self._revisioncache[2]
1878 1878
1879 1879 # drop cache to save memory, the caller is expected to
1880 1880 # update self._revisioncache after validating the text
1881 1881 self._revisioncache = None
1882 1882
1883 1883 targetsize = None
1884 1884 rawsize = self.index[rev][2]
1885 1885 if 0 <= rawsize:
1886 1886 targetsize = 4 * rawsize
1887 1887
1888 1888 bins = self._chunks(chain, df=_df, targetsize=targetsize)
1889 1889 if basetext is None:
1890 1890 basetext = bytes(bins[0])
1891 1891 bins = bins[1:]
1892 1892
1893 1893 rawtext = mdiff.patches(basetext, bins)
1894 1894 del basetext # let us have a chance to free memory early
1895 1895 return (rev, rawtext, False)
1896 1896
1897 1897 def _sidedata(self, rev):
1898 1898 """Return the sidedata for a given revision number."""
1899 1899 index_entry = self.index[rev]
1900 1900 sidedata_offset = index_entry[8]
1901 1901 sidedata_size = index_entry[9]
1902 1902
1903 1903 if self._inline:
1904 1904 sidedata_offset += self.index.entry_size * (1 + rev)
1905 1905 if sidedata_size == 0:
1906 1906 return {}
1907 1907
1908 1908 segment = self._getsegment(sidedata_offset, sidedata_size)
1909 1909 sidedata = sidedatautil.deserialize_sidedata(segment)
1910 1910 return sidedata
1911 1911
1912 1912 def rawdata(self, nodeorrev, _df=None):
1913 1913 """return an uncompressed raw data of a given node or revision number.
1914 1914
1915 1915 _df - an existing file handle to read from. (internal-only)
1916 1916 """
1917 1917 return self._revisiondata(nodeorrev, _df, raw=True)[0]
1918 1918
1919 1919 def hash(self, text, p1, p2):
1920 1920 """Compute a node hash.
1921 1921
1922 1922 Available as a function so that subclasses can replace the hash
1923 1923 as needed.
1924 1924 """
1925 1925 return storageutil.hashrevisionsha1(text, p1, p2)
1926 1926
1927 1927 def checkhash(self, text, node, p1=None, p2=None, rev=None):
1928 1928 """Check node hash integrity.
1929 1929
1930 1930 Available as a function so that subclasses can extend hash mismatch
1931 1931 behaviors as needed.
1932 1932 """
1933 1933 try:
1934 1934 if p1 is None and p2 is None:
1935 1935 p1, p2 = self.parents(node)
1936 1936 if node != self.hash(text, p1, p2):
1937 1937 # Clear the revision cache on hash failure. The revision cache
1938 1938 # only stores the raw revision and clearing the cache does have
1939 1939 # the side-effect that we won't have a cache hit when the raw
1940 1940 # revision data is accessed. But this case should be rare and
1941 1941 # it is extra work to teach the cache about the hash
1942 1942 # verification state.
1943 1943 if self._revisioncache and self._revisioncache[0] == node:
1944 1944 self._revisioncache = None
1945 1945
1946 1946 revornode = rev
1947 1947 if revornode is None:
1948 1948 revornode = templatefilters.short(hex(node))
1949 1949 raise error.RevlogError(
1950 1950 _(b"integrity check failed on %s:%s")
1951 1951 % (self.display_id, pycompat.bytestr(revornode))
1952 1952 )
1953 1953 except error.RevlogError:
1954 1954 if self._censorable and storageutil.iscensoredtext(text):
1955 1955 raise error.CensoredNodeError(self.display_id, node, text)
1956 1956 raise
1957 1957
1958 1958 def _enforceinlinesize(self, tr, fp=None):
1959 1959 """Check if the revlog is too big for inline and convert if so.
1960 1960
1961 1961 This should be called after revisions are added to the revlog. If the
1962 1962 revlog has grown too large to be an inline revlog, it will convert it
1963 1963 to use multiple index and data files.
1964 1964 """
1965 1965 tiprev = len(self) - 1
1966 1966 total_size = self.start(tiprev) + self.length(tiprev)
1967 1967 if not self._inline or total_size < _maxinline:
1968 1968 return
1969 1969
1970 1970 troffset = tr.findoffset(self._indexfile)
1971 1971 if troffset is None:
1972 1972 raise error.RevlogError(
1973 1973 _(b"%s not found in the transaction") % self._indexfile
1974 1974 )
1975 1975 trindex = 0
1976 1976 tr.add(self._datafile, 0)
1977 1977
1978 1978 if fp:
1979 1979 fp.flush()
1980 1980 fp.close()
1981 1981 # We can't use the cached file handle after close(). So prevent
1982 1982 # its usage.
1983 1983 self._writinghandles = None
1984 1984
1985 1985 with self._indexfp(b'r') as ifh, self._datafp(b'w') as dfh:
1986 1986 for r in self:
1987 1987 dfh.write(self._getsegmentforrevs(r, r, df=ifh)[1])
1988 1988 if troffset <= self.start(r):
1989 1989 trindex = r
1990 1990
1991 1991 with self._indexfp(b'w') as fp:
1992 1992 self._format_flags &= ~FLAG_INLINE_DATA
1993 1993 self._inline = False
1994 1994 for i in self:
1995 1995 e = self.index.entry_binary(i)
1996 1996 if i == 0:
1997 1997 header = self._format_flags | self._format_version
1998 1998 header = self.index.pack_header(header)
1999 1999 e = header + e
2000 2000 fp.write(e)
2001 2001
2002 2002 # the temp file replace the real index when we exit the context
2003 2003 # manager
2004 2004
2005 2005 tr.replace(self._indexfile, trindex * self.index.entry_size)
2006 2006 nodemaputil.setup_persistent_nodemap(tr, self)
2007 2007 self._chunkclear()
2008 2008
2009 2009 def _nodeduplicatecallback(self, transaction, node):
2010 2010 """called when trying to add a node already stored."""
2011 2011
2012 2012 def addrevision(
2013 2013 self,
2014 2014 text,
2015 2015 transaction,
2016 2016 link,
2017 2017 p1,
2018 2018 p2,
2019 2019 cachedelta=None,
2020 2020 node=None,
2021 2021 flags=REVIDX_DEFAULT_FLAGS,
2022 2022 deltacomputer=None,
2023 2023 sidedata=None,
2024 2024 ):
2025 2025 """add a revision to the log
2026 2026
2027 2027 text - the revision data to add
2028 2028 transaction - the transaction object used for rollback
2029 2029 link - the linkrev data to add
2030 2030 p1, p2 - the parent nodeids of the revision
2031 2031 cachedelta - an optional precomputed delta
2032 2032 node - nodeid of revision; typically node is not specified, and it is
2033 2033 computed by default as hash(text, p1, p2), however subclasses might
2034 2034 use different hashing method (and override checkhash() in such case)
2035 2035 flags - the known flags to set on the revision
2036 2036 deltacomputer - an optional deltacomputer instance shared between
2037 2037 multiple calls
2038 2038 """
2039 2039 if link == nullrev:
2040 2040 raise error.RevlogError(
2041 2041 _(b"attempted to add linkrev -1 to %s") % self.display_id
2042 2042 )
2043 2043
2044 2044 if sidedata is None:
2045 2045 sidedata = {}
2046 2046 elif sidedata and not self.hassidedata:
2047 2047 raise error.ProgrammingError(
2048 2048 _(b"trying to add sidedata to a revlog who don't support them")
2049 2049 )
2050 2050
2051 2051 if flags:
2052 2052 node = node or self.hash(text, p1, p2)
2053 2053
2054 2054 rawtext, validatehash = flagutil.processflagswrite(self, text, flags)
2055 2055
2056 2056 # If the flag processor modifies the revision data, ignore any provided
2057 2057 # cachedelta.
2058 2058 if rawtext != text:
2059 2059 cachedelta = None
2060 2060
2061 2061 if len(rawtext) > _maxentrysize:
2062 2062 raise error.RevlogError(
2063 2063 _(
2064 2064 b"%s: size of %d bytes exceeds maximum revlog storage of 2GiB"
2065 2065 )
2066 2066 % (self.display_id, len(rawtext))
2067 2067 )
2068 2068
2069 2069 node = node or self.hash(rawtext, p1, p2)
2070 2070 rev = self.index.get_rev(node)
2071 2071 if rev is not None:
2072 2072 return rev
2073 2073
2074 2074 if validatehash:
2075 2075 self.checkhash(rawtext, node, p1=p1, p2=p2)
2076 2076
2077 2077 return self.addrawrevision(
2078 2078 rawtext,
2079 2079 transaction,
2080 2080 link,
2081 2081 p1,
2082 2082 p2,
2083 2083 node,
2084 2084 flags,
2085 2085 cachedelta=cachedelta,
2086 2086 deltacomputer=deltacomputer,
2087 2087 sidedata=sidedata,
2088 2088 )
2089 2089
2090 2090 def addrawrevision(
2091 2091 self,
2092 2092 rawtext,
2093 2093 transaction,
2094 2094 link,
2095 2095 p1,
2096 2096 p2,
2097 2097 node,
2098 2098 flags,
2099 2099 cachedelta=None,
2100 2100 deltacomputer=None,
2101 2101 sidedata=None,
2102 2102 ):
2103 2103 """add a raw revision with known flags, node and parents
2104 2104 useful when reusing a revision not stored in this revlog (ex: received
2105 2105 over wire, or read from an external bundle).
2106 2106 """
2107 2107 dfh = None
2108 2108 if not self._inline:
2109 2109 dfh = self._datafp(b"a+")
2110 2110 ifh = self._indexfp(b"a+")
2111 2111 try:
2112 2112 return self._addrevision(
2113 2113 node,
2114 2114 rawtext,
2115 2115 transaction,
2116 2116 link,
2117 2117 p1,
2118 2118 p2,
2119 2119 flags,
2120 2120 cachedelta,
2121 2121 ifh,
2122 2122 dfh,
2123 2123 deltacomputer=deltacomputer,
2124 2124 sidedata=sidedata,
2125 2125 )
2126 2126 finally:
2127 2127 if dfh:
2128 2128 dfh.close()
2129 2129 ifh.close()
2130 2130
2131 2131 def compress(self, data):
2132 2132 """Generate a possibly-compressed representation of data."""
2133 2133 if not data:
2134 2134 return b'', data
2135 2135
2136 2136 compressed = self._compressor.compress(data)
2137 2137
2138 2138 if compressed:
2139 2139 # The revlog compressor added the header in the returned data.
2140 2140 return b'', compressed
2141 2141
2142 2142 if data[0:1] == b'\0':
2143 2143 return b'', data
2144 2144 return b'u', data
2145 2145
2146 2146 def decompress(self, data):
2147 2147 """Decompress a revlog chunk.
2148 2148
2149 2149 The chunk is expected to begin with a header identifying the
2150 2150 format type so it can be routed to an appropriate decompressor.
2151 2151 """
2152 2152 if not data:
2153 2153 return data
2154 2154
2155 2155 # Revlogs are read much more frequently than they are written and many
2156 2156 # chunks only take microseconds to decompress, so performance is
2157 2157 # important here.
2158 2158 #
2159 2159 # We can make a few assumptions about revlogs:
2160 2160 #
2161 2161 # 1) the majority of chunks will be compressed (as opposed to inline
2162 2162 # raw data).
2163 2163 # 2) decompressing *any* data will likely by at least 10x slower than
2164 2164 # returning raw inline data.
2165 2165 # 3) we want to prioritize common and officially supported compression
2166 2166 # engines
2167 2167 #
2168 2168 # It follows that we want to optimize for "decompress compressed data
2169 2169 # when encoded with common and officially supported compression engines"
2170 2170 # case over "raw data" and "data encoded by less common or non-official
2171 2171 # compression engines." That is why we have the inline lookup first
2172 2172 # followed by the compengines lookup.
2173 2173 #
2174 2174 # According to `hg perfrevlogchunks`, this is ~0.5% faster for zlib
2175 2175 # compressed chunks. And this matters for changelog and manifest reads.
2176 2176 t = data[0:1]
2177 2177
2178 2178 if t == b'x':
2179 2179 try:
2180 2180 return _zlibdecompress(data)
2181 2181 except zlib.error as e:
2182 2182 raise error.RevlogError(
2183 2183 _(b'revlog decompress error: %s')
2184 2184 % stringutil.forcebytestr(e)
2185 2185 )
2186 2186 # '\0' is more common than 'u' so it goes first.
2187 2187 elif t == b'\0':
2188 2188 return data
2189 2189 elif t == b'u':
2190 2190 return util.buffer(data, 1)
2191 2191
2192 2192 try:
2193 2193 compressor = self._decompressors[t]
2194 2194 except KeyError:
2195 2195 try:
2196 2196 engine = util.compengines.forrevlogheader(t)
2197 2197 compressor = engine.revlogcompressor(self._compengineopts)
2198 2198 self._decompressors[t] = compressor
2199 2199 except KeyError:
2200 2200 raise error.RevlogError(
2201 2201 _(b'unknown compression type %s') % binascii.hexlify(t)
2202 2202 )
2203 2203
2204 2204 return compressor.decompress(data)
2205 2205
2206 2206 def _addrevision(
2207 2207 self,
2208 2208 node,
2209 2209 rawtext,
2210 2210 transaction,
2211 2211 link,
2212 2212 p1,
2213 2213 p2,
2214 2214 flags,
2215 2215 cachedelta,
2216 2216 ifh,
2217 2217 dfh,
2218 2218 alwayscache=False,
2219 2219 deltacomputer=None,
2220 2220 sidedata=None,
2221 2221 ):
2222 2222 """internal function to add revisions to the log
2223 2223
2224 2224 see addrevision for argument descriptions.
2225 2225
2226 2226 note: "addrevision" takes non-raw text, "_addrevision" takes raw text.
2227 2227
2228 2228 if "deltacomputer" is not provided or None, a defaultdeltacomputer will
2229 2229 be used.
2230 2230
2231 2231 invariants:
2232 2232 - rawtext is optional (can be None); if not set, cachedelta must be set.
2233 2233 if both are set, they must correspond to each other.
2234 2234 """
2235 2235 if node == self.nullid:
2236 2236 raise error.RevlogError(
2237 2237 _(b"%s: attempt to add null revision") % self.display_id
2238 2238 )
2239 2239 if (
2240 2240 node == self.nodeconstants.wdirid
2241 2241 or node in self.nodeconstants.wdirfilenodeids
2242 2242 ):
2243 2243 raise error.RevlogError(
2244 2244 _(b"%s: attempt to add wdir revision") % self.display_id
2245 2245 )
2246 2246
2247 2247 if self._inline:
2248 2248 fh = ifh
2249 2249 else:
2250 2250 fh = dfh
2251 2251
2252 2252 btext = [rawtext]
2253 2253
2254 2254 curr = len(self)
2255 2255 prev = curr - 1
2256 2256
2257 2257 offset = self._get_data_offset(prev)
2258 2258
2259 2259 if self._concurrencychecker:
2260 2260 if self._inline:
2261 2261 # offset is "as if" it were in the .d file, so we need to add on
2262 2262 # the size of the entry metadata.
2263 2263 self._concurrencychecker(
2264 2264 ifh, self._indexfile, offset + curr * self.index.entry_size
2265 2265 )
2266 2266 else:
2267 2267 # Entries in the .i are a consistent size.
2268 2268 self._concurrencychecker(
2269 2269 ifh, self._indexfile, curr * self.index.entry_size
2270 2270 )
2271 2271 self._concurrencychecker(dfh, self._datafile, offset)
2272 2272
2273 2273 p1r, p2r = self.rev(p1), self.rev(p2)
2274 2274
2275 2275 # full versions are inserted when the needed deltas
2276 2276 # become comparable to the uncompressed text
2277 2277 if rawtext is None:
2278 2278 # need rawtext size, before changed by flag processors, which is
2279 2279 # the non-raw size. use revlog explicitly to avoid filelog's extra
2280 2280 # logic that might remove metadata size.
2281 2281 textlen = mdiff.patchedsize(
2282 2282 revlog.size(self, cachedelta[0]), cachedelta[1]
2283 2283 )
2284 2284 else:
2285 2285 textlen = len(rawtext)
2286 2286
2287 2287 if deltacomputer is None:
2288 2288 deltacomputer = deltautil.deltacomputer(self)
2289 2289
2290 2290 revinfo = _revisioninfo(node, p1, p2, btext, textlen, cachedelta, flags)
2291 2291
2292 2292 deltainfo = deltacomputer.finddeltainfo(revinfo, fh)
2293 2293
2294 2294 if sidedata and self.hassidedata:
2295 2295 serialized_sidedata = sidedatautil.serialize_sidedata(sidedata)
2296 2296 sidedata_offset = offset + deltainfo.deltalen
2297 2297 else:
2298 2298 serialized_sidedata = b""
2299 2299 # Don't store the offset if the sidedata is empty, that way
2300 2300 # we can easily detect empty sidedata and they will be no different
2301 2301 # than ones we manually add.
2302 2302 sidedata_offset = 0
2303 2303
2304 2304 e = (
2305 2305 offset_type(offset, flags),
2306 2306 deltainfo.deltalen,
2307 2307 textlen,
2308 2308 deltainfo.base,
2309 2309 link,
2310 2310 p1r,
2311 2311 p2r,
2312 2312 node,
2313 2313 sidedata_offset,
2314 2314 len(serialized_sidedata),
2315 2315 )
2316 2316
2317 2317 self.index.append(e)
2318 2318 entry = self.index.entry_binary(curr)
2319 2319 if curr == 0:
2320 2320 header = self._format_flags | self._format_version
2321 2321 header = self.index.pack_header(header)
2322 2322 entry = header + entry
2323 2323 self._writeentry(
2324 2324 transaction,
2325 2325 ifh,
2326 2326 dfh,
2327 2327 entry,
2328 2328 deltainfo.data,
2329 2329 link,
2330 2330 offset,
2331 2331 serialized_sidedata,
2332 2332 )
2333 2333
2334 2334 rawtext = btext[0]
2335 2335
2336 2336 if alwayscache and rawtext is None:
2337 2337 rawtext = deltacomputer.buildtext(revinfo, fh)
2338 2338
2339 2339 if type(rawtext) == bytes: # only accept immutable objects
2340 2340 self._revisioncache = (node, curr, rawtext)
2341 2341 self._chainbasecache[curr] = deltainfo.chainbase
2342 2342 return curr
2343 2343
2344 2344 def _get_data_offset(self, prev):
2345 2345 """Returns the current offset in the (in-transaction) data file.
2346 2346 Versions < 2 of the revlog can get this 0(1), revlog v2 needs a docket
2347 2347 file to store that information: since sidedata can be rewritten to the
2348 2348 end of the data file within a transaction, you can have cases where, for
2349 2349 example, rev `n` does not have sidedata while rev `n - 1` does, leading
2350 2350 to `n - 1`'s sidedata being written after `n`'s data.
2351 2351
2352 2352 TODO cache this in a docket file before getting out of experimental."""
2353 2353 if self._format_version != REVLOGV2:
2354 2354 return self.end(prev)
2355 2355
2356 2356 offset = 0
2357 2357 for rev, entry in enumerate(self.index):
2358 2358 sidedata_end = entry[8] + entry[9]
2359 2359 # Sidedata for a previous rev has potentially been written after
2360 2360 # this rev's end, so take the max.
2361 2361 offset = max(self.end(rev), offset, sidedata_end)
2362 2362 return offset
2363 2363
2364 2364 def _writeentry(
2365 2365 self, transaction, ifh, dfh, entry, data, link, offset, sidedata
2366 2366 ):
2367 2367 # Files opened in a+ mode have inconsistent behavior on various
2368 2368 # platforms. Windows requires that a file positioning call be made
2369 2369 # when the file handle transitions between reads and writes. See
2370 2370 # 3686fa2b8eee and the mixedfilemodewrapper in windows.py. On other
2371 2371 # platforms, Python or the platform itself can be buggy. Some versions
2372 2372 # of Solaris have been observed to not append at the end of the file
2373 2373 # if the file was seeked to before the end. See issue4943 for more.
2374 2374 #
2375 2375 # We work around this issue by inserting a seek() before writing.
2376 2376 # Note: This is likely not necessary on Python 3. However, because
2377 2377 # the file handle is reused for reads and may be seeked there, we need
2378 2378 # to be careful before changing this.
2379 2379 ifh.seek(0, os.SEEK_END)
2380 2380 if dfh:
2381 2381 dfh.seek(0, os.SEEK_END)
2382 2382
2383 2383 curr = len(self) - 1
2384 2384 if not self._inline:
2385 2385 transaction.add(self._datafile, offset)
2386 2386 transaction.add(self._indexfile, curr * len(entry))
2387 2387 if data[0]:
2388 2388 dfh.write(data[0])
2389 2389 dfh.write(data[1])
2390 2390 if sidedata:
2391 2391 dfh.write(sidedata)
2392 2392 ifh.write(entry)
2393 2393 else:
2394 2394 offset += curr * self.index.entry_size
2395 2395 transaction.add(self._indexfile, offset)
2396 2396 ifh.write(entry)
2397 2397 ifh.write(data[0])
2398 2398 ifh.write(data[1])
2399 2399 if sidedata:
2400 2400 ifh.write(sidedata)
2401 2401 self._enforceinlinesize(transaction, ifh)
2402 2402 nodemaputil.setup_persistent_nodemap(transaction, self)
2403 2403
2404 2404 def addgroup(
2405 2405 self,
2406 2406 deltas,
2407 2407 linkmapper,
2408 2408 transaction,
2409 2409 alwayscache=False,
2410 2410 addrevisioncb=None,
2411 2411 duplicaterevisioncb=None,
2412 2412 ):
2413 2413 """
2414 2414 add a delta group
2415 2415
2416 2416 given a set of deltas, add them to the revision log. the
2417 2417 first delta is against its parent, which should be in our
2418 2418 log, the rest are against the previous delta.
2419 2419
2420 2420 If ``addrevisioncb`` is defined, it will be called with arguments of
2421 2421 this revlog and the node that was added.
2422 2422 """
2423 2423
2424 2424 if self._writinghandles:
2425 2425 raise error.ProgrammingError(b'cannot nest addgroup() calls')
2426 2426
2427 2427 r = len(self)
2428 2428 end = 0
2429 2429 if r:
2430 2430 end = self.end(r - 1)
2431 2431 ifh = self._indexfp(b"a+")
2432 2432 isize = r * self.index.entry_size
2433 2433 if self._inline:
2434 2434 transaction.add(self._indexfile, end + isize)
2435 2435 dfh = None
2436 2436 else:
2437 2437 transaction.add(self._indexfile, isize)
2438 2438 transaction.add(self._datafile, end)
2439 2439 dfh = self._datafp(b"a+")
2440 2440
2441 2441 self._writinghandles = (ifh, dfh)
2442 2442 empty = True
2443 2443
2444 2444 try:
2445 2445 deltacomputer = deltautil.deltacomputer(self)
2446 2446 # loop through our set of deltas
2447 2447 for data in deltas:
2448 2448 node, p1, p2, linknode, deltabase, delta, flags, sidedata = data
2449 2449 link = linkmapper(linknode)
2450 2450 flags = flags or REVIDX_DEFAULT_FLAGS
2451 2451
2452 2452 rev = self.index.get_rev(node)
2453 2453 if rev is not None:
2454 2454 # this can happen if two branches make the same change
2455 2455 self._nodeduplicatecallback(transaction, rev)
2456 2456 if duplicaterevisioncb:
2457 2457 duplicaterevisioncb(self, rev)
2458 2458 empty = False
2459 2459 continue
2460 2460
2461 2461 for p in (p1, p2):
2462 2462 if not self.index.has_node(p):
2463 2463 raise error.LookupError(
2464 2464 p, self.radix, _(b'unknown parent')
2465 2465 )
2466 2466
2467 2467 if not self.index.has_node(deltabase):
2468 2468 raise error.LookupError(
2469 2469 deltabase, self.display_id, _(b'unknown delta base')
2470 2470 )
2471 2471
2472 2472 baserev = self.rev(deltabase)
2473 2473
2474 2474 if baserev != nullrev and self.iscensored(baserev):
2475 2475 # if base is censored, delta must be full replacement in a
2476 2476 # single patch operation
2477 2477 hlen = struct.calcsize(b">lll")
2478 2478 oldlen = self.rawsize(baserev)
2479 2479 newlen = len(delta) - hlen
2480 2480 if delta[:hlen] != mdiff.replacediffheader(oldlen, newlen):
2481 2481 raise error.CensoredBaseError(
2482 2482 self.display_id, self.node(baserev)
2483 2483 )
2484 2484
2485 2485 if not flags and self._peek_iscensored(baserev, delta):
2486 2486 flags |= REVIDX_ISCENSORED
2487 2487
2488 2488 # We assume consumers of addrevisioncb will want to retrieve
2489 2489 # the added revision, which will require a call to
2490 2490 # revision(). revision() will fast path if there is a cache
2491 2491 # hit. So, we tell _addrevision() to always cache in this case.
2492 2492 # We're only using addgroup() in the context of changegroup
2493 2493 # generation so the revision data can always be handled as raw
2494 2494 # by the flagprocessor.
2495 2495 rev = self._addrevision(
2496 2496 node,
2497 2497 None,
2498 2498 transaction,
2499 2499 link,
2500 2500 p1,
2501 2501 p2,
2502 2502 flags,
2503 2503 (baserev, delta),
2504 2504 ifh,
2505 2505 dfh,
2506 2506 alwayscache=alwayscache,
2507 2507 deltacomputer=deltacomputer,
2508 2508 sidedata=sidedata,
2509 2509 )
2510 2510
2511 2511 if addrevisioncb:
2512 2512 addrevisioncb(self, rev)
2513 2513 empty = False
2514 2514
2515 2515 if not dfh and not self._inline:
2516 2516 # addrevision switched from inline to conventional
2517 2517 # reopen the index
2518 2518 ifh.close()
2519 2519 dfh = self._datafp(b"a+")
2520 2520 ifh = self._indexfp(b"a+")
2521 2521 self._writinghandles = (ifh, dfh)
2522 2522 finally:
2523 2523 self._writinghandles = None
2524 2524
2525 2525 if dfh:
2526 2526 dfh.close()
2527 2527 ifh.close()
2528 2528 return not empty
2529 2529
2530 2530 def iscensored(self, rev):
2531 2531 """Check if a file revision is censored."""
2532 2532 if not self._censorable:
2533 2533 return False
2534 2534
2535 2535 return self.flags(rev) & REVIDX_ISCENSORED
2536 2536
2537 2537 def _peek_iscensored(self, baserev, delta):
2538 2538 """Quickly check if a delta produces a censored revision."""
2539 2539 if not self._censorable:
2540 2540 return False
2541 2541
2542 2542 return storageutil.deltaiscensored(delta, baserev, self.rawsize)
2543 2543
2544 2544 def getstrippoint(self, minlink):
2545 2545 """find the minimum rev that must be stripped to strip the linkrev
2546 2546
2547 2547 Returns a tuple containing the minimum rev and a set of all revs that
2548 2548 have linkrevs that will be broken by this strip.
2549 2549 """
2550 2550 return storageutil.resolvestripinfo(
2551 2551 minlink,
2552 2552 len(self) - 1,
2553 2553 self.headrevs(),
2554 2554 self.linkrev,
2555 2555 self.parentrevs,
2556 2556 )
2557 2557
2558 2558 def strip(self, minlink, transaction):
2559 2559 """truncate the revlog on the first revision with a linkrev >= minlink
2560 2560
2561 2561 This function is called when we're stripping revision minlink and
2562 2562 its descendants from the repository.
2563 2563
2564 2564 We have to remove all revisions with linkrev >= minlink, because
2565 2565 the equivalent changelog revisions will be renumbered after the
2566 2566 strip.
2567 2567
2568 2568 So we truncate the revlog on the first of these revisions, and
2569 2569 trust that the caller has saved the revisions that shouldn't be
2570 2570 removed and that it'll re-add them after this truncation.
2571 2571 """
2572 2572 if len(self) == 0:
2573 2573 return
2574 2574
2575 2575 rev, _ = self.getstrippoint(minlink)
2576 2576 if rev == len(self):
2577 2577 return
2578 2578
2579 2579 # first truncate the files on disk
2580 2580 end = self.start(rev)
2581 2581 if not self._inline:
2582 2582 transaction.add(self._datafile, end)
2583 2583 end = rev * self.index.entry_size
2584 2584 else:
2585 2585 end += rev * self.index.entry_size
2586 2586
2587 2587 transaction.add(self._indexfile, end)
2588 2588
2589 2589 # then reset internal state in memory to forget those revisions
2590 2590 self._revisioncache = None
2591 2591 self._chaininfocache = util.lrucachedict(500)
2592 2592 self._chunkclear()
2593 2593
2594 2594 del self.index[rev:-1]
2595 2595
2596 2596 def checksize(self):
2597 2597 """Check size of index and data files
2598 2598
2599 2599 return a (dd, di) tuple.
2600 2600 - dd: extra bytes for the "data" file
2601 2601 - di: extra bytes for the "index" file
2602 2602
2603 2603 A healthy revlog will return (0, 0).
2604 2604 """
2605 2605 expected = 0
2606 2606 if len(self):
2607 2607 expected = max(0, self.end(len(self) - 1))
2608 2608
2609 2609 try:
2610 2610 with self._datafp() as f:
2611 2611 f.seek(0, io.SEEK_END)
2612 2612 actual = f.tell()
2613 2613 dd = actual - expected
2614 2614 except IOError as inst:
2615 2615 if inst.errno != errno.ENOENT:
2616 2616 raise
2617 2617 dd = 0
2618 2618
2619 2619 try:
2620 2620 f = self.opener(self._indexfile)
2621 2621 f.seek(0, io.SEEK_END)
2622 2622 actual = f.tell()
2623 2623 f.close()
2624 2624 s = self.index.entry_size
2625 2625 i = max(0, actual // s)
2626 2626 di = actual - (i * s)
2627 2627 if self._inline:
2628 2628 databytes = 0
2629 2629 for r in self:
2630 2630 databytes += max(0, self.length(r))
2631 2631 dd = 0
2632 2632 di = actual - len(self) * s - databytes
2633 2633 except IOError as inst:
2634 2634 if inst.errno != errno.ENOENT:
2635 2635 raise
2636 2636 di = 0
2637 2637
2638 2638 return (dd, di)
2639 2639
2640 2640 def files(self):
2641 2641 res = [self._indexfile]
2642 2642 if not self._inline:
2643 2643 res.append(self._datafile)
2644 2644 return res
2645 2645
2646 2646 def emitrevisions(
2647 2647 self,
2648 2648 nodes,
2649 2649 nodesorder=None,
2650 2650 revisiondata=False,
2651 2651 assumehaveparentrevisions=False,
2652 2652 deltamode=repository.CG_DELTAMODE_STD,
2653 2653 sidedata_helpers=None,
2654 2654 ):
2655 2655 if nodesorder not in (b'nodes', b'storage', b'linear', None):
2656 2656 raise error.ProgrammingError(
2657 2657 b'unhandled value for nodesorder: %s' % nodesorder
2658 2658 )
2659 2659
2660 2660 if nodesorder is None and not self._generaldelta:
2661 2661 nodesorder = b'storage'
2662 2662
2663 2663 if (
2664 2664 not self._storedeltachains
2665 2665 and deltamode != repository.CG_DELTAMODE_PREV
2666 2666 ):
2667 2667 deltamode = repository.CG_DELTAMODE_FULL
2668 2668
2669 2669 return storageutil.emitrevisions(
2670 2670 self,
2671 2671 nodes,
2672 2672 nodesorder,
2673 2673 revlogrevisiondelta,
2674 2674 deltaparentfn=self.deltaparent,
2675 2675 candeltafn=self.candelta,
2676 2676 rawsizefn=self.rawsize,
2677 2677 revdifffn=self.revdiff,
2678 2678 flagsfn=self.flags,
2679 2679 deltamode=deltamode,
2680 2680 revisiondata=revisiondata,
2681 2681 assumehaveparentrevisions=assumehaveparentrevisions,
2682 2682 sidedata_helpers=sidedata_helpers,
2683 2683 )
2684 2684
2685 2685 DELTAREUSEALWAYS = b'always'
2686 2686 DELTAREUSESAMEREVS = b'samerevs'
2687 2687 DELTAREUSENEVER = b'never'
2688 2688
2689 2689 DELTAREUSEFULLADD = b'fulladd'
2690 2690
2691 2691 DELTAREUSEALL = {b'always', b'samerevs', b'never', b'fulladd'}
2692 2692
2693 2693 def clone(
2694 2694 self,
2695 2695 tr,
2696 2696 destrevlog,
2697 2697 addrevisioncb=None,
2698 2698 deltareuse=DELTAREUSESAMEREVS,
2699 2699 forcedeltabothparents=None,
2700 2700 sidedata_helpers=None,
2701 2701 ):
2702 2702 """Copy this revlog to another, possibly with format changes.
2703 2703
2704 2704 The destination revlog will contain the same revisions and nodes.
2705 2705 However, it may not be bit-for-bit identical due to e.g. delta encoding
2706 2706 differences.
2707 2707
2708 2708 The ``deltareuse`` argument control how deltas from the existing revlog
2709 2709 are preserved in the destination revlog. The argument can have the
2710 2710 following values:
2711 2711
2712 2712 DELTAREUSEALWAYS
2713 2713 Deltas will always be reused (if possible), even if the destination
2714 2714 revlog would not select the same revisions for the delta. This is the
2715 2715 fastest mode of operation.
2716 2716 DELTAREUSESAMEREVS
2717 2717 Deltas will be reused if the destination revlog would pick the same
2718 2718 revisions for the delta. This mode strikes a balance between speed
2719 2719 and optimization.
2720 2720 DELTAREUSENEVER
2721 2721 Deltas will never be reused. This is the slowest mode of execution.
2722 2722 This mode can be used to recompute deltas (e.g. if the diff/delta
2723 2723 algorithm changes).
2724 2724 DELTAREUSEFULLADD
2725 2725 Revision will be re-added as if their were new content. This is
2726 2726 slower than DELTAREUSEALWAYS but allow more mechanism to kicks in.
2727 2727 eg: large file detection and handling.
2728 2728
2729 2729 Delta computation can be slow, so the choice of delta reuse policy can
2730 2730 significantly affect run time.
2731 2731
2732 2732 The default policy (``DELTAREUSESAMEREVS``) strikes a balance between
2733 2733 two extremes. Deltas will be reused if they are appropriate. But if the
2734 2734 delta could choose a better revision, it will do so. This means if you
2735 2735 are converting a non-generaldelta revlog to a generaldelta revlog,
2736 2736 deltas will be recomputed if the delta's parent isn't a parent of the
2737 2737 revision.
2738 2738
2739 2739 In addition to the delta policy, the ``forcedeltabothparents``
2740 2740 argument controls whether to force compute deltas against both parents
2741 2741 for merges. By default, the current default is used.
2742 2742
2743 2743 See `revlogutil.sidedata.get_sidedata_helpers` for the doc on
2744 2744 `sidedata_helpers`.
2745 2745 """
2746 2746 if deltareuse not in self.DELTAREUSEALL:
2747 2747 raise ValueError(
2748 2748 _(b'value for deltareuse invalid: %s') % deltareuse
2749 2749 )
2750 2750
2751 2751 if len(destrevlog):
2752 2752 raise ValueError(_(b'destination revlog is not empty'))
2753 2753
2754 2754 if getattr(self, 'filteredrevs', None):
2755 2755 raise ValueError(_(b'source revlog has filtered revisions'))
2756 2756 if getattr(destrevlog, 'filteredrevs', None):
2757 2757 raise ValueError(_(b'destination revlog has filtered revisions'))
2758 2758
2759 2759 # lazydelta and lazydeltabase controls whether to reuse a cached delta,
2760 2760 # if possible.
2761 2761 oldlazydelta = destrevlog._lazydelta
2762 2762 oldlazydeltabase = destrevlog._lazydeltabase
2763 2763 oldamd = destrevlog._deltabothparents
2764 2764
2765 2765 try:
2766 2766 if deltareuse == self.DELTAREUSEALWAYS:
2767 2767 destrevlog._lazydeltabase = True
2768 2768 destrevlog._lazydelta = True
2769 2769 elif deltareuse == self.DELTAREUSESAMEREVS:
2770 2770 destrevlog._lazydeltabase = False
2771 2771 destrevlog._lazydelta = True
2772 2772 elif deltareuse == self.DELTAREUSENEVER:
2773 2773 destrevlog._lazydeltabase = False
2774 2774 destrevlog._lazydelta = False
2775 2775
2776 2776 destrevlog._deltabothparents = forcedeltabothparents or oldamd
2777 2777
2778 2778 self._clone(
2779 2779 tr,
2780 2780 destrevlog,
2781 2781 addrevisioncb,
2782 2782 deltareuse,
2783 2783 forcedeltabothparents,
2784 2784 sidedata_helpers,
2785 2785 )
2786 2786
2787 2787 finally:
2788 2788 destrevlog._lazydelta = oldlazydelta
2789 2789 destrevlog._lazydeltabase = oldlazydeltabase
2790 2790 destrevlog._deltabothparents = oldamd
2791 2791
2792 2792 def _clone(
2793 2793 self,
2794 2794 tr,
2795 2795 destrevlog,
2796 2796 addrevisioncb,
2797 2797 deltareuse,
2798 2798 forcedeltabothparents,
2799 2799 sidedata_helpers,
2800 2800 ):
2801 2801 """perform the core duty of `revlog.clone` after parameter processing"""
2802 2802 deltacomputer = deltautil.deltacomputer(destrevlog)
2803 2803 index = self.index
2804 2804 for rev in self:
2805 2805 entry = index[rev]
2806 2806
2807 2807 # Some classes override linkrev to take filtered revs into
2808 2808 # account. Use raw entry from index.
2809 2809 flags = entry[0] & 0xFFFF
2810 2810 linkrev = entry[4]
2811 2811 p1 = index[entry[5]][7]
2812 2812 p2 = index[entry[6]][7]
2813 2813 node = entry[7]
2814 2814
2815 2815 # (Possibly) reuse the delta from the revlog if allowed and
2816 2816 # the revlog chunk is a delta.
2817 2817 cachedelta = None
2818 2818 rawtext = None
2819 2819 if deltareuse == self.DELTAREUSEFULLADD:
2820 2820 text, sidedata = self._revisiondata(rev)
2821 2821
2822 2822 if sidedata_helpers is not None:
2823 2823 (sidedata, new_flags) = sidedatautil.run_sidedata_helpers(
2824 2824 self, sidedata_helpers, sidedata, rev
2825 2825 )
2826 2826 flags = flags | new_flags[0] & ~new_flags[1]
2827 2827
2828 2828 destrevlog.addrevision(
2829 2829 text,
2830 2830 tr,
2831 2831 linkrev,
2832 2832 p1,
2833 2833 p2,
2834 2834 cachedelta=cachedelta,
2835 2835 node=node,
2836 2836 flags=flags,
2837 2837 deltacomputer=deltacomputer,
2838 2838 sidedata=sidedata,
2839 2839 )
2840 2840 else:
2841 2841 if destrevlog._lazydelta:
2842 2842 dp = self.deltaparent(rev)
2843 2843 if dp != nullrev:
2844 2844 cachedelta = (dp, bytes(self._chunk(rev)))
2845 2845
2846 2846 sidedata = None
2847 2847 if not cachedelta:
2848 2848 rawtext, sidedata = self._revisiondata(rev)
2849 2849 if sidedata is None:
2850 2850 sidedata = self.sidedata(rev)
2851 2851
2852 2852 if sidedata_helpers is not None:
2853 2853 (sidedata, new_flags) = sidedatautil.run_sidedata_helpers(
2854 2854 self, sidedata_helpers, sidedata, rev
2855 2855 )
2856 2856 flags = flags | new_flags[0] & ~new_flags[1]
2857 2857
2858 2858 ifh = destrevlog.opener(
2859 2859 destrevlog._indexfile, b'a+', checkambig=False
2860 2860 )
2861 2861 dfh = None
2862 2862 if not destrevlog._inline:
2863 2863 dfh = destrevlog.opener(destrevlog._datafile, b'a+')
2864 2864 try:
2865 2865 destrevlog._addrevision(
2866 2866 node,
2867 2867 rawtext,
2868 2868 tr,
2869 2869 linkrev,
2870 2870 p1,
2871 2871 p2,
2872 2872 flags,
2873 2873 cachedelta,
2874 2874 ifh,
2875 2875 dfh,
2876 2876 deltacomputer=deltacomputer,
2877 2877 sidedata=sidedata,
2878 2878 )
2879 2879 finally:
2880 2880 if dfh:
2881 2881 dfh.close()
2882 2882 ifh.close()
2883 2883
2884 2884 if addrevisioncb:
2885 2885 addrevisioncb(self, rev, node)
2886 2886
2887 2887 def censorrevision(self, tr, censornode, tombstone=b''):
2888 2888 if self._format_version == REVLOGV0:
2889 2889 raise error.RevlogError(
2890 2890 _(b'cannot censor with version %d revlogs')
2891 2891 % self._format_version
2892 2892 )
2893 2893
2894 2894 censorrev = self.rev(censornode)
2895 2895 tombstone = storageutil.packmeta({b'censored': tombstone}, b'')
2896 2896
2897 2897 if len(tombstone) > self.rawsize(censorrev):
2898 2898 raise error.Abort(
2899 2899 _(b'censor tombstone must be no longer than censored data')
2900 2900 )
2901 2901
2902 2902 # Rewriting the revlog in place is hard. Our strategy for censoring is
2903 2903 # to create a new revlog, copy all revisions to it, then replace the
2904 2904 # revlogs on transaction close.
2905 2905 #
2906 2906 # This is a bit dangerous. We could easily have a mismatch of state.
2907 2907 newrl = revlog(
2908 2908 self.opener,
2909 2909 target=self.target,
2910 2910 radix=self.radix,
2911 2911 postfix=b'tmpcensored',
2912 2912 censorable=True,
2913 2913 )
2914 2914 newrl._format_version = self._format_version
2915 2915 newrl._format_flags = self._format_flags
2916 2916 newrl._generaldelta = self._generaldelta
2917 2917 newrl._parse_index = self._parse_index
2918 2918
2919 2919 for rev in self.revs():
2920 2920 node = self.node(rev)
2921 2921 p1, p2 = self.parents(node)
2922 2922
2923 2923 if rev == censorrev:
2924 2924 newrl.addrawrevision(
2925 2925 tombstone,
2926 2926 tr,
2927 2927 self.linkrev(censorrev),
2928 2928 p1,
2929 2929 p2,
2930 2930 censornode,
2931 2931 REVIDX_ISCENSORED,
2932 2932 )
2933 2933
2934 2934 if newrl.deltaparent(rev) != nullrev:
2935 2935 raise error.Abort(
2936 2936 _(
2937 2937 b'censored revision stored as delta; '
2938 2938 b'cannot censor'
2939 2939 ),
2940 2940 hint=_(
2941 2941 b'censoring of revlogs is not '
2942 2942 b'fully implemented; please report '
2943 2943 b'this bug'
2944 2944 ),
2945 2945 )
2946 2946 continue
2947 2947
2948 2948 if self.iscensored(rev):
2949 2949 if self.deltaparent(rev) != nullrev:
2950 2950 raise error.Abort(
2951 2951 _(
2952 2952 b'cannot censor due to censored '
2953 2953 b'revision having delta stored'
2954 2954 )
2955 2955 )
2956 2956 rawtext = self._chunk(rev)
2957 2957 else:
2958 2958 rawtext = self.rawdata(rev)
2959 2959
2960 2960 newrl.addrawrevision(
2961 2961 rawtext, tr, self.linkrev(rev), p1, p2, node, self.flags(rev)
2962 2962 )
2963 2963
2964 2964 tr.addbackup(self._indexfile, location=b'store')
2965 2965 if not self._inline:
2966 2966 tr.addbackup(self._datafile, location=b'store')
2967 2967
2968 2968 self.opener.rename(newrl._indexfile, self._indexfile)
2969 2969 if not self._inline:
2970 2970 self.opener.rename(newrl._datafile, self._datafile)
2971 2971
2972 2972 self.clearcaches()
2973 2973 self._loadindex()
2974 2974
2975 2975 def verifyintegrity(self, state):
2976 2976 """Verifies the integrity of the revlog.
2977 2977
2978 2978 Yields ``revlogproblem`` instances describing problems that are
2979 2979 found.
2980 2980 """
2981 2981 dd, di = self.checksize()
2982 2982 if dd:
2983 2983 yield revlogproblem(error=_(b'data length off by %d bytes') % dd)
2984 2984 if di:
2985 2985 yield revlogproblem(error=_(b'index contains %d extra bytes') % di)
2986 2986
2987 2987 version = self._format_version
2988 2988
2989 2989 # The verifier tells us what version revlog we should be.
2990 2990 if version != state[b'expectedversion']:
2991 2991 yield revlogproblem(
2992 2992 warning=_(b"warning: '%s' uses revlog format %d; expected %d")
2993 2993 % (self.display_id, version, state[b'expectedversion'])
2994 2994 )
2995 2995
2996 2996 state[b'skipread'] = set()
2997 2997 state[b'safe_renamed'] = set()
2998 2998
2999 2999 for rev in self:
3000 3000 node = self.node(rev)
3001 3001
3002 3002 # Verify contents. 4 cases to care about:
3003 3003 #
3004 3004 # common: the most common case
3005 3005 # rename: with a rename
3006 3006 # meta: file content starts with b'\1\n', the metadata
3007 3007 # header defined in filelog.py, but without a rename
3008 3008 # ext: content stored externally
3009 3009 #
3010 3010 # More formally, their differences are shown below:
3011 3011 #
3012 3012 # | common | rename | meta | ext
3013 3013 # -------------------------------------------------------
3014 3014 # flags() | 0 | 0 | 0 | not 0
3015 3015 # renamed() | False | True | False | ?
3016 3016 # rawtext[0:2]=='\1\n'| False | True | True | ?
3017 3017 #
3018 3018 # "rawtext" means the raw text stored in revlog data, which
3019 3019 # could be retrieved by "rawdata(rev)". "text"
3020 3020 # mentioned below is "revision(rev)".
3021 3021 #
3022 3022 # There are 3 different lengths stored physically:
3023 3023 # 1. L1: rawsize, stored in revlog index
3024 3024 # 2. L2: len(rawtext), stored in revlog data
3025 3025 # 3. L3: len(text), stored in revlog data if flags==0, or
3026 3026 # possibly somewhere else if flags!=0
3027 3027 #
3028 3028 # L1 should be equal to L2. L3 could be different from them.
3029 3029 # "text" may or may not affect commit hash depending on flag
3030 3030 # processors (see flagutil.addflagprocessor).
3031 3031 #
3032 3032 # | common | rename | meta | ext
3033 3033 # -------------------------------------------------
3034 3034 # rawsize() | L1 | L1 | L1 | L1
3035 3035 # size() | L1 | L2-LM | L1(*) | L1 (?)
3036 3036 # len(rawtext) | L2 | L2 | L2 | L2
3037 3037 # len(text) | L2 | L2 | L2 | L3
3038 3038 # len(read()) | L2 | L2-LM | L2-LM | L3 (?)
3039 3039 #
3040 3040 # LM: length of metadata, depending on rawtext
3041 3041 # (*): not ideal, see comment in filelog.size
3042 3042 # (?): could be "- len(meta)" if the resolved content has
3043 3043 # rename metadata
3044 3044 #
3045 3045 # Checks needed to be done:
3046 3046 # 1. length check: L1 == L2, in all cases.
3047 3047 # 2. hash check: depending on flag processor, we may need to
3048 3048 # use either "text" (external), or "rawtext" (in revlog).
3049 3049
3050 3050 try:
3051 3051 skipflags = state.get(b'skipflags', 0)
3052 3052 if skipflags:
3053 3053 skipflags &= self.flags(rev)
3054 3054
3055 3055 _verify_revision(self, skipflags, state, node)
3056 3056
3057 3057 l1 = self.rawsize(rev)
3058 3058 l2 = len(self.rawdata(node))
3059 3059
3060 3060 if l1 != l2:
3061 3061 yield revlogproblem(
3062 3062 error=_(b'unpacked size is %d, %d expected') % (l2, l1),
3063 3063 node=node,
3064 3064 )
3065 3065
3066 3066 except error.CensoredNodeError:
3067 3067 if state[b'erroroncensored']:
3068 3068 yield revlogproblem(
3069 3069 error=_(b'censored file data'), node=node
3070 3070 )
3071 3071 state[b'skipread'].add(node)
3072 3072 except Exception as e:
3073 3073 yield revlogproblem(
3074 3074 error=_(b'unpacking %s: %s')
3075 3075 % (short(node), stringutil.forcebytestr(e)),
3076 3076 node=node,
3077 3077 )
3078 3078 state[b'skipread'].add(node)
3079 3079
3080 3080 def storageinfo(
3081 3081 self,
3082 3082 exclusivefiles=False,
3083 3083 sharedfiles=False,
3084 3084 revisionscount=False,
3085 3085 trackedsize=False,
3086 3086 storedsize=False,
3087 3087 ):
3088 3088 d = {}
3089 3089
3090 3090 if exclusivefiles:
3091 3091 d[b'exclusivefiles'] = [(self.opener, self._indexfile)]
3092 3092 if not self._inline:
3093 3093 d[b'exclusivefiles'].append((self.opener, self._datafile))
3094 3094
3095 3095 if sharedfiles:
3096 3096 d[b'sharedfiles'] = []
3097 3097
3098 3098 if revisionscount:
3099 3099 d[b'revisionscount'] = len(self)
3100 3100
3101 3101 if trackedsize:
3102 3102 d[b'trackedsize'] = sum(map(self.rawsize, iter(self)))
3103 3103
3104 3104 if storedsize:
3105 3105 d[b'storedsize'] = sum(
3106 3106 self.opener.stat(path).st_size for path in self.files()
3107 3107 )
3108 3108
3109 3109 return d
3110 3110
3111 3111 def rewrite_sidedata(self, helpers, startrev, endrev):
3112 3112 if not self.hassidedata:
3113 3113 return
3114 3114 # inline are not yet supported because they suffer from an issue when
3115 3115 # rewriting them (since it's not an append-only operation).
3116 3116 # See issue6485.
3117 3117 assert not self._inline
3118 3118 if not helpers[1] and not helpers[2]:
3119 3119 # Nothing to generate or remove
3120 3120 return
3121 3121
3122 3122 # changelog implement some "delayed" writing mechanism that assume that
3123 3123 # all index data is writen in append mode and is therefor incompatible
3124 3124 # with the seeked write done in this method. The use of such "delayed"
3125 3125 # writing will soon be removed for revlog version that support side
3126 3126 # data, so for now, we only keep this simple assert to highlight the
3127 3127 # situation.
3128 3128 delayed = getattr(self, '_delayed', False)
3129 3129 diverted = getattr(self, '_divert', False)
3130 3130 if delayed and not diverted:
3131 3131 msg = "cannot rewrite_sidedata of a delayed revlog"
3132 3132 raise error.ProgrammingError(msg)
3133 3133
3134 3134 new_entries = []
3135 3135 # append the new sidedata
3136 3136 with self._datafp(b'a+') as fp:
3137 3137 # Maybe this bug still exists, see revlog._writeentry
3138 3138 fp.seek(0, os.SEEK_END)
3139 3139 current_offset = fp.tell()
3140 3140 for rev in range(startrev, endrev + 1):
3141 3141 entry = self.index[rev]
3142 3142 new_sidedata, flags = sidedatautil.run_sidedata_helpers(
3143 3143 store=self,
3144 3144 sidedata_helpers=helpers,
3145 3145 sidedata={},
3146 3146 rev=rev,
3147 3147 )
3148 3148
3149 3149 serialized_sidedata = sidedatautil.serialize_sidedata(
3150 3150 new_sidedata
3151 3151 )
3152 3152 if entry[8] != 0 or entry[9] != 0:
3153 3153 # rewriting entries that already have sidedata is not
3154 3154 # supported yet, because it introduces garbage data in the
3155 3155 # revlog.
3156 3156 msg = b"Rewriting existing sidedata is not supported yet"
3157 3157 raise error.Abort(msg)
3158 3158
3159 3159 # Apply (potential) flags to add and to remove after running
3160 3160 # the sidedata helpers
3161 3161 new_offset_flags = entry[0] | flags[0] & ~flags[1]
3162 3162 entry = (new_offset_flags,) + entry[1:8]
3163 3163 entry += (current_offset, len(serialized_sidedata))
3164 3164
3165 3165 fp.write(serialized_sidedata)
3166 3166 new_entries.append(entry)
3167 3167 current_offset += len(serialized_sidedata)
3168 3168
3169 3169 # rewrite the new index entries
3170 3170 with self._indexfp(b'r+') as fp:
3171 3171 fp.seek(startrev * self.index.entry_size)
3172 3172 for i, e in enumerate(new_entries):
3173 3173 rev = startrev + i
3174 3174 self.index.replace_sidedata_info(rev, e[8], e[9], e[0])
3175 3175 packed = self.index.entry_binary(rev)
3176 3176 if rev == 0:
3177 3177 header = self._format_flags | self._format_version
3178 3178 header = self.index.pack_header(header)
3179 3179 packed = header + packed
3180 3180 fp.write(packed)
General Comments 0
You need to be logged in to leave comments. Login now