~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to bzrlib/fetch.py

  • Committer: Jelmer Vernooij
  • Date: 2011-03-12 16:55:08 UTC
  • mto: This revision was merged to the branch mainline in revision 5737.
  • Revision ID: jelmer@samba.org-20110312165508-8aerwldchcf1n2ah
Test default control component format implementation.

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
 
# Copyright (C) 2005 by Canonical Ltd
2
 
 
 
1
# Copyright (C) 2005-2011 Canonical Ltd
 
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
5
5
# the Free Software Foundation; either version 2 of the License, or
6
6
# (at your option) any later version.
7
 
 
 
7
#
8
8
# This program is distributed in the hope that it will be useful,
9
9
# but WITHOUT ANY WARRANTY; without even the implied warranty of
10
10
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
11
11
# GNU General Public License for more details.
12
 
 
 
12
#
13
13
# You should have received a copy of the GNU General Public License
14
14
# along with this program; if not, write to the Free Software
15
 
# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
16
 
import bzrlib.errors
17
 
from bzrlib.trace import mutter, note
18
 
from bzrlib.branch import Branch
19
 
from bzrlib.progress import ProgressBar
20
 
import sys
21
 
import os
22
 
 
23
 
def has_revision(branch, revision_id):
24
 
    try:
25
 
        branch.get_revision_xml(revision_id)
26
 
        return True
27
 
    except bzrlib.errors.NoSuchRevision:
28
 
        return False
29
 
 
30
 
 
31
 
def greedy_fetch(to_branch, from_branch, revision=None, pb=None):
32
 
    """Copy a revision and all available ancestors from one branch to another
33
 
    If no revision is specified, uses the last revision in the source branch's
34
 
    revision history.
35
 
    """
36
 
    from_history = from_branch.revision_history()
37
 
    required_revisions = set(from_history)
38
 
    all_failed = set()
39
 
    if revision is not None:
40
 
        required_revisions.add(revision)
41
 
        try:
42
 
            rev_index = from_history.index(revision)
43
 
        except ValueError:
44
 
            rev_index = None
45
 
        if rev_index is not None:
46
 
            from_history = from_history[:rev_index + 1]
47
 
        else:
48
 
            from_history = [revision]
49
 
    to_history = to_branch.revision_history()
50
 
    missing = []
51
 
    for rev_id in from_history:
52
 
        if not has_revision(to_branch, rev_id):
53
 
            missing.append(rev_id)
54
 
    
55
 
    count = 0
56
 
    while len(missing) > 0:
57
 
        installed, failed = to_branch.install_revisions(from_branch, 
58
 
                                                        revision_ids=missing,
59
 
                                                        pb=pb)
60
 
        count += installed
61
 
        required_failed = failed.intersection(required_revisions)
62
 
        if len(required_failed) > 0:
63
 
            raise bzrlib.errors.InstallFailed(required_failed)
64
 
        for rev_id in failed:
65
 
            note("Failed to install %s" % rev_id)
66
 
        all_failed.update(failed)
67
 
        new_missing = set() 
68
 
        for rev_id in missing:
69
 
            try:
70
 
                revision = from_branch.get_revision(rev_id)
71
 
            except bzrlib.errors.NoSuchRevision:
72
 
                if revision in from_history:
73
 
                    raise
74
 
                else:
75
 
                    continue
76
 
            for parent in [p.revision_id for p in revision.parents]:
77
 
                if not has_revision(to_branch, parent):
78
 
                    new_missing.add(parent)
79
 
        missing = new_missing
80
 
    return count, all_failed
 
15
# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
 
16
 
 
17
 
 
18
"""Copying of history from one branch to another.
 
19
 
 
20
The basic plan is that every branch knows the history of everything
 
21
that has merged into it.  As the first step of a merge, pull, or
 
22
branch operation we copy history from the source into the destination
 
23
branch.
 
24
"""
 
25
 
 
26
import operator
 
27
 
 
28
from bzrlib.lazy_import import lazy_import
 
29
lazy_import(globals(), """
 
30
from bzrlib import (
 
31
    graph,
 
32
    tsort,
 
33
    versionedfile,
 
34
    )
 
35
""")
 
36
import bzrlib
 
37
from bzrlib import (
 
38
    errors,
 
39
    ui,
 
40
    )
 
41
from bzrlib.revision import NULL_REVISION
 
42
from bzrlib.trace import mutter
 
43
 
 
44
 
 
45
class RepoFetcher(object):
 
