##// END OF EJS Templates
dirstate: warn if we write to the dirstate without holding the wlock...
marmoute -
r50954:32366430 default
parent child Browse files
Show More
@@ -1,3980 +1,3978 b''
1 1 # localrepo.py - read/write repository class for mercurial
2 2 # coding: utf-8
3 3 #
4 4 # Copyright 2005-2007 Olivia Mackall <olivia@selenic.com>
5 5 #
6 6 # This software may be used and distributed according to the terms of the
7 7 # GNU General Public License version 2 or any later version.
8 8
9 9
10 10 import functools
11 11 import os
12 12 import random
13 13 import sys
14 14 import time
15 15 import weakref
16 16
17 17 from concurrent import futures
18 18 from typing import (
19 19 Optional,
20 20 )
21 21
22 22 from .i18n import _
23 23 from .node import (
24 24 bin,
25 25 hex,
26 26 nullrev,
27 27 sha1nodeconstants,
28 28 short,
29 29 )
30 30 from .pycompat import (
31 31 delattr,
32 32 getattr,
33 33 )
34 34 from . import (
35 35 bookmarks,
36 36 branchmap,
37 37 bundle2,
38 38 bundlecaches,
39 39 changegroup,
40 40 color,
41 41 commit,
42 42 context,
43 43 dirstate,
44 44 dirstateguard,
45 45 discovery,
46 46 encoding,
47 47 error,
48 48 exchange,
49 49 extensions,
50 50 filelog,
51 51 hook,
52 52 lock as lockmod,
53 53 match as matchmod,
54 54 mergestate as mergestatemod,
55 55 mergeutil,
56 56 namespaces,
57 57 narrowspec,
58 58 obsolete,
59 59 pathutil,
60 60 phases,
61 61 pushkey,
62 62 pycompat,
63 63 rcutil,
64 64 repoview,
65 65 requirements as requirementsmod,
66 66 revlog,
67 67 revset,
68 68 revsetlang,
69 69 scmutil,
70 70 sparse,
71 71 store as storemod,
72 72 subrepoutil,
73 73 tags as tagsmod,
74 74 transaction,
75 75 txnutil,
76 76 util,
77 77 vfs as vfsmod,
78 78 wireprototypes,
79 79 )
80 80
81 81 from .interfaces import (
82 82 repository,
83 83 util as interfaceutil,
84 84 )
85 85
86 86 from .utils import (
87 87 hashutil,
88 88 procutil,
89 89 stringutil,
90 90 urlutil,
91 91 )
92 92
93 93 from .revlogutils import (
94 94 concurrency_checker as revlogchecker,
95 95 constants as revlogconst,
96 96 sidedata as sidedatamod,
97 97 )
98 98
99 99 release = lockmod.release
100 100 urlerr = util.urlerr
101 101 urlreq = util.urlreq
102 102
103 103 # set of (path, vfs-location) tuples. vfs-location is:
104 104 # - 'plain for vfs relative paths
105 105 # - '' for svfs relative paths
106 106 _cachedfiles = set()
107 107
108 108
109 109 class _basefilecache(scmutil.filecache):
110 110 """All filecache usage on repo are done for logic that should be unfiltered"""
111 111
112 112 def __get__(self, repo, type=None):
113 113 if repo is None:
114 114 return self
115 115 # proxy to unfiltered __dict__ since filtered repo has no entry
116 116 unfi = repo.unfiltered()
117 117 try:
118 118 return unfi.__dict__[self.sname]
119 119 except KeyError:
120 120 pass
121 121 return super(_basefilecache, self).__get__(unfi, type)
122 122
123 123 def set(self, repo, value):
124 124 return super(_basefilecache, self).set(repo.unfiltered(), value)
125 125
126 126
127 127 class repofilecache(_basefilecache):
128 128 """filecache for files in .hg but outside of .hg/store"""
129 129
130 130 def __init__(self, *paths):
131 131 super(repofilecache, self).__init__(*paths)
132 132 for path in paths:
133 133 _cachedfiles.add((path, b'plain'))
134 134
135 135 def join(self, obj, fname):
136 136 return obj.vfs.join(fname)
137 137
138 138
139 139 class storecache(_basefilecache):
140 140 """filecache for files in the store"""
141 141
142 142 def __init__(self, *paths):
143 143 super(storecache, self).__init__(*paths)
144 144 for path in paths:
145 145 _cachedfiles.add((path, b''))
146 146
147 147 def join(self, obj, fname):
148 148 return obj.sjoin(fname)
149 149
150 150
151 151 class changelogcache(storecache):
152 152 """filecache for the changelog"""
153 153
154 154 def __init__(self):
155 155 super(changelogcache, self).__init__()
156 156 _cachedfiles.add((b'00changelog.i', b''))
157 157 _cachedfiles.add((b'00changelog.n', b''))
158 158
159 159 def tracked_paths(self, obj):
160 160 paths = [self.join(obj, b'00changelog.i')]
161 161 if obj.store.opener.options.get(b'persistent-nodemap', False):
162 162 paths.append(self.join(obj, b'00changelog.n'))
163 163 return paths
164 164
165 165
166 166 class manifestlogcache(storecache):
167 167 """filecache for the manifestlog"""
168 168
169 169 def __init__(self):
170 170 super(manifestlogcache, self).__init__()
171 171 _cachedfiles.add((b'00manifest.i', b''))
172 172 _cachedfiles.add((b'00manifest.n', b''))
173 173
174 174 def tracked_paths(self, obj):
175 175 paths = [self.join(obj, b'00manifest.i')]
176 176 if obj.store.opener.options.get(b'persistent-nodemap', False):
177 177 paths.append(self.join(obj, b'00manifest.n'))
178 178 return paths
179 179
180 180
181 181 class mixedrepostorecache(_basefilecache):
182 182 """filecache for a mix files in .hg/store and outside"""
183 183
184 184 def __init__(self, *pathsandlocations):
185 185 # scmutil.filecache only uses the path for passing back into our
186 186 # join(), so we can safely pass a list of paths and locations
187 187 super(mixedrepostorecache, self).__init__(*pathsandlocations)
188 188 _cachedfiles.update(pathsandlocations)
189 189
190 190 def join(self, obj, fnameandlocation):
191 191 fname, location = fnameandlocation
192 192 if location == b'plain':
193 193 return obj.vfs.join(fname)
194 194 else:
195 195 if location != b'':
196 196 raise error.ProgrammingError(
197 197 b'unexpected location: %s' % location
198 198 )
199 199 return obj.sjoin(fname)
200 200
201 201
202 202 def isfilecached(repo, name):
203 203 """check if a repo has already cached "name" filecache-ed property
204 204
205 205 This returns (cachedobj-or-None, iscached) tuple.
206 206 """
207 207 cacheentry = repo.unfiltered()._filecache.get(name, None)
208 208 if not cacheentry:
209 209 return None, False
210 210 return cacheentry.obj, True
211 211
212 212
213 213 class unfilteredpropertycache(util.propertycache):
214 214 """propertycache that apply to unfiltered repo only"""
215 215
216 216 def __get__(self, repo, type=None):
217 217 unfi = repo.unfiltered()
218 218 if unfi is repo:
219 219 return super(unfilteredpropertycache, self).__get__(unfi)
220 220 return getattr(unfi, self.name)
221 221
222 222
223 223 class filteredpropertycache(util.propertycache):
224 224 """propertycache that must take filtering in account"""
225 225
226 226 def cachevalue(self, obj, value):
227 227 object.__setattr__(obj, self.name, value)
228 228
229 229
230 230 def hasunfilteredcache(repo, name):
231 231 """check if a repo has an unfilteredpropertycache value for <name>"""
232 232 return name in vars(repo.unfiltered())
233 233
234 234
235 235 def unfilteredmethod(orig):
236 236 """decorate method that always need to be run on unfiltered version"""
237 237
238 238 @functools.wraps(orig)
239 239 def wrapper(repo, *args, **kwargs):
240 240 return orig(repo.unfiltered(), *args, **kwargs)
241 241
242 242 return wrapper
243 243
244 244
245 245 moderncaps = {
246 246 b'lookup',
247 247 b'branchmap',
248 248 b'pushkey',
249 249 b'known',
250 250 b'getbundle',
251 251 b'unbundle',
252 252 }
253 253 legacycaps = moderncaps.union({b'changegroupsubset'})
254 254
255 255
256 256 @interfaceutil.implementer(repository.ipeercommandexecutor)
257 257 class localcommandexecutor:
258 258 def __init__(self, peer):
259 259 self._peer = peer
260 260 self._sent = False
261 261 self._closed = False
262 262
263 263 def __enter__(self):
264 264 return self
265 265
266 266 def __exit__(self, exctype, excvalue, exctb):
267 267 self.close()
268 268
269 269 def callcommand(self, command, args):
270 270 if self._sent:
271 271 raise error.ProgrammingError(
272 272 b'callcommand() cannot be used after sendcommands()'
273 273 )
274 274
275 275 if self._closed:
276 276 raise error.ProgrammingError(
277 277 b'callcommand() cannot be used after close()'
278 278 )
279 279
280 280 # We don't need to support anything fancy. Just call the named
281 281 # method on the peer and return a resolved future.
282 282 fn = getattr(self._peer, pycompat.sysstr(command))
283 283
284 284 f = futures.Future()
285 285
286 286 try:
287 287 result = fn(**pycompat.strkwargs(args))
288 288 except Exception:
289 289 pycompat.future_set_exception_info(f, sys.exc_info()[1:])
290 290 else:
291 291 f.set_result(result)
292 292
293 293 return f
294 294
295 295 def sendcommands(self):
296 296 self._sent = True
297 297
298 298 def close(self):
299 299 self._closed = True
300 300
301 301
302 302 @interfaceutil.implementer(repository.ipeercommands)
303 303 class localpeer(repository.peer):
304 304 '''peer for a local repo; reflects only the most recent API'''
305 305
306 306 def __init__(self, repo, caps=None, path=None):
307 307 super(localpeer, self).__init__(repo.ui, path=path)
308 308
309 309 if caps is None:
310 310 caps = moderncaps.copy()
311 311 self._repo = repo.filtered(b'served')
312 312
313 313 if repo._wanted_sidedata:
314 314 formatted = bundle2.format_remote_wanted_sidedata(repo)
315 315 caps.add(b'exp-wanted-sidedata=' + formatted)
316 316
317 317 self._caps = repo._restrictcapabilities(caps)
318 318
319 319 # Begin of _basepeer interface.
320 320
321 321 def url(self):
322 322 return self._repo.url()
323 323
324 324 def local(self):
325 325 return self._repo
326 326
327 327 def canpush(self):
328 328 return True
329 329
330 330 def close(self):
331 331 self._repo.close()
332 332
333 333 # End of _basepeer interface.
334 334
335 335 # Begin of _basewirecommands interface.
336 336
337 337 def branchmap(self):
338 338 return self._repo.branchmap()
339 339
340 340 def capabilities(self):
341 341 return self._caps
342 342
343 343 def clonebundles(self):
344 344 return self._repo.tryread(bundlecaches.CB_MANIFEST_FILE)
345 345
346 346 def debugwireargs(self, one, two, three=None, four=None, five=None):
347 347 """Used to test argument passing over the wire"""
348 348 return b"%s %s %s %s %s" % (
349 349 one,
350 350 two,
351 351 pycompat.bytestr(three),
352 352 pycompat.bytestr(four),
353 353 pycompat.bytestr(five),
354 354 )
355 355
356 356 def getbundle(
357 357 self,
358 358 source,
359 359 heads=None,
360 360 common=None,
361 361 bundlecaps=None,
362 362 remote_sidedata=None,
363 363 **kwargs
364 364 ):
365 365 chunks = exchange.getbundlechunks(
366 366 self._repo,
367 367 source,
368 368 heads=heads,
369 369 common=common,
370 370 bundlecaps=bundlecaps,
371 371 remote_sidedata=remote_sidedata,
372 372 **kwargs
373 373 )[1]
374 374 cb = util.chunkbuffer(chunks)
375 375
376 376 if exchange.bundle2requested(bundlecaps):
377 377 # When requesting a bundle2, getbundle returns a stream to make the
378 378 # wire level function happier. We need to build a proper object
379 379 # from it in local peer.
380 380 return bundle2.getunbundler(self.ui, cb)
381 381 else:
382 382 return changegroup.getunbundler(b'01', cb, None)
383 383
384 384 def heads(self):
385 385 return self._repo.heads()
386 386
387 387 def known(self, nodes):
388 388 return self._repo.known(nodes)
389 389
390 390 def listkeys(self, namespace):
391 391 return self._repo.listkeys(namespace)
392 392
393 393 def lookup(self, key):
394 394 return self._repo.lookup(key)
395 395
396 396 def pushkey(self, namespace, key, old, new):
397 397 return self._repo.pushkey(namespace, key, old, new)
398 398
399 399 def stream_out(self):
400 400 raise error.Abort(_(b'cannot perform stream clone against local peer'))
401 401
402 402 def unbundle(self, bundle, heads, url):
403 403 """apply a bundle on a repo
404 404
405 405 This function handles the repo locking itself."""
406 406 try:
407 407 try:
408 408 bundle = exchange.readbundle(self.ui, bundle, None)
409 409 ret = exchange.unbundle(self._repo, bundle, heads, b'push', url)
410 410 if util.safehasattr(ret, b'getchunks'):
411 411 # This is a bundle20 object, turn it into an unbundler.
412 412 # This little dance should be dropped eventually when the
413 413 # API is finally improved.
414 414 stream = util.chunkbuffer(ret.getchunks())
415 415 ret = bundle2.getunbundler(self.ui, stream)
416 416 return ret
417 417 except Exception as exc:
418 418 # If the exception contains output salvaged from a bundle2
419 419 # reply, we need to make sure it is printed before continuing
420 420 # to fail. So we build a bundle2 with such output and consume
421 421 # it directly.
422 422 #
423 423 # This is not very elegant but allows a "simple" solution for
424 424 # issue4594
425 425 output = getattr(exc, '_bundle2salvagedoutput', ())
426 426 if output:
427 427 bundler = bundle2.bundle20(self._repo.ui)
428 428 for out in output:
429 429 bundler.addpart(out)
430 430 stream = util.chunkbuffer(bundler.getchunks())
431 431 b = bundle2.getunbundler(self.ui, stream)
432 432 bundle2.processbundle(self._repo, b)
433 433 raise
434 434 except error.PushRaced as exc:
435 435 raise error.ResponseError(
436 436 _(b'push failed:'), stringutil.forcebytestr(exc)
437 437 )
438 438
439 439 # End of _basewirecommands interface.
440 440
441 441 # Begin of peer interface.
442 442
443 443 def commandexecutor(self):
444 444 return localcommandexecutor(self)
445 445
446 446 # End of peer interface.
447 447
448 448
449 449 @interfaceutil.implementer(repository.ipeerlegacycommands)
450 450 class locallegacypeer(localpeer):
451 451 """peer extension which implements legacy methods too; used for tests with
452 452 restricted capabilities"""
453 453
454 454 def __init__(self, repo, path=None):
455 455 super(locallegacypeer, self).__init__(repo, caps=legacycaps, path=path)
456 456
457 457 # Begin of baselegacywirecommands interface.
458 458
459 459 def between(self, pairs):
460 460 return self._repo.between(pairs)
461 461
462 462 def branches(self, nodes):
463 463 return self._repo.branches(nodes)
464 464
465 465 def changegroup(self, nodes, source):
466 466 outgoing = discovery.outgoing(
467 467 self._repo, missingroots=nodes, ancestorsof=self._repo.heads()
468 468 )
469 469 return changegroup.makechangegroup(self._repo, outgoing, b'01', source)
470 470
471 471 def changegroupsubset(self, bases, heads, source):
472 472 outgoing = discovery.outgoing(
473 473 self._repo, missingroots=bases, ancestorsof=heads
474 474 )
475 475 return changegroup.makechangegroup(self._repo, outgoing, b'01', source)
476 476
477 477 # End of baselegacywirecommands interface.
478 478
479 479
480 480 # Functions receiving (ui, features) that extensions can register to impact
481 481 # the ability to load repositories with custom requirements. Only
482 482 # functions defined in loaded extensions are called.
483 483 #
484 484 # The function receives a set of requirement strings that the repository
485 485 # is capable of opening. Functions will typically add elements to the
486 486 # set to reflect that the extension knows how to handle that requirements.
487 487 featuresetupfuncs = set()
488 488
489 489
490 490 def _getsharedvfs(hgvfs, requirements):
491 491 """returns the vfs object pointing to root of shared source
492 492 repo for a shared repository
493 493
494 494 hgvfs is vfs pointing at .hg/ of current repo (shared one)
495 495 requirements is a set of requirements of current repo (shared one)
496 496 """
497 497 # The ``shared`` or ``relshared`` requirements indicate the
498 498 # store lives in the path contained in the ``.hg/sharedpath`` file.
499 499 # This is an absolute path for ``shared`` and relative to
500 500 # ``.hg/`` for ``relshared``.
501 501 sharedpath = hgvfs.read(b'sharedpath').rstrip(b'\n')
502 502 if requirementsmod.RELATIVE_SHARED_REQUIREMENT in requirements:
503 503 sharedpath = util.normpath(hgvfs.join(sharedpath))
504 504
505 505 sharedvfs = vfsmod.vfs(sharedpath, realpath=True)
506 506
507 507 if not sharedvfs.exists():
508 508 raise error.RepoError(
509 509 _(b'.hg/sharedpath points to nonexistent directory %s')
510 510 % sharedvfs.base
511 511 )
512 512 return sharedvfs
513 513
514 514
515 515 def _readrequires(vfs, allowmissing):
516 516 """reads the require file present at root of this vfs
517 517 and return a set of requirements
518 518
519 519 If allowmissing is True, we suppress FileNotFoundError if raised"""
520 520 # requires file contains a newline-delimited list of
521 521 # features/capabilities the opener (us) must have in order to use
522 522 # the repository. This file was introduced in Mercurial 0.9.2,
523 523 # which means very old repositories may not have one. We assume
524 524 # a missing file translates to no requirements.
525 525 read = vfs.tryread if allowmissing else vfs.read
526 526 return set(read(b'requires').splitlines())
527 527
528 528
529 529 def makelocalrepository(baseui, path: bytes, intents=None):
530 530 """Create a local repository object.
531 531
532 532 Given arguments needed to construct a local repository, this function
533 533 performs various early repository loading functionality (such as
534 534 reading the ``.hg/requires`` and ``.hg/hgrc`` files), validates that
535 535 the repository can be opened, derives a type suitable for representing
536 536 that repository, and returns an instance of it.
537 537
538 538 The returned object conforms to the ``repository.completelocalrepository``
539 539 interface.
540 540
541 541 The repository type is derived by calling a series of factory functions
542 542 for each aspect/interface of the final repository. These are defined by
543 543 ``REPO_INTERFACES``.
544 544
545 545 Each factory function is called to produce a type implementing a specific
546 546 interface. The cumulative list of returned types will be combined into a
547 547 new type and that type will be instantiated to represent the local
548 548 repository.
549 549
550 550 The factory functions each receive various state that may be consulted
551 551 as part of deriving a type.
552 552
553 553 Extensions should wrap these factory functions to customize repository type
554 554 creation. Note that an extension's wrapped function may be called even if
555 555 that extension is not loaded for the repo being constructed. Extensions
556 556 should check if their ``__name__`` appears in the
557 557 ``extensionmodulenames`` set passed to the factory function and no-op if
558 558 not.
559 559 """
560 560 ui = baseui.copy()
561 561 # Prevent copying repo configuration.
562 562 ui.copy = baseui.copy
563 563
564 564 # Working directory VFS rooted at repository root.
565 565 wdirvfs = vfsmod.vfs(path, expandpath=True, realpath=True)
566 566
567 567 # Main VFS for .hg/ directory.
568 568 hgpath = wdirvfs.join(b'.hg')
569 569 hgvfs = vfsmod.vfs(hgpath, cacheaudited=True)
570 570 # Whether this repository is shared one or not
571 571 shared = False
572 572 # If this repository is shared, vfs pointing to shared repo
573 573 sharedvfs = None
574 574
575 575 # The .hg/ path should exist and should be a directory. All other
576 576 # cases are errors.
577 577 if not hgvfs.isdir():
578 578 try:
579 579 hgvfs.stat()
580 580 except FileNotFoundError:
581 581 pass
582 582 except ValueError as e:
583 583 # Can be raised on Python 3.8 when path is invalid.
584 584 raise error.Abort(
585 585 _(b'invalid path %s: %s') % (path, stringutil.forcebytestr(e))
586 586 )
587 587
588 588 raise error.RepoError(_(b'repository %s not found') % path)
589 589
590 590 requirements = _readrequires(hgvfs, True)
591 591 shared = (
592 592 requirementsmod.SHARED_REQUIREMENT in requirements
593 593 or requirementsmod.RELATIVE_SHARED_REQUIREMENT in requirements
594 594 )
595 595 storevfs = None
596 596 if shared:
597 597 # This is a shared repo
598 598 sharedvfs = _getsharedvfs(hgvfs, requirements)
599 599 storevfs = vfsmod.vfs(sharedvfs.join(b'store'))
600 600 else:
601 601 storevfs = vfsmod.vfs(hgvfs.join(b'store'))
602 602
603 603 # if .hg/requires contains the sharesafe requirement, it means
604 604 # there exists a `.hg/store/requires` too and we should read it
605 605 # NOTE: presence of SHARESAFE_REQUIREMENT imply that store requirement
606 606 # is present. We never write SHARESAFE_REQUIREMENT for a repo if store
607 607 # is not present, refer checkrequirementscompat() for that
608 608 #
609 609 # However, if SHARESAFE_REQUIREMENT is not present, it means that the
610 610 # repository was shared the old way. We check the share source .hg/requires
611 611 # for SHARESAFE_REQUIREMENT to detect whether the current repository needs
612 612 # to be reshared
613 613 hint = _(b"see `hg help config.format.use-share-safe` for more information")
614 614 if requirementsmod.SHARESAFE_REQUIREMENT in requirements:
615 615 if (
616 616 shared
617 617 and requirementsmod.SHARESAFE_REQUIREMENT
618 618 not in _readrequires(sharedvfs, True)
619 619 ):
620 620 mismatch_warn = ui.configbool(
621 621 b'share', b'safe-mismatch.source-not-safe.warn'
622 622 )
623 623 mismatch_config = ui.config(
624 624 b'share', b'safe-mismatch.source-not-safe'
625 625 )
626 626 mismatch_verbose_upgrade = ui.configbool(
627 627 b'share', b'safe-mismatch.source-not-safe:verbose-upgrade'
628 628 )
629 629 if mismatch_config in (
630 630 b'downgrade-allow',
631 631 b'allow',
632 632 b'downgrade-abort',
633 633 ):
634 634 # prevent cyclic import localrepo -> upgrade -> localrepo
635 635 from . import upgrade
636 636
637 637 upgrade.downgrade_share_to_non_safe(
638 638 ui,
639 639 hgvfs,
640 640 sharedvfs,
641 641 requirements,
642 642 mismatch_config,
643 643 mismatch_warn,
644 644 mismatch_verbose_upgrade,
645 645 )
646 646 elif mismatch_config == b'abort':
647 647 raise error.Abort(
648 648 _(b"share source does not support share-safe requirement"),
649 649 hint=hint,
650 650 )
651 651 else:
652 652 raise error.Abort(
653 653 _(
654 654 b"share-safe mismatch with source.\nUnrecognized"
655 655 b" value '%s' of `share.safe-mismatch.source-not-safe`"
656 656 b" set."
657 657 )
658 658 % mismatch_config,
659 659 hint=hint,
660 660 )
661 661 else:
662 662 requirements |= _readrequires(storevfs, False)
663 663 elif shared:
664 664 sourcerequires = _readrequires(sharedvfs, False)
665 665 if requirementsmod.SHARESAFE_REQUIREMENT in sourcerequires:
666 666 mismatch_config = ui.config(b'share', b'safe-mismatch.source-safe')
667 667 mismatch_warn = ui.configbool(
668 668 b'share', b'safe-mismatch.source-safe.warn'
669 669 )
670 670 mismatch_verbose_upgrade = ui.configbool(
671 671 b'share', b'safe-mismatch.source-safe:verbose-upgrade'
672 672 )
673 673 if mismatch_config in (
674 674 b'upgrade-allow',
675 675 b'allow',
676 676 b'upgrade-abort',
677 677 ):
678 678 # prevent cyclic import localrepo -> upgrade -> localrepo
679 679 from . import upgrade
680 680
681 681 upgrade.upgrade_share_to_safe(
682 682 ui,
683 683 hgvfs,
684 684 storevfs,
685 685 requirements,
686 686 mismatch_config,
687 687 mismatch_warn,
688 688 mismatch_verbose_upgrade,
689 689 )
690 690 elif mismatch_config == b'abort':
691 691 raise error.Abort(
692 692 _(
693 693 b'version mismatch: source uses share-safe'
694 694 b' functionality while the current share does not'
695 695 ),
696 696 hint=hint,
697 697 )
698 698 else:
699 699 raise error.Abort(
700 700 _(
701 701 b"share-safe mismatch with source.\nUnrecognized"
702 702 b" value '%s' of `share.safe-mismatch.source-safe` set."
703 703 )
704 704 % mismatch_config,
705 705 hint=hint,
706 706 )
707 707
708 708 # The .hg/hgrc file may load extensions or contain config options
709 709 # that influence repository construction. Attempt to load it and
710 710 # process any new extensions that it may have pulled in.
711 711 if loadhgrc(ui, wdirvfs, hgvfs, requirements, sharedvfs):
712 712 afterhgrcload(ui, wdirvfs, hgvfs, requirements)
713 713 extensions.loadall(ui)
714 714 extensions.populateui(ui)
715 715
716 716 # Set of module names of extensions loaded for this repository.
717 717 extensionmodulenames = {m.__name__ for n, m in extensions.extensions(ui)}
718 718
719 719 supportedrequirements = gathersupportedrequirements(ui)
720 720
721 721 # We first validate the requirements are known.
722 722 ensurerequirementsrecognized(requirements, supportedrequirements)
723 723
724 724 # Then we validate that the known set is reasonable to use together.
725 725 ensurerequirementscompatible(ui, requirements)
726 726
727 727 # TODO there are unhandled edge cases related to opening repositories with
728 728 # shared storage. If storage is shared, we should also test for requirements
729 729 # compatibility in the pointed-to repo. This entails loading the .hg/hgrc in
730 730 # that repo, as that repo may load extensions needed to open it. This is a
731 731 # bit complicated because we don't want the other hgrc to overwrite settings
732 732 # in this hgrc.
733 733 #
734 734 # This bug is somewhat mitigated by the fact that we copy the .hg/requires
735 735 # file when sharing repos. But if a requirement is added after the share is
736 736 # performed, thereby introducing a new requirement for the opener, we may
737 737 # will not see that and could encounter a run-time error interacting with
738 738 # that shared store since it has an unknown-to-us requirement.
739 739
740 740 # At this point, we know we should be capable of opening the repository.
741 741 # Now get on with doing that.
742 742
743 743 features = set()
744 744
745 745 # The "store" part of the repository holds versioned data. How it is
746 746 # accessed is determined by various requirements. If `shared` or
747 747 # `relshared` requirements are present, this indicates current repository
748 748 # is a share and store exists in path mentioned in `.hg/sharedpath`
749 749 if shared:
750 750 storebasepath = sharedvfs.base
751 751 cachepath = sharedvfs.join(b'cache')
752 752 features.add(repository.REPO_FEATURE_SHARED_STORAGE)
753 753 else:
754 754 storebasepath = hgvfs.base
755 755 cachepath = hgvfs.join(b'cache')
756 756 wcachepath = hgvfs.join(b'wcache')
757 757
758 758 # The store has changed over time and the exact layout is dictated by
759 759 # requirements. The store interface abstracts differences across all
760 760 # of them.
761 761 store = makestore(
762 762 requirements,
763 763 storebasepath,
764 764 lambda base: vfsmod.vfs(base, cacheaudited=True),
765 765 )
766 766 hgvfs.createmode = store.createmode
767 767
768 768 storevfs = store.vfs
769 769 storevfs.options = resolvestorevfsoptions(ui, requirements, features)
770 770
771 771 if (
772 772 requirementsmod.REVLOGV2_REQUIREMENT in requirements
773 773 or requirementsmod.CHANGELOGV2_REQUIREMENT in requirements
774 774 ):
775 775 features.add(repository.REPO_FEATURE_SIDE_DATA)
776 776 # the revlogv2 docket introduced race condition that we need to fix
777 777 features.discard(repository.REPO_FEATURE_STREAM_CLONE)
778 778
779 779 # The cache vfs is used to manage cache files.
780 780 cachevfs = vfsmod.vfs(cachepath, cacheaudited=True)
781 781 cachevfs.createmode = store.createmode
782 782 # The cache vfs is used to manage cache files related to the working copy
783 783 wcachevfs = vfsmod.vfs(wcachepath, cacheaudited=True)
784 784 wcachevfs.createmode = store.createmode
785 785
786 786 # Now resolve the type for the repository object. We do this by repeatedly
787 787 # calling a factory function to produces types for specific aspects of the
788 788 # repo's operation. The aggregate returned types are used as base classes
789 789 # for a dynamically-derived type, which will represent our new repository.
790 790
791 791 bases = []
792 792 extrastate = {}
793 793
794 794 for iface, fn in REPO_INTERFACES:
795 795 # We pass all potentially useful state to give extensions tons of
796 796 # flexibility.
797 797 typ = fn()(
798 798 ui=ui,
799 799 intents=intents,
800 800 requirements=requirements,
801 801 features=features,
802 802 wdirvfs=wdirvfs,
803 803 hgvfs=hgvfs,
804 804 store=store,
805 805 storevfs=storevfs,
806 806 storeoptions=storevfs.options,
807 807 cachevfs=cachevfs,
808 808 wcachevfs=wcachevfs,
809 809 extensionmodulenames=extensionmodulenames,
810 810 extrastate=extrastate,
811 811 baseclasses=bases,
812 812 )
813 813
814 814 if not isinstance(typ, type):
815 815 raise error.ProgrammingError(
816 816 b'unable to construct type for %s' % iface
817 817 )
818 818
819 819 bases.append(typ)
820 820
821 821 # type() allows you to use characters in type names that wouldn't be
822 822 # recognized as Python symbols in source code. We abuse that to add
823 823 # rich information about our constructed repo.
824 824 name = pycompat.sysstr(
825 825 b'derivedrepo:%s<%s>' % (wdirvfs.base, b','.join(sorted(requirements)))
826 826 )
827 827
828 828 cls = type(name, tuple(bases), {})
829 829
830 830 return cls(
831 831 baseui=baseui,
832 832 ui=ui,
833 833 origroot=path,
834 834 wdirvfs=wdirvfs,
835 835 hgvfs=hgvfs,
836 836 requirements=requirements,
837 837 supportedrequirements=supportedrequirements,
838 838 sharedpath=storebasepath,
839 839 store=store,
840 840 cachevfs=cachevfs,
841 841 wcachevfs=wcachevfs,
842 842 features=features,
843 843 intents=intents,
844 844 )
845 845
846 846
847 847 def loadhgrc(
848 848 ui,
849 849 wdirvfs: vfsmod.vfs,
850 850 hgvfs: vfsmod.vfs,
851 851 requirements,
852 852 sharedvfs: Optional[vfsmod.vfs] = None,
853 853 ):
854 854 """Load hgrc files/content into a ui instance.
855 855
856 856 This is called during repository opening to load any additional
857 857 config files or settings relevant to the current repository.
858 858
859 859 Returns a bool indicating whether any additional configs were loaded.
860 860
861 861 Extensions should monkeypatch this function to modify how per-repo
862 862 configs are loaded. For example, an extension may wish to pull in
863 863 configs from alternate files or sources.
864 864
865 865 sharedvfs is vfs object pointing to source repo if the current one is a
866 866 shared one
867 867 """
868 868 if not rcutil.use_repo_hgrc():
869 869 return False
870 870
871 871 ret = False
872 872 # first load config from shared source if we has to
873 873 if requirementsmod.SHARESAFE_REQUIREMENT in requirements and sharedvfs:
874 874 try:
875 875 ui.readconfig(sharedvfs.join(b'hgrc'), root=sharedvfs.base)
876 876 ret = True
877 877 except IOError:
878 878 pass
879 879
880 880 try:
881 881 ui.readconfig(hgvfs.join(b'hgrc'), root=wdirvfs.base)
882 882 ret = True
883 883 except IOError:
884 884 pass
885 885
886 886 try:
887 887 ui.readconfig(hgvfs.join(b'hgrc-not-shared'), root=wdirvfs.base)
888 888 ret = True
889 889 except IOError:
890 890 pass
891 891
892 892 return ret
893 893
894 894
895 895 def afterhgrcload(ui, wdirvfs, hgvfs, requirements):
896 896 """Perform additional actions after .hg/hgrc is loaded.
897 897
898 898 This function is called during repository loading immediately after
899 899 the .hg/hgrc file is loaded and before per-repo extensions are loaded.
900 900
901 901 The function can be used to validate configs, automatically add
902 902 options (including extensions) based on requirements, etc.
903 903 """
904 904
905 905 # Map of requirements to list of extensions to load automatically when
906 906 # requirement is present.
907 907 autoextensions = {
908 908 b'git': [b'git'],
909 909 b'largefiles': [b'largefiles'],
910 910 b'lfs': [b'lfs'],
911 911 }
912 912
913 913 for requirement, names in sorted(autoextensions.items()):
914 914 if requirement not in requirements:
915 915 continue
916 916
917 917 for name in names:
918 918 if not ui.hasconfig(b'extensions', name):
919 919 ui.setconfig(b'extensions', name, b'', source=b'autoload')
920 920
921 921
922 922 def gathersupportedrequirements(ui):
923 923 """Determine the complete set of recognized requirements."""
924 924 # Start with all requirements supported by this file.
925 925 supported = set(localrepository._basesupported)
926 926
927 927 # Execute ``featuresetupfuncs`` entries if they belong to an extension
928 928 # relevant to this ui instance.
929 929 modules = {m.__name__ for n, m in extensions.extensions(ui)}
930 930
931 931 for fn in featuresetupfuncs:
932 932 if fn.__module__ in modules:
933 933 fn(ui, supported)
934 934
935 935 # Add derived requirements from registered compression engines.
936 936 for name in util.compengines:
937 937 engine = util.compengines[name]
938 938 if engine.available() and engine.revlogheader():
939 939 supported.add(b'exp-compression-%s' % name)
940 940 if engine.name() == b'zstd':
941 941 supported.add(requirementsmod.REVLOG_COMPRESSION_ZSTD)
942 942
943 943 return supported
944 944
945 945
946 946 def ensurerequirementsrecognized(requirements, supported):
947 947 """Validate that a set of local requirements is recognized.
948 948
949 949 Receives a set of requirements. Raises an ``error.RepoError`` if there
950 950 exists any requirement in that set that currently loaded code doesn't
951 951 recognize.
952 952
953 953 Returns a set of supported requirements.
954 954 """
955 955 missing = set()
956 956
957 957 for requirement in requirements:
958 958 if requirement in supported:
959 959 continue
960 960
961 961 if not requirement or not requirement[0:1].isalnum():
962 962 raise error.RequirementError(_(b'.hg/requires file is corrupt'))
963 963
964 964 missing.add(requirement)
965 965
966 966 if missing:
967 967 raise error.RequirementError(
968 968 _(b'repository requires features unknown to this Mercurial: %s')
969 969 % b' '.join(sorted(missing)),
970 970 hint=_(
971 971 b'see https://mercurial-scm.org/wiki/MissingRequirement '
972 972 b'for more information'
973 973 ),
974 974 )
975 975
976 976
977 977 def ensurerequirementscompatible(ui, requirements):
978 978 """Validates that a set of recognized requirements is mutually compatible.
979 979
980 980 Some requirements may not be compatible with others or require
981 981 config options that aren't enabled. This function is called during
982 982 repository opening to ensure that the set of requirements needed
983 983 to open a repository is sane and compatible with config options.
984 984
985 985 Extensions can monkeypatch this function to perform additional
986 986 checking.
987 987
988 988 ``error.RepoError`` should be raised on failure.
989 989 """
990 990 if (
991 991 requirementsmod.SPARSE_REQUIREMENT in requirements
992 992 and not sparse.enabled
993 993 ):
994 994 raise error.RepoError(
995 995 _(
996 996 b'repository is using sparse feature but '
997 997 b'sparse is not enabled; enable the '
998 998 b'"sparse" extensions to access'
999 999 )
1000 1000 )
1001 1001
1002 1002
1003 1003 def makestore(requirements, path, vfstype):
1004 1004 """Construct a storage object for a repository."""
1005 1005 if requirementsmod.STORE_REQUIREMENT in requirements:
1006 1006 if requirementsmod.FNCACHE_REQUIREMENT in requirements:
1007 1007 dotencode = requirementsmod.DOTENCODE_REQUIREMENT in requirements
1008 1008 return storemod.fncachestore(path, vfstype, dotencode)
1009 1009
1010 1010 return storemod.encodedstore(path, vfstype)
1011 1011
1012 1012 return storemod.basicstore(path, vfstype)
1013 1013
1014 1014
1015 1015 def resolvestorevfsoptions(ui, requirements, features):
1016 1016 """Resolve the options to pass to the store vfs opener.
1017 1017
1018 1018 The returned dict is used to influence behavior of the storage layer.
1019 1019 """
1020 1020 options = {}
1021 1021
1022 1022 if requirementsmod.TREEMANIFEST_REQUIREMENT in requirements:
1023 1023 options[b'treemanifest'] = True
1024 1024
1025 1025 # experimental config: format.manifestcachesize
1026 1026 manifestcachesize = ui.configint(b'format', b'manifestcachesize')
1027 1027 if manifestcachesize is not None:
1028 1028 options[b'manifestcachesize'] = manifestcachesize
1029 1029
1030 1030 # In the absence of another requirement superseding a revlog-related
1031 1031 # requirement, we have to assume the repo is using revlog version 0.
1032 1032 # This revlog format is super old and we don't bother trying to parse
1033 1033 # opener options for it because those options wouldn't do anything
1034 1034 # meaningful on such old repos.
1035 1035 if (
1036 1036 requirementsmod.REVLOGV1_REQUIREMENT in requirements
1037 1037 or requirementsmod.REVLOGV2_REQUIREMENT in requirements
1038 1038 ):
1039 1039 options.update(resolverevlogstorevfsoptions(ui, requirements, features))
1040 1040 else: # explicitly mark repo as using revlogv0
1041 1041 options[b'revlogv0'] = True
1042 1042
1043 1043 if requirementsmod.COPIESSDC_REQUIREMENT in requirements:
1044 1044 options[b'copies-storage'] = b'changeset-sidedata'
1045 1045 else:
1046 1046 writecopiesto = ui.config(b'experimental', b'copies.write-to')
1047 1047 copiesextramode = (b'changeset-only', b'compatibility')
1048 1048 if writecopiesto in copiesextramode:
1049 1049 options[b'copies-storage'] = b'extra'
1050 1050
1051 1051 return options
1052 1052
1053 1053
1054 1054 def resolverevlogstorevfsoptions(ui, requirements, features):
1055 1055 """Resolve opener options specific to revlogs."""
1056 1056
1057 1057 options = {}
1058 1058 options[b'flagprocessors'] = {}
1059 1059
1060 1060 if requirementsmod.REVLOGV1_REQUIREMENT in requirements:
1061 1061 options[b'revlogv1'] = True
1062 1062 if requirementsmod.REVLOGV2_REQUIREMENT in requirements:
1063 1063 options[b'revlogv2'] = True
1064 1064 if requirementsmod.CHANGELOGV2_REQUIREMENT in requirements:
1065 1065 options[b'changelogv2'] = True
1066 1066 cmp_rank = ui.configbool(b'experimental', b'changelog-v2.compute-rank')
1067 1067 options[b'changelogv2.compute-rank'] = cmp_rank
1068 1068
1069 1069 if requirementsmod.GENERALDELTA_REQUIREMENT in requirements:
1070 1070 options[b'generaldelta'] = True
1071 1071
1072 1072 # experimental config: format.chunkcachesize
1073 1073 chunkcachesize = ui.configint(b'format', b'chunkcachesize')
1074 1074 if chunkcachesize is not None:
1075 1075 options[b'chunkcachesize'] = chunkcachesize
1076 1076
1077 1077 deltabothparents = ui.configbool(
1078 1078 b'storage', b'revlog.optimize-delta-parent-choice'
1079 1079 )
1080 1080 options[b'deltabothparents'] = deltabothparents
1081 1081 dps_cgds = ui.configint(
1082 1082 b'storage',
1083 1083 b'revlog.delta-parent-search.candidate-group-chunk-size',
1084 1084 )
1085 1085 options[b'delta-parent-search.candidate-group-chunk-size'] = dps_cgds
1086 1086 options[b'debug-delta'] = ui.configbool(b'debug', b'revlog.debug-delta')
1087 1087
1088 1088 issue6528 = ui.configbool(b'storage', b'revlog.issue6528.fix-incoming')
1089 1089 options[b'issue6528.fix-incoming'] = issue6528
1090 1090
1091 1091 lazydelta = ui.configbool(b'storage', b'revlog.reuse-external-delta')
1092 1092 lazydeltabase = False
1093 1093 if lazydelta:
1094 1094 lazydeltabase = ui.configbool(
1095 1095 b'storage', b'revlog.reuse-external-delta-parent'
1096 1096 )
1097 1097 if lazydeltabase is None:
1098 1098 lazydeltabase = not scmutil.gddeltaconfig(ui)
1099 1099 options[b'lazydelta'] = lazydelta
1100 1100 options[b'lazydeltabase'] = lazydeltabase
1101 1101
1102 1102 chainspan = ui.configbytes(b'experimental', b'maxdeltachainspan')
1103 1103 if 0 <= chainspan:
1104 1104 options[b'maxdeltachainspan'] = chainspan
1105 1105
1106 1106 mmapindexthreshold = ui.configbytes(b'experimental', b'mmapindexthreshold')
1107 1107 if mmapindexthreshold is not None:
1108 1108 options[b'mmapindexthreshold'] = mmapindexthreshold
1109 1109
1110 1110 withsparseread = ui.configbool(b'experimental', b'sparse-read')
1111 1111 srdensitythres = float(
1112 1112 ui.config(b'experimental', b'sparse-read.density-threshold')
1113 1113 )
1114 1114 srmingapsize = ui.configbytes(b'experimental', b'sparse-read.min-gap-size')
1115 1115 options[b'with-sparse-read'] = withsparseread
1116 1116 options[b'sparse-read-density-threshold'] = srdensitythres
1117 1117 options[b'sparse-read-min-gap-size'] = srmingapsize
1118 1118
1119 1119 sparserevlog = requirementsmod.SPARSEREVLOG_REQUIREMENT in requirements
1120 1120 options[b'sparse-revlog'] = sparserevlog
1121 1121 if sparserevlog:
1122 1122 options[b'generaldelta'] = True
1123 1123
1124 1124 maxchainlen = None
1125 1125 if sparserevlog:
1126 1126 maxchainlen = revlogconst.SPARSE_REVLOG_MAX_CHAIN_LENGTH
1127 1127 # experimental config: format.maxchainlen
1128 1128 maxchainlen = ui.configint(b'format', b'maxchainlen', maxchainlen)
1129 1129 if maxchainlen is not None:
1130 1130 options[b'maxchainlen'] = maxchainlen
1131 1131
1132 1132 for r in requirements:
1133 1133 # we allow multiple compression engine requirement to co-exist because
1134 1134 # strickly speaking, revlog seems to support mixed compression style.
1135 1135 #
1136 1136 # The compression used for new entries will be "the last one"
1137 1137 prefix = r.startswith
1138 1138 if prefix(b'revlog-compression-') or prefix(b'exp-compression-'):
1139 1139 options[b'compengine'] = r.split(b'-', 2)[2]
1140 1140
1141 1141 options[b'zlib.level'] = ui.configint(b'storage', b'revlog.zlib.level')
1142 1142 if options[b'zlib.level'] is not None:
1143 1143 if not (0 <= options[b'zlib.level'] <= 9):
1144 1144 msg = _(b'invalid value for `storage.revlog.zlib.level` config: %d')
1145 1145 raise error.Abort(msg % options[b'zlib.level'])
1146 1146 options[b'zstd.level'] = ui.configint(b'storage', b'revlog.zstd.level')
1147 1147 if options[b'zstd.level'] is not None:
1148 1148 if not (0 <= options[b'zstd.level'] <= 22):
1149 1149 msg = _(b'invalid value for `storage.revlog.zstd.level` config: %d')
1150 1150 raise error.Abort(msg % options[b'zstd.level'])
1151 1151
1152 1152 if requirementsmod.NARROW_REQUIREMENT in requirements:
1153 1153 options[b'enableellipsis'] = True
1154 1154
1155 1155 if ui.configbool(b'experimental', b'rust.index'):
1156 1156 options[b'rust.index'] = True
1157 1157 if requirementsmod.NODEMAP_REQUIREMENT in requirements:
1158 1158 slow_path = ui.config(
1159 1159 b'storage', b'revlog.persistent-nodemap.slow-path'
1160 1160 )
1161 1161 if slow_path not in (b'allow', b'warn', b'abort'):
1162 1162 default = ui.config_default(
1163 1163 b'storage', b'revlog.persistent-nodemap.slow-path'
1164 1164 )
1165 1165 msg = _(
1166 1166 b'unknown value for config '
1167 1167 b'"storage.revlog.persistent-nodemap.slow-path": "%s"\n'
1168 1168 )
1169 1169 ui.warn(msg % slow_path)
1170 1170 if not ui.quiet:
1171 1171 ui.warn(_(b'falling back to default value: %s\n') % default)
1172 1172 slow_path = default
1173 1173
1174 1174 msg = _(
1175 1175 b"accessing `persistent-nodemap` repository without associated "
1176 1176 b"fast implementation."
1177 1177 )
1178 1178 hint = _(
1179 1179 b"check `hg help config.format.use-persistent-nodemap` "
1180 1180 b"for details"
1181 1181 )
1182 1182 if not revlog.HAS_FAST_PERSISTENT_NODEMAP:
1183 1183 if slow_path == b'warn':
1184 1184 msg = b"warning: " + msg + b'\n'
1185 1185 ui.warn(msg)
1186 1186 if not ui.quiet:
1187 1187 hint = b'(' + hint + b')\n'
1188 1188 ui.warn(hint)
1189 1189 if slow_path == b'abort':
1190 1190 raise error.Abort(msg, hint=hint)
1191 1191 options[b'persistent-nodemap'] = True
1192 1192 if requirementsmod.DIRSTATE_V2_REQUIREMENT in requirements:
1193 1193 slow_path = ui.config(b'storage', b'dirstate-v2.slow-path')
1194 1194 if slow_path not in (b'allow', b'warn', b'abort'):
1195 1195 default = ui.config_default(b'storage', b'dirstate-v2.slow-path')
1196 1196 msg = _(b'unknown value for config "dirstate-v2.slow-path": "%s"\n')
1197 1197 ui.warn(msg % slow_path)
1198 1198 if not ui.quiet:
1199 1199 ui.warn(_(b'falling back to default value: %s\n') % default)
1200 1200 slow_path = default
1201 1201
1202 1202 msg = _(
1203 1203 b"accessing `dirstate-v2` repository without associated "
1204 1204 b"fast implementation."
1205 1205 )
1206 1206 hint = _(
1207 1207 b"check `hg help config.format.use-dirstate-v2` " b"for details"
1208 1208 )
1209 1209 if not dirstate.HAS_FAST_DIRSTATE_V2:
1210 1210 if slow_path == b'warn':
1211 1211 msg = b"warning: " + msg + b'\n'
1212 1212 ui.warn(msg)
1213 1213 if not ui.quiet:
1214 1214 hint = b'(' + hint + b')\n'
1215 1215 ui.warn(hint)
1216 1216 if slow_path == b'abort':
1217 1217 raise error.Abort(msg, hint=hint)
1218 1218 if ui.configbool(b'storage', b'revlog.persistent-nodemap.mmap'):
1219 1219 options[b'persistent-nodemap.mmap'] = True
1220 1220 if ui.configbool(b'devel', b'persistent-nodemap'):
1221 1221 options[b'devel-force-nodemap'] = True
1222 1222
1223 1223 return options
1224 1224
1225 1225
1226 1226 def makemain(**kwargs):
1227 1227 """Produce a type conforming to ``ilocalrepositorymain``."""
1228 1228 return localrepository
1229 1229
1230 1230
1231 1231 @interfaceutil.implementer(repository.ilocalrepositoryfilestorage)
1232 1232 class revlogfilestorage:
1233 1233 """File storage when using revlogs."""
1234 1234
1235 1235 def file(self, path):
1236 1236 if path.startswith(b'/'):
1237 1237 path = path[1:]
1238 1238
1239 1239 return filelog.filelog(self.svfs, path)
1240 1240
1241 1241
1242 1242 @interfaceutil.implementer(repository.ilocalrepositoryfilestorage)
1243 1243 class revlognarrowfilestorage:
1244 1244 """File storage when using revlogs and narrow files."""
1245 1245
1246 1246 def file(self, path):
1247 1247 if path.startswith(b'/'):
1248 1248 path = path[1:]
1249 1249
1250 1250 return filelog.narrowfilelog(self.svfs, path, self._storenarrowmatch)
1251 1251
1252 1252
1253 1253 def makefilestorage(requirements, features, **kwargs):
1254 1254 """Produce a type conforming to ``ilocalrepositoryfilestorage``."""
1255 1255 features.add(repository.REPO_FEATURE_REVLOG_FILE_STORAGE)
1256 1256 features.add(repository.REPO_FEATURE_STREAM_CLONE)
1257 1257
1258 1258 if requirementsmod.NARROW_REQUIREMENT in requirements:
1259 1259 return revlognarrowfilestorage
1260 1260 else:
1261 1261 return revlogfilestorage
1262 1262
1263 1263
1264 1264 # List of repository interfaces and factory functions for them. Each
1265 1265 # will be called in order during ``makelocalrepository()`` to iteratively
1266 1266 # derive the final type for a local repository instance. We capture the
1267 1267 # function as a lambda so we don't hold a reference and the module-level
1268 1268 # functions can be wrapped.
1269 1269 REPO_INTERFACES = [
1270 1270 (repository.ilocalrepositorymain, lambda: makemain),
1271 1271 (repository.ilocalrepositoryfilestorage, lambda: makefilestorage),
1272 1272 ]
1273 1273
1274 1274
1275 1275 @interfaceutil.implementer(repository.ilocalrepositorymain)
1276 1276 class localrepository:
1277 1277 """Main class for representing local repositories.
1278 1278
1279 1279 All local repositories are instances of this class.
1280 1280
1281 1281 Constructed on its own, instances of this class are not usable as
1282 1282 repository objects. To obtain a usable repository object, call
1283 1283 ``hg.repository()``, ``localrepo.instance()``, or
1284 1284 ``localrepo.makelocalrepository()``. The latter is the lowest-level.
1285 1285 ``instance()`` adds support for creating new repositories.
1286 1286 ``hg.repository()`` adds more extension integration, including calling
1287 1287 ``reposetup()``. Generally speaking, ``hg.repository()`` should be
1288 1288 used.
1289 1289 """
1290 1290
1291 1291 _basesupported = {
1292 1292 requirementsmod.ARCHIVED_PHASE_REQUIREMENT,
1293 1293 requirementsmod.BOOKMARKS_IN_STORE_REQUIREMENT,
1294 1294 requirementsmod.CHANGELOGV2_REQUIREMENT,
1295 1295 requirementsmod.COPIESSDC_REQUIREMENT,
1296 1296 requirementsmod.DIRSTATE_TRACKED_HINT_V1,
1297 1297 requirementsmod.DIRSTATE_V2_REQUIREMENT,
1298 1298 requirementsmod.DOTENCODE_REQUIREMENT,
1299 1299 requirementsmod.FNCACHE_REQUIREMENT,
1300 1300 requirementsmod.GENERALDELTA_REQUIREMENT,
1301 1301 requirementsmod.INTERNAL_PHASE_REQUIREMENT,
1302 1302 requirementsmod.NODEMAP_REQUIREMENT,
1303 1303 requirementsmod.RELATIVE_SHARED_REQUIREMENT,
1304 1304 requirementsmod.REVLOGV1_REQUIREMENT,
1305 1305 requirementsmod.REVLOGV2_REQUIREMENT,
1306 1306 requirementsmod.SHARED_REQUIREMENT,
1307 1307 requirementsmod.SHARESAFE_REQUIREMENT,
1308 1308 requirementsmod.SPARSE_REQUIREMENT,
1309 1309 requirementsmod.SPARSEREVLOG_REQUIREMENT,
1310 1310 requirementsmod.STORE_REQUIREMENT,
1311 1311 requirementsmod.TREEMANIFEST_REQUIREMENT,
1312 1312 }
1313 1313
1314 1314 # list of prefix for file which can be written without 'wlock'
1315 1315 # Extensions should extend this list when needed
1316 1316 _wlockfreeprefix = {
1317 1317 # We migh consider requiring 'wlock' for the next
1318 1318 # two, but pretty much all the existing code assume
1319 1319 # wlock is not needed so we keep them excluded for
1320 1320 # now.
1321 1321 b'hgrc',
1322 1322 b'requires',
1323 1323 # XXX cache is a complicatged business someone
1324 1324 # should investigate this in depth at some point
1325 1325 b'cache/',
1326 # XXX shouldn't be dirstate covered by the wlock?
1327 b'dirstate',
1328 1326 # XXX bisect was still a bit too messy at the time
1329 1327 # this changeset was introduced. Someone should fix
1330 1328 # the remainig bit and drop this line
1331 1329 b'bisect.state',
1332 1330 }
1333 1331
1334 1332 def __init__(
1335 1333 self,
1336 1334 baseui,
1337 1335 ui,
1338 1336 origroot: bytes,
1339 1337 wdirvfs: vfsmod.vfs,
1340 1338 hgvfs: vfsmod.vfs,
1341 1339 requirements,
1342 1340 supportedrequirements,
1343 1341 sharedpath: bytes,
1344 1342 store,
1345 1343 cachevfs: vfsmod.vfs,
1346 1344 wcachevfs: vfsmod.vfs,
1347 1345 features,
1348 1346 intents=None,
1349 1347 ):
1350 1348 """Create a new local repository instance.
1351 1349
1352 1350 Most callers should use ``hg.repository()``, ``localrepo.instance()``,
1353 1351 or ``localrepo.makelocalrepository()`` for obtaining a new repository
1354 1352 object.
1355 1353
1356 1354 Arguments:
1357 1355
1358 1356 baseui
1359 1357 ``ui.ui`` instance that ``ui`` argument was based off of.
1360 1358
1361 1359 ui
1362 1360 ``ui.ui`` instance for use by the repository.
1363 1361
1364 1362 origroot
1365 1363 ``bytes`` path to working directory root of this repository.
1366 1364
1367 1365 wdirvfs
1368 1366 ``vfs.vfs`` rooted at the working directory.
1369 1367
1370 1368 hgvfs
1371 1369 ``vfs.vfs`` rooted at .hg/
1372 1370
1373 1371 requirements
1374 1372 ``set`` of bytestrings representing repository opening requirements.
1375 1373
1376 1374 supportedrequirements
1377 1375 ``set`` of bytestrings representing repository requirements that we
1378 1376 know how to open. May be a supetset of ``requirements``.
1379 1377
1380 1378 sharedpath
1381 1379 ``bytes`` Defining path to storage base directory. Points to a
1382 1380 ``.hg/`` directory somewhere.
1383 1381
1384 1382 store
1385 1383 ``store.basicstore`` (or derived) instance providing access to
1386 1384 versioned storage.
1387 1385
1388 1386 cachevfs
1389 1387 ``vfs.vfs`` used for cache files.
1390 1388
1391 1389 wcachevfs
1392 1390 ``vfs.vfs`` used for cache files related to the working copy.
1393 1391
1394 1392 features
1395 1393 ``set`` of bytestrings defining features/capabilities of this
1396 1394 instance.
1397 1395
1398 1396 intents
1399 1397 ``set`` of system strings indicating what this repo will be used
1400 1398 for.
1401 1399 """
1402 1400 self.baseui = baseui
1403 1401 self.ui = ui
1404 1402 self.origroot = origroot
1405 1403 # vfs rooted at working directory.
1406 1404 self.wvfs = wdirvfs
1407 1405 self.root = wdirvfs.base
1408 1406 # vfs rooted at .hg/. Used to access most non-store paths.
1409 1407 self.vfs = hgvfs
1410 1408 self.path = hgvfs.base
1411 1409 self.requirements = requirements
1412 1410 self.nodeconstants = sha1nodeconstants
1413 1411 self.nullid = self.nodeconstants.nullid
1414 1412 self.supported = supportedrequirements
1415 1413 self.sharedpath = sharedpath
1416 1414 self.store = store
1417 1415 self.cachevfs = cachevfs
1418 1416 self.wcachevfs = wcachevfs
1419 1417 self.features = features
1420 1418
1421 1419 self.filtername = None
1422 1420
1423 1421 if self.ui.configbool(b'devel', b'all-warnings') or self.ui.configbool(
1424 1422 b'devel', b'check-locks'
1425 1423 ):
1426 1424 self.vfs.audit = self._getvfsward(self.vfs.audit)
1427 1425 # A list of callback to shape the phase if no data were found.
1428 1426 # Callback are in the form: func(repo, roots) --> processed root.
1429 1427 # This list it to be filled by extension during repo setup
1430 1428 self._phasedefaults = []
1431 1429
1432 1430 color.setup(self.ui)
1433 1431
1434 1432 self.spath = self.store.path
1435 1433 self.svfs = self.store.vfs
1436 1434 self.sjoin = self.store.join
1437 1435 if self.ui.configbool(b'devel', b'all-warnings') or self.ui.configbool(
1438 1436 b'devel', b'check-locks'
1439 1437 ):
1440 1438 if util.safehasattr(self.svfs, b'vfs'): # this is filtervfs
1441 1439 self.svfs.vfs.audit = self._getsvfsward(self.svfs.vfs.audit)
1442 1440 else: # standard vfs
1443 1441 self.svfs.audit = self._getsvfsward(self.svfs.audit)
1444 1442
1445 1443 self._dirstatevalidatewarned = False
1446 1444
1447 1445 self._branchcaches = branchmap.BranchMapCache()
1448 1446 self._revbranchcache = None
1449 1447 self._filterpats = {}
1450 1448 self._datafilters = {}
1451 1449 self._transref = self._lockref = self._wlockref = None
1452 1450
1453 1451 # A cache for various files under .hg/ that tracks file changes,
1454 1452 # (used by the filecache decorator)
1455 1453 #
1456 1454 # Maps a property name to its util.filecacheentry
1457 1455 self._filecache = {}
1458 1456
1459 1457 # hold sets of revision to be filtered
1460 1458 # should be cleared when something might have changed the filter value:
1461 1459 # - new changesets,
1462 1460 # - phase change,
1463 1461 # - new obsolescence marker,
1464 1462 # - working directory parent change,
1465 1463 # - bookmark changes
1466 1464 self.filteredrevcache = {}
1467 1465
1468 1466 # post-dirstate-status hooks
1469 1467 self._postdsstatus = []
1470 1468
1471 1469 # generic mapping between names and nodes
1472 1470 self.names = namespaces.namespaces()
1473 1471
1474 1472 # Key to signature value.
1475 1473 self._sparsesignaturecache = {}
1476 1474 # Signature to cached matcher instance.
1477 1475 self._sparsematchercache = {}
1478 1476
1479 1477 self._extrafilterid = repoview.extrafilter(ui)
1480 1478
1481 1479 self.filecopiesmode = None
1482 1480 if requirementsmod.COPIESSDC_REQUIREMENT in self.requirements:
1483 1481 self.filecopiesmode = b'changeset-sidedata'
1484 1482
1485 1483 self._wanted_sidedata = set()
1486 1484 self._sidedata_computers = {}
1487 1485 sidedatamod.set_sidedata_spec_for_repo(self)
1488 1486
1489 1487 def _getvfsward(self, origfunc):
1490 1488 """build a ward for self.vfs"""
1491 1489 rref = weakref.ref(self)
1492 1490
1493 1491 def checkvfs(path, mode=None):
1494 1492 ret = origfunc(path, mode=mode)
1495 1493 repo = rref()
1496 1494 if (
1497 1495 repo is None
1498 1496 or not util.safehasattr(repo, b'_wlockref')
1499 1497 or not util.safehasattr(repo, b'_lockref')
1500 1498 ):
1501 1499 return
1502 1500 if mode in (None, b'r', b'rb'):
1503 1501 return
1504 1502 if path.startswith(repo.path):
1505 1503 # truncate name relative to the repository (.hg)
1506 1504 path = path[len(repo.path) + 1 :]
1507 1505 if path.startswith(b'cache/'):
1508 1506 msg = b'accessing cache with vfs instead of cachevfs: "%s"'
1509 1507 repo.ui.develwarn(msg % path, stacklevel=3, config=b"cache-vfs")
1510 1508 # path prefixes covered by 'lock'
1511 1509 vfs_path_prefixes = (
1512 1510 b'journal.',
1513 1511 b'undo.',
1514 1512 b'strip-backup/',
1515 1513 b'cache/',
1516 1514 )
1517 1515 if any(path.startswith(prefix) for prefix in vfs_path_prefixes):
1518 1516 if repo._currentlock(repo._lockref) is None:
1519 1517 repo.ui.develwarn(
1520 1518 b'write with no lock: "%s"' % path,
1521 1519 stacklevel=3,
1522 1520 config=b'check-locks',
1523 1521 )
1524 1522 elif repo._currentlock(repo._wlockref) is None:
1525 1523 # rest of vfs files are covered by 'wlock'
1526 1524 #
1527 1525 # exclude special files
1528 1526 for prefix in self._wlockfreeprefix:
1529 1527 if path.startswith(prefix):
1530 1528 return
1531 1529 repo.ui.develwarn(
1532 1530 b'write with no wlock: "%s"' % path,
1533 1531 stacklevel=3,
1534 1532 config=b'check-locks',
1535 1533 )
1536 1534 return ret
1537 1535
1538 1536 return checkvfs
1539 1537
1540 1538 def _getsvfsward(self, origfunc):
1541 1539 """build a ward for self.svfs"""
1542 1540 rref = weakref.ref(self)
1543 1541
1544 1542 def checksvfs(path, mode=None):
1545 1543 ret = origfunc(path, mode=mode)
1546 1544 repo = rref()
1547 1545 if repo is None or not util.safehasattr(repo, b'_lockref'):
1548 1546 return
1549 1547 if mode in (None, b'r', b'rb'):
1550 1548 return
1551 1549 if path.startswith(repo.sharedpath):
1552 1550 # truncate name relative to the repository (.hg)
1553 1551 path = path[len(repo.sharedpath) + 1 :]
1554 1552 if repo._currentlock(repo._lockref) is None:
1555 1553 repo.ui.develwarn(
1556 1554 b'write with no lock: "%s"' % path, stacklevel=4
1557 1555 )
1558 1556 return ret
1559 1557
1560 1558 return checksvfs
1561 1559
1562 1560 def close(self):
1563 1561 self._writecaches()
1564 1562
1565 1563 def _writecaches(self):
1566 1564 if self._revbranchcache:
1567 1565 self._revbranchcache.write()
1568 1566
1569 1567 def _restrictcapabilities(self, caps):
1570 1568 if self.ui.configbool(b'experimental', b'bundle2-advertise'):
1571 1569 caps = set(caps)
1572 1570 capsblob = bundle2.encodecaps(
1573 1571 bundle2.getrepocaps(self, role=b'client')
1574 1572 )
1575 1573 caps.add(b'bundle2=' + urlreq.quote(capsblob))
1576 1574 if self.ui.configbool(b'experimental', b'narrow'):
1577 1575 caps.add(wireprototypes.NARROWCAP)
1578 1576 return caps
1579 1577
1580 1578 # Don't cache auditor/nofsauditor, or you'll end up with reference cycle:
1581 1579 # self -> auditor -> self._checknested -> self
1582 1580
1583 1581 @property
1584 1582 def auditor(self):
1585 1583 # This is only used by context.workingctx.match in order to
1586 1584 # detect files in subrepos.
1587 1585 return pathutil.pathauditor(self.root, callback=self._checknested)
1588 1586
1589 1587 @property
1590 1588 def nofsauditor(self):
1591 1589 # This is only used by context.basectx.match in order to detect
1592 1590 # files in subrepos.
1593 1591 return pathutil.pathauditor(
1594 1592 self.root, callback=self._checknested, realfs=False, cached=True
1595 1593 )
1596 1594
1597 1595 def _checknested(self, path):
1598 1596 """Determine if path is a legal nested repository."""
1599 1597 if not path.startswith(self.root):
1600 1598 return False
1601 1599 subpath = path[len(self.root) + 1 :]
1602 1600 normsubpath = util.pconvert(subpath)
1603 1601
1604 1602 # XXX: Checking against the current working copy is wrong in
1605 1603 # the sense that it can reject things like
1606 1604 #
1607 1605 # $ hg cat -r 10 sub/x.txt
1608 1606 #
1609 1607 # if sub/ is no longer a subrepository in the working copy
1610 1608 # parent revision.
1611 1609 #
1612 1610 # However, it can of course also allow things that would have
1613 1611 # been rejected before, such as the above cat command if sub/
1614 1612 # is a subrepository now, but was a normal directory before.
1615 1613 # The old path auditor would have rejected by mistake since it
1616 1614 # panics when it sees sub/.hg/.
1617 1615 #
1618 1616 # All in all, checking against the working copy seems sensible
1619 1617 # since we want to prevent access to nested repositories on
1620 1618 # the filesystem *now*.
1621 1619 ctx = self[None]
1622 1620 parts = util.splitpath(subpath)
1623 1621 while parts:
1624 1622 prefix = b'/'.join(parts)
1625 1623 if prefix in ctx.substate:
1626 1624 if prefix == normsubpath:
1627 1625 return True
1628 1626 else:
1629 1627 sub = ctx.sub(prefix)
1630 1628 return sub.checknested(subpath[len(prefix) + 1 :])
1631 1629 else:
1632 1630 parts.pop()
1633 1631 return False
1634 1632
1635 1633 def peer(self, path=None):
1636 1634 return localpeer(self, path=path) # not cached to avoid reference cycle
1637 1635
1638 1636 def unfiltered(self):
1639 1637 """Return unfiltered version of the repository
1640 1638
1641 1639 Intended to be overwritten by filtered repo."""
1642 1640 return self
1643 1641
1644 1642 def filtered(self, name, visibilityexceptions=None):
1645 1643 """Return a filtered version of a repository
1646 1644
1647 1645 The `name` parameter is the identifier of the requested view. This
1648 1646 will return a repoview object set "exactly" to the specified view.
1649 1647
1650 1648 This function does not apply recursive filtering to a repository. For
1651 1649 example calling `repo.filtered("served")` will return a repoview using
1652 1650 the "served" view, regardless of the initial view used by `repo`.
1653 1651
1654 1652 In other word, there is always only one level of `repoview` "filtering".
1655 1653 """
1656 1654 if self._extrafilterid is not None and b'%' not in name:
1657 1655 name = name + b'%' + self._extrafilterid
1658 1656
1659 1657 cls = repoview.newtype(self.unfiltered().__class__)
1660 1658 return cls(self, name, visibilityexceptions)
1661 1659
1662 1660 @mixedrepostorecache(
1663 1661 (b'bookmarks', b'plain'),
1664 1662 (b'bookmarks.current', b'plain'),
1665 1663 (b'bookmarks', b''),
1666 1664 (b'00changelog.i', b''),
1667 1665 )
1668 1666 def _bookmarks(self):
1669 1667 # Since the multiple files involved in the transaction cannot be
1670 1668 # written atomically (with current repository format), there is a race
1671 1669 # condition here.
1672 1670 #
1673 1671 # 1) changelog content A is read
1674 1672 # 2) outside transaction update changelog to content B
1675 1673 # 3) outside transaction update bookmark file referring to content B
1676 1674 # 4) bookmarks file content is read and filtered against changelog-A
1677 1675 #
1678 1676 # When this happens, bookmarks against nodes missing from A are dropped.
1679 1677 #
1680 1678 # Having this happening during read is not great, but it become worse
1681 1679 # when this happen during write because the bookmarks to the "unknown"
1682 1680 # nodes will be dropped for good. However, writes happen within locks.
1683 1681 # This locking makes it possible to have a race free consistent read.
1684 1682 # For this purpose data read from disc before locking are
1685 1683 # "invalidated" right after the locks are taken. This invalidations are
1686 1684 # "light", the `filecache` mechanism keep the data in memory and will
1687 1685 # reuse them if the underlying files did not changed. Not parsing the
1688 1686 # same data multiple times helps performances.
1689 1687 #
1690 1688 # Unfortunately in the case describe above, the files tracked by the
1691 1689 # bookmarks file cache might not have changed, but the in-memory
1692 1690 # content is still "wrong" because we used an older changelog content
1693 1691 # to process the on-disk data. So after locking, the changelog would be
1694 1692 # refreshed but `_bookmarks` would be preserved.
1695 1693 # Adding `00changelog.i` to the list of tracked file is not
1696 1694 # enough, because at the time we build the content for `_bookmarks` in
1697 1695 # (4), the changelog file has already diverged from the content used
1698 1696 # for loading `changelog` in (1)
1699 1697 #
1700 1698 # To prevent the issue, we force the changelog to be explicitly
1701 1699 # reloaded while computing `_bookmarks`. The data race can still happen
1702 1700 # without the lock (with a narrower window), but it would no longer go
1703 1701 # undetected during the lock time refresh.
1704 1702 #
1705 1703 # The new schedule is as follow
1706 1704 #
1707 1705 # 1) filecache logic detect that `_bookmarks` needs to be computed
1708 1706 # 2) cachestat for `bookmarks` and `changelog` are captured (for book)
1709 1707 # 3) We force `changelog` filecache to be tested
1710 1708 # 4) cachestat for `changelog` are captured (for changelog)
1711 1709 # 5) `_bookmarks` is computed and cached
1712 1710 #
1713 1711 # The step in (3) ensure we have a changelog at least as recent as the
1714 1712 # cache stat computed in (1). As a result at locking time:
1715 1713 # * if the changelog did not changed since (1) -> we can reuse the data
1716 1714 # * otherwise -> the bookmarks get refreshed.
1717 1715 self._refreshchangelog()
1718 1716 return bookmarks.bmstore(self)
1719 1717
1720 1718 def _refreshchangelog(self):
1721 1719 """make sure the in memory changelog match the on-disk one"""
1722 1720 if 'changelog' in vars(self) and self.currenttransaction() is None:
1723 1721 del self.changelog
1724 1722
1725 1723 @property
1726 1724 def _activebookmark(self):
1727 1725 return self._bookmarks.active
1728 1726
1729 1727 # _phasesets depend on changelog. what we need is to call
1730 1728 # _phasecache.invalidate() if '00changelog.i' was changed, but it
1731 1729 # can't be easily expressed in filecache mechanism.
1732 1730 @storecache(b'phaseroots', b'00changelog.i')
1733 1731 def _phasecache(self):
1734 1732 return phases.phasecache(self, self._phasedefaults)
1735 1733
1736 1734 @storecache(b'obsstore')
1737 1735 def obsstore(self):
1738 1736 return obsolete.makestore(self.ui, self)
1739 1737
1740 1738 @changelogcache()
1741 1739 def changelog(repo):
1742 1740 # load dirstate before changelog to avoid race see issue6303
1743 1741 repo.dirstate.prefetch_parents()
1744 1742 return repo.store.changelog(
1745 1743 txnutil.mayhavepending(repo.root),
1746 1744 concurrencychecker=revlogchecker.get_checker(repo.ui, b'changelog'),
1747 1745 )
1748 1746
1749 1747 @manifestlogcache()
1750 1748 def manifestlog(self):
1751 1749 return self.store.manifestlog(self, self._storenarrowmatch)
1752 1750
1753 1751 @repofilecache(b'dirstate')
1754 1752 def dirstate(self):
1755 1753 return self._makedirstate()
1756 1754
1757 1755 def _makedirstate(self):
1758 1756 """Extension point for wrapping the dirstate per-repo."""
1759 1757 sparsematchfn = None
1760 1758 if sparse.use_sparse(self):
1761 1759 sparsematchfn = lambda: sparse.matcher(self)
1762 1760 v2_req = requirementsmod.DIRSTATE_V2_REQUIREMENT
1763 1761 th = requirementsmod.DIRSTATE_TRACKED_HINT_V1
1764 1762 use_dirstate_v2 = v2_req in self.requirements
1765 1763 use_tracked_hint = th in self.requirements
1766 1764
1767 1765 return dirstate.dirstate(
1768 1766 self.vfs,
1769 1767 self.ui,
1770 1768 self.root,
1771 1769 self._dirstatevalidate,
1772 1770 sparsematchfn,
1773 1771 self.nodeconstants,
1774 1772 use_dirstate_v2,
1775 1773 use_tracked_hint=use_tracked_hint,
1776 1774 )
1777 1775
1778 1776 def _dirstatevalidate(self, node):
1779 1777 try:
1780 1778 self.changelog.rev(node)
1781 1779 return node
1782 1780 except error.LookupError:
1783 1781 if not self._dirstatevalidatewarned:
1784 1782 self._dirstatevalidatewarned = True
1785 1783 self.ui.warn(
1786 1784 _(b"warning: ignoring unknown working parent %s!\n")
1787 1785 % short(node)
1788 1786 )
1789 1787 return self.nullid
1790 1788
1791 1789 @storecache(narrowspec.FILENAME)
1792 1790 def narrowpats(self):
1793 1791 """matcher patterns for this repository's narrowspec
1794 1792
1795 1793 A tuple of (includes, excludes).
1796 1794 """
1797 1795 return narrowspec.load(self)
1798 1796
1799 1797 @storecache(narrowspec.FILENAME)
1800 1798 def _storenarrowmatch(self):
1801 1799 if requirementsmod.NARROW_REQUIREMENT not in self.requirements:
1802 1800 return matchmod.always()
1803 1801 include, exclude = self.narrowpats
1804 1802 return narrowspec.match(self.root, include=include, exclude=exclude)
1805 1803
1806 1804 @storecache(narrowspec.FILENAME)
1807 1805 def _narrowmatch(self):
1808 1806 if requirementsmod.NARROW_REQUIREMENT not in self.requirements:
1809 1807 return matchmod.always()
1810 1808 narrowspec.checkworkingcopynarrowspec(self)
1811 1809 include, exclude = self.narrowpats
1812 1810 return narrowspec.match(self.root, include=include, exclude=exclude)
1813 1811
1814 1812 def narrowmatch(self, match=None, includeexact=False):
1815 1813 """matcher corresponding the the repo's narrowspec
1816 1814
1817 1815 If `match` is given, then that will be intersected with the narrow
1818 1816 matcher.
1819 1817
1820 1818 If `includeexact` is True, then any exact matches from `match` will
1821 1819 be included even if they're outside the narrowspec.
1822 1820 """
1823 1821 if match:
1824 1822 if includeexact and not self._narrowmatch.always():
1825 1823 # do not exclude explicitly-specified paths so that they can
1826 1824 # be warned later on
1827 1825 em = matchmod.exact(match.files())
1828 1826 nm = matchmod.unionmatcher([self._narrowmatch, em])
1829 1827 return matchmod.intersectmatchers(match, nm)
1830 1828 return matchmod.intersectmatchers(match, self._narrowmatch)
1831 1829 return self._narrowmatch
1832 1830
1833 1831 def setnarrowpats(self, newincludes, newexcludes):
1834 1832 narrowspec.save(self, newincludes, newexcludes)
1835 1833 self.invalidate(clearfilecache=True)
1836 1834
1837 1835 @unfilteredpropertycache
1838 1836 def _quick_access_changeid_null(self):
1839 1837 return {
1840 1838 b'null': (nullrev, self.nodeconstants.nullid),
1841 1839 nullrev: (nullrev, self.nodeconstants.nullid),
1842 1840 self.nullid: (nullrev, self.nullid),
1843 1841 }
1844 1842
1845 1843 @unfilteredpropertycache
1846 1844 def _quick_access_changeid_wc(self):
1847 1845 # also fast path access to the working copy parents
1848 1846 # however, only do it for filter that ensure wc is visible.
1849 1847 quick = self._quick_access_changeid_null.copy()
1850 1848 cl = self.unfiltered().changelog
1851 1849 for node in self.dirstate.parents():
1852 1850 if node == self.nullid:
1853 1851 continue
1854 1852 rev = cl.index.get_rev(node)
1855 1853 if rev is None:
1856 1854 # unknown working copy parent case:
1857 1855 #
1858 1856 # skip the fast path and let higher code deal with it
1859 1857 continue
1860 1858 pair = (rev, node)
1861 1859 quick[rev] = pair
1862 1860 quick[node] = pair
1863 1861 # also add the parents of the parents
1864 1862 for r in cl.parentrevs(rev):
1865 1863 if r == nullrev:
1866 1864 continue
1867 1865 n = cl.node(r)
1868 1866 pair = (r, n)
1869 1867 quick[r] = pair
1870 1868 quick[n] = pair
1871 1869 p1node = self.dirstate.p1()
1872 1870 if p1node != self.nullid:
1873 1871 quick[b'.'] = quick[p1node]
1874 1872 return quick
1875 1873
1876 1874 @unfilteredmethod
1877 1875 def _quick_access_changeid_invalidate(self):
1878 1876 if '_quick_access_changeid_wc' in vars(self):
1879 1877 del self.__dict__['_quick_access_changeid_wc']
1880 1878
1881 1879 @property
1882 1880 def _quick_access_changeid(self):
1883 1881 """an helper dictionnary for __getitem__ calls
1884 1882
1885 1883 This contains a list of symbol we can recognise right away without
1886 1884 further processing.
1887 1885 """
1888 1886 if self.filtername in repoview.filter_has_wc:
1889 1887 return self._quick_access_changeid_wc
1890 1888 return self._quick_access_changeid_null
1891 1889
1892 1890 def __getitem__(self, changeid):
1893 1891 # dealing with special cases
1894 1892 if changeid is None:
1895 1893 return context.workingctx(self)
1896 1894 if isinstance(changeid, context.basectx):
1897 1895 return changeid
1898 1896
1899 1897 # dealing with multiple revisions
1900 1898 if isinstance(changeid, slice):
1901 1899 # wdirrev isn't contiguous so the slice shouldn't include it
1902 1900 return [
1903 1901 self[i]
1904 1902 for i in range(*changeid.indices(len(self)))
1905 1903 if i not in self.changelog.filteredrevs
1906 1904 ]
1907 1905
1908 1906 # dealing with some special values
1909 1907 quick_access = self._quick_access_changeid.get(changeid)
1910 1908 if quick_access is not None:
1911 1909 rev, node = quick_access
1912 1910 return context.changectx(self, rev, node, maybe_filtered=False)
1913 1911 if changeid == b'tip':
1914 1912 node = self.changelog.tip()
1915 1913 rev = self.changelog.rev(node)
1916 1914 return context.changectx(self, rev, node)
1917 1915
1918 1916 # dealing with arbitrary values
1919 1917 try:
1920 1918 if isinstance(changeid, int):
1921 1919 node = self.changelog.node(changeid)
1922 1920 rev = changeid
1923 1921 elif changeid == b'.':
1924 1922 # this is a hack to delay/avoid loading obsmarkers
1925 1923 # when we know that '.' won't be hidden
1926 1924 node = self.dirstate.p1()
1927 1925 rev = self.unfiltered().changelog.rev(node)
1928 1926 elif len(changeid) == self.nodeconstants.nodelen:
1929 1927 try:
1930 1928 node = changeid
1931 1929 rev = self.changelog.rev(changeid)
1932 1930 except error.FilteredLookupError:
1933 1931 changeid = hex(changeid) # for the error message
1934 1932 raise
1935 1933 except LookupError:
1936 1934 # check if it might have come from damaged dirstate
1937 1935 #
1938 1936 # XXX we could avoid the unfiltered if we had a recognizable
1939 1937 # exception for filtered changeset access
1940 1938 if (
1941 1939 self.local()
1942 1940 and changeid in self.unfiltered().dirstate.parents()
1943 1941 ):
1944 1942 msg = _(b"working directory has unknown parent '%s'!")
1945 1943 raise error.Abort(msg % short(changeid))
1946 1944 changeid = hex(changeid) # for the error message
1947 1945 raise
1948 1946
1949 1947 elif len(changeid) == 2 * self.nodeconstants.nodelen:
1950 1948 node = bin(changeid)
1951 1949 rev = self.changelog.rev(node)
1952 1950 else:
1953 1951 raise error.ProgrammingError(
1954 1952 b"unsupported changeid '%s' of type %s"
1955 1953 % (changeid, pycompat.bytestr(type(changeid)))
1956 1954 )
1957 1955
1958 1956 return context.changectx(self, rev, node)
1959 1957
1960 1958 except (error.FilteredIndexError, error.FilteredLookupError):
1961 1959 raise error.FilteredRepoLookupError(
1962 1960 _(b"filtered revision '%s'") % pycompat.bytestr(changeid)
1963 1961 )
1964 1962 except (IndexError, LookupError):
1965 1963 raise error.RepoLookupError(
1966 1964 _(b"unknown revision '%s'") % pycompat.bytestr(changeid)
1967 1965 )
1968 1966 except error.WdirUnsupported:
1969 1967 return context.workingctx(self)
1970 1968
1971 1969 def __contains__(self, changeid):
1972 1970 """True if the given changeid exists"""
1973 1971 try:
1974 1972 self[changeid]
1975 1973 return True
1976 1974 except error.RepoLookupError:
1977 1975 return False
1978 1976
1979 1977 def __nonzero__(self):
1980 1978 return True
1981 1979
1982 1980 __bool__ = __nonzero__
1983 1981
1984 1982 def __len__(self):
1985 1983 # no need to pay the cost of repoview.changelog
1986 1984 unfi = self.unfiltered()
1987 1985 return len(unfi.changelog)
1988 1986
1989 1987 def __iter__(self):
1990 1988 return iter(self.changelog)
1991 1989
1992 1990 def revs(self, expr: bytes, *args):
1993 1991 """Find revisions matching a revset.
1994 1992
1995 1993 The revset is specified as a string ``expr`` that may contain
1996 1994 %-formatting to escape certain types. See ``revsetlang.formatspec``.
1997 1995
1998 1996 Revset aliases from the configuration are not expanded. To expand
1999 1997 user aliases, consider calling ``scmutil.revrange()`` or
2000 1998 ``repo.anyrevs([expr], user=True)``.
2001 1999
2002 2000 Returns a smartset.abstractsmartset, which is a list-like interface
2003 2001 that contains integer revisions.
2004 2002 """
2005 2003 tree = revsetlang.spectree(expr, *args)
2006 2004 return revset.makematcher(tree)(self)
2007 2005
2008 2006 def set(self, expr: bytes, *args):
2009 2007 """Find revisions matching a revset and emit changectx instances.
2010 2008
2011 2009 This is a convenience wrapper around ``revs()`` that iterates the
2012 2010 result and is a generator of changectx instances.
2013 2011
2014 2012 Revset aliases from the configuration are not expanded. To expand
2015 2013 user aliases, consider calling ``scmutil.revrange()``.
2016 2014 """
2017 2015 for r in self.revs(expr, *args):
2018 2016 yield self[r]
2019 2017
2020 2018 def anyrevs(self, specs: bytes, user=False, localalias=None):
2021 2019 """Find revisions matching one of the given revsets.
2022 2020
2023 2021 Revset aliases from the configuration are not expanded by default. To
2024 2022 expand user aliases, specify ``user=True``. To provide some local
2025 2023 definitions overriding user aliases, set ``localalias`` to
2026 2024 ``{name: definitionstring}``.
2027 2025 """
2028 2026 if specs == [b'null']:
2029 2027 return revset.baseset([nullrev])
2030 2028 if specs == [b'.']:
2031 2029 quick_data = self._quick_access_changeid.get(b'.')
2032 2030 if quick_data is not None:
2033 2031 return revset.baseset([quick_data[0]])
2034 2032 if user:
2035 2033 m = revset.matchany(
2036 2034 self.ui,
2037 2035 specs,
2038 2036 lookup=revset.lookupfn(self),
2039 2037 localalias=localalias,
2040 2038 )
2041 2039 else:
2042 2040 m = revset.matchany(None, specs, localalias=localalias)
2043 2041 return m(self)
2044 2042
2045 2043 def url(self) -> bytes:
2046 2044 return b'file:' + self.root
2047 2045
2048 2046 def hook(self, name, throw=False, **args):
2049 2047 """Call a hook, passing this repo instance.
2050 2048
2051 2049 This a convenience method to aid invoking hooks. Extensions likely
2052 2050 won't call this unless they have registered a custom hook or are
2053 2051 replacing code that is expected to call a hook.
2054 2052 """
2055 2053 return hook.hook(self.ui, self, name, throw, **args)
2056 2054
2057 2055 @filteredpropertycache
2058 2056 def _tagscache(self):
2059 2057 """Returns a tagscache object that contains various tags related
2060 2058 caches."""
2061 2059
2062 2060 # This simplifies its cache management by having one decorated
2063 2061 # function (this one) and the rest simply fetch things from it.
2064 2062 class tagscache:
2065 2063 def __init__(self):
2066 2064 # These two define the set of tags for this repository. tags
2067 2065 # maps tag name to node; tagtypes maps tag name to 'global' or
2068 2066 # 'local'. (Global tags are defined by .hgtags across all
2069 2067 # heads, and local tags are defined in .hg/localtags.)
2070 2068 # They constitute the in-memory cache of tags.
2071 2069 self.tags = self.tagtypes = None
2072 2070
2073 2071 self.nodetagscache = self.tagslist = None
2074 2072
2075 2073 cache = tagscache()
2076 2074 cache.tags, cache.tagtypes = self._findtags()
2077 2075
2078 2076 return cache
2079 2077
2080 2078 def tags(self):
2081 2079 '''return a mapping of tag to node'''
2082 2080 t = {}
2083 2081 if self.changelog.filteredrevs:
2084 2082 tags, tt = self._findtags()
2085 2083 else:
2086 2084 tags = self._tagscache.tags
2087 2085 rev = self.changelog.rev
2088 2086 for k, v in tags.items():
2089 2087 try:
2090 2088 # ignore tags to unknown nodes
2091 2089 rev(v)
2092 2090 t[k] = v
2093 2091 except (error.LookupError, ValueError):
2094 2092 pass
2095 2093 return t
2096 2094
2097 2095 def _findtags(self):
2098 2096 """Do the hard work of finding tags. Return a pair of dicts
2099 2097 (tags, tagtypes) where tags maps tag name to node, and tagtypes
2100 2098 maps tag name to a string like \'global\' or \'local\'.
2101 2099 Subclasses or extensions are free to add their own tags, but
2102 2100 should be aware that the returned dicts will be retained for the
2103 2101 duration of the localrepo object."""
2104 2102
2105 2103 # XXX what tagtype should subclasses/extensions use? Currently
2106 2104 # mq and bookmarks add tags, but do not set the tagtype at all.
2107 2105 # Should each extension invent its own tag type? Should there
2108 2106 # be one tagtype for all such "virtual" tags? Or is the status
2109 2107 # quo fine?
2110 2108
2111 2109 # map tag name to (node, hist)
2112 2110 alltags = tagsmod.findglobaltags(self.ui, self)
2113 2111 # map tag name to tag type
2114 2112 tagtypes = {tag: b'global' for tag in alltags}
2115 2113
2116 2114 tagsmod.readlocaltags(self.ui, self, alltags, tagtypes)
2117 2115
2118 2116 # Build the return dicts. Have to re-encode tag names because
2119 2117 # the tags module always uses UTF-8 (in order not to lose info
2120 2118 # writing to the cache), but the rest of Mercurial wants them in
2121 2119 # local encoding.
2122 2120 tags = {}
2123 2121 for name, (node, hist) in alltags.items():
2124 2122 if node != self.nullid:
2125 2123 tags[encoding.tolocal(name)] = node
2126 2124 tags[b'tip'] = self.changelog.tip()
2127 2125 tagtypes = {
2128 2126 encoding.tolocal(name): value for (name, value) in tagtypes.items()
2129 2127 }
2130 2128 return (tags, tagtypes)
2131 2129
2132 2130 def tagtype(self, tagname):
2133 2131 """
2134 2132 return the type of the given tag. result can be:
2135 2133
2136 2134 'local' : a local tag
2137 2135 'global' : a global tag
2138 2136 None : tag does not exist
2139 2137 """
2140 2138
2141 2139 return self._tagscache.tagtypes.get(tagname)
2142 2140
2143 2141 def tagslist(self):
2144 2142 '''return a list of tags ordered by revision'''
2145 2143 if not self._tagscache.tagslist:
2146 2144 l = []
2147 2145 for t, n in self.tags().items():
2148 2146 l.append((self.changelog.rev(n), t, n))
2149 2147 self._tagscache.tagslist = [(t, n) for r, t, n in sorted(l)]
2150 2148
2151 2149 return self._tagscache.tagslist
2152 2150
2153 2151 def nodetags(self, node):
2154 2152 '''return the tags associated with a node'''
2155 2153 if not self._tagscache.nodetagscache:
2156 2154 nodetagscache = {}
2157 2155 for t, n in self._tagscache.tags.items():
2158 2156 nodetagscache.setdefault(n, []).append(t)
2159 2157 for tags in nodetagscache.values():
2160 2158 tags.sort()
2161 2159 self._tagscache.nodetagscache = nodetagscache
2162 2160 return self._tagscache.nodetagscache.get(node, [])
2163 2161
2164 2162 def nodebookmarks(self, node):
2165 2163 """return the list of bookmarks pointing to the specified node"""
2166 2164 return self._bookmarks.names(node)
2167 2165
2168 2166 def branchmap(self):
2169 2167 """returns a dictionary {branch: [branchheads]} with branchheads
2170 2168 ordered by increasing revision number"""
2171 2169 return self._branchcaches[self]
2172 2170
2173 2171 @unfilteredmethod
2174 2172 def revbranchcache(self):
2175 2173 if not self._revbranchcache:
2176 2174 self._revbranchcache = branchmap.revbranchcache(self.unfiltered())
2177 2175 return self._revbranchcache
2178 2176
2179 2177 def register_changeset(self, rev, changelogrevision):
2180 2178 self.revbranchcache().setdata(rev, changelogrevision)
2181 2179
2182 2180 def branchtip(self, branch, ignoremissing=False):
2183 2181 """return the tip node for a given branch
2184 2182
2185 2183 If ignoremissing is True, then this method will not raise an error.
2186 2184 This is helpful for callers that only expect None for a missing branch
2187 2185 (e.g. namespace).
2188 2186
2189 2187 """
2190 2188 try:
2191 2189 return self.branchmap().branchtip(branch)
2192 2190 except KeyError:
2193 2191 if not ignoremissing:
2194 2192 raise error.RepoLookupError(_(b"unknown branch '%s'") % branch)
2195 2193 else:
2196 2194 pass
2197 2195
2198 2196 def lookup(self, key):
2199 2197 node = scmutil.revsymbol(self, key).node()
2200 2198 if node is None:
2201 2199 raise error.RepoLookupError(_(b"unknown revision '%s'") % key)
2202 2200 return node
2203 2201
2204 2202 def lookupbranch(self, key):
2205 2203 if self.branchmap().hasbranch(key):
2206 2204 return key
2207 2205
2208 2206 return scmutil.revsymbol(self, key).branch()
2209 2207
2210 2208 def known(self, nodes):
2211 2209 cl = self.changelog
2212 2210 get_rev = cl.index.get_rev
2213 2211 filtered = cl.filteredrevs
2214 2212 result = []
2215 2213 for n in nodes:
2216 2214 r = get_rev(n)
2217 2215 resp = not (r is None or r in filtered)
2218 2216 result.append(resp)
2219 2217 return result
2220 2218
2221 2219 def local(self):
2222 2220 return self
2223 2221
2224 2222 def publishing(self):
2225 2223 # it's safe (and desirable) to trust the publish flag unconditionally
2226 2224 # so that we don't finalize changes shared between users via ssh or nfs
2227 2225 return self.ui.configbool(b'phases', b'publish', untrusted=True)
2228 2226
2229 2227 def cancopy(self):
2230 2228 # so statichttprepo's override of local() works
2231 2229 if not self.local():
2232 2230 return False
2233 2231 if not self.publishing():
2234 2232 return True
2235 2233 # if publishing we can't copy if there is filtered content
2236 2234 return not self.filtered(b'visible').changelog.filteredrevs
2237 2235
2238 2236 def shared(self):
2239 2237 '''the type of shared repository (None if not shared)'''
2240 2238 if self.sharedpath != self.path:
2241 2239 return b'store'
2242 2240 return None
2243 2241
2244 2242 def wjoin(self, f: bytes, *insidef: bytes) -> bytes:
2245 2243 return self.vfs.reljoin(self.root, f, *insidef)
2246 2244
2247 2245 def setparents(self, p1, p2=None):
2248 2246 if p2 is None:
2249 2247 p2 = self.nullid
2250 2248 self[None].setparents(p1, p2)
2251 2249 self._quick_access_changeid_invalidate()
2252 2250
2253 2251 def filectx(self, path: bytes, changeid=None, fileid=None, changectx=None):
2254 2252 """changeid must be a changeset revision, if specified.
2255 2253 fileid can be a file revision or node."""
2256 2254 return context.filectx(
2257 2255 self, path, changeid, fileid, changectx=changectx
2258 2256 )
2259 2257
2260 2258 def getcwd(self) -> bytes:
2261 2259 return self.dirstate.getcwd()
2262 2260
2263 2261 def pathto(self, f: bytes, cwd: Optional[bytes] = None) -> bytes:
2264 2262 return self.dirstate.pathto(f, cwd)
2265 2263
2266 2264 def _loadfilter(self, filter):
2267 2265 if filter not in self._filterpats:
2268 2266 l = []
2269 2267 for pat, cmd in self.ui.configitems(filter):
2270 2268 if cmd == b'!':
2271 2269 continue
2272 2270 mf = matchmod.match(self.root, b'', [pat])
2273 2271 fn = None
2274 2272 params = cmd
2275 2273 for name, filterfn in self._datafilters.items():
2276 2274 if cmd.startswith(name):
2277 2275 fn = filterfn
2278 2276 params = cmd[len(name) :].lstrip()
2279 2277 break
2280 2278 if not fn:
2281 2279 fn = lambda s, c, **kwargs: procutil.filter(s, c)
2282 2280 fn.__name__ = 'commandfilter'
2283 2281 # Wrap old filters not supporting keyword arguments
2284 2282 if not pycompat.getargspec(fn)[2]:
2285 2283 oldfn = fn
2286 2284 fn = lambda s, c, oldfn=oldfn, **kwargs: oldfn(s, c)
2287 2285 fn.__name__ = 'compat-' + oldfn.__name__
2288 2286 l.append((mf, fn, params))
2289 2287 self._filterpats[filter] = l
2290 2288 return self._filterpats[filter]
2291 2289
2292 2290 def _filter(self, filterpats, filename, data):
2293 2291 for mf, fn, cmd in filterpats:
2294 2292 if mf(filename):
2295 2293 self.ui.debug(
2296 2294 b"filtering %s through %s\n"
2297 2295 % (filename, cmd or pycompat.sysbytes(fn.__name__))
2298 2296 )
2299 2297 data = fn(data, cmd, ui=self.ui, repo=self, filename=filename)
2300 2298 break
2301 2299
2302 2300 return data
2303 2301
2304 2302 @unfilteredpropertycache
2305 2303 def _encodefilterpats(self):
2306 2304 return self._loadfilter(b'encode')
2307 2305
2308 2306 @unfilteredpropertycache
2309 2307 def _decodefilterpats(self):
2310 2308 return self._loadfilter(b'decode')
2311 2309
2312 2310 def adddatafilter(self, name, filter):
2313 2311 self._datafilters[name] = filter
2314 2312
2315 2313 def wread(self, filename: bytes) -> bytes:
2316 2314 if self.wvfs.islink(filename):
2317 2315 data = self.wvfs.readlink(filename)
2318 2316 else:
2319 2317 data = self.wvfs.read(filename)
2320 2318 return self._filter(self._encodefilterpats, filename, data)
2321 2319
2322 2320 def wwrite(
2323 2321 self,
2324 2322 filename: bytes,
2325 2323 data: bytes,
2326 2324 flags: bytes,
2327 2325 backgroundclose=False,
2328 2326 **kwargs
2329 2327 ) -> int:
2330 2328 """write ``data`` into ``filename`` in the working directory
2331 2329
2332 2330 This returns length of written (maybe decoded) data.
2333 2331 """
2334 2332 data = self._filter(self._decodefilterpats, filename, data)
2335 2333 if b'l' in flags:
2336 2334 self.wvfs.symlink(data, filename)
2337 2335 else:
2338 2336 self.wvfs.write(
2339 2337 filename, data, backgroundclose=backgroundclose, **kwargs
2340 2338 )
2341 2339 if b'x' in flags:
2342 2340 self.wvfs.setflags(filename, False, True)
2343 2341 else:
2344 2342 self.wvfs.setflags(filename, False, False)
2345 2343 return len(data)
2346 2344
2347 2345 def wwritedata(self, filename: bytes, data: bytes) -> bytes:
2348 2346 return self._filter(self._decodefilterpats, filename, data)
2349 2347
2350 2348 def currenttransaction(self):
2351 2349 """return the current transaction or None if non exists"""
2352 2350 if self._transref:
2353 2351 tr = self._transref()
2354 2352 else:
2355 2353 tr = None
2356 2354
2357 2355 if tr and tr.running():
2358 2356 return tr
2359 2357 return None
2360 2358
2361 2359 def transaction(self, desc, report=None):
2362 2360 if self.ui.configbool(b'devel', b'all-warnings') or self.ui.configbool(
2363 2361 b'devel', b'check-locks'
2364 2362 ):
2365 2363 if self._currentlock(self._lockref) is None:
2366 2364 raise error.ProgrammingError(b'transaction requires locking')
2367 2365 tr = self.currenttransaction()
2368 2366 if tr is not None:
2369 2367 return tr.nest(name=desc)
2370 2368
2371 2369 # abort here if the journal already exists
2372 2370 if self.svfs.exists(b"journal"):
2373 2371 raise error.RepoError(
2374 2372 _(b"abandoned transaction found"),
2375 2373 hint=_(b"run 'hg recover' to clean up transaction"),
2376 2374 )
2377 2375
2378 2376 idbase = b"%.40f#%f" % (random.random(), time.time())
2379 2377 ha = hex(hashutil.sha1(idbase).digest())
2380 2378 txnid = b'TXN:' + ha
2381 2379 self.hook(b'pretxnopen', throw=True, txnname=desc, txnid=txnid)
2382 2380
2383 2381 self._writejournal(desc)
2384 2382 renames = [(vfs, x, undoname(x)) for vfs, x in self._journalfiles()]
2385 2383 if report:
2386 2384 rp = report
2387 2385 else:
2388 2386 rp = self.ui.warn
2389 2387 vfsmap = {b'plain': self.vfs, b'store': self.svfs} # root of .hg/
2390 2388 # we must avoid cyclic reference between repo and transaction.
2391 2389 reporef = weakref.ref(self)
2392 2390 # Code to track tag movement
2393 2391 #
2394 2392 # Since tags are all handled as file content, it is actually quite hard
2395 2393 # to track these movement from a code perspective. So we fallback to a
2396 2394 # tracking at the repository level. One could envision to track changes
2397 2395 # to the '.hgtags' file through changegroup apply but that fails to
2398 2396 # cope with case where transaction expose new heads without changegroup
2399 2397 # being involved (eg: phase movement).
2400 2398 #
2401 2399 # For now, We gate the feature behind a flag since this likely comes
2402 2400 # with performance impacts. The current code run more often than needed
2403 2401 # and do not use caches as much as it could. The current focus is on
2404 2402 # the behavior of the feature so we disable it by default. The flag
2405 2403 # will be removed when we are happy with the performance impact.
2406 2404 #
2407 2405 # Once this feature is no longer experimental move the following
2408 2406 # documentation to the appropriate help section:
2409 2407 #
2410 2408 # The ``HG_TAG_MOVED`` variable will be set if the transaction touched
2411 2409 # tags (new or changed or deleted tags). In addition the details of
2412 2410 # these changes are made available in a file at:
2413 2411 # ``REPOROOT/.hg/changes/tags.changes``.
2414 2412 # Make sure you check for HG_TAG_MOVED before reading that file as it
2415 2413 # might exist from a previous transaction even if no tag were touched
2416 2414 # in this one. Changes are recorded in a line base format::
2417 2415 #
2418 2416 # <action> <hex-node> <tag-name>\n
2419 2417 #
2420 2418 # Actions are defined as follow:
2421 2419 # "-R": tag is removed,
2422 2420 # "+A": tag is added,
2423 2421 # "-M": tag is moved (old value),
2424 2422 # "+M": tag is moved (new value),
2425 2423 tracktags = lambda x: None
2426 2424 # experimental config: experimental.hook-track-tags
2427 2425 shouldtracktags = self.ui.configbool(
2428 2426 b'experimental', b'hook-track-tags'
2429 2427 )
2430 2428 if desc != b'strip' and shouldtracktags:
2431 2429 oldheads = self.changelog.headrevs()
2432 2430
2433 2431 def tracktags(tr2):
2434 2432 repo = reporef()
2435 2433 assert repo is not None # help pytype
2436 2434 oldfnodes = tagsmod.fnoderevs(repo.ui, repo, oldheads)
2437 2435 newheads = repo.changelog.headrevs()
2438 2436 newfnodes = tagsmod.fnoderevs(repo.ui, repo, newheads)
2439 2437 # notes: we compare lists here.
2440 2438 # As we do it only once buiding set would not be cheaper
2441 2439 changes = tagsmod.difftags(repo.ui, repo, oldfnodes, newfnodes)
2442 2440 if changes:
2443 2441 tr2.hookargs[b'tag_moved'] = b'1'
2444 2442 with repo.vfs(
2445 2443 b'changes/tags.changes', b'w', atomictemp=True
2446 2444 ) as changesfile:
2447 2445 # note: we do not register the file to the transaction
2448 2446 # because we needs it to still exist on the transaction
2449 2447 # is close (for txnclose hooks)
2450 2448 tagsmod.writediff(changesfile, changes)
2451 2449
2452 2450 def validate(tr2):
2453 2451 """will run pre-closing hooks"""
2454 2452 # XXX the transaction API is a bit lacking here so we take a hacky
2455 2453 # path for now
2456 2454 #
2457 2455 # We cannot add this as a "pending" hooks since the 'tr.hookargs'
2458 2456 # dict is copied before these run. In addition we needs the data
2459 2457 # available to in memory hooks too.
2460 2458 #
2461 2459 # Moreover, we also need to make sure this runs before txnclose
2462 2460 # hooks and there is no "pending" mechanism that would execute
2463 2461 # logic only if hooks are about to run.
2464 2462 #
2465 2463 # Fixing this limitation of the transaction is also needed to track
2466 2464 # other families of changes (bookmarks, phases, obsolescence).
2467 2465 #
2468 2466 # This will have to be fixed before we remove the experimental
2469 2467 # gating.
2470 2468 tracktags(tr2)
2471 2469 repo = reporef()
2472 2470 assert repo is not None # help pytype
2473 2471
2474 2472 singleheadopt = (b'experimental', b'single-head-per-branch')
2475 2473 singlehead = repo.ui.configbool(*singleheadopt)
2476 2474 if singlehead:
2477 2475 singleheadsub = repo.ui.configsuboptions(*singleheadopt)[1]
2478 2476 accountclosed = singleheadsub.get(
2479 2477 b"account-closed-heads", False
2480 2478 )
2481 2479 if singleheadsub.get(b"public-changes-only", False):
2482 2480 filtername = b"immutable"
2483 2481 else:
2484 2482 filtername = b"visible"
2485 2483 scmutil.enforcesinglehead(
2486 2484 repo, tr2, desc, accountclosed, filtername
2487 2485 )
2488 2486 if hook.hashook(repo.ui, b'pretxnclose-bookmark'):
2489 2487 for name, (old, new) in sorted(
2490 2488 tr.changes[b'bookmarks'].items()
2491 2489 ):
2492 2490 args = tr.hookargs.copy()
2493 2491 args.update(bookmarks.preparehookargs(name, old, new))
2494 2492 repo.hook(
2495 2493 b'pretxnclose-bookmark',
2496 2494 throw=True,
2497 2495 **pycompat.strkwargs(args)
2498 2496 )
2499 2497 if hook.hashook(repo.ui, b'pretxnclose-phase'):
2500 2498 cl = repo.unfiltered().changelog
2501 2499 for revs, (old, new) in tr.changes[b'phases']:
2502 2500 for rev in revs:
2503 2501 args = tr.hookargs.copy()
2504 2502 node = hex(cl.node(rev))
2505 2503 args.update(phases.preparehookargs(node, old, new))
2506 2504 repo.hook(
2507 2505 b'pretxnclose-phase',
2508 2506 throw=True,
2509 2507 **pycompat.strkwargs(args)
2510 2508 )
2511 2509
2512 2510 repo.hook(
2513 2511 b'pretxnclose', throw=True, **pycompat.strkwargs(tr.hookargs)
2514 2512 )
2515 2513
2516 2514 def releasefn(tr, success):
2517 2515 repo = reporef()
2518 2516 if repo is None:
2519 2517 # If the repo has been GC'd (and this release function is being
2520 2518 # called from transaction.__del__), there's not much we can do,
2521 2519 # so just leave the unfinished transaction there and let the
2522 2520 # user run `hg recover`.
2523 2521 return
2524 2522 if success:
2525 2523 # this should be explicitly invoked here, because
2526 2524 # in-memory changes aren't written out at closing
2527 2525 # transaction, if tr.addfilegenerator (via
2528 2526 # dirstate.write or so) isn't invoked while
2529 2527 # transaction running
2530 2528 repo.dirstate.write(None)
2531 2529 else:
2532 2530 # discard all changes (including ones already written
2533 2531 # out) in this transaction
2534 2532 narrowspec.restorebackup(self, b'journal.narrowspec')
2535 2533 narrowspec.restorewcbackup(self, b'journal.narrowspec.dirstate')
2536 2534 if repo.currentwlock() is not None:
2537 2535 repo.dirstate.restorebackup(None, b'journal.dirstate')
2538 2536
2539 2537 repo.invalidate(clearfilecache=True)
2540 2538
2541 2539 tr = transaction.transaction(
2542 2540 rp,
2543 2541 self.svfs,
2544 2542 vfsmap,
2545 2543 b"journal",
2546 2544 b"undo",
2547 2545 aftertrans(renames),
2548 2546 self.store.createmode,
2549 2547 validator=validate,
2550 2548 releasefn=releasefn,
2551 2549 checkambigfiles=_cachedfiles,
2552 2550 name=desc,
2553 2551 )
2554 2552 tr.changes[b'origrepolen'] = len(self)
2555 2553 tr.changes[b'obsmarkers'] = set()
2556 2554 tr.changes[b'phases'] = []
2557 2555 tr.changes[b'bookmarks'] = {}
2558 2556
2559 2557 tr.hookargs[b'txnid'] = txnid
2560 2558 tr.hookargs[b'txnname'] = desc
2561 2559 tr.hookargs[b'changes'] = tr.changes
2562 2560 # note: writing the fncache only during finalize mean that the file is
2563 2561 # outdated when running hooks. As fncache is used for streaming clone,
2564 2562 # this is not expected to break anything that happen during the hooks.
2565 2563 tr.addfinalize(b'flush-fncache', self.store.write)
2566 2564
2567 2565 def txnclosehook(tr2):
2568 2566 """To be run if transaction is successful, will schedule a hook run"""
2569 2567 # Don't reference tr2 in hook() so we don't hold a reference.
2570 2568 # This reduces memory consumption when there are multiple
2571 2569 # transactions per lock. This can likely go away if issue5045
2572 2570 # fixes the function accumulation.
2573 2571 hookargs = tr2.hookargs
2574 2572
2575 2573 def hookfunc(unused_success):
2576 2574 repo = reporef()
2577 2575 assert repo is not None # help pytype
2578 2576
2579 2577 if hook.hashook(repo.ui, b'txnclose-bookmark'):
2580 2578 bmchanges = sorted(tr.changes[b'bookmarks'].items())
2581 2579 for name, (old, new) in bmchanges:
2582 2580 args = tr.hookargs.copy()
2583 2581 args.update(bookmarks.preparehookargs(name, old, new))
2584 2582 repo.hook(
2585 2583 b'txnclose-bookmark',
2586 2584 throw=False,
2587 2585 **pycompat.strkwargs(args)
2588 2586 )
2589 2587
2590 2588 if hook.hashook(repo.ui, b'txnclose-phase'):
2591 2589 cl = repo.unfiltered().changelog
2592 2590 phasemv = sorted(
2593 2591 tr.changes[b'phases'], key=lambda r: r[0][0]
2594 2592 )
2595 2593 for revs, (old, new) in phasemv:
2596 2594 for rev in revs:
2597 2595 args = tr.hookargs.copy()
2598 2596 node = hex(cl.node(rev))
2599 2597 args.update(phases.preparehookargs(node, old, new))
2600 2598 repo.hook(
2601 2599 b'txnclose-phase',
2602 2600 throw=False,
2603 2601 **pycompat.strkwargs(args)
2604 2602 )
2605 2603
2606 2604 repo.hook(
2607 2605 b'txnclose', throw=False, **pycompat.strkwargs(hookargs)
2608 2606 )
2609 2607
2610 2608 repo = reporef()
2611 2609 assert repo is not None # help pytype
2612 2610 repo._afterlock(hookfunc)
2613 2611
2614 2612 tr.addfinalize(b'txnclose-hook', txnclosehook)
2615 2613 # Include a leading "-" to make it happen before the transaction summary
2616 2614 # reports registered via scmutil.registersummarycallback() whose names
2617 2615 # are 00-txnreport etc. That way, the caches will be warm when the
2618 2616 # callbacks run.
2619 2617 tr.addpostclose(b'-warm-cache', self._buildcacheupdater(tr))
2620 2618
2621 2619 def txnaborthook(tr2):
2622 2620 """To be run if transaction is aborted"""
2623 2621 repo = reporef()
2624 2622 assert repo is not None # help pytype
2625 2623 repo.hook(
2626 2624 b'txnabort', throw=False, **pycompat.strkwargs(tr2.hookargs)
2627 2625 )
2628 2626
2629 2627 tr.addabort(b'txnabort-hook', txnaborthook)
2630 2628 # avoid eager cache invalidation. in-memory data should be identical
2631 2629 # to stored data if transaction has no error.
2632 2630 tr.addpostclose(b'refresh-filecachestats', self._refreshfilecachestats)
2633 2631 self._transref = weakref.ref(tr)
2634 2632 scmutil.registersummarycallback(self, tr, desc)
2635 2633 return tr
2636 2634
2637 2635 def _journalfiles(self):
2638 2636 first = (
2639 2637 (self.svfs, b'journal'),
2640 2638 (self.svfs, b'journal.narrowspec'),
2641 2639 (self.vfs, b'journal.narrowspec.dirstate'),
2642 2640 (self.vfs, b'journal.dirstate'),
2643 2641 )
2644 2642 middle = []
2645 2643 dirstate_data = self.dirstate.data_backup_filename(b'journal.dirstate')
2646 2644 if dirstate_data is not None:
2647 2645 middle.append((self.vfs, dirstate_data))
2648 2646 end = (
2649 2647 (self.vfs, b'journal.branch'),
2650 2648 (self.vfs, b'journal.desc'),
2651 2649 (bookmarks.bookmarksvfs(self), b'journal.bookmarks'),
2652 2650 (self.svfs, b'journal.phaseroots'),
2653 2651 )
2654 2652 return first + tuple(middle) + end
2655 2653
2656 2654 def undofiles(self):
2657 2655 return [(vfs, undoname(x)) for vfs, x in self._journalfiles()]
2658 2656
2659 2657 @unfilteredmethod
2660 2658 def _writejournal(self, desc):
2661 2659 if self.currentwlock() is not None:
2662 2660 self.dirstate.savebackup(None, b'journal.dirstate')
2663 2661 narrowspec.savewcbackup(self, b'journal.narrowspec.dirstate')
2664 2662 narrowspec.savebackup(self, b'journal.narrowspec')
2665 2663 self.vfs.write(
2666 2664 b"journal.branch", encoding.fromlocal(self.dirstate.branch())
2667 2665 )
2668 2666 self.vfs.write(b"journal.desc", b"%d\n%s\n" % (len(self), desc))
2669 2667 bookmarksvfs = bookmarks.bookmarksvfs(self)
2670 2668 bookmarksvfs.write(
2671 2669 b"journal.bookmarks", bookmarksvfs.tryread(b"bookmarks")
2672 2670 )
2673 2671 self.svfs.write(b"journal.phaseroots", self.svfs.tryread(b"phaseroots"))
2674 2672
2675 2673 def recover(self):
2676 2674 with self.lock():
2677 2675 if self.svfs.exists(b"journal"):
2678 2676 self.ui.status(_(b"rolling back interrupted transaction\n"))
2679 2677 vfsmap = {
2680 2678 b'': self.svfs,
2681 2679 b'plain': self.vfs,
2682 2680 }
2683 2681 transaction.rollback(
2684 2682 self.svfs,
2685 2683 vfsmap,
2686 2684 b"journal",
2687 2685 self.ui.warn,
2688 2686 checkambigfiles=_cachedfiles,
2689 2687 )
2690 2688 self.invalidate()
2691 2689 return True
2692 2690 else:
2693 2691 self.ui.warn(_(b"no interrupted transaction available\n"))
2694 2692 return False
2695 2693
2696 2694 def rollback(self, dryrun=False, force=False):
2697 2695 wlock = lock = dsguard = None
2698 2696 try:
2699 2697 wlock = self.wlock()
2700 2698 lock = self.lock()
2701 2699 if self.svfs.exists(b"undo"):
2702 2700 dsguard = dirstateguard.dirstateguard(self, b'rollback')
2703 2701
2704 2702 return self._rollback(dryrun, force, dsguard)
2705 2703 else:
2706 2704 self.ui.warn(_(b"no rollback information available\n"))
2707 2705 return 1
2708 2706 finally:
2709 2707 release(dsguard, lock, wlock)
2710 2708
2711 2709 @unfilteredmethod # Until we get smarter cache management
2712 2710 def _rollback(self, dryrun, force, dsguard):
2713 2711 ui = self.ui
2714 2712 try:
2715 2713 args = self.vfs.read(b'undo.desc').splitlines()
2716 2714 (oldlen, desc, detail) = (int(args[0]), args[1], None)
2717 2715 if len(args) >= 3:
2718 2716 detail = args[2]
2719 2717 oldtip = oldlen - 1
2720 2718
2721 2719 if detail and ui.verbose:
2722 2720 msg = _(
2723 2721 b'repository tip rolled back to revision %d'
2724 2722 b' (undo %s: %s)\n'
2725 2723 ) % (oldtip, desc, detail)
2726 2724 else:
2727 2725 msg = _(
2728 2726 b'repository tip rolled back to revision %d (undo %s)\n'
2729 2727 ) % (oldtip, desc)
2730 2728 except IOError:
2731 2729 msg = _(b'rolling back unknown transaction\n')
2732 2730 desc = None
2733 2731
2734 2732 if not force and self[b'.'] != self[b'tip'] and desc == b'commit':
2735 2733 raise error.Abort(
2736 2734 _(
2737 2735 b'rollback of last commit while not checked out '
2738 2736 b'may lose data'
2739 2737 ),
2740 2738 hint=_(b'use -f to force'),
2741 2739 )
2742 2740
2743 2741 ui.status(msg)
2744 2742 if dryrun:
2745 2743 return 0
2746 2744
2747 2745 parents = self.dirstate.parents()
2748 2746 self.destroying()
2749 2747 vfsmap = {b'plain': self.vfs, b'': self.svfs}
2750 2748 transaction.rollback(
2751 2749 self.svfs, vfsmap, b'undo', ui.warn, checkambigfiles=_cachedfiles
2752 2750 )
2753 2751 bookmarksvfs = bookmarks.bookmarksvfs(self)
2754 2752 if bookmarksvfs.exists(b'undo.bookmarks'):
2755 2753 bookmarksvfs.rename(
2756 2754 b'undo.bookmarks', b'bookmarks', checkambig=True
2757 2755 )
2758 2756 if self.svfs.exists(b'undo.phaseroots'):
2759 2757 self.svfs.rename(b'undo.phaseroots', b'phaseroots', checkambig=True)
2760 2758 self.invalidate()
2761 2759
2762 2760 has_node = self.changelog.index.has_node
2763 2761 parentgone = any(not has_node(p) for p in parents)
2764 2762 if parentgone:
2765 2763 # prevent dirstateguard from overwriting already restored one
2766 2764 dsguard.close()
2767 2765
2768 2766 narrowspec.restorebackup(self, b'undo.narrowspec')
2769 2767 narrowspec.restorewcbackup(self, b'undo.narrowspec.dirstate')
2770 2768 self.dirstate.restorebackup(None, b'undo.dirstate')
2771 2769 try:
2772 2770 branch = self.vfs.read(b'undo.branch')
2773 2771 self.dirstate.setbranch(encoding.tolocal(branch))
2774 2772 except IOError:
2775 2773 ui.warn(
2776 2774 _(
2777 2775 b'named branch could not be reset: '
2778 2776 b'current branch is still \'%s\'\n'
2779 2777 )
2780 2778 % self.dirstate.branch()
2781 2779 )
2782 2780
2783 2781 parents = tuple([p.rev() for p in self[None].parents()])
2784 2782 if len(parents) > 1:
2785 2783 ui.status(
2786 2784 _(
2787 2785 b'working directory now based on '
2788 2786 b'revisions %d and %d\n'
2789 2787 )
2790 2788 % parents
2791 2789 )
2792 2790 else:
2793 2791 ui.status(
2794 2792 _(b'working directory now based on revision %d\n') % parents
2795 2793 )
2796 2794 mergestatemod.mergestate.clean(self)
2797 2795
2798 2796 # TODO: if we know which new heads may result from this rollback, pass
2799 2797 # them to destroy(), which will prevent the branchhead cache from being
2800 2798 # invalidated.
2801 2799 self.destroyed()
2802 2800 return 0
2803 2801
2804 2802 def _buildcacheupdater(self, newtransaction):
2805 2803 """called during transaction to build the callback updating cache
2806 2804
2807 2805 Lives on the repository to help extension who might want to augment
2808 2806 this logic. For this purpose, the created transaction is passed to the
2809 2807 method.
2810 2808 """
2811 2809 # we must avoid cyclic reference between repo and transaction.
2812 2810 reporef = weakref.ref(self)
2813 2811
2814 2812 def updater(tr):
2815 2813 repo = reporef()
2816 2814 assert repo is not None # help pytype
2817 2815 repo.updatecaches(tr)
2818 2816
2819 2817 return updater
2820 2818
2821 2819 @unfilteredmethod
2822 2820 def updatecaches(self, tr=None, full=False, caches=None):
2823 2821 """warm appropriate caches
2824 2822
2825 2823 If this function is called after a transaction closed. The transaction
2826 2824 will be available in the 'tr' argument. This can be used to selectively
2827 2825 update caches relevant to the changes in that transaction.
2828 2826
2829 2827 If 'full' is set, make sure all caches the function knows about have
2830 2828 up-to-date data. Even the ones usually loaded more lazily.
2831 2829
2832 2830 The `full` argument can take a special "post-clone" value. In this case
2833 2831 the cache warming is made after a clone and of the slower cache might
2834 2832 be skipped, namely the `.fnodetags` one. This argument is 5.8 specific
2835 2833 as we plan for a cleaner way to deal with this for 5.9.
2836 2834 """
2837 2835 if tr is not None and tr.hookargs.get(b'source') == b'strip':
2838 2836 # During strip, many caches are invalid but
2839 2837 # later call to `destroyed` will refresh them.
2840 2838 return
2841 2839
2842 2840 unfi = self.unfiltered()
2843 2841
2844 2842 if full:
2845 2843 msg = (
2846 2844 "`full` argument for `repo.updatecaches` is deprecated\n"
2847 2845 "(use `caches=repository.CACHE_ALL` instead)"
2848 2846 )
2849 2847 self.ui.deprecwarn(msg, b"5.9")
2850 2848 caches = repository.CACHES_ALL
2851 2849 if full == b"post-clone":
2852 2850 caches = repository.CACHES_POST_CLONE
2853 2851 caches = repository.CACHES_ALL
2854 2852 elif caches is None:
2855 2853 caches = repository.CACHES_DEFAULT
2856 2854
2857 2855 if repository.CACHE_BRANCHMAP_SERVED in caches:
2858 2856 if tr is None or tr.changes[b'origrepolen'] < len(self):
2859 2857 # accessing the 'served' branchmap should refresh all the others,
2860 2858 self.ui.debug(b'updating the branch cache\n')
2861 2859 self.filtered(b'served').branchmap()
2862 2860 self.filtered(b'served.hidden').branchmap()
2863 2861 # flush all possibly delayed write.
2864 2862 self._branchcaches.write_delayed(self)
2865 2863
2866 2864 if repository.CACHE_CHANGELOG_CACHE in caches:
2867 2865 self.changelog.update_caches(transaction=tr)
2868 2866
2869 2867 if repository.CACHE_MANIFESTLOG_CACHE in caches:
2870 2868 self.manifestlog.update_caches(transaction=tr)
2871 2869
2872 2870 if repository.CACHE_REV_BRANCH in caches:
2873 2871 rbc = unfi.revbranchcache()
2874 2872 for r in unfi.changelog:
2875 2873 rbc.branchinfo(r)
2876 2874 rbc.write()
2877 2875
2878 2876 if repository.CACHE_FULL_MANIFEST in caches:
2879 2877 # ensure the working copy parents are in the manifestfulltextcache
2880 2878 for ctx in self[b'.'].parents():
2881 2879 ctx.manifest() # accessing the manifest is enough
2882 2880
2883 2881 if repository.CACHE_FILE_NODE_TAGS in caches:
2884 2882 # accessing fnode cache warms the cache
2885 2883 tagsmod.fnoderevs(self.ui, unfi, unfi.changelog.revs())
2886 2884
2887 2885 if repository.CACHE_TAGS_DEFAULT in caches:
2888 2886 # accessing tags warm the cache
2889 2887 self.tags()
2890 2888 if repository.CACHE_TAGS_SERVED in caches:
2891 2889 self.filtered(b'served').tags()
2892 2890
2893 2891 if repository.CACHE_BRANCHMAP_ALL in caches:
2894 2892 # The CACHE_BRANCHMAP_ALL updates lazily-loaded caches immediately,
2895 2893 # so we're forcing a write to cause these caches to be warmed up
2896 2894 # even if they haven't explicitly been requested yet (if they've
2897 2895 # never been used by hg, they won't ever have been written, even if
2898 2896 # they're a subset of another kind of cache that *has* been used).
2899 2897 for filt in repoview.filtertable.keys():
2900 2898 filtered = self.filtered(filt)
2901 2899 filtered.branchmap().write(filtered)
2902 2900
2903 2901 def invalidatecaches(self):
2904 2902 if '_tagscache' in vars(self):
2905 2903 # can't use delattr on proxy
2906 2904 del self.__dict__['_tagscache']
2907 2905
2908 2906 self._branchcaches.clear()
2909 2907 self.invalidatevolatilesets()
2910 2908 self._sparsesignaturecache.clear()
2911 2909
2912 2910 def invalidatevolatilesets(self):
2913 2911 self.filteredrevcache.clear()
2914 2912 obsolete.clearobscaches(self)
2915 2913 self._quick_access_changeid_invalidate()
2916 2914
2917 2915 def invalidatedirstate(self):
2918 2916 """Invalidates the dirstate, causing the next call to dirstate
2919 2917 to check if it was modified since the last time it was read,
2920 2918 rereading it if it has.
2921 2919
2922 2920 This is different to dirstate.invalidate() that it doesn't always
2923 2921 rereads the dirstate. Use dirstate.invalidate() if you want to
2924 2922 explicitly read the dirstate again (i.e. restoring it to a previous
2925 2923 known good state)."""
2926 2924 if hasunfilteredcache(self, 'dirstate'):
2927 2925 for k in self.dirstate._filecache:
2928 2926 try:
2929 2927 delattr(self.dirstate, k)
2930 2928 except AttributeError:
2931 2929 pass
2932 2930 delattr(self.unfiltered(), 'dirstate')
2933 2931
2934 2932 def invalidate(self, clearfilecache=False):
2935 2933 """Invalidates both store and non-store parts other than dirstate
2936 2934
2937 2935 If a transaction is running, invalidation of store is omitted,
2938 2936 because discarding in-memory changes might cause inconsistency
2939 2937 (e.g. incomplete fncache causes unintentional failure, but
2940 2938 redundant one doesn't).
2941 2939 """
2942 2940 unfiltered = self.unfiltered() # all file caches are stored unfiltered
2943 2941 for k in list(self._filecache.keys()):
2944 2942 # dirstate is invalidated separately in invalidatedirstate()
2945 2943 if k == b'dirstate':
2946 2944 continue
2947 2945 if (
2948 2946 k == b'changelog'
2949 2947 and self.currenttransaction()
2950 2948 and self.changelog._delayed
2951 2949 ):
2952 2950 # The changelog object may store unwritten revisions. We don't
2953 2951 # want to lose them.
2954 2952 # TODO: Solve the problem instead of working around it.
2955 2953 continue
2956 2954
2957 2955 if clearfilecache:
2958 2956 del self._filecache[k]
2959 2957 try:
2960 2958 delattr(unfiltered, k)
2961 2959 except AttributeError:
2962 2960 pass
2963 2961 self.invalidatecaches()
2964 2962 if not self.currenttransaction():
2965 2963 # TODO: Changing contents of store outside transaction
2966 2964 # causes inconsistency. We should make in-memory store
2967 2965 # changes detectable, and abort if changed.
2968 2966 self.store.invalidatecaches()
2969 2967
2970 2968 def invalidateall(self):
2971 2969 """Fully invalidates both store and non-store parts, causing the
2972 2970 subsequent operation to reread any outside changes."""
2973 2971 # extension should hook this to invalidate its caches
2974 2972 self.invalidate()
2975 2973 self.invalidatedirstate()
2976 2974
2977 2975 @unfilteredmethod
2978 2976 def _refreshfilecachestats(self, tr):
2979 2977 """Reload stats of cached files so that they are flagged as valid"""
2980 2978 for k, ce in self._filecache.items():
2981 2979 k = pycompat.sysstr(k)
2982 2980 if k == 'dirstate' or k not in self.__dict__:
2983 2981 continue
2984 2982 ce.refresh()
2985 2983
2986 2984 def _lock(
2987 2985 self,
2988 2986 vfs,
2989 2987 lockname,
2990 2988 wait,
2991 2989 releasefn,
2992 2990 acquirefn,
2993 2991 desc,
2994 2992 ):
2995 2993 timeout = 0
2996 2994 warntimeout = 0
2997 2995 if wait:
2998 2996 timeout = self.ui.configint(b"ui", b"timeout")
2999 2997 warntimeout = self.ui.configint(b"ui", b"timeout.warn")
3000 2998 # internal config: ui.signal-safe-lock
3001 2999 signalsafe = self.ui.configbool(b'ui', b'signal-safe-lock')
3002 3000
3003 3001 l = lockmod.trylock(
3004 3002 self.ui,
3005 3003 vfs,
3006 3004 lockname,
3007 3005 timeout,
3008 3006 warntimeout,
3009 3007 releasefn=releasefn,
3010 3008 acquirefn=acquirefn,
3011 3009 desc=desc,
3012 3010 signalsafe=signalsafe,
3013 3011 )
3014 3012 return l
3015 3013
3016 3014 def _afterlock(self, callback):
3017 3015 """add a callback to be run when the repository is fully unlocked
3018 3016
3019 3017 The callback will be executed when the outermost lock is released
3020 3018 (with wlock being higher level than 'lock')."""
3021 3019 for ref in (self._wlockref, self._lockref):
3022 3020 l = ref and ref()
3023 3021 if l and l.held:
3024 3022 l.postrelease.append(callback)
3025 3023 break
3026 3024 else: # no lock have been found.
3027 3025 callback(True)
3028 3026
3029 3027 def lock(self, wait=True):
3030 3028 """Lock the repository store (.hg/store) and return a weak reference
3031 3029 to the lock. Use this before modifying the store (e.g. committing or
3032 3030 stripping). If you are opening a transaction, get a lock as well.)
3033 3031
3034 3032 If both 'lock' and 'wlock' must be acquired, ensure you always acquires
3035 3033 'wlock' first to avoid a dead-lock hazard."""
3036 3034 l = self._currentlock(self._lockref)
3037 3035 if l is not None:
3038 3036 l.lock()
3039 3037 return l
3040 3038
3041 3039 l = self._lock(
3042 3040 vfs=self.svfs,
3043 3041 lockname=b"lock",
3044 3042 wait=wait,
3045 3043 releasefn=None,
3046 3044 acquirefn=self.invalidate,
3047 3045 desc=_(b'repository %s') % self.origroot,
3048 3046 )
3049 3047 self._lockref = weakref.ref(l)
3050 3048 return l
3051 3049
3052 3050 def wlock(self, wait=True):
3053 3051 """Lock the non-store parts of the repository (everything under
3054 3052 .hg except .hg/store) and return a weak reference to the lock.
3055 3053
3056 3054 Use this before modifying files in .hg.
3057 3055
3058 3056 If both 'lock' and 'wlock' must be acquired, ensure you always acquires
3059 3057 'wlock' first to avoid a dead-lock hazard."""
3060 3058 l = self._wlockref() if self._wlockref else None
3061 3059 if l is not None and l.held:
3062 3060 l.lock()
3063 3061 return l
3064 3062
3065 3063 # We do not need to check for non-waiting lock acquisition. Such
3066 3064 # acquisition would not cause dead-lock as they would just fail.
3067 3065 if wait and (
3068 3066 self.ui.configbool(b'devel', b'all-warnings')
3069 3067 or self.ui.configbool(b'devel', b'check-locks')
3070 3068 ):
3071 3069 if self._currentlock(self._lockref) is not None:
3072 3070 self.ui.develwarn(b'"wlock" acquired after "lock"')
3073 3071
3074 3072 def unlock():
3075 3073 if self.dirstate.is_changing_any:
3076 3074 msg = b"wlock release in the middle of a changing parents"
3077 3075 self.ui.develwarn(msg)
3078 3076 self.dirstate.invalidate()
3079 3077 else:
3080 3078 if self.dirstate._dirty:
3081 3079 msg = b"dirty dirstate on wlock release"
3082 3080 self.ui.develwarn(msg)
3083 3081 self.dirstate.write(None)
3084 3082
3085 3083 self._filecache[b'dirstate'].refresh()
3086 3084
3087 3085 l = self._lock(
3088 3086 self.vfs,
3089 3087 b"wlock",
3090 3088 wait,
3091 3089 unlock,
3092 3090 self.invalidatedirstate,
3093 3091 _(b'working directory of %s') % self.origroot,
3094 3092 )
3095 3093 self._wlockref = weakref.ref(l)
3096 3094 return l
3097 3095
3098 3096 def _currentlock(self, lockref):
3099 3097 """Returns the lock if it's held, or None if it's not."""
3100 3098 if lockref is None:
3101 3099 return None
3102 3100 l = lockref()
3103 3101 if l is None or not l.held:
3104 3102 return None
3105 3103 return l
3106 3104
3107 3105 def currentwlock(self):
3108 3106 """Returns the wlock if it's held, or None if it's not."""
3109 3107 return self._currentlock(self._wlockref)
3110 3108
3111 3109 def checkcommitpatterns(self, wctx, match, status, fail):
3112 3110 """check for commit arguments that aren't committable"""
3113 3111 if match.isexact() or match.prefix():
3114 3112 matched = set(status.modified + status.added + status.removed)
3115 3113
3116 3114 for f in match.files():
3117 3115 f = self.dirstate.normalize(f)
3118 3116 if f == b'.' or f in matched or f in wctx.substate:
3119 3117 continue
3120 3118 if f in status.deleted:
3121 3119 fail(f, _(b'file not found!'))
3122 3120 # Is it a directory that exists or used to exist?
3123 3121 if self.wvfs.isdir(f) or wctx.p1().hasdir(f):
3124 3122 d = f + b'/'
3125 3123 for mf in matched:
3126 3124 if mf.startswith(d):
3127 3125 break
3128 3126 else:
3129 3127 fail(f, _(b"no match under directory!"))
3130 3128 elif f not in self.dirstate:
3131 3129 fail(f, _(b"file not tracked!"))
3132 3130
3133 3131 @unfilteredmethod
3134 3132 def commit(
3135 3133 self,
3136 3134 text=b"",
3137 3135 user=None,
3138 3136 date=None,
3139 3137 match=None,
3140 3138 force=False,
3141 3139 editor=None,
3142 3140 extra=None,
3143 3141 ):
3144 3142 """Add a new revision to current repository.
3145 3143
3146 3144 Revision information is gathered from the working directory,
3147 3145 match can be used to filter the committed files. If editor is
3148 3146 supplied, it is called to get a commit message.
3149 3147 """
3150 3148 if extra is None:
3151 3149 extra = {}
3152 3150
3153 3151 def fail(f, msg):
3154 3152 raise error.InputError(b'%s: %s' % (f, msg))
3155 3153
3156 3154 if not match:
3157 3155 match = matchmod.always()
3158 3156
3159 3157 if not force:
3160 3158 match.bad = fail
3161 3159
3162 3160 # lock() for recent changelog (see issue4368)
3163 3161 with self.wlock(), self.lock():
3164 3162 wctx = self[None]
3165 3163 merge = len(wctx.parents()) > 1
3166 3164
3167 3165 if not force and merge and not match.always():
3168 3166 raise error.Abort(
3169 3167 _(
3170 3168 b'cannot partially commit a merge '
3171 3169 b'(do not specify files or patterns)'
3172 3170 )
3173 3171 )
3174 3172
3175 3173 status = self.status(match=match, clean=force)
3176 3174 if force:
3177 3175 status.modified.extend(
3178 3176 status.clean
3179 3177 ) # mq may commit clean files
3180 3178
3181 3179 # check subrepos
3182 3180 subs, commitsubs, newstate = subrepoutil.precommit(
3183 3181 self.ui, wctx, status, match, force=force
3184 3182 )
3185 3183
3186 3184 # make sure all explicit patterns are matched
3187 3185 if not force:
3188 3186 self.checkcommitpatterns(wctx, match, status, fail)
3189 3187
3190 3188 cctx = context.workingcommitctx(
3191 3189 self, status, text, user, date, extra
3192 3190 )
3193 3191
3194 3192 ms = mergestatemod.mergestate.read(self)
3195 3193 mergeutil.checkunresolved(ms)
3196 3194
3197 3195 # internal config: ui.allowemptycommit
3198 3196 if cctx.isempty() and not self.ui.configbool(
3199 3197 b'ui', b'allowemptycommit'
3200 3198 ):
3201 3199 self.ui.debug(b'nothing to commit, clearing merge state\n')
3202 3200 ms.reset()
3203 3201 return None
3204 3202
3205 3203 if merge and cctx.deleted():
3206 3204 raise error.Abort(_(b"cannot commit merge with missing files"))
3207 3205
3208 3206 if editor:
3209 3207 cctx._text = editor(self, cctx, subs)
3210 3208 edited = text != cctx._text
3211 3209
3212 3210 # Save commit message in case this transaction gets rolled back
3213 3211 # (e.g. by a pretxncommit hook). Leave the content alone on
3214 3212 # the assumption that the user will use the same editor again.
3215 3213 msg_path = self.savecommitmessage(cctx._text)
3216 3214
3217 3215 # commit subs and write new state
3218 3216 if subs:
3219 3217 uipathfn = scmutil.getuipathfn(self)
3220 3218 for s in sorted(commitsubs):
3221 3219 sub = wctx.sub(s)
3222 3220 self.ui.status(
3223 3221 _(b'committing subrepository %s\n')
3224 3222 % uipathfn(subrepoutil.subrelpath(sub))
3225 3223 )
3226 3224 sr = sub.commit(cctx._text, user, date)
3227 3225 newstate[s] = (newstate[s][0], sr)
3228 3226 subrepoutil.writestate(self, newstate)
3229 3227
3230 3228 p1, p2 = self.dirstate.parents()
3231 3229 hookp1, hookp2 = hex(p1), (p2 != self.nullid and hex(p2) or b'')
3232 3230 try:
3233 3231 self.hook(
3234 3232 b"precommit", throw=True, parent1=hookp1, parent2=hookp2
3235 3233 )
3236 3234 with self.transaction(b'commit'):
3237 3235 ret = self.commitctx(cctx, True)
3238 3236 # update bookmarks, dirstate and mergestate
3239 3237 bookmarks.update(self, [p1, p2], ret)
3240 3238 cctx.markcommitted(ret)
3241 3239 ms.reset()
3242 3240 except: # re-raises
3243 3241 if edited:
3244 3242 self.ui.write(
3245 3243 _(b'note: commit message saved in %s\n') % msg_path
3246 3244 )
3247 3245 self.ui.write(
3248 3246 _(
3249 3247 b"note: use 'hg commit --logfile "
3250 3248 b"%s --edit' to reuse it\n"
3251 3249 )
3252 3250 % msg_path
3253 3251 )
3254 3252 raise
3255 3253
3256 3254 def commithook(unused_success):
3257 3255 # hack for command that use a temporary commit (eg: histedit)
3258 3256 # temporary commit got stripped before hook release
3259 3257 if self.changelog.hasnode(ret):
3260 3258 self.hook(
3261 3259 b"commit", node=hex(ret), parent1=hookp1, parent2=hookp2
3262 3260 )
3263 3261
3264 3262 self._afterlock(commithook)
3265 3263 return ret
3266 3264
3267 3265 @unfilteredmethod
3268 3266 def commitctx(self, ctx, error=False, origctx=None):
3269 3267 return commit.commitctx(self, ctx, error=error, origctx=origctx)
3270 3268
3271 3269 @unfilteredmethod
3272 3270 def destroying(self):
3273 3271 """Inform the repository that nodes are about to be destroyed.
3274 3272 Intended for use by strip and rollback, so there's a common
3275 3273 place for anything that has to be done before destroying history.
3276 3274
3277 3275 This is mostly useful for saving state that is in memory and waiting
3278 3276 to be flushed when the current lock is released. Because a call to
3279 3277 destroyed is imminent, the repo will be invalidated causing those
3280 3278 changes to stay in memory (waiting for the next unlock), or vanish
3281 3279 completely.
3282 3280 """
3283 3281 # When using the same lock to commit and strip, the phasecache is left
3284 3282 # dirty after committing. Then when we strip, the repo is invalidated,
3285 3283 # causing those changes to disappear.
3286 3284 if '_phasecache' in vars(self):
3287 3285 self._phasecache.write()
3288 3286
3289 3287 @unfilteredmethod
3290 3288 def destroyed(self):
3291 3289 """Inform the repository that nodes have been destroyed.
3292 3290 Intended for use by strip and rollback, so there's a common
3293 3291 place for anything that has to be done after destroying history.
3294 3292 """
3295 3293 # When one tries to:
3296 3294 # 1) destroy nodes thus calling this method (e.g. strip)
3297 3295 # 2) use phasecache somewhere (e.g. commit)
3298 3296 #
3299 3297 # then 2) will fail because the phasecache contains nodes that were
3300 3298 # removed. We can either remove phasecache from the filecache,
3301 3299 # causing it to reload next time it is accessed, or simply filter
3302 3300 # the removed nodes now and write the updated cache.
3303 3301 self._phasecache.filterunknown(self)
3304 3302 self._phasecache.write()
3305 3303
3306 3304 # refresh all repository caches
3307 3305 self.updatecaches()
3308 3306
3309 3307 # Ensure the persistent tag cache is updated. Doing it now
3310 3308 # means that the tag cache only has to worry about destroyed
3311 3309 # heads immediately after a strip/rollback. That in turn
3312 3310 # guarantees that "cachetip == currenttip" (comparing both rev
3313 3311 # and node) always means no nodes have been added or destroyed.
3314 3312
3315 3313 # XXX this is suboptimal when qrefresh'ing: we strip the current
3316 3314 # head, refresh the tag cache, then immediately add a new head.
3317 3315 # But I think doing it this way is necessary for the "instant
3318 3316 # tag cache retrieval" case to work.
3319 3317 self.invalidate()
3320 3318
3321 3319 def status(
3322 3320 self,
3323 3321 node1=b'.',
3324 3322 node2=None,
3325 3323 match=None,
3326 3324 ignored=False,
3327 3325 clean=False,
3328 3326 unknown=False,
3329 3327 listsubrepos=False,
3330 3328 ):
3331 3329 '''a convenience method that calls node1.status(node2)'''
3332 3330 return self[node1].status(
3333 3331 node2, match, ignored, clean, unknown, listsubrepos
3334 3332 )
3335 3333
3336 3334 def addpostdsstatus(self, ps):
3337 3335 """Add a callback to run within the wlock, at the point at which status
3338 3336 fixups happen.
3339 3337
3340 3338 On status completion, callback(wctx, status) will be called with the
3341 3339 wlock held, unless the dirstate has changed from underneath or the wlock
3342 3340 couldn't be grabbed.
3343 3341
3344 3342 Callbacks should not capture and use a cached copy of the dirstate --
3345 3343 it might change in the meanwhile. Instead, they should access the
3346 3344 dirstate via wctx.repo().dirstate.
3347 3345
3348 3346 This list is emptied out after each status run -- extensions should
3349 3347 make sure it adds to this list each time dirstate.status is called.
3350 3348 Extensions should also make sure they don't call this for statuses
3351 3349 that don't involve the dirstate.
3352 3350 """
3353 3351
3354 3352 # The list is located here for uniqueness reasons -- it is actually
3355 3353 # managed by the workingctx, but that isn't unique per-repo.
3356 3354 self._postdsstatus.append(ps)
3357 3355
3358 3356 def postdsstatus(self):
3359 3357 """Used by workingctx to get the list of post-dirstate-status hooks."""
3360 3358 return self._postdsstatus
3361 3359
3362 3360 def clearpostdsstatus(self):
3363 3361 """Used by workingctx to clear post-dirstate-status hooks."""
3364 3362 del self._postdsstatus[:]
3365 3363
3366 3364 def heads(self, start=None):
3367 3365 if start is None:
3368 3366 cl = self.changelog
3369 3367 headrevs = reversed(cl.headrevs())
3370 3368 return [cl.node(rev) for rev in headrevs]
3371 3369
3372 3370 heads = self.changelog.heads(start)
3373 3371 # sort the output in rev descending order
3374 3372 return sorted(heads, key=self.changelog.rev, reverse=True)
3375 3373
3376 3374 def branchheads(self, branch=None, start=None, closed=False):
3377 3375 """return a (possibly filtered) list of heads for the given branch
3378 3376
3379 3377 Heads are returned in topological order, from newest to oldest.
3380 3378 If branch is None, use the dirstate branch.
3381 3379 If start is not None, return only heads reachable from start.
3382 3380 If closed is True, return heads that are marked as closed as well.
3383 3381 """
3384 3382 if branch is None:
3385 3383 branch = self[None].branch()
3386 3384 branches = self.branchmap()
3387 3385 if not branches.hasbranch(branch):
3388 3386 return []
3389 3387 # the cache returns heads ordered lowest to highest
3390 3388 bheads = list(reversed(branches.branchheads(branch, closed=closed)))
3391 3389 if start is not None:
3392 3390 # filter out the heads that cannot be reached from startrev
3393 3391 fbheads = set(self.changelog.nodesbetween([start], bheads)[2])
3394 3392 bheads = [h for h in bheads if h in fbheads]
3395 3393 return bheads
3396 3394
3397 3395 def branches(self, nodes):
3398 3396 if not nodes:
3399 3397 nodes = [self.changelog.tip()]
3400 3398 b = []
3401 3399 for n in nodes:
3402 3400 t = n
3403 3401 while True:
3404 3402 p = self.changelog.parents(n)
3405 3403 if p[1] != self.nullid or p[0] == self.nullid:
3406 3404 b.append((t, n, p[0], p[1]))
3407 3405 break
3408 3406 n = p[0]
3409 3407 return b
3410 3408
3411 3409 def between(self, pairs):
3412 3410 r = []
3413 3411
3414 3412 for top, bottom in pairs:
3415 3413 n, l, i = top, [], 0
3416 3414 f = 1
3417 3415
3418 3416 while n != bottom and n != self.nullid:
3419 3417 p = self.changelog.parents(n)[0]
3420 3418 if i == f:
3421 3419 l.append(n)
3422 3420 f = f * 2
3423 3421 n = p
3424 3422 i += 1
3425 3423
3426 3424 r.append(l)
3427 3425
3428 3426 return r
3429 3427
3430 3428 def checkpush(self, pushop):
3431 3429 """Extensions can override this function if additional checks have
3432 3430 to be performed before pushing, or call it if they override push
3433 3431 command.
3434 3432 """
3435 3433
3436 3434 @unfilteredpropertycache
3437 3435 def prepushoutgoinghooks(self):
3438 3436 """Return util.hooks consists of a pushop with repo, remote, outgoing
3439 3437 methods, which are called before pushing changesets.
3440 3438 """
3441 3439 return util.hooks()
3442 3440
3443 3441 def pushkey(self, namespace, key, old, new):
3444 3442 try:
3445 3443 tr = self.currenttransaction()
3446 3444 hookargs = {}
3447 3445 if tr is not None:
3448 3446 hookargs.update(tr.hookargs)
3449 3447 hookargs = pycompat.strkwargs(hookargs)
3450 3448 hookargs['namespace'] = namespace
3451 3449 hookargs['key'] = key
3452 3450 hookargs['old'] = old
3453 3451 hookargs['new'] = new
3454 3452 self.hook(b'prepushkey', throw=True, **hookargs)
3455 3453 except error.HookAbort as exc:
3456 3454 self.ui.write_err(_(b"pushkey-abort: %s\n") % exc)
3457 3455 if exc.hint:
3458 3456 self.ui.write_err(_(b"(%s)\n") % exc.hint)
3459 3457 return False
3460 3458 self.ui.debug(b'pushing key for "%s:%s"\n' % (namespace, key))
3461 3459 ret = pushkey.push(self, namespace, key, old, new)
3462 3460
3463 3461 def runhook(unused_success):
3464 3462 self.hook(
3465 3463 b'pushkey',
3466 3464 namespace=namespace,
3467 3465 key=key,
3468 3466 old=old,
3469 3467 new=new,
3470 3468 ret=ret,
3471 3469 )
3472 3470
3473 3471 self._afterlock(runhook)
3474 3472 return ret
3475 3473
3476 3474 def listkeys(self, namespace):
3477 3475 self.hook(b'prelistkeys', throw=True, namespace=namespace)
3478 3476 self.ui.debug(b'listing keys for "%s"\n' % namespace)
3479 3477 values = pushkey.list(self, namespace)
3480 3478 self.hook(b'listkeys', namespace=namespace, values=values)
3481 3479 return values
3482 3480
3483 3481 def debugwireargs(self, one, two, three=None, four=None, five=None):
3484 3482 '''used to test argument passing over the wire'''
3485 3483 return b"%s %s %s %s %s" % (
3486 3484 one,
3487 3485 two,
3488 3486 pycompat.bytestr(three),
3489 3487 pycompat.bytestr(four),
3490 3488 pycompat.bytestr(five),
3491 3489 )
3492 3490
3493 3491 def savecommitmessage(self, text):
3494 3492 fp = self.vfs(b'last-message.txt', b'wb')
3495 3493 try:
3496 3494 fp.write(text)
3497 3495 finally:
3498 3496 fp.close()
3499 3497 return self.pathto(fp.name[len(self.root) + 1 :])
3500 3498
3501 3499 def register_wanted_sidedata(self, category):
3502 3500 if repository.REPO_FEATURE_SIDE_DATA not in self.features:
3503 3501 # Only revlogv2 repos can want sidedata.
3504 3502 return
3505 3503 self._wanted_sidedata.add(pycompat.bytestr(category))
3506 3504
3507 3505 def register_sidedata_computer(
3508 3506 self, kind, category, keys, computer, flags, replace=False
3509 3507 ):
3510 3508 if kind not in revlogconst.ALL_KINDS:
3511 3509 msg = _(b"unexpected revlog kind '%s'.")
3512 3510 raise error.ProgrammingError(msg % kind)
3513 3511 category = pycompat.bytestr(category)
3514 3512 already_registered = category in self._sidedata_computers.get(kind, [])
3515 3513 if already_registered and not replace:
3516 3514 msg = _(
3517 3515 b"cannot register a sidedata computer twice for category '%s'."
3518 3516 )
3519 3517 raise error.ProgrammingError(msg % category)
3520 3518 if replace and not already_registered:
3521 3519 msg = _(
3522 3520 b"cannot replace a sidedata computer that isn't registered "
3523 3521 b"for category '%s'."
3524 3522 )
3525 3523 raise error.ProgrammingError(msg % category)
3526 3524 self._sidedata_computers.setdefault(kind, {})
3527 3525 self._sidedata_computers[kind][category] = (keys, computer, flags)
3528 3526
3529 3527
3530 3528 # used to avoid circular references so destructors work
3531 3529 def aftertrans(files):
3532 3530 renamefiles = [tuple(t) for t in files]
3533 3531
3534 3532 def a():
3535 3533 for vfs, src, dest in renamefiles:
3536 3534 # if src and dest refer to a same file, vfs.rename is a no-op,
3537 3535 # leaving both src and dest on disk. delete dest to make sure
3538 3536 # the rename couldn't be such a no-op.
3539 3537 vfs.tryunlink(dest)
3540 3538 try:
3541 3539 vfs.rename(src, dest)
3542 3540 except FileNotFoundError: # journal file does not yet exist
3543 3541 pass
3544 3542
3545 3543 return a
3546 3544
3547 3545
3548 3546 def undoname(fn: bytes) -> bytes:
3549 3547 base, name = os.path.split(fn)
3550 3548 assert name.startswith(b'journal')
3551 3549 return os.path.join(base, name.replace(b'journal', b'undo', 1))
3552 3550
3553 3551
3554 3552 def instance(ui, path: bytes, create, intents=None, createopts=None):
3555 3553 # prevent cyclic import localrepo -> upgrade -> localrepo
3556 3554 from . import upgrade
3557 3555
3558 3556 localpath = urlutil.urllocalpath(path)
3559 3557 if create:
3560 3558 createrepository(ui, localpath, createopts=createopts)
3561 3559
3562 3560 def repo_maker():
3563 3561 return makelocalrepository(ui, localpath, intents=intents)
3564 3562
3565 3563 repo = repo_maker()
3566 3564 repo = upgrade.may_auto_upgrade(repo, repo_maker)
3567 3565 return repo
3568 3566
3569 3567
3570 3568 def islocal(path: bytes) -> bool:
3571 3569 return True
3572 3570
3573 3571
3574 3572 def defaultcreateopts(ui, createopts=None):
3575 3573 """Populate the default creation options for a repository.
3576 3574
3577 3575 A dictionary of explicitly requested creation options can be passed
3578 3576 in. Missing keys will be populated.
3579 3577 """
3580 3578 createopts = dict(createopts or {})
3581 3579
3582 3580 if b'backend' not in createopts:
3583 3581 # experimental config: storage.new-repo-backend
3584 3582 createopts[b'backend'] = ui.config(b'storage', b'new-repo-backend')
3585 3583
3586 3584 return createopts
3587 3585
3588 3586
3589 3587 def clone_requirements(ui, createopts, srcrepo):
3590 3588 """clone the requirements of a local repo for a local clone
3591 3589
3592 3590 The store requirements are unchanged while the working copy requirements
3593 3591 depends on the configuration
3594 3592 """
3595 3593 target_requirements = set()
3596 3594 if not srcrepo.requirements:
3597 3595 # this is a legacy revlog "v0" repository, we cannot do anything fancy
3598 3596 # with it.
3599 3597 return target_requirements
3600 3598 createopts = defaultcreateopts(ui, createopts=createopts)
3601 3599 for r in newreporequirements(ui, createopts):
3602 3600 if r in requirementsmod.WORKING_DIR_REQUIREMENTS:
3603 3601 target_requirements.add(r)
3604 3602
3605 3603 for r in srcrepo.requirements:
3606 3604 if r not in requirementsmod.WORKING_DIR_REQUIREMENTS:
3607 3605 target_requirements.add(r)
3608 3606 return target_requirements
3609 3607
3610 3608
3611 3609 def newreporequirements(ui, createopts):
3612 3610 """Determine the set of requirements for a new local repository.
3613 3611
3614 3612 Extensions can wrap this function to specify custom requirements for
3615 3613 new repositories.
3616 3614 """
3617 3615
3618 3616 if b'backend' not in createopts:
3619 3617 raise error.ProgrammingError(
3620 3618 b'backend key not present in createopts; '
3621 3619 b'was defaultcreateopts() called?'
3622 3620 )
3623 3621
3624 3622 if createopts[b'backend'] != b'revlogv1':
3625 3623 raise error.Abort(
3626 3624 _(
3627 3625 b'unable to determine repository requirements for '
3628 3626 b'storage backend: %s'
3629 3627 )
3630 3628 % createopts[b'backend']
3631 3629 )
3632 3630
3633 3631 requirements = {requirementsmod.REVLOGV1_REQUIREMENT}
3634 3632 if ui.configbool(b'format', b'usestore'):
3635 3633 requirements.add(requirementsmod.STORE_REQUIREMENT)
3636 3634 if ui.configbool(b'format', b'usefncache'):
3637 3635 requirements.add(requirementsmod.FNCACHE_REQUIREMENT)
3638 3636 if ui.configbool(b'format', b'dotencode'):
3639 3637 requirements.add(requirementsmod.DOTENCODE_REQUIREMENT)
3640 3638
3641 3639 compengines = ui.configlist(b'format', b'revlog-compression')
3642 3640 for compengine in compengines:
3643 3641 if compengine in util.compengines:
3644 3642 engine = util.compengines[compengine]
3645 3643 if engine.available() and engine.revlogheader():
3646 3644 break
3647 3645 else:
3648 3646 raise error.Abort(
3649 3647 _(
3650 3648 b'compression engines %s defined by '
3651 3649 b'format.revlog-compression not available'
3652 3650 )
3653 3651 % b', '.join(b'"%s"' % e for e in compengines),
3654 3652 hint=_(
3655 3653 b'run "hg debuginstall" to list available '
3656 3654 b'compression engines'
3657 3655 ),
3658 3656 )
3659 3657
3660 3658 # zlib is the historical default and doesn't need an explicit requirement.
3661 3659 if compengine == b'zstd':
3662 3660 requirements.add(b'revlog-compression-zstd')
3663 3661 elif compengine != b'zlib':
3664 3662 requirements.add(b'exp-compression-%s' % compengine)
3665 3663
3666 3664 if scmutil.gdinitconfig(ui):
3667 3665 requirements.add(requirementsmod.GENERALDELTA_REQUIREMENT)
3668 3666 if ui.configbool(b'format', b'sparse-revlog'):
3669 3667 requirements.add(requirementsmod.SPARSEREVLOG_REQUIREMENT)
3670 3668
3671 3669 # experimental config: format.use-dirstate-v2
3672 3670 # Keep this logic in sync with `has_dirstate_v2()` in `tests/hghave.py`
3673 3671 if ui.configbool(b'format', b'use-dirstate-v2'):
3674 3672 requirements.add(requirementsmod.DIRSTATE_V2_REQUIREMENT)
3675 3673
3676 3674 # experimental config: format.exp-use-copies-side-data-changeset
3677 3675 if ui.configbool(b'format', b'exp-use-copies-side-data-changeset'):
3678 3676 requirements.add(requirementsmod.CHANGELOGV2_REQUIREMENT)
3679 3677 requirements.add(requirementsmod.COPIESSDC_REQUIREMENT)
3680 3678 if ui.configbool(b'experimental', b'treemanifest'):
3681 3679 requirements.add(requirementsmod.TREEMANIFEST_REQUIREMENT)
3682 3680
3683 3681 changelogv2 = ui.config(b'format', b'exp-use-changelog-v2')
3684 3682 if changelogv2 == b'enable-unstable-format-and-corrupt-my-data':
3685 3683 requirements.add(requirementsmod.CHANGELOGV2_REQUIREMENT)
3686 3684
3687 3685 revlogv2 = ui.config(b'experimental', b'revlogv2')
3688 3686 if revlogv2 == b'enable-unstable-format-and-corrupt-my-data':
3689 3687 requirements.discard(requirementsmod.REVLOGV1_REQUIREMENT)
3690 3688 requirements.add(requirementsmod.REVLOGV2_REQUIREMENT)
3691 3689 # experimental config: format.internal-phase
3692 3690 if ui.configbool(b'format', b'use-internal-phase'):
3693 3691 requirements.add(requirementsmod.INTERNAL_PHASE_REQUIREMENT)
3694 3692
3695 3693 # experimental config: format.exp-archived-phase
3696 3694 if ui.configbool(b'format', b'exp-archived-phase'):
3697 3695 requirements.add(requirementsmod.ARCHIVED_PHASE_REQUIREMENT)
3698 3696
3699 3697 if createopts.get(b'narrowfiles'):
3700 3698 requirements.add(requirementsmod.NARROW_REQUIREMENT)
3701 3699
3702 3700 if createopts.get(b'lfs'):
3703 3701 requirements.add(b'lfs')
3704 3702
3705 3703 if ui.configbool(b'format', b'bookmarks-in-store'):
3706 3704 requirements.add(requirementsmod.BOOKMARKS_IN_STORE_REQUIREMENT)
3707 3705
3708 3706 if ui.configbool(b'format', b'use-persistent-nodemap'):
3709 3707 requirements.add(requirementsmod.NODEMAP_REQUIREMENT)
3710 3708
3711 3709 # if share-safe is enabled, let's create the new repository with the new
3712 3710 # requirement
3713 3711 if ui.configbool(b'format', b'use-share-safe'):
3714 3712 requirements.add(requirementsmod.SHARESAFE_REQUIREMENT)
3715 3713
3716 3714 # if we are creating a share-repoΒΉ we have to handle requirement
3717 3715 # differently.
3718 3716 #
3719 3717 # [1] (i.e. reusing the store from another repository, just having a
3720 3718 # working copy)
3721 3719 if b'sharedrepo' in createopts:
3722 3720 source_requirements = set(createopts[b'sharedrepo'].requirements)
3723 3721
3724 3722 if requirementsmod.SHARESAFE_REQUIREMENT not in source_requirements:
3725 3723 # share to an old school repository, we have to copy the
3726 3724 # requirements and hope for the best.
3727 3725 requirements = source_requirements
3728 3726 else:
3729 3727 # We have control on the working copy only, so "copy" the non
3730 3728 # working copy part over, ignoring previous logic.
3731 3729 to_drop = set()
3732 3730 for req in requirements:
3733 3731 if req in requirementsmod.WORKING_DIR_REQUIREMENTS:
3734 3732 continue
3735 3733 if req in source_requirements:
3736 3734 continue
3737 3735 to_drop.add(req)
3738 3736 requirements -= to_drop
3739 3737 requirements |= source_requirements
3740 3738
3741 3739 if createopts.get(b'sharedrelative'):
3742 3740 requirements.add(requirementsmod.RELATIVE_SHARED_REQUIREMENT)
3743 3741 else:
3744 3742 requirements.add(requirementsmod.SHARED_REQUIREMENT)
3745 3743
3746 3744 if ui.configbool(b'format', b'use-dirstate-tracked-hint'):
3747 3745 version = ui.configint(b'format', b'use-dirstate-tracked-hint.version')
3748 3746 msg = _(b"ignoring unknown tracked key version: %d\n")
3749 3747 hint = _(
3750 3748 b"see `hg help config.format.use-dirstate-tracked-hint-version"
3751 3749 )
3752 3750 if version != 1:
3753 3751 ui.warn(msg % version, hint=hint)
3754 3752 else:
3755 3753 requirements.add(requirementsmod.DIRSTATE_TRACKED_HINT_V1)
3756 3754
3757 3755 return requirements
3758 3756
3759 3757
3760 3758 def checkrequirementscompat(ui, requirements):
3761 3759 """Checks compatibility of repository requirements enabled and disabled.
3762 3760
3763 3761 Returns a set of requirements which needs to be dropped because dependend
3764 3762 requirements are not enabled. Also warns users about it"""
3765 3763
3766 3764 dropped = set()
3767 3765
3768 3766 if requirementsmod.STORE_REQUIREMENT not in requirements:
3769 3767 if requirementsmod.BOOKMARKS_IN_STORE_REQUIREMENT in requirements:
3770 3768 ui.warn(
3771 3769 _(
3772 3770 b'ignoring enabled \'format.bookmarks-in-store\' config '
3773 3771 b'beacuse it is incompatible with disabled '
3774 3772 b'\'format.usestore\' config\n'
3775 3773 )
3776 3774 )
3777 3775 dropped.add(requirementsmod.BOOKMARKS_IN_STORE_REQUIREMENT)
3778 3776
3779 3777 if (
3780 3778 requirementsmod.SHARED_REQUIREMENT in requirements
3781 3779 or requirementsmod.RELATIVE_SHARED_REQUIREMENT in requirements
3782 3780 ):
3783 3781 raise error.Abort(
3784 3782 _(
3785 3783 b"cannot create shared repository as source was created"
3786 3784 b" with 'format.usestore' config disabled"
3787 3785 )
3788 3786 )
3789 3787
3790 3788 if requirementsmod.SHARESAFE_REQUIREMENT in requirements:
3791 3789 if ui.hasconfig(b'format', b'use-share-safe'):
3792 3790 msg = _(
3793 3791 b"ignoring enabled 'format.use-share-safe' config because "
3794 3792 b"it is incompatible with disabled 'format.usestore'"
3795 3793 b" config\n"
3796 3794 )
3797 3795 ui.warn(msg)
3798 3796 dropped.add(requirementsmod.SHARESAFE_REQUIREMENT)
3799 3797
3800 3798 return dropped
3801 3799
3802 3800
3803 3801 def filterknowncreateopts(ui, createopts):
3804 3802 """Filters a dict of repo creation options against options that are known.
3805 3803
3806 3804 Receives a dict of repo creation options and returns a dict of those
3807 3805 options that we don't know how to handle.
3808 3806
3809 3807 This function is called as part of repository creation. If the
3810 3808 returned dict contains any items, repository creation will not
3811 3809 be allowed, as it means there was a request to create a repository
3812 3810 with options not recognized by loaded code.
3813 3811
3814 3812 Extensions can wrap this function to filter out creation options
3815 3813 they know how to handle.
3816 3814 """
3817 3815 known = {
3818 3816 b'backend',
3819 3817 b'lfs',
3820 3818 b'narrowfiles',
3821 3819 b'sharedrepo',
3822 3820 b'sharedrelative',
3823 3821 b'shareditems',
3824 3822 b'shallowfilestore',
3825 3823 }
3826 3824
3827 3825 return {k: v for k, v in createopts.items() if k not in known}
3828 3826
3829 3827
3830 3828 def createrepository(ui, path: bytes, createopts=None, requirements=None):
3831 3829 """Create a new repository in a vfs.
3832 3830
3833 3831 ``path`` path to the new repo's working directory.
3834 3832 ``createopts`` options for the new repository.
3835 3833 ``requirement`` predefined set of requirements.
3836 3834 (incompatible with ``createopts``)
3837 3835
3838 3836 The following keys for ``createopts`` are recognized:
3839 3837
3840 3838 backend
3841 3839 The storage backend to use.
3842 3840 lfs
3843 3841 Repository will be created with ``lfs`` requirement. The lfs extension
3844 3842 will automatically be loaded when the repository is accessed.
3845 3843 narrowfiles
3846 3844 Set up repository to support narrow file storage.
3847 3845 sharedrepo
3848 3846 Repository object from which storage should be shared.
3849 3847 sharedrelative
3850 3848 Boolean indicating if the path to the shared repo should be
3851 3849 stored as relative. By default, the pointer to the "parent" repo
3852 3850 is stored as an absolute path.
3853 3851 shareditems
3854 3852 Set of items to share to the new repository (in addition to storage).
3855 3853 shallowfilestore
3856 3854 Indicates that storage for files should be shallow (not all ancestor
3857 3855 revisions are known).
3858 3856 """
3859 3857
3860 3858 if requirements is not None:
3861 3859 if createopts is not None:
3862 3860 msg = b'cannot specify both createopts and requirements'
3863 3861 raise error.ProgrammingError(msg)
3864 3862 createopts = {}
3865 3863 else:
3866 3864 createopts = defaultcreateopts(ui, createopts=createopts)
3867 3865
3868 3866 unknownopts = filterknowncreateopts(ui, createopts)
3869 3867
3870 3868 if not isinstance(unknownopts, dict):
3871 3869 raise error.ProgrammingError(
3872 3870 b'filterknowncreateopts() did not return a dict'
3873 3871 )
3874 3872
3875 3873 if unknownopts:
3876 3874 raise error.Abort(
3877 3875 _(
3878 3876 b'unable to create repository because of unknown '
3879 3877 b'creation option: %s'
3880 3878 )
3881 3879 % b', '.join(sorted(unknownopts)),
3882 3880 hint=_(b'is a required extension not loaded?'),
3883 3881 )
3884 3882
3885 3883 requirements = newreporequirements(ui, createopts=createopts)
3886 3884 requirements -= checkrequirementscompat(ui, requirements)
3887 3885
3888 3886 wdirvfs = vfsmod.vfs(path, expandpath=True, realpath=True)
3889 3887
3890 3888 hgvfs = vfsmod.vfs(wdirvfs.join(b'.hg'))
3891 3889 if hgvfs.exists():
3892 3890 raise error.RepoError(_(b'repository %s already exists') % path)
3893 3891
3894 3892 if b'sharedrepo' in createopts:
3895 3893 sharedpath = createopts[b'sharedrepo'].sharedpath
3896 3894
3897 3895 if createopts.get(b'sharedrelative'):
3898 3896 try:
3899 3897 sharedpath = os.path.relpath(sharedpath, hgvfs.base)
3900 3898 sharedpath = util.pconvert(sharedpath)
3901 3899 except (IOError, ValueError) as e:
3902 3900 # ValueError is raised on Windows if the drive letters differ
3903 3901 # on each path.
3904 3902 raise error.Abort(
3905 3903 _(b'cannot calculate relative path'),
3906 3904 hint=stringutil.forcebytestr(e),
3907 3905 )
3908 3906
3909 3907 if not wdirvfs.exists():
3910 3908 wdirvfs.makedirs()
3911 3909
3912 3910 hgvfs.makedir(notindexed=True)
3913 3911 if b'sharedrepo' not in createopts:
3914 3912 hgvfs.mkdir(b'cache')
3915 3913 hgvfs.mkdir(b'wcache')
3916 3914
3917 3915 has_store = requirementsmod.STORE_REQUIREMENT in requirements
3918 3916 if has_store and b'sharedrepo' not in createopts:
3919 3917 hgvfs.mkdir(b'store')
3920 3918
3921 3919 # We create an invalid changelog outside the store so very old
3922 3920 # Mercurial versions (which didn't know about the requirements
3923 3921 # file) encounter an error on reading the changelog. This
3924 3922 # effectively locks out old clients and prevents them from
3925 3923 # mucking with a repo in an unknown format.
3926 3924 #
3927 3925 # The revlog header has version 65535, which won't be recognized by
3928 3926 # such old clients.
3929 3927 hgvfs.append(
3930 3928 b'00changelog.i',
3931 3929 b'\0\0\xFF\xFF dummy changelog to prevent using the old repo '
3932 3930 b'layout',
3933 3931 )
3934 3932
3935 3933 # Filter the requirements into working copy and store ones
3936 3934 wcreq, storereq = scmutil.filterrequirements(requirements)
3937 3935 # write working copy ones
3938 3936 scmutil.writerequires(hgvfs, wcreq)
3939 3937 # If there are store requirements and the current repository
3940 3938 # is not a shared one, write stored requirements
3941 3939 # For new shared repository, we don't need to write the store
3942 3940 # requirements as they are already present in store requires
3943 3941 if storereq and b'sharedrepo' not in createopts:
3944 3942 storevfs = vfsmod.vfs(hgvfs.join(b'store'), cacheaudited=True)
3945 3943 scmutil.writerequires(storevfs, storereq)
3946 3944
3947 3945 # Write out file telling readers where to find the shared store.
3948 3946 if b'sharedrepo' in createopts:
3949 3947 hgvfs.write(b'sharedpath', sharedpath)
3950 3948
3951 3949 if createopts.get(b'shareditems'):
3952 3950 shared = b'\n'.join(sorted(createopts[b'shareditems'])) + b'\n'
3953 3951 hgvfs.write(b'shared', shared)
3954 3952
3955 3953
3956 3954 def poisonrepository(repo):
3957 3955 """Poison a repository instance so it can no longer be used."""
3958 3956 # Perform any cleanup on the instance.
3959 3957 repo.close()
3960 3958
3961 3959 # Our strategy is to replace the type of the object with one that
3962 3960 # has all attribute lookups result in error.
3963 3961 #
3964 3962 # But we have to allow the close() method because some constructors
3965 3963 # of repos call close() on repo references.
3966 3964 class poisonedrepository:
3967 3965 def __getattribute__(self, item):
3968 3966 if item == 'close':
3969 3967 return object.__getattribute__(self, item)
3970 3968
3971 3969 raise error.ProgrammingError(
3972 3970 b'repo instances should not be used after unshare'
3973 3971 )
3974 3972
3975 3973 def close(self):
3976 3974 pass
3977 3975
3978 3976 # We may have a repoview, which intercepts __setattr__. So be sure
3979 3977 # we operate at the lowest level possible.
3980 3978 object.__setattr__(repo, '__class__', poisonedrepository)
General Comments 0
You need to be logged in to leave comments. Login now