~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to bzrlib/fetch.py

  • Committer: Robert Collins
  • Date: 2005-10-19 10:11:57 UTC
  • mfrom: (1185.16.78)
  • mto: This revision was merged to the branch mainline in revision 1470.
  • Revision ID: robertc@robertcollins.net-20051019101157-17438d311e746b4f
mergeĀ fromĀ upstream

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
 
# Copyright (C) 2005-2010 Canonical Ltd
2
 
#
 
1
# Copyright (C) 2005 by 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., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
16
 
 
 
15
# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 
16
 
 
17
import os
 
18
from cStringIO import StringIO
 
19
 
 
20
import bzrlib
 
21
import bzrlib.errors as errors
 
22
from bzrlib.errors import InstallFailed, NoSuchRevision, WeaveError
 
23
from bzrlib.trace import mutter, note, warning
 
24
from bzrlib.branch import Branch
 
25
from bzrlib.progress import ProgressBar
 
26
from bzrlib.xml5 import serializer_v5
 
27
from bzrlib.osutils import sha_string, split_lines
17
28
 
18
29
"""Copying of history from one branch to another.
19
30
 
21
32
that has merged into it.  As the first step of a merge, pull, or
22
33
branch operation we copy history from the source into the destination
23
34
branch.
 
35
 
 
36
The copying is done in a slightly complicated order.  We don't want to
 
37
add a revision to the store until everything it refers to is also
 
38
stored, so that if a revision is present we can totally recreate it.
 
39
However, we can't know what files are included in a revision until we
 
40
read its inventory.  Therefore, we first pull the XML and hold it in
 
41
memory until we've updated all of the files referenced.
24
42
"""
25
43
 
26
 
import operator
27
 
 
28
 
from bzrlib.lazy_import import lazy_import
29
 
lazy_import(globals(), """
30
 
from bzrlib import (
31
 
    tsort,
32
 
    versionedfile,
33
 
    )
34
 
""")
35
 
import bzrlib
36
 
from bzrlib import (
37
 
    errors,
38
 
    ui,
39
 
    )
40
 
from bzrlib.revision import NULL_REVISION
41
 
from bzrlib.trace import mutter
42
 
 
43
 
 
44
 
class RepoFetcher(object):
45
 
    """Pull revisions and texts from one repository to another.
46
 
 
47
 
    This should not be used directly, it's essential a object to encapsulate
48
 
    the logic in InterRepository.fetch().
 
44
# TODO: Avoid repeatedly opening weaves so many times.
 
45
 
 
46
# XXX: This doesn't handle ghost (not present in branch) revisions at
 
47
# all yet.  I'm not sure they really should be supported.
 
48
 
 
49
# NOTE: This doesn't copy revisions which may be present but not
 
50
# merged into the last revision.  I'm not sure we want to do that.
 
51
 
 
52
# - get a list of revisions that need to be pulled in
 
53
# - for each one, pull in that revision file
 
54
#   and get the inventory, and store the inventory with right
 
55
#   parents.
 
56
# - and get the ancestry, and store that with right parents too
 
57
# - and keep a note of all file ids and version seen
 
58
# - then go through all files; for each one get the weave,
 
59
#   and add in all file versions
 
60
 
 
61
 
 
62
 
 
63
def greedy_fetch(to_branch, from_branch, revision=None, pb=None):
 
64
    f = Fetcher(to_branch, from_branch, revision, pb)
 
65
    return f.count_copied, f.failed_revisions
 
66
 
 
67
 
 
68
 
 
69
class Fetcher(object):
 
70
    """Pull revisions and texts from one branch to another.
 
71
 
 
72
    This doesn't update the destination's history; that can be done
 
73
    separately if desired.  
 
74
 
 
75
    revision_limit
 
76
        If set, pull only up to this revision_id.
 
77
 
 
78
    After running:
 
79
 
 
80
    last_revision -- if last_revision
 
81
        is given it will be that, otherwise the last revision of
 
82
        from_branch
 
83
 
 
84
    count_copied -- number of revisions copied
 
85
 
 
86
    count_weaves -- number of file weaves copied