46
    """Pull revisions and texts from one repository to another.
 
47
 
 
48
    This should not be used directly, it's essential a object to encapsulate
 
49
    the logic in InterRepository.fetch().
 
50
    """
 
51
 
 
52
    def __init__(self, to_repository, from_repository, last_revision=None,
 
53
        find_ghosts=True, fetch_spec=None):
 
54
        """Create a repo fetcher.
 
55
 
 
56
        :param last_revision: If set, try to limit to the data this revision
 
57
            references.
 
58
        :param fetch_spec: A SearchResult specifying which revisions to fetch.
 
59
            If set, this overrides last_revision.
 
60
        :param find_ghosts: If True search the entire history for ghosts.
 
61
        """
 
62
        # repository.fetch has the responsibility for short-circuiting
 
63
        # attempts to copy between a repository and itself.
 
64
        self.to_repository = to_repository
 
65
        self.from_repository = from_repository
 
66
        self.sink = to_repository._get_sink()
 
67
        # must not mutate self._last_revision as its potentially a shared instance
 
68
        self._last_revision = last_revision
 
69
        self._fetch_spec = fetch_spec
 
70
        self.find_ghosts = find_ghosts
 
71
        self.from_repository.lock_read()
 
72
        mutter("Using fetch logic to copy between %s(%s) and %s(%s)",
 
73
               self.from_repository, self.from_repository._format,
 
74
               self.to_repository, self.to_repository._format)
 
75
        try:
 
76
            self.__fetch()
 
77
        finally:
 
78
            self.from_repository.unlock()
 
79
 
 
80
    def __fetch(self):
 
81
        """Primary worker function.
 
82
 
 
83
        This initialises all the needed variables, and then fetches the
 
84
        requested revisions, finally clearing the progress bar.
 
85
        """
 
86
        # Roughly this is what we're aiming for fetch to become:
 
87
        #
 
88
        # missing = self.sink.insert_stream(self.source.get_stream(search))
 
89
        # if missing:
 
90
        #     missing = self.sink.insert_stream(self.source.get_items(missing))
 
91
        # assert not missing
 
92
        self.count_total = 0
 
93
        self.file_ids_names = {}
 
94
        pb = ui.ui_factory.nested_progress_bar()
 
95
        pb.show_pct = pb.show_count = False
 
96
        try:
 
97
            pb.update("Finding revisions", 0, 2)
 
98
            search_result = self._revids_to_fetch()
 
99
            mutter('fetching: %s', search_result)
 
100
            if search_result.is_empty():
 
101
                return
 
102
            pb.update("Fetching revisions", 1, 2)
 
103
            self._fetch_everything_for_search(search_result)
 
104
        finally:
 
105
            pb.finished()
 
106
 
 
107
    def _fetch_everything_for_search(self, search):
 
108
        """Fetch all data for the given set of revisions."""
 
109
        # The first phase is "file".  We pass the progress bar for it directly
 
110
        # into item_keys_introduced_by, which has more information about how
 
111
        # that phase is progressing than we do.  Progress updates for the other
 
112
        # phases are taken care of in this function.
 
113
        # XXX: there should be a clear owner of the progress reporting.  Perhaps
 
114
        # item_keys_introduced_by should have a richer API than it does at the
 
115
        # moment, so that it can feed the progress information back to this
 
116
        # function?
 
117
        if (self.from_repository._format.rich_root_data and
 
118
            not self.to_repository._format.rich_root_data):
 
119
            raise errors.IncompatibleRepositories(
 
120
                self.from_repository, self.to_repository,
 
121
                "different rich-root support")
 
122
        pb = ui.ui_factory.nested_progress_bar()
 
123
        try:
 
124
            pb.update("Get stream source")
 
125
            source = self.from_repository._get_source(
 
126
                self.to_repository._format)
 
127
            stream = source.get_stream(search)
 
128
            from_format = self.from_repository._format
 
129
            pb.update("Inserting stream")
 
130
            resume_tokens, missing_keys = self.sink.insert_stream(
 
131
                stream, from_format, [])
 
132
            if missing_keys:
 
133
                pb.update("Missing keys")
 
134
                stream = source.get_stream_for_missing_keys(missing_keys)
 
135
                pb.update("Inserting missing keys")
 
136
                resume_tokens, missing_keys = self.sink.insert_stream(
 
137
                    stream, from_format, resume_tokens)
 
138
            if missing_keys:
 
139
                raise AssertionError(
 
140
                    "second push failed to complete a fetch %r." % (
 
141
                        missing_keys,))
 
