~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to bzrlib/fetch.py

  • Committer: Tarmac
  • Author(s): Vincent Ladeuil
  • Date: 2017-01-30 14:42:05 UTC
  • mfrom: (6620.1.1 trunk)
  • Revision ID: tarmac-20170130144205-r8fh2xpmiuxyozpv
Merge  2.7 into trunk including fix for bug #1657238 [r=vila]

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
 
# Copyright (C) 2005, 2006, 2008, 2009 Canonical Ltd
 
1
# Copyright (C) 2005-2011 Canonical Ltd
2
2
#
3
3
# This program is free software; you can redistribute it and/or modify
4
4
# it under the terms of the GNU General Public License as published by
14
14
# along with this program; if not, write to the Free Software
15
15
# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
16
16
 
17
 
 
18
17
"""Copying of history from one branch to another.
19
18
 
20
19
The basic plan is that every branch knows the history of everything
23
22
branch.
24
23
"""
25
24
 
 
25
from __future__ import absolute_import
 
26
 
26
27
import operator
27
28
 
28
 
import bzrlib
 
29
from bzrlib.lazy_import import lazy_import
 
30
lazy_import(globals(), """
 
31
from bzrlib import (
 
32
    tsort,
 
33
    versionedfile,
 
34
    vf_search,
 
35
    )
 
36
""")
29
37
from bzrlib import (
30
38
    errors,
31
 
    symbol_versioning,
 
39
    ui,
32
40
    )
33
 
from bzrlib.errors import InstallFailed
34
 
from bzrlib.progress import ProgressPhase
 
41
from bzrlib.i18n import gettext
35
42
from bzrlib.revision import NULL_REVISION
36
 
from bzrlib.tsort import topo_sort
37
43
from bzrlib.trace import mutter
38
 
import bzrlib.ui
39
 
from bzrlib.versionedfile import FulltextContentFactory
40
44
 
41
45
 
42
46
class RepoFetcher(object):
47
51
    """
48
52
 
49
53
    def __init__(self, to_repository, from_repository, last_revision=None,
50
 
        pb=None, find_ghosts=True, fetch_spec=None):
 
54
        find_ghosts=True, fetch_spec=None):
51
55
        """Create a repo fetcher.
52
56
 
53
57
        :param last_revision: If set, try to limit to the data this revision
54
58
            references.
 
59
        :param fetch_spec: A SearchResult specifying which revisions to fetch.
 
60
            If set, this overrides last_revision.
55
61
        :param find_ghosts: If True search the entire history for ghosts.
56
 
        :param _write_group_acquired_callable: Don't use; this parameter only
57
 
            exists to facilitate a hack done in InterPackRepo.fetch.  We would
58
 
            like to remove this parameter.
59
 
        :param pb: ProgressBar object to use; deprecated and ignored.
60
 
            This method will just create one on top of the stack.