49
87
    """
50
 
 
51
 
    def __init__(self, to_repository, from_repository, last_revision=None,
52
 
        find_ghosts=True, fetch_spec=None):
53
 
        """Create a repo fetcher.
54
 
 
55
 
        :param last_revision: If set, try to limit to the data this revision
56
 
            references.
57
 
        :param find_ghosts: If True search the entire history for ghosts.
58
 
        """
59
 
        # repository.fetch has the responsibility for short-circuiting
60
 
        # attempts to copy between a repository and itself.
61
 
        self.to_repository = to_repository
62
 
        self.from_repository = from_repository
63
 
        self.sink = to_repository._get_sink()
64
 
        # must not mutate self._last_revision as its potentially a shared instance
65
 
        self._last_revision = last_revision
66
 
        self._fetch_spec = fetch_spec
67
 
        self.find_ghosts = find_ghosts
68
 
        self.from_repository.lock_read()
69
 
        mutter("Using fetch logic to copy between %s(%s) and %s(%s)",
70
 
               self.from_repository, self.from_repository._format,
71
 
               self.to_repository, self.to_repository._format)
72
 
        try:
73
 
            self.__fetch()
74
 
        finally:
75
 
            self.from_repository.unlock()
76
 
 
77
 
    def __fetch(self):
78
 
        """Primary worker function.
79
 
 
80
 
        This initialises all the needed variables, and then fetches the
81
 
        requested revisions, finally clearing the progress bar.
82
 
        """
83
 
        # Roughly this is what we're aiming for fetch to become:
84
 
        #
85
 
        # missing = self.sink.insert_stream(self.source.get_stream(search))
86
 
        # if missing:
87
 
        #     missing = self.sink.insert_stream(self.source.get_items(missing))
88
 
        # assert not missing
 
88
    def __init__(self, to_branch, from_branch, last_revision=None, pb=None):
 
89
        if to_branch == from_branch:
 
90
            raise Exception("can't fetch from a branch to itself")
 
91
        self.to_branch = to_branch
 
92
        self.to_weaves = to_branch.weave_store
 
93
        self.to_control = to_branch.control_weaves
 
94
        self.from_branch = from_branch
 
95
        self.from_weaves = from_branch.weave_store
 
96
        self.from_control = from_branch.control_weaves
 
97
        self.failed_revisions = []
 
98
        self.count_copied = 0
89
99
        self.count_total = 0
90
 
        self.file_ids_names = {}
91
 
        pb = ui.ui_factory.nested_progress_bar()
92
 
        pb.show_pct = pb.show_count = False
93
 
        try:
94
 
            pb.update("Finding revisions", 0, 2)
95
 
            search = self._revids_to_fetch()
96
 
            if search is None:
97
 
                return
98
 
            pb.update("Fetching revisions", 1, 2)
99
 
            self._fetch_everything_for_search(search)
100
 
        finally:
101
 
            pb.finished()
102
 
 
103
 
    def _fetch_everything_for_search(self, search):
104
 
        """Fetch all data for the given set of revisions."""
105
 
        # The first phase is "file".  We pass the progress bar for it directly
106
 
        # into item_keys_introduced_by, which has more information about how
107
 
        # that phase is progressing than we do.  Progress updates for the other
108
 
        # phases are taken care of in this function.
109
 
        # XXX: there should be a clear owner of the progress reporting.  Perhaps
110
 
        # item_keys_introduced_by should have a richer API than it does at the
111
 
        # moment, so that it can feed the progress information back to this
112
 
        # function?
113
 
        if (self.from_repository._format.rich_root_data and
114
 
            not self.to_repository._format.rich_root_data):
115
 
            raise errors.IncompatibleRepositories(
116
 
                self.from_repository, self.to_repository,
117
 
                "different rich-root support")
118
 
        pb = ui.ui_factory.nested_progress_bar()
119
 
        try:
120
 
            pb.update("Get stream source")
121
 
            source = self.from_repository._get_source(
122
 
                self.to_repository._format)
123
 
            stream = source.get_stream(search)
124
 
            from_format = self.from_repository._format
125
 
            pb.update("Inserting stream")
126
 
            resume_tokens, missing_keys = self.sink.insert_stream(
127
 
                stream, from_format, [])
128
 
            if self.to_repository._fallback_repositories:
129
 
                missing_keys.update(
130
 
                    self._parent_inventories(search.get_keys()))
131
 
            if missing_keys:
132
 
                pb.update("Missing keys")
133
 
                stream = source.get_stream_for_missing_keys(missing_keys)
134
 
                pb.update("Inserting missing keys")
135
 
                resume_tokens, missing_keys = self.sink.insert_stream(
136
 
                    stream, from_format, resume_tokens)
137
 
            if missing_keys:
138
 
                raise AssertionError(
139
 
                    "second push failed to complete a fetch %r." % (
140
 
                        missing_keys,))
141
 
            if resume_tokens:
142
 
                raise AssertionError(
143
 
                    "second push failed to commit the fetch %r." % (
144
 
                        resume_tokens,))
145
 
            pb.update("Finishing stream")
146
 
            self.sink.finished()
147
 
        finally:
148
 
            pb.finished()
149
 
 
150
 
    def _revids_to_fetch(self):
151
 
        """Determines the exact revisions needed from self.from_repository to