142
            if resume_tokens:
 
143
                raise AssertionError(
 
144
                    "second push failed to commit the fetch %r." % (
 
145
                        resume_tokens,))
 
146
            pb.update("Finishing stream")
 
147
            self.sink.finished()
 
148
        finally:
 
149
            pb.finished()
 
150
 
 
151
    def _revids_to_fetch(self):
 
152
        """Determines the exact revisions needed from self.from_repository to
 
153
        install self._last_revision in self.to_repository.
 
154
 
 
155
        :returns: A SearchResult of some sort.  (Possibly a
 
156
            PendingAncestryResult, EmptySearchResult, etc.)
 
157
        """
 
158
        if self._fetch_spec is not None:
 
159
            # The fetch spec is already a concrete search result.
 
160
            return self._fetch_spec
 
161
        elif self._last_revision == NULL_REVISION:
 
162
            # fetch_spec is None + last_revision is null => empty fetch.
 
163
            # explicit limit of no revisions needed
 
164
            return graph.EmptySearchResult()
 
165
        elif self._last_revision is not None:
 
166
            return graph.NotInOtherForRevs(self.to_repository,
 
167
                self.from_repository, [self._last_revision],
 
168
                find_ghosts=self.find_ghosts).execute()
 
169
        else: # self._last_revision is None:
 
170
            return graph.EverythingNotInOther(self.to_repository,
 
171
                self.from_repository,
 
172
                find_ghosts=self.find_ghosts).execute()
 
173
 
 
174
 
 
175
class Inter1and2Helper(object):
 
176
    """Helper for operations that convert data from model 1 and 2
 
177
 
 
178
    This is for use by fetchers and converters.
 
179
    """
 
180
 
 
181
    # This is a class variable so that the test suite can override it.
 
182
    known_graph_threshold = 100
 
183
 
 
184
    def __init__(self, source):
 
185
        """Constructor.
 
186
 
 
187
        :param source: The repository data comes from
 
188
        """
 
189
        self.source = source
 
190
 
 
191
    def iter_rev_trees(self, revs):
 
192
        """Iterate through RevisionTrees efficiently.
 
193
 
 
194
        Additionally, the inventory's revision_id is set if unset.
 
195
 
 
196
        Trees are retrieved in batches of 100, and then yielded in the order
 
197
        they were requested.
 
198
 
 
199
        :param revs: A list of revision ids
 
200
        """
 
201
        # In case that revs is not a list.
 
202
        revs = list(revs)
 
203
        while revs:
 
204
            for tree in self.source.revision_trees(revs[:100]):
 
205
                if tree.inventory.revision_id is None:
 
206
                    tree.inventory.revision_id = tree.get_revision_id()
 
207
                yield tree
 
208
            revs = revs[100:]
 
209
 
 
210
    def _find_root_ids(self, revs, parent_map, graph):
 
211
        revision_root = {}
 
212
        for tree in self.iter_rev_trees(revs):
 
213
            revision_id = tree.inventory.root.revision
 
214
            root_id = tree.get_root_id()
 
215
            revision_root[revision_id] = root_id
 
216
        # Find out which parents we don't already know root ids for
 
217
        parents = set()
 
218
        for revision_parents in parent_map.itervalues():
 
219
            parents.update(revision_parents)
 
220
        parents.difference_update(revision_root.keys() + [NULL_REVISION])
 
221
        # Limit to revisions present in the versionedfile
 
222
        parents = graph.get_parent_map(parents).keys()
 
223
        for tree in self.iter_rev_trees(parents):
 
224
            root_id = tree.get_root_id()
 
225
            revision_root[tree.get_revision_id()] = root_id
 
226
        return revision_root
 
227
 
 
228
    def generate_root_texts(self, revs):
 
229
        """Generate VersionedFiles for all root ids.
 
230
 
 
231
        :param revs: the revisions to include
 
232
        """
 
233
        graph = self.source.get_graph()
 
234
        parent_map = graph.get_parent_map(revs)
 
235
        rev_order = tsort.topo_sort(parent_map)
 
236
        rev_id_to_root_id = self._find_root_ids(revs, parent_map, graph)
 
237
        root_id_order = [(rev_id_to_root_id[rev_id], rev_id) for rev_id in
 
238
            rev_order]
 
239
        # Guaranteed stable, this groups all the file id operations together
 
240
        # retaining topological order within the revisions of a file id.
 