61
62
        """
62
 
        if pb is not None:
63
 
            symbol_versioning.warn(
64
 
                symbol_versioning.deprecated_in((1, 14, 0))
65
 
                % "pb parameter to RepoFetcher.__init__")
66
 
            # and for simplicity it is in fact ignored
67
 
        if to_repository.has_same_location(from_repository):
68
 
            # repository.fetch should be taking care of this case.
69
 
            raise errors.BzrError('RepoFetcher run '
70
 
                    'between two objects at the same location: '
71
 
                    '%r and %r' % (to_repository, from_repository))
 
63
        # repository.fetch has the responsibility for short-circuiting
 
64
        # attempts to copy between a repository and itself.
72
65
        self.to_repository = to_repository
73
66
        self.from_repository = from_repository
74
67
        self.sink = to_repository._get_sink()
99
92
        # assert not missing
100
93
        self.count_total = 0
101
94
        self.file_ids_names = {}
102
 
        pb = bzrlib.ui.ui_factory.nested_progress_bar()
 
95
        pb = ui.ui_factory.nested_progress_bar()
103
96
        pb.show_pct = pb.show_count = False
104
97
        try:
105
 
            pb.update("Finding revisions", 0, 2)
106
 
            search = self._revids_to_fetch()
107
 
            if search is None:
 
98
            pb.update(gettext("Finding revisions"), 0, 2)
 
99
            search_result = self._revids_to_fetch()
 
100
            mutter('fetching: %s', search_result)
 
101
            if search_result.is_empty():
108
102
                return
109
 
            pb.update("Fetching revisions", 1, 2)
110
 
            self._fetch_everything_for_search(search)
 
103
            pb.update(gettext("Fetching revisions"), 1, 2)
 
104
            self._fetch_everything_for_search(search_result)
111
105
        finally:
112
106
            pb.finished()
113
107
 
126
120
            raise errors.IncompatibleRepositories(
127
121
                self.from_repository, self.to_repository,
128
122
                "different rich-root support")
129
 
        pb = bzrlib.ui.ui_factory.nested_progress_bar()
 
123
        pb = ui.ui_factory.nested_progress_bar()
130
124
        try:
131
125
            pb.update("Get stream source")
132
126
            source = self.from_repository._get_source(
136
130
            pb.update("Inserting stream")
137
131
            resume_tokens, missing_keys = self.sink.insert_stream(
138
132
                stream, from_format, [])
139
 
            if self.to_repository._fallback_repositories:
140
 
                # Find all the parent revisions referenced by the stream, but
141
 
                # not present in the stream, and make sure we have their
142
 
                # inventories.
143
 
                revision_ids = search.get_keys()
144
 
                parent_maps = self.to_repository.get_parent_map(revision_ids)
145
 
                parents = set()
146
 
                map(parents.update, parent_maps.itervalues())
147
 
                parents.difference_update(revision_ids)
148
 
                parents.discard(NULL_REVISION)
149
 
                missing_keys.update(
150
 
                    ('inventories', rev_id) for rev_id in parents)
151
133
            if missing_keys:
152
134
                pb.update("Missing keys")
153
135
                stream = source.get_stream_for_missing_keys(missing_keys)
171
153
        """Determines the exact revisions needed from self.from_repository to
172
154
        install self._last_revision in self.to_repository.
173
155
 
174
 
        If no revisions need to be fetched, then this just returns None.
 
156
        :returns: A SearchResult of some sort.  (Possibly a
 
157
            PendingAncestryResult, EmptySearchResult, etc.)
175
158
        """
176
159
        if self._fetch_spec is not None:
 
160
            # The fetch spec is already a concrete search result.
177
161
            return self._fetch_spec
178
 
        mutter('fetch up to rev {%s}', self._last_revision)
179
 
        if self._last_revision is NULL_REVISION:
 
162
        elif self._last_revision == NULL_REVISION:
 
163
            # fetch_spec is None + last_revision is null => empty fetch.
180
164
            # explicit limit of no revisions needed
181
 
            return None
182
 
        if (self._last_revision is not None and
183
 
            self.to_repository.has_revision(self._last_revision)):
184
 
            return None
185
 
        try:
186
 
            return self.to_repository.search_missing_revision_ids(
187
 
                self.from_repository, self._last_revision,
188
 
                find_ghosts=self.find_ghosts)
189
 
        except errors.NoSuchRevision, e:
190
 
            raise InstallFailed([self._last_revision])
 
165
            return vf_search.EmptySearchResult()
 
166
        elif self._last_revision is not None:
 
167
            return vf_search.NotInOtherForRevs(self.to_repository,
 
168
                self.from_repository, [self._last_revision],
 
169
                find_ghosts=self.find_ghosts).execute()
 
170
        else: # self._last_revision is None:
 
171
            return vf_search.EverythingNotInOther(self.to_repository,
 
172
                self.from_repository,
 
173
                find_ghosts=self.find_ghosts).execute()
191
174
 
192
175
 
193
176
class Inter1and2Helper(object):
196
179
    This is for use by fetchers and converters.
197
180
    """
198
181
 
 
182
    # This is a class variable so that the test suite can override it.
 
183
    known_graph_threshold = 100
 
184
 
199
185
    def __init__(self, source):