152
 
        install self._last_revision in self.to_repository.
153
 
 
154
 
        If no revisions need to be fetched, then this just returns None.
155
 
        """
156
 
        if self._fetch_spec is not None:
157
 
            return self._fetch_spec
158
 
        mutter('fetch up to rev {%s}', self._last_revision)
159
 
        if self._last_revision is NULL_REVISION:
160
 
            # explicit limit of no revisions needed
161
 
            return None
162
 
        return self.to_repository.search_missing_revision_ids(
163
 
            self.from_repository, self._last_revision,
164
 
            find_ghosts=self.find_ghosts)
165
 
 
166
 
    def _parent_inventories(self, revision_ids):
167
 
        # Find all the parent revisions referenced by the stream, but
168
 
        # not present in the stream, and make sure we send their
169
 
        # inventories.
170
 
        parent_maps = self.to_repository.get_parent_map(revision_ids)
171
 
        parents = set()
172
 
        map(parents.update, parent_maps.itervalues())
173
 
        parents.discard(NULL_REVISION)
174
 
        parents.difference_update(revision_ids)
175
 
        missing_keys = set(('inventories', rev_id) for rev_id in parents)
176
 
        return missing_keys
177
 
 
178
 
 
179
 
class Inter1and2Helper(object):
180
 
    """Helper for operations that convert data from model 1 and 2
181
 
 
182
 
    This is for use by fetchers and converters.
183
 
    """
184
 
 
185
 
    # This is a class variable so that the test suite can override it.
186
 
    known_graph_threshold = 100
187
 
 
188
 
    def __init__(self, source):
189
 
        """Constructor.
190
 
 
191
 
        :param source: The repository data comes from
192
 
        """
193
 
        self.source = source
194
 
 
195
 
    def iter_rev_trees(self, revs):
196
 
        """Iterate through RevisionTrees efficiently.
197
 
 
198
 
        Additionally, the inventory's revision_id is set if unset.
199
 
 
200
 
        Trees are retrieved in batches of 100, and then yielded in the order
201
 
        they were requested.
202
 
 
203
 
        :param revs: A list of revision ids
204
 
        """
205
 
        # In case that revs is not a list.
206
 
        revs = list(revs)
207
 
        while revs:
208
 
            for tree in self.source.revision_trees(revs[:100]):
209
 
                if tree.inventory.revision_id is None:
210
 
                    tree.inventory.revision_id = tree.get_revision_id()
211
 
                yield tree
212
 
            revs = revs[100:]
213
 
 
214
 
    def _find_root_ids(self, revs, parent_map, graph):
215
 
        revision_root = {}
216
 
        for tree in self.iter_rev_trees(revs):
217
 
            revision_id = tree.inventory.root.revision
218
 
            root_id = tree.get_root_id()
219
 
            revision_root[revision_id] = root_id
220
 
        # Find out which parents we don't already know root ids for
221
 
        parents = set()
222
 
        for revision_parents in parent_map.itervalues():
223
 
            parents.update(revision_parents)
224
 
        parents.difference_update(revision_root.keys() + [NULL_REVISION])
225
 
        # Limit to revisions present in the versionedfile
226
 
        parents = graph.get_parent_map(parents).keys()
227
 
        for tree in self.iter_rev_trees(parents):
228
 
            root_id = tree.get_root_id()
229
 
            revision_root[tree.get_revision_id()] = root_id
230
 
        return revision_root
231
 
 
232
 
    def generate_root_texts(self, revs):
233
 
        """Generate VersionedFiles for all root ids.