241
        # File id splits and joins would invalidate this, but they don't exist
 
242
        # yet, and are unlikely to in non-rich-root environments anyway.
 
243
        root_id_order.sort(key=operator.itemgetter(0))
 
244
        # Create a record stream containing the roots to create.
 
245
        if len(revs) > self.known_graph_threshold:
 
246
            graph = self.source.get_known_graph_ancestry(revs)
 
247
        new_roots_stream = _new_root_data_stream(
 
248
            root_id_order, rev_id_to_root_id, parent_map, self.source, graph)
 
249
        return [('texts', new_roots_stream)]
 
250
 
 
251
 
 
252
def _new_root_data_stream(
 
253
    root_keys_to_create, rev_id_to_root_id_map, parent_map, repo, graph=None):
 
254
    """Generate a texts substream of synthesised root entries.
 
255
 
 
256
    Used in fetches that do rich-root upgrades.
 
257
    
 
258
    :param root_keys_to_create: iterable of (root_id, rev_id) pairs describing
 
259
        the root entries to create.
 
260
    :param rev_id_to_root_id_map: dict of known rev_id -> root_id mappings for
 
261
        calculating the parents.  If a parent rev_id is not found here then it
 
262
        will be recalculated.
 
263
    :param parent_map: a parent map for all the revisions in
 
264
        root_keys_to_create.
 
265
    :param graph: a graph to use instead of repo.get_graph().
 
266
    """
 
267
    for root_key in root_keys_to_create:
 
268
        root_id, rev_id = root_key
 
269
        parent_keys = _parent_keys_for_root_version(
 
270
            root_id, rev_id, rev_id_to_root_id_map, parent_map, repo, graph)
 
271
        yield versionedfile.FulltextContentFactory(
 
272
            root_key, parent_keys, None, '')
 
273
 
 
274
 
 
275
def _parent_keys_for_root_version(
 
276
    root_id, rev_id, rev_id_to_root_id_map, parent_map, repo, graph=None):
 
277
    """Get the parent keys for a given root id.
 
278
    
 
279
    A helper function for _new_root_data_stream.
 
280
    """
 
281
    # Include direct parents of the revision, but only if they used the same
 
282
    # root_id and are heads.
 
283
    rev_parents = parent_map[rev_id]
 
284
    parent_ids = []
 
285
    for parent_id in rev_parents:
 
286
        if parent_id == NULL_REVISION:
 
287
            continue
 
288
        if parent_id not in rev_id_to_root_id_map:
 
289
            # We probably didn't read this revision, go spend the extra effort
 
290
            # to actually check
 
291
            try:
 
292
                tree = repo.revision_tree(parent_id)
 
293
            except errors.NoSuchRevision:
 
294
                # Ghost, fill out rev_id_to_root_id in case we encounter this
 
295
                # again.
 
296
                # But set parent_root_id to None since we don't really know
 
297
                parent_root_id = None
 
298
            else:
 
299
                parent_root_id = tree.get_root_id()
 
300
            rev_id_to_root_id_map[parent_id] = None
 
301
            # XXX: why not:
 
302
            #   rev_id_to_root_id_map[parent_id] = parent_root_id
 
303
            # memory consumption maybe?
 
304
        else:
 
305
            parent_root_id = rev_id_to_root_id_map[parent_id]
 
306
        if root_id == parent_root_id:
 
307
            # With stacking we _might_ want to refer to a non-local revision,
 
308
            # but this code path only applies when we have the full content
 
309
            # available, so ghosts really are ghosts, not just the edge of
 
310
            # local data.
 
311
            parent_ids.append(parent_id)
 
312
        else:
 
313
            # root_id may be in the parent anyway.
 
314
            try:
 
315
                tree = repo.revision_tree(parent_id)
 
316
            except errors.NoSuchRevision:
 
317
                # ghost, can't refer to it.
 
318
                pass
 
319
            else:
 
320
                try:
 
321
                    parent_ids.append(tree.inventory[root_id].revision)
 
322
                except errors.NoSuchId:
 
323
                    # not in the tree
 
324
                    pass
 
325
    # Drop non-head parents
 
326
    if graph is None:
 
327
        graph = repo.get_graph()
 
328
    heads = graph.heads(parent_ids)
 
329
    selected_ids = []
 
330
    for parent_id in parent_ids:
 
331
        if parent_id in heads and parent_id not in selected_ids:
 
332
            selected_ids.append(parent_id)
 
333
    parent_keys = [(root_id, parent_id) for parent_id in selected_ids]
 