200
186
        """Constructor.
201
187
 
217
203
        revs = list(revs)
218
204
        while revs:
219
205
            for tree in self.source.revision_trees(revs[:100]):
220
 
                if tree.inventory.revision_id is None:
221
 
                    tree.inventory.revision_id = tree.get_revision_id()
 
206
                if tree.root_inventory.revision_id is None:
 
207
                    tree.root_inventory.revision_id = tree.get_revision_id()
222
208
                yield tree
223
209
            revs = revs[100:]
224
210
 
225
211
    def _find_root_ids(self, revs, parent_map, graph):
226
212
        revision_root = {}
227
 
        planned_versions = {}
228
213
        for tree in self.iter_rev_trees(revs):
229
 
            revision_id = tree.inventory.root.revision
230
214
            root_id = tree.get_root_id()
231
 
            planned_versions.setdefault(root_id, []).append(revision_id)
 
215
            revision_id = tree.get_file_revision(root_id, u"")
232
216
            revision_root[revision_id] = root_id
233
217
        # Find out which parents we don't already know root ids for
234
218
        parents = set()
240
224
        for tree in self.iter_rev_trees(parents):
241
225
            root_id = tree.get_root_id()
242
226
            revision_root[tree.get_revision_id()] = root_id
243
 
        return revision_root, planned_versions
 
227
        return revision_root
244
228
 
245
229
    def generate_root_texts(self, revs):
246
230
        """Generate VersionedFiles for all root ids.
249
233
        """
250
234
        graph = self.source.get_graph()
251
235
        parent_map = graph.get_parent_map(revs)
252
 
        rev_order = topo_sort(parent_map)
253
 
        rev_id_to_root_id, root_id_to_rev_ids = self._find_root_ids(
254
 
            revs, parent_map, graph)
 
236
        rev_order = tsort.topo_sort(parent_map)
 
237
        rev_id_to_root_id = self._find_root_ids(revs, parent_map, graph)
255
238
        root_id_order = [(rev_id_to_root_id[rev_id], rev_id) for rev_id in
256
239
            rev_order]
257
240
        # Guaranteed stable, this groups all the file id operations together
260
243
        # yet, and are unlikely to in non-rich-root environments anyway.
261
244
        root_id_order.sort(key=operator.itemgetter(0))
262
245
        # Create a record stream containing the roots to create.
263
 
        def yield_roots():
264
 
            for key in root_id_order:
265
 
                root_id, rev_id = key
266
 
                rev_parents = parent_map[rev_id]
267
 
                # We drop revision parents with different file-ids, because
268
 
                # that represents a rename of the root to a different location
269
 
                # - its not actually a parent for us. (We could look for that
270
 
                # file id in the revision tree at considerably more expense,
271
 
                # but for now this is sufficient (and reconcile will catch and
272
 
                # correct this anyway).
273
 
                # When a parent revision is a ghost, we guess that its root id
274
 
                # was unchanged (rather than trimming it from the parent list).
275
 
                parent_keys = tuple((root_id, parent) for parent in rev_parents
276
 
                    if parent != NULL_REVISION and
277
 
                        rev_id_to_root_id.get(parent, root_id) == root_id)
278
 
                yield FulltextContentFactory(key, parent_keys, None, '')
279
 
        return [('texts', yield_roots())]
 
246
        if len(revs) > self.known_graph_threshold:
 
247
            graph = self.source.get_known_graph_ancestry(revs)
 
248
        new_roots_stream = _new_root_data_stream(
 
249
            root_id_order, rev_id_to_root_id, parent_map, self.source, graph)
 
250
        return [('texts', new_roots_stream)]
 
251
 
 
252
 
 
253
def _new_root_data_stream(
 
254
    root_keys_to_create, rev_id_to_root_id_map, parent_map, repo, graph=None):
 
255
    """Generate a texts substream of synthesised root entries.
 
256
 
 
257
    Used in fetches that do rich-root upgrades.
 
258
    
 
259
    :param root_keys_to_create: iterable of (root_id, rev_id) pairs describing
 
260
        the root entries to create.
 
261
    :param rev_id_to_root_id_map: dict of known rev_id -> root_id mappings for
 
262
        calculating the parents.  If a parent rev_id is not found here then it
 
263
        will be recalculated.
 