234
 
 
235
 
        :param revs: the revisions to include
236
 
        """
237
 
        graph = self.source.get_graph()
238
 
        parent_map = graph.get_parent_map(revs)
239
 
        rev_order = tsort.topo_sort(parent_map)
240
 
        rev_id_to_root_id = self._find_root_ids(revs, parent_map, graph)
241
 
        root_id_order = [(rev_id_to_root_id[rev_id], rev_id) for rev_id in
242
 
            rev_order]
243
 
        # Guaranteed stable, this groups all the file id operations together
244
 
        # retaining topological order within the revisions of a file id.
245
 
        # File id splits and joins would invalidate this, but they don't exist
246
 
        # yet, and are unlikely to in non-rich-root environments anyway.
247
 
        root_id_order.sort(key=operator.itemgetter(0))
248
 
        # Create a record stream containing the roots to create.
249
 
        if len(revs) > self.known_graph_threshold:
250
 
            graph = self.source.get_known_graph_ancestry(revs)
251
 
        new_roots_stream = _new_root_data_stream(
252
 
            root_id_order, rev_id_to_root_id, parent_map, self.source, graph)
253
 
        return [('texts', new_roots_stream)]
254
 
 
255
 
 
256
 
def _new_root_data_stream(
257
 
    root_keys_to_create, rev_id_to_root_id_map, parent_map, repo, graph=None):
258
 
    """Generate a texts substream of synthesised root entries.
259
 
 
260
 
    Used in fetches that do rich-root upgrades.
261
 
    
262
 
    :param root_keys_to_create: iterable of (root_id, rev_id) pairs describing
263
 
        the root entries to create.
264
 
    :param rev_id_to_root_id_map: dict of known rev_id -> root_id mappings for
265
 
        calculating the parents.  If a parent rev_id is not found here then it
266
 
        will be recalculated.
267
 
    :param parent_map: a parent map for all the revisions in
268
 
        root_keys_to_create.
269
 
    :param graph: a graph to use instead of repo.get_graph().
270
 
    """
271
 
    for root_key in root_keys_to_create:
272
 
        root_id, rev_id = root_key
273
 
        parent_keys = _parent_keys_for_root_version(
274
 
            root_id, rev_id, rev_id_to_root_id_map, parent_map, repo, graph)
275
 
        yield versionedfile.FulltextContentFactory(
276
 
            root_key, parent_keys, None, '')
277
 
 
278
 
 
279
 
def _parent_keys_for_root_version(
280
 
    root_id, rev_id, rev_id_to_root_id_map, parent_map, repo, graph=None):
281
 
    """Get the parent keys for a given root id.
282
 
    
283
 
    A helper function for _new_root_data_stream.
