phases.py
435 lines
| 15.2 KiB
| text/x-python
|
PythonLexer
/ mercurial / phases.py
Pierre-Yves David
|
r15659 | """ Mercurial phases support code | ||
--- | ||||
Copyright 2011 Pierre-Yves David <pierre-yves.david@ens-lyon.org> | ||||
Logilab SA <contact@logilab.fr> | ||||
Augie Fackler <durin42@gmail.com> | ||||
Martin Geisler
|
r16725 | This software may be used and distributed according to the terms | ||
of the GNU General Public License version 2 or any later version. | ||||
Pierre-Yves David
|
r15659 | |||
--- | ||||
This module implements most phase logic in mercurial. | ||||
Basic Concept | ||||
============= | ||||
Martin Geisler
|
r16724 | A 'changeset phase' is an indicator that tells us how a changeset is | ||
Martin Geisler
|
r16725 | manipulated and communicated. The details of each phase is described | ||
below, here we describe the properties they have in common. | ||||
Pierre-Yves David
|
r15659 | |||
Martin Geisler
|
r16725 | Like bookmarks, phases are not stored in history and thus are not | ||
permanent and leave no audit trail. | ||||
Pierre-Yves David
|
r15659 | |||
Martin Geisler
|
r16725 | First, no changeset can be in two phases at once. Phases are ordered, | ||
so they can be considered from lowest to highest. The default, lowest | ||||
phase is 'public' - this is the normal phase of existing changesets. A | ||||
child changeset can not be in a lower phase than its parents. | ||||
Pierre-Yves David
|
r15659 | |||
These phases share a hierarchy of traits: | ||||
immutable shared | ||||
public: X X | ||||
draft: X | ||||
Pierre-Yves David
|
r15705 | secret: | ||
Pierre-Yves David
|
r15659 | |||
Martin Geisler
|
r16724 | Local commits are draft by default. | ||
Pierre-Yves David
|
r15659 | |||
Martin Geisler
|
r16724 | Phase Movement and Exchange | ||
=========================== | ||||
Pierre-Yves David
|
r15659 | |||
Martin Geisler
|
r16725 | Phase data is exchanged by pushkey on pull and push. Some servers have | ||
a publish option set, we call such a server a "publishing server". | ||||
Pushing a draft changeset to a publishing server changes the phase to | ||||
public. | ||||
Pierre-Yves David
|
r15659 | |||
A small list of fact/rules define the exchange of phase: | ||||
* old client never changes server states | ||||
* pull never changes server states | ||||
Martin Geisler
|
r16724 | * publish and old server changesets are seen as public by client | ||
Martin Geisler
|
r16725 | * any secret changeset seen in another repository is lowered to at | ||
least draft | ||||
Pierre-Yves David
|
r15659 | |||
Martin Geisler
|
r16725 | Here is the final table summing up the 49 possible use cases of phase | ||
exchange: | ||||
Pierre-Yves David
|
r15659 | |||
server | ||||
old publish non-publish | ||||
N X N D P N D P | ||||
old client | ||||
pull | ||||
N - X/X - X/D X/P - X/D X/P | ||||
X - X/X - X/D X/P - X/D X/P | ||||
push | ||||
X X/X X/X X/P X/P X/P X/D X/D X/P | ||||
new client | ||||
pull | ||||
N - P/X - P/D P/P - D/D P/P | ||||
D - P/X - P/D P/P - D/D P/P | ||||
P - P/X - P/D P/P - P/D P/P | ||||
push | ||||
D P/X P/X P/P P/P P/P D/D D/D P/P | ||||
P P/X P/X P/P P/P P/P P/P P/P P/P | ||||
Legend: | ||||
A/B = final state on client / state on server | ||||
* N = new/not present, | ||||
* P = public, | ||||
* D = draft, | ||||
Martin Geisler
|
r16725 | * X = not tracked (i.e., the old client or server has no internal | ||
way of recording the phase.) | ||||
Pierre-Yves David
|
r15659 | |||
passive = only pushes | ||||
A cell here can be read like this: | ||||
Martin Geisler
|
r16725 | "When a new client pushes a draft changeset (D) to a publishing | ||
server where it's not present (N), it's marked public on both | ||||
sides (P/P)." | ||||
Pierre-Yves David
|
r15659 | |||
Martin Geisler
|
r16724 | Note: old client behave as a publishing server with draft only content | ||
Pierre-Yves David
|
r15659 | - other people see it as public | ||
- content is pushed as draft | ||||
""" | ||||
Pierre-Yves David
|
r15417 | |||
Matt Mackall
|
r15419 | import errno | ||
Patrick Mezard
|
r16657 | from node import nullid, nullrev, bin, hex, short | ||
Pierre-Yves David
|
r15456 | from i18n import _ | ||
André Sintzoff
|
r17979 | import util, error | ||
Pierre-Yves David
|
r15418 | |||
Pierre-Yves David
|
r15818 | allphases = public, draft, secret = range(3) | ||
Pierre-Yves David
|
r15417 | trackedphases = allphases[1:] | ||
Pierre-Yves David
|
r15821 | phasenames = ['public', 'draft', 'secret'] | ||
Pierre-Yves David
|
r15418 | |||
Patrick Mezard
|
r16657 | def _readroots(repo, phasedefaults=None): | ||
Patrick Mezard
|
r16625 | """Read phase roots from disk | ||
phasedefaults is a list of fn(repo, roots) callable, which are | ||||
executed if the phase roots file does not exist. When phases are | ||||
being initialized on an existing repository, this could be used to | ||||
set selected changesets phase to something else than public. | ||||
Return (roots, dirty) where dirty is true if roots differ from | ||||
what is being stored. | ||||
""" | ||||
Pierre-Yves David
|
r18002 | repo = repo.unfiltered() | ||
Patrick Mezard
|
r16625 | dirty = False | ||
Pierre-Yves David
|
r15418 | roots = [set() for i in allphases] | ||
try: | ||||
f = repo.sopener('phaseroots') | ||||
try: | ||||
for line in f: | ||||
Martin Geisler
|
r16588 | phase, nh = line.split() | ||
Pierre-Yves David
|
r15418 | roots[int(phase)].add(bin(nh)) | ||
finally: | ||||
f.close() | ||||
Matt Mackall
|
r15419 | except IOError, inst: | ||
if inst.errno != errno.ENOENT: | ||||
raise | ||||
Patrick Mezard
|
r16625 | if phasedefaults: | ||
for f in phasedefaults: | ||||
roots = f(repo, roots) | ||||
dirty = True | ||||
return roots, dirty | ||||
Pierre-Yves David
|
r15418 | |||
Patrick Mezard
|
r16657 | class phasecache(object): | ||
Patrick Mezard
|
r16658 | def __init__(self, repo, phasedefaults, _load=True): | ||
if _load: | ||||
# Cheap trick to allow shallow-copy without copy module | ||||
self.phaseroots, self.dirty = _readroots(repo, phasedefaults) | ||||
Idan Kamara
|
r18220 | self._phaserevs = None | ||
self.filterunknown(repo) | ||||
Patrick Mezard
|
r16658 | self.opener = repo.sopener | ||
def copy(self): | ||||
# Shallow copy meant to ensure isolation in | ||||
# advance/retractboundary(), nothing more. | ||||
ph = phasecache(None, None, _load=False) | ||||
ph.phaseroots = self.phaseroots[:] | ||||
ph.dirty = self.dirty | ||||
ph.opener = self.opener | ||||
ph._phaserevs = self._phaserevs | ||||
return ph | ||||
def replace(self, phcache): | ||||
for a in 'phaseroots dirty opener _phaserevs'.split(): | ||||
setattr(self, a, getattr(phcache, a)) | ||||
Patrick Mezard
|
r16657 | |||
Durham Goode
|
r22893 | def getphaserevs(self, repo): | ||
if self._phaserevs is None: | ||||
Pierre-Yves David
|
r18002 | repo = repo.unfiltered() | ||
Patrick Mezard
|
r16657 | revs = [public] * len(repo.changelog) | ||
Durham Goode
|
r22894 | self._phaserevs = revs | ||
self._populatephaseroots(repo) | ||||
Patrick Mezard
|
r16657 | for phase in trackedphases: | ||
roots = map(repo.changelog.rev, self.phaseroots[phase]) | ||||
if roots: | ||||
for rev in roots: | ||||
revs[rev] = phase | ||||
Bryan O'Sullivan
|
r16867 | for rev in repo.changelog.descendants(roots): | ||
Patrick Mezard
|
r16657 | revs[rev] = phase | ||
return self._phaserevs | ||||
Durham Goode
|
r22894 | |||
Durham Goode
|
r22893 | def invalidate(self): | ||
self._phaserevs = None | ||||
Patrick Mezard
|
r16657 | |||
Durham Goode
|
r22894 | def _populatephaseroots(self, repo): | ||
"""Fills the _phaserevs cache with phases for the roots. | ||||
""" | ||||
cl = repo.changelog | ||||
phaserevs = self._phaserevs | ||||
for phase in trackedphases: | ||||
roots = map(cl.rev, self.phaseroots[phase]) | ||||
for root in roots: | ||||
phaserevs[root] = phase | ||||
Patrick Mezard
|
r16657 | def phase(self, repo, rev): | ||
Mads Kiilerich
|
r17424 | # We need a repo argument here to be able to build _phaserevs | ||
Patrick Mezard
|
r16657 | # if necessary. The repository instance is not stored in | ||
# phasecache to avoid reference cycles. The changelog instance | ||||
# is not stored because it is a filecache() property and can | ||||
# be replaced without us being notified. | ||||
if rev == nullrev: | ||||
return public | ||||
Durham Goode
|
r19984 | if rev < nullrev: | ||
raise ValueError(_('cannot lookup negative revision')) | ||||
Patrick Mezard
|
r16657 | if self._phaserevs is None or rev >= len(self._phaserevs): | ||
Durham Goode
|
r22893 | self.invalidate() | ||
self._phaserevs = self.getphaserevs(repo) | ||||
Patrick Mezard
|
r16657 | return self._phaserevs[rev] | ||
def write(self): | ||||
if not self.dirty: | ||||
return | ||||
f = self.opener('phaseroots', 'w', atomictemp=True) | ||||
try: | ||||
Pierre-Yves David
|
r22079 | self._write(f) | ||
Patrick Mezard
|
r16657 | finally: | ||
f.close() | ||||
Pierre-Yves David
|
r22079 | |||
def _write(self, fp): | ||||
for phase, roots in enumerate(self.phaseroots): | ||||
for h in roots: | ||||
fp.write('%i %s\n' % (phase, hex(h))) | ||||
Patrick Mezard
|
r16657 | self.dirty = False | ||
Pierre-Yves David
|
r15454 | |||
Pierre-Yves David
|
r22080 | def _updateroots(self, phase, newroots, tr): | ||
Patrick Mezard
|
r16658 | self.phaseroots[phase] = newroots | ||
Durham Goode
|
r22893 | self.invalidate() | ||
Patrick Mezard
|
r16658 | self.dirty = True | ||
Pierre-Yves David
|
r22080 | tr.addfilegenerator('phase', ('phaseroots',), self._write) | ||
Pierre-Yves David
|
r22069 | def advanceboundary(self, repo, tr, targetphase, nodes): | ||
Patrick Mezard
|
r16658 | # Be careful to preserve shallow-copied values: do not update | ||
# phaseroots values, replace them. | ||||
Pierre-Yves David
|
r18002 | repo = repo.unfiltered() | ||
Patrick Mezard
|
r16658 | delroots = [] # set of root deleted by this path | ||
for phase in xrange(targetphase + 1, len(allphases)): | ||||
# filter nodes that are not in a compatible phase already | ||||
nodes = [n for n in nodes | ||||
if self.phase(repo, repo[n].rev()) >= phase] | ||||
if not nodes: | ||||
break # no roots to move anymore | ||||
olds = self.phaseroots[phase] | ||||
roots = set(ctx.node() for ctx in repo.set( | ||||
'roots((%ln::) - (%ln::%ln))', olds, olds, nodes)) | ||||
if olds != roots: | ||||
Pierre-Yves David
|
r22080 | self._updateroots(phase, roots, tr) | ||
Patrick Mezard
|
r16658 | # some roots may need to be declared for lower phases | ||
delroots.extend(olds - roots) | ||||
# declare deleted root in the target phase | ||||
if targetphase != 0: | ||||
Pierre-Yves David
|
r22070 | self.retractboundary(repo, tr, targetphase, delroots) | ||
Pierre-Yves David
|
r18105 | repo.invalidatevolatilesets() | ||
Patrick Mezard
|
r16658 | |||
Pierre-Yves David
|
r22070 | def retractboundary(self, repo, tr, targetphase, nodes): | ||
Patrick Mezard
|
r16658 | # Be careful to preserve shallow-copied values: do not update | ||
# phaseroots values, replace them. | ||||
Pierre-Yves David
|
r18002 | repo = repo.unfiltered() | ||
Patrick Mezard
|
r16658 | currentroots = self.phaseroots[targetphase] | ||
newroots = [n for n in nodes | ||||
if self.phase(repo, repo[n].rev()) < targetphase] | ||||
if newroots: | ||||
Patrick Mezard
|
r16659 | if nullid in newroots: | ||
raise util.Abort(_('cannot change null revision phase')) | ||||
Patrick Mezard
|
r16658 | currentroots = currentroots.copy() | ||
currentroots.update(newroots) | ||||
ctxs = repo.set('roots(%ln::)', currentroots) | ||||
currentroots.intersection_update(ctx.node() for ctx in ctxs) | ||||
Pierre-Yves David
|
r22080 | self._updateroots(targetphase, currentroots, tr) | ||
Pierre-Yves David
|
r18105 | repo.invalidatevolatilesets() | ||
Patrick Mezard
|
r16658 | |||
Idan Kamara
|
r18220 | def filterunknown(self, repo): | ||
"""remove unknown nodes from the phase boundary | ||||
Nothing is lost as unknown nodes only hold data for their descendants. | ||||
""" | ||||
filtered = False | ||||
nodemap = repo.changelog.nodemap # to filter unknown nodes | ||||
for phase, nodes in enumerate(self.phaseroots): | ||||
Mads Kiilerich
|
r20550 | missing = sorted(node for node in nodes if node not in nodemap) | ||
Idan Kamara
|
r18220 | if missing: | ||
for mnode in missing: | ||||
repo.ui.debug( | ||||
'removing unknown node %s from %i-phase boundary\n' | ||||
% (short(mnode), phase)) | ||||
nodes.symmetric_difference_update(missing) | ||||
filtered = True | ||||
if filtered: | ||||
self.dirty = True | ||||
Pierre-Yves David
|
r18983 | # filterunknown is called by repo.destroyed, we may have no changes in | ||
Mads Kiilerich
|
r19951 | # root but phaserevs contents is certainly invalid (or at least we | ||
# have not proper way to check that). related to issue 3858. | ||||
Pierre-Yves David
|
r18983 | # | ||
# The other caller is __init__ that have no _phaserevs initialized | ||||
# anyway. If this change we should consider adding a dedicated | ||||
Mads Kiilerich
|
r19951 | # "destroyed" function to phasecache or a proper cache key mechanism | ||
Pierre-Yves David
|
r18983 | # (see branchmap one) | ||
Durham Goode
|
r22893 | self.invalidate() | ||
Idan Kamara
|
r18220 | |||
Pierre-Yves David
|
r22069 | def advanceboundary(repo, tr, targetphase, nodes): | ||
Pierre-Yves David
|
r15454 | """Add nodes to a phase changing other nodes phases if necessary. | ||
Martin Geisler
|
r16725 | This function move boundary *forward* this means that all nodes | ||
are set in the target phase or kept in a *lower* phase. | ||||
Pierre-Yves David
|
r15454 | |||
Pierre-Yves David
|
r15482 | Simplify boundary to contains phase roots only.""" | ||
Patrick Mezard
|
r16658 | phcache = repo._phasecache.copy() | ||
Pierre-Yves David
|
r22069 | phcache.advanceboundary(repo, tr, targetphase, nodes) | ||
Patrick Mezard
|
r16658 | repo._phasecache.replace(phcache) | ||
Pierre-Yves David
|
r15482 | |||
Pierre-Yves David
|
r22070 | def retractboundary(repo, tr, targetphase, nodes): | ||
Martin Geisler
|
r16725 | """Set nodes back to a phase changing other nodes phases if | ||
necessary. | ||||
Pierre-Yves David
|
r15482 | |||
Martin Geisler
|
r16725 | This function move boundary *backward* this means that all nodes | ||
are set in the target phase or kept in a *higher* phase. | ||||
Pierre-Yves David
|
r15482 | |||
Simplify boundary to contains phase roots only.""" | ||||
Patrick Mezard
|
r16658 | phcache = repo._phasecache.copy() | ||
Pierre-Yves David
|
r22070 | phcache.retractboundary(repo, tr, targetphase, nodes) | ||
Patrick Mezard
|
r16658 | repo._phasecache.replace(phcache) | ||
Pierre-Yves David
|
r15648 | |||
def listphases(repo): | ||||
Martin Geisler
|
r16724 | """List phases root for serialization over pushkey""" | ||
Pierre-Yves David
|
r15648 | keys = {} | ||
Pierre-Yves David
|
r15892 | value = '%i' % draft | ||
Patrick Mezard
|
r16657 | for root in repo._phasecache.phaseroots[draft]: | ||
Pierre-Yves David
|
r15892 | keys[hex(root)] = value | ||
Pierre-Yves David
|
r15648 | if repo.ui.configbool('phases', 'publish', True): | ||
Martin Geisler
|
r16725 | # Add an extra data to let remote know we are a publishing | ||
# repo. Publishing repo can't just pretend they are old repo. | ||||
# When pushing to a publishing repo, the client still need to | ||||
# push phase boundary | ||||
Pierre-Yves David
|
r15648 | # | ||
Martin Geisler
|
r16725 | # Push do not only push changeset. It also push phase data. | ||
# New phase data may apply to common changeset which won't be | ||||
# push (as they are common). Here is a very simple example: | ||||
Pierre-Yves David
|
r15648 | # | ||
# 1) repo A push changeset X as draft to repo B | ||||
# 2) repo B make changeset X public | ||||
Martin Geisler
|
r16725 | # 3) repo B push to repo A. X is not pushed but the data that | ||
# X as now public should | ||||
Pierre-Yves David
|
r15648 | # | ||
Martin Geisler
|
r16725 | # The server can't handle it on it's own as it has no idea of | ||
# client phase data. | ||||
Pierre-Yves David
|
r15648 | keys['publishing'] = 'True' | ||
return keys | ||||
def pushphase(repo, nhex, oldphasestr, newphasestr): | ||||
timeless@mozdev.org
|
r17535 | """List phases root for serialization over pushkey""" | ||
Pierre-Yves David
|
r18002 | repo = repo.unfiltered() | ||
Pierre-Yves David
|
r22052 | tr = None | ||
Pierre-Yves David
|
r15648 | lock = repo.lock() | ||
try: | ||||
currentphase = repo[nhex].phase() | ||||
newphase = abs(int(newphasestr)) # let's avoid negative index surprise | ||||
oldphase = abs(int(oldphasestr)) # let's avoid negative index surprise | ||||
if currentphase == oldphase and newphase < oldphase: | ||||
Pierre-Yves David
|
r22052 | tr = repo.transaction('pushkey-phase') | ||
Pierre-Yves David
|
r22069 | advanceboundary(repo, tr, newphase, [bin(nhex)]) | ||
Pierre-Yves David
|
r22052 | tr.close() | ||
Pierre-Yves David
|
r15648 | return 1 | ||
Matt Mackall
|
r16051 | elif currentphase == newphase: | ||
# raced, but got correct result | ||||
return 1 | ||||
Pierre-Yves David
|
r15648 | else: | ||
return 0 | ||||
finally: | ||||
Pierre-Yves David
|
r22052 | if tr: | ||
tr.release() | ||||
Pierre-Yves David
|
r15648 | lock.release() | ||
Pierre-Yves David
|
r15649 | |||
def analyzeremotephases(repo, subset, roots): | ||||
"""Compute phases heads and root in a subset of node from root dict | ||||
* subset is heads of the subset | ||||
* roots is {<nodeid> => phase} mapping. key and value are string. | ||||
Accept unknown element input | ||||
""" | ||||
Pierre-Yves David
|
r18002 | repo = repo.unfiltered() | ||
Pierre-Yves David
|
r15649 | # build list from dictionary | ||
Pierre-Yves David
|
r15892 | draftroots = [] | ||
Sune Foldager
|
r15902 | nodemap = repo.changelog.nodemap # to filter unknown nodes | ||
Pierre-Yves David
|
r15649 | for nhex, phase in roots.iteritems(): | ||
if nhex == 'publishing': # ignore data related to publish option | ||||
continue | ||||
node = bin(nhex) | ||||
phase = int(phase) | ||||
Pierre-Yves David
|
r15892 | if phase == 0: | ||
if node != nullid: | ||||
Pierre-Yves David
|
r15953 | repo.ui.warn(_('ignoring inconsistent public root' | ||
' from remote: %s\n') % nhex) | ||||
Pierre-Yves David
|
r15892 | elif phase == 1: | ||
Sune Foldager
|
r15902 | if node in nodemap: | ||
Pierre-Yves David
|
r15892 | draftroots.append(node) | ||
else: | ||||
Pierre-Yves David
|
r15953 | repo.ui.warn(_('ignoring unexpected root from remote: %i %s\n') | ||
% (phase, nhex)) | ||||
Pierre-Yves David
|
r15649 | # compute heads | ||
Pierre-Yves David
|
r15954 | publicheads = newheads(repo, subset, draftroots) | ||
Pierre-Yves David
|
r15892 | return publicheads, draftroots | ||
Pierre-Yves David
|
r15649 | |||
Pierre-Yves David
|
r15954 | def newheads(repo, heads, roots): | ||
"""compute new head of a subset minus another | ||||
* `heads`: define the first subset | ||||
Mads Kiilerich
|
r17425 | * `roots`: define the second we subtract from the first""" | ||
Pierre-Yves David
|
r18002 | repo = repo.unfiltered() | ||
Pierre-Yves David
|
r15954 | revset = repo.set('heads((%ln + parents(%ln)) - (%ln::%ln))', | ||
heads, roots, roots, heads) | ||||
return [c.node() for c in revset] | ||||
Pierre-Yves David
|
r16030 | |||
def newcommitphase(ui): | ||||
"""helper to get the target phase of new commit | ||||
Handle all possible values for the phases.new-commit options. | ||||
""" | ||||
v = ui.config('phases', 'new-commit', draft) | ||||
try: | ||||
return phasenames.index(v) | ||||
except ValueError: | ||||
try: | ||||
return int(v) | ||||
except ValueError: | ||||
msg = _("phases.new-commit: not a valid phase name ('%s')") | ||||
raise error.ConfigError(msg % v) | ||||
Pierre-Yves David
|
r17671 | def hassecret(repo): | ||
"""utility function that check if a repo have any secret changeset.""" | ||||
return bool(repo._phasecache.phaseroots[2]) | ||||