264
    :param parent_map: a parent map for all the revisions in
 
265
        root_keys_to_create.
 
266
    :param graph: a graph to use instead of repo.get_graph().
 
267
    """
 
268
    for root_key in root_keys_to_create:
 
269
        root_id, rev_id = root_key
 
270
        parent_keys = _parent_keys_for_root_version(
 
271
            root_id, rev_id, rev_id_to_root_id_map, parent_map, repo, graph)
 
272
        yield versionedfile.FulltextContentFactory(
 
273
            root_key, parent_keys, None, '')
 
274
 
 
275
 
 
276
def _parent_keys_for_root_version(
 
277
    root_id, rev_id, rev_id_to_root_id_map, parent_map, repo, graph=None):
 
278
    """Get the parent keys for a given root id.
 
279
    
 
280
    A helper function for _new_root_data_stream.
 
281
    """
 
282
    # Include direct parents of the revision, but only if they used the same
 
283
    # root_id and are heads.
 
284
    rev_parents = parent_map[rev_id]
 
285
    parent_ids = []
 
286
    for parent_id in rev_parents:
 
287
        if parent_id == NULL_REVISION:
 
288
            continue
 
289
        if parent_id not in rev_id_to_root_id_map:
 
290
            # We probably didn't read this revision, go spend the extra effort
 
291
            # to actually check
 
292
            try:
 
293
                tree = repo.revision_tree(parent_id)
 
294
            except errors.NoSuchRevision:
 
295
                # Ghost, fill out rev_id_to_root_id in case we encounter this
 
296
                # again.
 
297
                # But set parent_root_id to None since we don't really know
 
298
                parent_root_id = None
 
299
            else:
 
300
                parent_root_id = tree.get_root_id()
 
301
            rev_id_to_root_id_map[parent_id] = None
 
302
            # XXX: why not:
 
303
            #   rev_id_to_root_id_map[parent_id] = parent_root_id
 
304
            # memory consumption maybe?
 
305
        else:
 
306
            parent_root_id = rev_id_to_root_id_map[parent_id]
 
307
        if root_id == parent_root_id:
 
308
            # With stacking we _might_ want to refer to a non-local revision,
 
309
            # but this code path only applies when we have the full content
 
310
            # available, so ghosts really are ghosts, not just the edge of
 
311
            # local data.
 
312
            parent_ids.append(parent_id)
 
313
        else:
 
314
            # root_id may be in the parent anyway.
 
315
            try:
 
316
                tree = repo.revision_tree(parent_id)
 
317
            except errors.NoSuchRevision:
 
318
                # ghost, can't refer to it.
 
319
                pass
 
320
            else:
 
321
                try:
 
322
                    parent_ids.append(tree.get_file_revision(root_id))
 
323
                except errors.NoSuchId:
 
324
                    # not in the tree
 
325
                    pass
 
326
    # Drop non-head parents
 
327
    if graph is None:
 
328
        graph = repo.get_graph()
 
329
    heads = graph.heads(parent_ids)
 
330
    selected_ids = []
 
331
    for parent_id in parent_ids:
 
332
        if parent_id in heads and parent_id not in selected_ids:
 
333
            selected_ids.append(parent_id)
 
334
    parent_keys = [(root_id, parent_id) for parent_id in selected_ids]
 
335
    return parent_keys
 
336
 
 
337
 
 
338
class TargetRepoKinds(object):
 
339
    """An enum-like set of constants.
 
340
    
 
341
    They are the possible values of FetchSpecFactory.target_repo_kinds.
 
342
    """
 
343
    
 
344
    PREEXISTING = 'preexisting'
 
345
    STACKED = 'stacked'
 
346
    EMPTY = 'empty'
 
347
 
 
348
 
 
349
class FetchSpecFactory(object):
 
350
    """A helper for building the best fetch spec for a sprout call.
 
351
 
 
352
    Factors that go into determining the sort of fetch to perform:
 
353
     * did the caller specify any revision IDs?
 
354
     * did the caller specify a source branch (need to fetch its
 
355
       heads_to_fetch(), usually the tip + tags)
 