334
    return parent_keys
 
335
 
 
336
 
 
337
class TargetRepoKinds(object):
 
338
    """An enum-like set of constants.
 
339
    
 
340
    They are the possible values of FetchSpecFactory.target_repo_kinds.
 
341
    """
 
342
    
 
343
    PREEXISTING = 'preexisting'
 
344
    STACKED = 'stacked'
 
345
    EMPTY = 'empty'
 
346
 
 
347
 
 
348
class FetchSpecFactory(object):
 
349
    """A helper for building the best fetch spec for a sprout call.
 
350
 
 
351
    Factors that go into determining the sort of fetch to perform:
 
352
     * did the caller specify any revision IDs?
 
353
     * did the caller specify a source branch (need to fetch its
 
354
       heads_to_fetch(), usually the tip + tags)
 
355
     * is there an existing target repo (don't need to refetch revs it
 
356
       already has)
 
357
     * target is stacked?  (similar to pre-existing target repo: even if
 
358
       the target itself is new don't want to refetch existing revs)
 
359
 
 
360
    :ivar source_branch: the source branch if one specified, else None.
 
361
    :ivar source_branch_stop_revision_id: fetch up to this revision of
 
362
        source_branch, rather than its tip.
 
363
    :ivar source_repo: the source repository if one found, else None.
 
364
    :ivar target_repo: the target repository acquired by sprout.
 
365
    :ivar target_repo_kind: one of the TargetRepoKinds constants.
 
366
    """
 
367
 
 
368
    def __init__(self):
 
369
        self._explicit_rev_ids = set()
 
370
        self.source_branch = None
 
371
        self.source_branch_stop_revision_id = None
 
372
        self.source_repo = None
 
373
        self.target_repo = None
 
374
        self.target_repo_kind = None
 
375
 
 
376
    def add_revision_ids(self, revision_ids):
 
377
        """Add revision_ids to the set of revision_ids to be fetched."""
 
378
        self._explicit_rev_ids.update(revision_ids)
 
379
        
 
380
    def make_fetch_spec(self):
 
381
        """Build a SearchResult or PendingAncestryResult or etc."""
 
382
        if self.target_repo_kind is None or self.source_repo is None:
 
383
            raise AssertionError(
 
384
                'Incomplete FetchSpecFactory: %r' % (self.__dict__,))
 
385
        if len(self._explicit_rev_ids) == 0 and self.source_branch is None:
 
386
            # Caller hasn't specified any revisions or source branch
 
387
            if self.target_repo_kind == TargetRepoKinds.EMPTY:
 
388
                return graph.EverythingResult(self.source_repo)
 
389
            else:
 
390
                # We want everything not already in the target (or target's
 
391
                # fallbacks).
 
392
                return graph.EverythingNotInOther(
 
393
                    self.target_repo, self.source_repo).execute()
 
394
        heads_to_fetch = set(self._explicit_rev_ids)
 
395
        if self.source_branch is not None:
 
396
            must_fetch, if_present_fetch = self.source_branch.heads_to_fetch()
 
397
            if self.source_branch_stop_revision_id is not None:
 
398
                # Replace the tip rev from must_fetch with the stop revision
 
399
                # XXX: this might be wrong if the tip rev is also in the
 
400
                # must_fetch set for other reasons (e.g. it's the tip of
 
401
                # multiple loom threads?), but then it's pretty unclear what it
 
402
                # should mean to specify a stop_revision in that case anyway.
 
403
                must_fetch.discard(self.source_branch.last_revision())
 
404
                must_fetch.add(self.source_branch_stop_revision_id)
 
405
            heads_to_fetch.update(must_fetch)
 
406
        else:
 
407
            if_present_fetch = set()
 
408
        if self.target_repo_kind == TargetRepoKinds.EMPTY:
 
409
            # PendingAncestryResult does not raise errors if a requested head
 
410
            # is absent.  Ideally it would support the
 
411
            # required_ids/if_present_ids distinction, but in practice
 
412
            # heads_to_fetch will almost certainly be present so this doesn't
 
413
            # matter much.
 
414
            all_heads = heads_to_fetch.union(if_present_fetch)
 
415
            return graph.PendingAncestryResult(all_heads, self.source_repo)
 
416
        return graph.NotInOtherForRevs(self.target_repo, self.source_repo,
 
417
            required_ids=heads_to_fetch, if_present_ids=if_present_fetch
 
418
            ).execute()
81
419
 
82
420