284
 
    """
285
 
    # Include direct parents of the revision, but only if they used the same
286
 
    # root_id and are heads.
287
 
    rev_parents = parent_map[rev_id]
288
 
    parent_ids = []
289
 
    for parent_id in rev_parents:
290
 
        if parent_id == NULL_REVISION:
291
 
            continue
292
 
        if parent_id not in rev_id_to_root_id_map:
293
 
            # We probably didn't read this revision, go spend the extra effort
294
 
            # to actually check
295
 
            try:
296
 
                tree = repo.revision_tree(parent_id)
297
 
            except errors.NoSuchRevision:
298
 
                # Ghost, fill out rev_id_to_root_id in case we encounter this
299
 
                # again.
300
 
                # But set parent_root_id to None since we don't really know
301
 
                parent_root_id = None
302
 
            else:
303
 
                parent_root_id = tree.get_root_id()
304
 
            rev_id_to_root_id_map[parent_id] = None
305
 
            # XXX: why not:
306
 
            #   rev_id_to_root_id_map[parent_id] = parent_root_id
307
 
            # memory consumption maybe?
308
 
        else:
309
 
            parent_root_id = rev_id_to_root_id_map[parent_id]
310
 
        if root_id == parent_root_id:
311
 
            # With stacking we _might_ want to refer to a non-local revision,
312
 
            # but this code path only applies when we have the full content
313
 
            # available, so ghosts really are ghosts, not just the edge of
314
 
            # local data.
315
 
            parent_ids.append(parent_id)
316
 
        else:
317
 
            # root_id may be in the parent anyway.
318
 
            try:
319
 
                tree = repo.revision_tree(parent_id)
320
 
            except errors.NoSuchRevision:
321
 
                # ghost, can't refer to it.
322
 
                pass
323
 
            else:
324
 
                try:
325
 
                    parent_ids.append(tree.inventory[root_id].revision)
326
 
                except errors.NoSuchId:
327
 
                    # not in the tree
328
 
                    pass
329
 
    # Drop non-head parents
330
 
    if graph is None:
331
 
        graph = repo.get_graph()
332
 
    heads = graph.heads(parent_ids)
333
 
    selected_ids = []
334
 
    for parent_id in parent_ids:
335
 
        if parent_id in heads and parent_id not in selected_ids:
336
 
            selected_ids.append(parent_id)
337
 
    parent_keys = [(root_id, parent_id) for parent_id in selected_ids]
338
 
    return parent_keys
 
100
        self.count_weaves = 0
 
101
        self.copied_file_ids = set()
 
102
        if pb is None:
 
103
            self.pb = bzrlib.ui.ui_factory.progress_bar()
 
104
        else:
 
105
            self.pb = pb
 
106
        self.from_branch.lock_read()
 
107
        try:
 
108
            self._fetch_revisions(last_revision)
 
109
        finally:
 
110
            self.from_branch.unlock()
 
111
            self.pb.clear()
 
112
 
 
113
    def _fetch_revisions(self, last_revision):
 
114
        self.last_revision = self._find_last_revision(last_revision)
 
115
        mutter('fetch up to rev {%s}', self.last_revision)
 
116
        if (self.last_revision is not None and 
 
117
            self.to_branch.has_revision(self.last_revision)):
 
118
            return
 
119
        try:
 
120
            revs_to_fetch = self._compare_ancestries()
 
121
        except WeaveError:
 
122
            raise InstallFailed([self.last_revision])
 
123
        self._copy_revisions(revs_to_fetch)
 
124
        self.new_ancestry = revs_to_fetch
 
125
 
 
126
    def _find_last_revision(self, last_revision):
 
127
        """Find the limiting source revision.
 
128
 
 
129
        Every ancestor of that revision will be merged across.
 
130
 
 
131
        Returns the revision_id, or returns None if there's no history
 
132
        in the source branch."""
 
133
        if last_revision:
 
134
            return last_revision
 
135
        self.pb.update('get source history')
 
136
        from_history = self.from_branch.revision_history()
 
137
        self.pb.update('get destination history')
 
138
        if from_history:
 
139
            return from_history[-1]
 
140
        else:
 
141
            return None                 # no history in the source branch
 
142
            
 
143
 
 
144
    def _compare_ancestries(self):
 
145
        """Get a list of revisions that must be copied.
 
146
 
 
147
        That is, every revision that's in the ancestry of the source
 