356
     * is there an existing target repo (don't need to refetch revs it
 
357
       already has)
 
358
     * target is stacked?  (similar to pre-existing target repo: even if
 
359
       the target itself is new don't want to refetch existing revs)
 
360
 
 
361
    :ivar source_branch: the source branch if one specified, else None.
 
362
    :ivar source_branch_stop_revision_id: fetch up to this revision of
 
363
        source_branch, rather than its tip.
 
364
    :ivar source_repo: the source repository if one found, else None.
 
365
    :ivar target_repo: the target repository acquired by sprout.
 
366
    :ivar target_repo_kind: one of the TargetRepoKinds constants.
 
367
    """
 
368
 
 
369
    def __init__(self):
 
370
        self._explicit_rev_ids = set()
 
371
        self.source_branch = None
 
372
        self.source_branch_stop_revision_id = None
 
373
        self.source_repo = None
 
374
        self.target_repo = None
 
375
        self.target_repo_kind = None
 
376
        self.limit = None
 
377
 
 
378
    def add_revision_ids(self, revision_ids):
 
379
        """Add revision_ids to the set of revision_ids to be fetched."""
 
380
        self._explicit_rev_ids.update(revision_ids)
 
381
 
 
382
    def make_fetch_spec(self):
 
383
        """Build a SearchResult or PendingAncestryResult or etc."""
 
384
        if self.target_repo_kind is None or self.source_repo is None:
 
385
            raise AssertionError(
 
386
                'Incomplete FetchSpecFactory: %r' % (self.__dict__,))
 
387
        if len(self._explicit_rev_ids) == 0 and self.source_branch is None:
 
388
            if self.limit is not None:
 
389
                raise NotImplementedError(
 
390
                    "limit is only supported with a source branch set")
 
391
            # Caller hasn't specified any revisions or source branch
 
392
            if self.target_repo_kind == TargetRepoKinds.EMPTY:
 
393
                return vf_search.EverythingResult(self.source_repo)
 
394
            else:
 
395
                # We want everything not already in the target (or target's
 
396
                # fallbacks).
 
397
                return vf_search.EverythingNotInOther(
 
398
                    self.target_repo, self.source_repo).execute()
 
399
        heads_to_fetch = set(self._explicit_rev_ids)
 
400
        if self.source_branch is not None:
 
401
            must_fetch, if_present_fetch = self.source_branch.heads_to_fetch()
 
402
            if self.source_branch_stop_revision_id is not None:
 
403
                # Replace the tip rev from must_fetch with the stop revision
 
404
                # XXX: this might be wrong if the tip rev is also in the
 
405
                # must_fetch set for other reasons (e.g. it's the tip of
 
406
                # multiple loom threads?), but then it's pretty unclear what it
 
407
                # should mean to specify a stop_revision in that case anyway.
 
408
                must_fetch.discard(self.source_branch.last_revision())
 
409
                must_fetch.add(self.source_branch_stop_revision_id)
 
410
            heads_to_fetch.update(must_fetch)
 
411
        else:
 
412
            if_present_fetch = set()
 
413
        if self.target_repo_kind == TargetRepoKinds.EMPTY:
 
414
            # PendingAncestryResult does not raise errors if a requested head
 
415
            # is absent.  Ideally it would support the
 
416
            # required_ids/if_present_ids distinction, but in practice
 
417
            # heads_to_fetch will almost certainly be present so this doesn't
 
418
            # matter much.
 
419
            all_heads = heads_to_fetch.union(if_present_fetch)
 
420
            ret = vf_search.PendingAncestryResult(all_heads, self.source_repo)
 
421
            if self.limit is not None:
 
422
                graph = self.source_repo.get_graph()
 
423
                topo_order = list(graph.iter_topo_order(ret.get_keys()))
 
424
                result_set = topo_order[:self.limit]
 
425
                ret = self.source_repo.revision_ids_to_search_result(result_set)
 
426
            return ret
 
427
        else:
 
428
            return vf_search.NotInOtherForRevs(self.target_repo, self.source_repo,
 
429
                required_ids=heads_to_fetch, if_present_ids=if_present_fetch,
 
430
                limit=self.limit).execute()