148
        branch and not in the destination branch."""
 
149
        self.pb.update('get source ancestry')
 
150
        self.from_ancestry = self.from_branch.get_ancestry(self.last_revision)
 
151
 
 
152
        dest_last_rev = self.to_branch.last_revision()
 
153
        self.pb.update('get destination ancestry')
 
154
        if dest_last_rev:
 
155
            dest_ancestry = self.to_branch.get_ancestry(dest_last_rev)
 
156
        else:
 
157
            dest_ancestry = []
 
158
        ss = set(dest_ancestry)
 
159
        to_fetch = []
 
160
        for rev_id in self.from_ancestry:
 
161
            if rev_id not in ss:
 
162
                to_fetch.append(rev_id)
 
163
                mutter('need to get revision {%s}', rev_id)
 
164
        mutter('need to get %d revisions in total', len(to_fetch))
 
165
        self.count_total = len(to_fetch)
 
166
        return to_fetch
 
167
 
 
168
    def _copy_revisions(self, revs_to_fetch):
 
169
        i = 0
 
170
        for rev_id in revs_to_fetch:
 
171
            i += 1
 
172
            if rev_id is None:
 
173
                continue
 
174
            if self.to_branch.has_revision(rev_id):
 
175
                continue
 
176
            self.pb.update('fetch revision', i, self.count_total)
 
177
            self._copy_one_revision(rev_id)
 
178
            self.count_copied += 1
 
179
 
 
180
 
 
181
    def _copy_one_revision(self, rev_id):
 
182
        """Copy revision and everything referenced by it."""
 
183
        mutter('copying revision {%s}', rev_id)
 
184
        rev_xml = self.from_branch.get_revision_xml(rev_id)
 
185
        inv_xml = self.from_branch.get_inventory_xml(rev_id)
 
186
        rev = serializer_v5.read_revision_from_string(rev_xml)
 
187
        inv = serializer_v5.read_inventory_from_string(inv_xml)
 
188
        assert rev.revision_id == rev_id
 
189
        assert rev.inventory_sha1 == sha_string(inv_xml)
 
190
        mutter('  commiter %s, %d parents',
 
191
               rev.committer,
 
192
               len(rev.parent_ids))
 
193
        self._copy_new_texts(rev_id, inv)
 
194
        parents = rev.parent_ids
 
195
        for parent in parents:
 
196
            if not self.to_branch.has_revision(parent):
 
197
                parents.pop(parents.index(parent))
 
198
        self._copy_inventory(rev_id, inv_xml, parents)
 
199
        self.to_branch.revision_store.add(StringIO(rev_xml), rev_id)
 
200
        mutter('copied revision %s', rev_id)
 
201
 
 
202
 
 
203
    def _copy_inventory(self, rev_id, inv_xml, parent_ids):
 
204
        self.to_control.add_text('inventory', rev_id,
 
205
                                split_lines(inv_xml), parent_ids,
 
206
                                self.to_branch.get_transaction())
 
207
 
 
208
    def _copy_new_texts(self, rev_id, inv):
 
209
        """Copy any new texts occuring in this revision."""
 
210
        # TODO: Rather than writing out weaves every time, hold them
 
211
        # in memory until everything's done?  But this way is nicer
 
212
        # if it's interrupted.
 
213
        for path, ie in inv.iter_entries():
 
214
            if ie.revision != rev_id:
 
215
                continue
 
216
            mutter('%s {%s} is changed in this revision',
 
217
                   path, ie.file_id)
 
218
            self._copy_one_weave(rev_id, ie.file_id)
 
219
 
 
220
 
 
221
    def _copy_one_weave(self, rev_id, file_id):
 
222
        """Copy one file weave."""
 
223
        mutter('copy file {%s} modified in {%s}', file_id, rev_id)
 
224
        if file_id in self.copied_file_ids:
 
225
            mutter('file {%s} already copied', file_id)
 
226
            return
 
227
        from_weave = self.from_weaves.get_weave(file_id,
 
228
            self.from_branch.get_transaction())
 
229
        to_weave = self.to_weaves.get_weave_or_empty(file_id,
 
230
            self.to_branch.get_transaction())
 
231
        try:
 
232
            to_weave.join(from_weave)
 
233
        except errors.WeaveParentMismatch:
 
234
            to_weave.reweave(from_weave)
 
235
        self.to_weaves.put_weave(file_id, to_weave,
 
236
            self.to_branch.get_transaction())
 
237
        self.count_weaves += 1
 
238
        self.copied_file_ids.add(file_id)
 
239
        mutter('copied file {%s}', file_id)
 
240
 
 
241
 
 
242
fetch = Fetcher