~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to bzrlib/knit.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, 2007 Canonical Ltd
 
1
# Copyright (C) 2006-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
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
 
15
# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
16
16
 
17
17
"""Knit versionedfile implementation.
18
18
 
20
20
updates.
21
21
 
22
22
Knit file layout:
23
 
lifeless: the data file is made up of "delta records".  each delta record has a delta header 
24
 
that contains; (1) a version id, (2) the size of the delta (in lines), and (3)  the digest of 
25
 
the -expanded data- (ie, the delta applied to the parent).  the delta also ends with a 
 
23
lifeless: the data file is made up of "delta records".  each delta record has a delta header
 
24
that contains; (1) a version id, (2) the size of the delta (in lines), and (3)  the digest of
 
25
the -expanded data- (ie, the delta applied to the parent).  the delta also ends with a
26
26
end-marker; simply "end VERSION"
27
27
 
28
28
delta can be line or full contents.a
35
35
130,130,2
36
36
8         if elt.get('executable') == 'yes':
37
37
8             ie.executable = True
38
 
end robertc@robertcollins.net-20051003014215-ee2990904cc4c7ad 
 
38
end robertc@robertcollins.net-20051003014215-ee2990904cc4c7ad
39
39
 
40
40
 
41
41
whats in an index:
51
51
 
52
52
"""
53
53
 
54
 
# TODOS:
55
 
# 10:16 < lifeless> make partial index writes safe
56
 
# 10:16 < lifeless> implement 'knit.check()' like weave.check()
57
 
# 10:17 < lifeless> record known ghosts so we can detect when they are filled in rather than the current 'reweave 
58
 
#                    always' approach.
59
 
# move sha1 out of the content so that join is faster at verifying parents
60
 
# record content length ?
61
 
                  
 
54
from __future__ import absolute_import
 
55
 
62
56
 
63
57
from cStringIO import StringIO
64
 
from itertools import izip, chain
 
58
from itertools import izip
65
59
import operator
66
60
import os
67
61
 
68
62
from bzrlib.lazy_import import lazy_import
69
63
lazy_import(globals(), """
 
64
import gzip
 
65
 
70
66
from bzrlib import (
71
 
    annotate,
72
67
    debug,
73
68
    diff,
74
69
    graph as _mod_graph,
75
70
    index as _mod_index,
76
 
    lru_cache,
77
71
    pack,
78
 
    progress,
 
72
    patiencediff,
 
73
    static_tuple,
79
74
    trace,
80
75
    tsort,
81
76
    tuned_gzip,
 
77
    ui,
82
78
    )
 
79
 
 
80
from bzrlib.repofmt import pack_repo
 
81
from bzrlib.i18n import gettext
83
82
""")
84
83
from bzrlib import (
 
84
    annotate,
85
85
    errors,
86
86
    osutils,
87
 
    patiencediff,
88
87
    )
89
88
from bzrlib.errors import (
90
 
    FileExists,
91
89
    NoSuchFile,
92
 
    KnitError,
93
90
    InvalidRevisionId,
94
91
    KnitCorrupt,
95
92
    KnitHeaderError,
96
93
    RevisionNotPresent,
97
 
    RevisionAlreadyPresent,
98
94
    SHA1KnitCorrupt,
99
95
    )
100
96
from bzrlib.osutils import (
101
97
    contains_whitespace,
102
 
    contains_linebreaks,
103
98
    sha_string,
104
99
    sha_strings,
105
100
    split_lines,
106
101
    )
107
102
from bzrlib.versionedfile import (
 
103
    _KeyRefs,
108
104
    AbsentContentFactory,
109
105
    adapter_registry,
110
106
    ConstantMapper,
111
107
    ContentFactory,
112
 
    FulltextContentFactory,
113
 
    VersionedFile,
114
 
    VersionedFiles,
 
108
    sort_groupcompress,
 
109
    VersionedFilesWithFallbacks,
115
110
    )
116
111
 
117
112
 
130
125
 
131
126
DATA_SUFFIX = '.knit'
132
127
INDEX_SUFFIX = '.kndx'
 
128
_STREAM_MIN_BUFFER_SIZE = 5*1024*1024
133
129
 
134
130
 
135
131
class KnitAdapter(object):
137
133
 
138
134
    def __init__(self, basis_vf):
139
135
        """Create an adapter which accesses full texts from basis_vf.
140
 
        
 
136
 
141
137
        :param basis_vf: A versioned file to access basis texts of deltas from.
142
138
            May be None for adapters that do not need to access basis texts.
143
139
        """
150
146
class FTAnnotatedToUnannotated(KnitAdapter):
151
147
    """An adapter from FT annotated knits to unannotated ones."""
152
148
 
153
 
    def get_bytes(self, factory, annotated_compressed_bytes):
 
149
    def get_bytes(self, factory):
 
150
        annotated_compressed_bytes = factory._raw_record
154
151
        rec, contents = \
155
152
            self._data._parse_record_unchecked(annotated_compressed_bytes)
156
153
        content = self._annotate_factory.parse_fulltext(contents, rec[1])
161
158
class DeltaAnnotatedToUnannotated(KnitAdapter):
162
159
    """An adapter for deltas from annotated to unannotated."""
163
160
 
164
 
    def get_bytes(self, factory, annotated_compressed_bytes):
 
161
    def get_bytes(self, factory):
 
162
        annotated_compressed_bytes = factory._raw_record
165
163
        rec, contents = \
166
164
            self._data._parse_record_unchecked(annotated_compressed_bytes)
167
165
        delta = self._annotate_factory.parse_line_delta(contents, rec[1],
174
172
class FTAnnotatedToFullText(KnitAdapter):
175
173
    """An adapter from FT annotated knits to unannotated ones."""
176
174
 
177
 
    def get_bytes(self, factory, annotated_compressed_bytes):
 
175
    def get_bytes(self, factory):
 
176
        annotated_compressed_bytes = factory._raw_record
178
177
        rec, contents = \
179
178
            self._data._parse_record_unchecked(annotated_compressed_bytes)
180
179
        content, delta = self._annotate_factory.parse_record(factory.key[-1],
185
184
class DeltaAnnotatedToFullText(KnitAdapter):
186
185
    """An adapter for deltas from annotated to unannotated."""
187
186
 
188
 
    def get_bytes(self, factory, annotated_compressed_bytes):
 
187
    def get_bytes(self, factory):
 
188
        annotated_compressed_bytes = factory._raw_record
189
189
        rec, contents = \
190
190
            self._data._parse_record_unchecked(annotated_compressed_bytes)
191
191
        delta = self._annotate_factory.parse_line_delta(contents, rec[1],
195
195
            [compression_parent], 'unordered', True).next()
196
196
        if basis_entry.storage_kind == 'absent':
197
197
            raise errors.RevisionNotPresent(compression_parent, self._basis_vf)
198
 
        basis_lines = split_lines(basis_entry.get_bytes_as('fulltext'))
 
198
        basis_chunks = basis_entry.get_bytes_as('chunked')
 
199
        basis_lines = osutils.chunks_to_lines(basis_chunks)
199
200
        # Manually apply the delta because we have one annotated content and
200
201
        # one plain.
201
202
        basis_content = PlainKnitContent(basis_lines, compression_parent)
207
208
class FTPlainToFullText(KnitAdapter):
208
209
    """An adapter from FT plain knits to unannotated ones."""
209
210
 
210
 
    def get_bytes(self, factory, compressed_bytes):
 
211
    def get_bytes(self, factory):
 
212
        compressed_bytes = factory._raw_record
211
213
        rec, contents = \
212
214
            self._data._parse_record_unchecked(compressed_bytes)
213
215
        content, delta = self._plain_factory.parse_record(factory.key[-1],
218
220
class DeltaPlainToFullText(KnitAdapter):
219
221
    """An adapter for deltas from annotated to unannotated."""
220
222
 
221
 
    def get_bytes(self, factory, compressed_bytes):
 
223
    def get_bytes(self, factory):
 
224
        compressed_bytes = factory._raw_record
222
225
        rec, contents = \
223
226
            self._data._parse_record_unchecked(compressed_bytes)
224
227
        delta = self._plain_factory.parse_line_delta(contents, rec[1])
228
231
            [compression_parent], 'unordered', True).next()
229
232
        if basis_entry.storage_kind == 'absent':
230
233
            raise errors.RevisionNotPresent(compression_parent, self._basis_vf)
231
 
        basis_lines = split_lines(basis_entry.get_bytes_as('fulltext'))
 
234
        basis_chunks = basis_entry.get_bytes_as('chunked')
 
235
        basis_lines = osutils.chunks_to_lines(basis_chunks)
232
236
        basis_content = PlainKnitContent(basis_lines, compression_parent)
233
237
        # Manually apply the delta because we have one annotated content and
234
238
        # one plain.
239
243
 
240
244
class KnitContentFactory(ContentFactory):
241
245
    """Content factory for streaming from knits.
242
 
    
 
246
 
243
247
    :seealso ContentFactory:
244
248
    """
245
249
 
246
250
    def __init__(self, key, parents, build_details, sha1, raw_record,
247
 
        annotated, knit=None):
 
251
        annotated, knit=None, network_bytes=None):
248
252
        """Create a KnitContentFactory for key.
249
 
        
 
253
 
250
254
        :param key: The key.
251
255
        :param parents: The parents.
252
256
        :param build_details: The build details as returned from
254
258
        :param sha1: The sha1 expected from the full text of this object.
255
259
        :param raw_record: The bytes of the knit data from disk.
256
260
        :param annotated: True if the raw data is annotated.
 
261
        :param network_bytes: None to calculate the network bytes on demand,
 
262
            not-none if they are already known.
257
263
        """
258
264
        ContentFactory.__init__(self)
259
265
        self.sha1 = sha1
269
275
            annotated_kind = ''
270
276
        self.storage_kind = 'knit-%s%s-gz' % (annotated_kind, kind)
271
277
        self._raw_record = raw_record
 
278
        self._network_bytes = network_bytes
272
279
        self._build_details = build_details
273
280
        self._knit = knit
274
281
 
275
 
    def get_bytes_as(self, storage_kind):
276
 
        if storage_kind == self.storage_kind:
277
 
            return self._raw_record
278
 
        if storage_kind == 'fulltext' and self._knit is not None:
279
 
            return self._knit.get_text(self.key[0])
280
 
        else:
281
 
            raise errors.UnavailableRepresentation(self.key, storage_kind,
282
 
                self.storage_kind)
 
282
    def _create_network_bytes(self):
 
283
        """Create a fully serialised network version for transmission."""
 
284
        # storage_kind, key, parents, Noeol, raw_record
 
285
        key_bytes = '\x00'.join(self.key)
 
286
        if self.parents is None:
 
287
            parent_bytes = 'None:'
 
288
        else:
 
289
            parent_bytes = '\t'.join('\x00'.join(key) for key in self.parents)
 
290
        if self._build_details[1]:
 
291
            noeol = 'N'
 
292
        else:
 
293
            noeol = ' '
 
294
        network_bytes = "%s\n%s\n%s\n%s%s" % (self.storage_kind, key_bytes,
 
295
            parent_bytes, noeol, self._raw_record)
 
296
        self._network_bytes = network_bytes
 
297
 
 
298
    def get_bytes_as(self, storage_kind):
 
299
        if storage_kind == self.storage_kind:
 
300
            if self._network_bytes is None:
 
301
                self._create_network_bytes()
 
302
            return self._network_bytes
 
303
        if ('-ft-' in self.storage_kind and
 
304
            storage_kind in ('chunked', 'fulltext')):
 
305
            adapter_key = (self.storage_kind, 'fulltext')
 
306
            adapter_factory = adapter_registry.get(adapter_key)
 
307
            adapter = adapter_factory(None)
 
308
            bytes = adapter.get_bytes(self)
 
309
            if storage_kind == 'chunked':
 
310
                return [bytes]
 
311
            else:
 
312
                return bytes
 
313
        if self._knit is not None:
 
314
            # Not redundant with direct conversion above - that only handles
 
315
            # fulltext cases.
 
316
            if storage_kind == 'chunked':
 
317
                return self._knit.get_lines(self.key[0])
 
318
            elif storage_kind == 'fulltext':
 
319
                return self._knit.get_text(self.key[0])
 
320
        raise errors.UnavailableRepresentation(self.key, storage_kind,
 
321
            self.storage_kind)
 
322
 
 
323
 
 
324
class LazyKnitContentFactory(ContentFactory):
 
325
    """A ContentFactory which can either generate full text or a wire form.
 
326
 
 
327
    :seealso ContentFactory:
 
328
    """
 
329
 
 
330
    def __init__(self, key, parents, generator, first):
 
331
        """Create a LazyKnitContentFactory.
 
332
 
 
333
        :param key: The key of the record.
 
334
        :param parents: The parents of the record.
 
335
        :param generator: A _ContentMapGenerator containing the record for this
 
336
            key.
 
337
        :param first: Is this the first content object returned from generator?
 
338
            if it is, its storage kind is knit-delta-closure, otherwise it is
 
339
            knit-delta-closure-ref
 
340
        """
 
341
        self.key = key
 
342
        self.parents = parents
 
343
        self.sha1 = None
 
344
        self._generator = generator
 
345
        self.storage_kind = "knit-delta-closure"
 
346
        if not first:
 
347
            self.storage_kind = self.storage_kind + "-ref"
 
348
        self._first = first
 
349
 
 
350
    def get_bytes_as(self, storage_kind):
 
351
        if storage_kind == self.storage_kind:
 
352
            if self._first:
 
353
                return self._generator._wire_bytes()
 
354
            else:
 
355
                # all the keys etc are contained in the bytes returned in the
 
356
                # first record.
 
357
                return ''
 
358
        if storage_kind in ('chunked', 'fulltext'):
 
359
            chunks = self._generator._get_one_work(self.key).text()
 
360
            if storage_kind == 'chunked':
 
361
                return chunks
 
362
            else:
 
363
                return ''.join(chunks)
 
364
        raise errors.UnavailableRepresentation(self.key, storage_kind,
 
365
            self.storage_kind)
 
366
 
 
367
 
 
368
def knit_delta_closure_to_records(storage_kind, bytes, line_end):
 
369
    """Convert a network record to a iterator over stream records.
 
370
 
 
371
    :param storage_kind: The storage kind of the record.
 
372
        Must be 'knit-delta-closure'.
 
373
    :param bytes: The bytes of the record on the network.
 
374
    """
 
375
    generator = _NetworkContentMapGenerator(bytes, line_end)
 
376
    return generator.get_record_stream()
 
377
 
 
378
 
 
379
def knit_network_to_record(storage_kind, bytes, line_end):
 
380
    """Convert a network record to a record object.
 
381
 
 
382
    :param storage_kind: The storage kind of the record.
 
383
    :param bytes: The bytes of the record on the network.
 
384
    """
 
385
    start = line_end
 
386
    line_end = bytes.find('\n', start)
 
387
    key = tuple(bytes[start:line_end].split('\x00'))
 
388
    start = line_end + 1
 
389
    line_end = bytes.find('\n', start)
 
390
    parent_line = bytes[start:line_end]
 
391
    if parent_line == 'None:':
 
392
        parents = None
 
393
    else:
 
394
        parents = tuple(
 
395
            [tuple(segment.split('\x00')) for segment in parent_line.split('\t')
 
396
             if segment])
 
397
    start = line_end + 1
 
398
    noeol = bytes[start] == 'N'
 
399
    if 'ft' in storage_kind:
 
400
        method = 'fulltext'
 
401
    else:
 
402
        method = 'line-delta'
 
403
    build_details = (method, noeol)
 
404
    start = start + 1
 
405
    raw_record = bytes[start:]
 
406
    annotated = 'annotated' in storage_kind
 
407
    return [KnitContentFactory(key, parents, build_details, None, raw_record,
 
408
        annotated, network_bytes=bytes)]
283
409
 
284
410
 
285
411
class KnitContent(object):
286
412
    """Content of a knit version to which deltas can be applied.
287
 
    
288
 
    This is always stored in memory as a list of lines with \n at the end,
289
 
    plus a flag saying if the final ending is really there or not, because that 
 
413
 
 
414
    This is always stored in memory as a list of lines with \\n at the end,
 
415
    plus a flag saying if the final ending is really there or not, because that
290
416
    corresponds to the on-disk knit representation.
291
417
    """
292
418
 
381
507
 
382
508
class PlainKnitContent(KnitContent):
383
509
    """Unannotated content.
384
 
    
 
510
 
385
511
    When annotate[_iter] is called on this content, the same version is reported
386
512
    for all lines. Generally, annotate[_iter] is not useful on PlainKnitContent
387
513
    objects.
539
665
 
540
666
        see parse_fulltext which this inverts.
541
667
        """
542
 
        # TODO: jam 20070209 We only do the caching thing to make sure that
543
 
        #       the origin is a valid utf-8 line, eventually we could remove it
544
668
        return ['%s %s' % (o, t) for o, t in content._lines]
545
669
 
546
670
    def lower_line_delta(self, delta):
561
685
        content = knit._get_content(key)
562
686
        # adjust for the fact that serialised annotations are only key suffixes
563
687
        # for this factory.
564
 
        if type(key) == tuple:
 
688
        if type(key) is tuple:
565
689
            prefix = key[:-1]
566
690
            origins = content.annotate()
567
691
            result = []
633
757
 
634
758
    def annotate(self, knit, key):
635
759
        annotator = _KnitAnnotator(knit)
636
 
        return annotator.annotate(key)
 
760
        return annotator.annotate_flat(key)
637
761
 
638
762
 
639
763
 
642
766
 
643
767
    This is only functional enough to run interface tests, it doesn't try to
644
768
    provide a full pack environment.
645
 
    
 
769
 
646
770
    :param annotated: knit annotations are wanted.
647
771
    :param mapper: The mapper from keys to paths.
648
772
    """
658
782
 
659
783
    This is only functional enough to run interface tests, it doesn't try to
660
784
    provide a full pack environment.
661
 
    
 
785
 
662
786
    :param graph: Store a graph.
663
787
    :param delta: Delta compress contents.
664
788
    :param keylength: How long should keys be.
680
804
        writer.begin()
681
805
        index = _KnitGraphIndex(graph_index, lambda:True, parents=parents,
682
806
            deltas=delta, add_callback=graph_index.add_nodes)
683
 
        access = _DirectPackAccess({})
 
807
        access = pack_repo._DirectPackAccess({})
684
808
        access.set_writer(writer, graph_index, (transport, 'newpack'))
685
809
        result = KnitVersionedFiles(index, access,
686
810
            max_delta_chain=max_delta_chain)
695
819
    versioned_files.writer.end()
696
820
 
697
821
 
698
 
class KnitVersionedFiles(VersionedFiles):
 
822
def _get_total_build_size(self, keys, positions):
 
823
    """Determine the total bytes to build these keys.
 
824
 
 
825
    (helper function because _KnitGraphIndex and _KndxIndex work the same, but
 
826
    don't inherit from a common base.)
 
827
 
 
828
    :param keys: Keys that we want to build
 
829
    :param positions: dict of {key, (info, index_memo, comp_parent)} (such
 
830
        as returned by _get_components_positions)
 
831
    :return: Number of bytes to build those keys
 
832
    """
 
833
    all_build_index_memos = {}
 
834
    build_keys = keys
 
835
    while build_keys:
 
836
        next_keys = set()
 
837
        for key in build_keys:
 
838
            # This is mostly for the 'stacked' case
 
839
            # Where we will be getting the data from a fallback
 
840
            if key not in positions:
 
841
                continue
 
842
            _, index_memo, compression_parent = positions[key]
 
843
            all_build_index_memos[key] = index_memo
 
844
            if compression_parent not in all_build_index_memos:
 
845
                next_keys.add(compression_parent)
 
846
        build_keys = next_keys
 
847
    return sum([index_memo[2] for index_memo
 
848
                in all_build_index_memos.itervalues()])
 
849
 
 
850
 
 
851
class KnitVersionedFiles(VersionedFilesWithFallbacks):
699
852
    """Storage for many versioned files using knit compression.
700
853
 
701
854
    Backend storage is managed by indices and data objects.
702
855
 
703
 
    :ivar _index: A _KnitGraphIndex or similar that can describe the 
704
 
        parents, graph, compression and data location of entries in this 
705
 
        KnitVersionedFiles.  Note that this is only the index for 
 
856
    :ivar _index: A _KnitGraphIndex or similar that can describe the
 
857
        parents, graph, compression and data location of entries in this
 
858
        KnitVersionedFiles.  Note that this is only the index for
706
859
        *this* vfs; if there are fallbacks they must be queried separately.
707
860
    """
708
861
 
709
862
    def __init__(self, index, data_access, max_delta_chain=200,
710
 
        annotated=False):
 
863
                 annotated=False, reload_func=None):
711
864
        """Create a KnitVersionedFiles with index and data_access.
712
865
 
713
866
        :param index: The index for the knit data.
717
870
            insertion. Set to 0 to prohibit the use of deltas.
718
871
        :param annotated: Set to True to cause annotations to be calculated and
719
872
            stored during insertion.
 
873
        :param reload_func: An function that can be called if we think we need
 
874
            to reload the pack listing and try again. See
 
875
            'bzrlib.repofmt.pack_repo.AggregateIndex' for the signature.
720
876
        """
721
877
        self._index = index
722
878
        self._access = data_access
725
881
            self._factory = KnitAnnotateFactory()
726
882
        else:
727
883
            self._factory = KnitPlainFactory()
728
 
        self._fallback_vfs = []
 
884
        self._immediate_fallback_vfs = []
 
885
        self._reload_func = reload_func
729
886
 
730
887
    def __repr__(self):
731
888
        return "%s(%r, %r)" % (
733
890
            self._index,
734
891
            self._access)
735
892
 
 
893
    def without_fallbacks(self):
 
894
        """Return a clone of this object without any fallbacks configured."""
 
895
        return KnitVersionedFiles(self._index, self._access,
 
896
            self._max_delta_chain, self._factory.annotated,
 
897
            self._reload_func)
 
898
 
736
899
    def add_fallback_versioned_files(self, a_versioned_files):
737
900
        """Add a source of texts for texts not present in this knit.
738
901
 
739
902
        :param a_versioned_files: A VersionedFiles object.
740
903
        """
741
 
        self._fallback_vfs.append(a_versioned_files)
 
904
        self._immediate_fallback_vfs.append(a_versioned_files)
742
905
 
743
906
    def add_lines(self, key, parents, lines, parent_texts=None,
744
907
        left_matching_blocks=None, nostore_sha=None, random_id=False,
751
914
            # indexes can't directly store that, so we give them
752
915
            # an empty tuple instead.
753
916
            parents = ()
 
917
        line_bytes = ''.join(lines)
754
918
        return self._add(key, lines, parents,
755
 
            parent_texts, left_matching_blocks, nostore_sha, random_id)
 
919
            parent_texts, left_matching_blocks, nostore_sha, random_id,
 
920
            line_bytes=line_bytes)
 
921
 
 
922
    def _add_text(self, key, parents, text, nostore_sha=None, random_id=False):
 
923
        """See VersionedFiles._add_text()."""
 
924
        self._index._check_write_ok()
 
925
        self._check_add(key, None, random_id, check_content=False)
 
926
        if text.__class__ is not str:
 
927
            raise errors.BzrBadParameterUnicode("text")
 
928
        if parents is None:
 
929
            # The caller might pass None if there is no graph data, but kndx
 
930
            # indexes can't directly store that, so we give them
 
931
            # an empty tuple instead.
 
932
            parents = ()
 
933
        return self._add(key, None, parents,
 
934
            None, None, nostore_sha, random_id,
 
935
            line_bytes=text)
756
936
 
757
937
    def _add(self, key, lines, parents, parent_texts,
758
 
        left_matching_blocks, nostore_sha, random_id):
 
938
        left_matching_blocks, nostore_sha, random_id,
 
939
        line_bytes):
759
940
        """Add a set of lines on top of version specified by parents.
760
941
 
761
942
        Any versions not present will be converted into ghosts.
 
943
 
 
944
        :param lines: A list of strings where each one is a single line (has a
 
945
            single newline at the end of the string) This is now optional
 
946
            (callers can pass None). It is left in its location for backwards
 
947
            compatibility. It should ''.join(lines) must == line_bytes
 
948
        :param line_bytes: A single string containing the content
 
949
 
 
950
        We pass both lines and line_bytes because different routes bring the
 
951
        values to this function. And for memory efficiency, we don't want to
 
952
        have to split/join on-demand.
762
953
        """
763
954
        # first thing, if the content is something we don't need to store, find
764
955
        # that out.
765
 
        line_bytes = ''.join(lines)
766
956
        digest = sha_string(line_bytes)
767
957
        if nostore_sha == digest:
768
958
            raise errors.ExistingContent
770
960
        present_parents = []
771
961
        if parent_texts is None:
772
962
            parent_texts = {}
773
 
        # Do a single query to ascertain parent presence.
774
 
        present_parent_map = self.get_parent_map(parents)
 
963
        # Do a single query to ascertain parent presence; we only compress
 
964
        # against parents in the same kvf.
 
965
        present_parent_map = self._index.get_parent_map(parents)
775
966
        for parent in parents:
776
967
            if parent in present_parent_map:
777
968
                present_parents.append(parent)
788
979
 
789
980
        text_length = len(line_bytes)
790
981
        options = []
791
 
        if lines:
792
 
            if lines[-1][-1] != '\n':
793
 
                # copy the contents of lines.
 
982
        no_eol = False
 
983
        # Note: line_bytes is not modified to add a newline, that is tracked
 
984
        #       via the no_eol flag. 'lines' *is* modified, because that is the
 
985
        #       general values needed by the Content code.
 
986
        if line_bytes and line_bytes[-1] != '\n':
 
987
            options.append('no-eol')
 
988
            no_eol = True
 
989
            # Copy the existing list, or create a new one
 
990
            if lines is None:
 
991
                lines = osutils.split_lines(line_bytes)
 
992
            else:
794
993
                lines = lines[:]
795
 
                options.append('no-eol')
796
 
                lines[-1] = lines[-1] + '\n'
797
 
                line_bytes += '\n'
 
994
            # Replace the last line with one that ends in a final newline
 
995
            lines[-1] = lines[-1] + '\n'
 
996
        if lines is None:
 
997
            lines = osutils.split_lines(line_bytes)
798
998
 
799
 
        for element in key:
800
 
            if type(element) != str:
 
999
        for element in key[:-1]:
 
1000
            if type(element) is not str:
 
1001
                raise TypeError("key contains non-strings: %r" % (key,))
 
1002
        if key[-1] is None:
 
1003
            key = key[:-1] + ('sha1:' + digest,)
 
1004
        elif type(key[-1]) is not str:
801
1005
                raise TypeError("key contains non-strings: %r" % (key,))
802
1006
        # Knit hunks are still last-element only
803
1007
        version_id = key[-1]
804
1008
        content = self._factory.make(lines, version_id)
805
 
        if 'no-eol' in options:
 
1009
        if no_eol:
806
1010
            # Hint to the content object that its text() call should strip the
807
1011
            # EOL.
808
1012
            content._should_strip_eol = True
820
1024
        else:
821
1025
            options.append('fulltext')
822
1026
            # isinstance is slower and we have no hierarchy.
823
 
            if self._factory.__class__ == KnitPlainFactory:
 
1027
            if self._factory.__class__ is KnitPlainFactory:
824
1028
                # Use the already joined bytes saving iteration time in
825
1029
                # _record_to_data.
 
1030
                dense_lines = [line_bytes]
 
1031
                if no_eol:
 
1032
                    dense_lines.append('\n')
826
1033
                size, bytes = self._record_to_data(key, digest,
827
 
                    lines, [line_bytes])
 
1034
                    lines, dense_lines)
828
1035
            else:
829
1036
                # get mixed annotation + content and feed it into the
830
1037
                # serialiser.
842
1049
        """See VersionedFiles.annotate."""
843
1050
        return self._factory.annotate(self, key)
844
1051
 
845
 
    def check(self, progress_bar=None):
 
1052
    def get_annotator(self):
 
1053
        return _KnitAnnotator(self)
 
1054
 
 
1055
    def check(self, progress_bar=None, keys=None):
846
1056
        """See VersionedFiles.check()."""
 
1057
        if keys is None:
 
1058
            return self._logical_check()
 
1059
        else:
 
1060
            # At the moment, check does not extra work over get_record_stream
 
1061
            return self.get_record_stream(keys, 'unordered', True)
 
1062
 
 
1063
    def _logical_check(self):
847
1064
        # This doesn't actually test extraction of everything, but that will
848
1065
        # impact 'bzr check' substantially, and needs to be integrated with
849
1066
        # care. However, it does check for the obvious problem of a delta with
857
1074
                    raise errors.KnitCorrupt(self,
858
1075
                        "Missing basis parent %s for %s" % (
859
1076
                        compression_parent, key))
860
 
        for fallback_vfs in self._fallback_vfs:
 
1077
        for fallback_vfs in self._immediate_fallback_vfs:
861
1078
            fallback_vfs.check()
862
1079
 
863
1080
    def _check_add(self, key, lines, random_id, check_content):
864
1081
        """check that version_id and lines are safe to add."""
865
1082
        version_id = key[-1]
866
 
        if contains_whitespace(version_id):
867
 
            raise InvalidRevisionId(version_id, self)
868
 
        self.check_not_reserved_id(version_id)
 
1083
        if version_id is not None:
 
1084
            if contains_whitespace(version_id):
 
1085
                raise InvalidRevisionId(version_id, self)
 
1086
            self.check_not_reserved_id(version_id)
869
1087
        # TODO: If random_id==False and the key is already present, we should
870
1088
        # probably check that the existing content is identical to what is
871
1089
        # being inserted, and otherwise raise an exception.  This would make
881
1099
 
882
1100
    def _check_header_version(self, rec, version_id):
883
1101
        """Checks the header version on original format knit records.
884
 
        
 
1102
 
885
1103
        These have the last component of the key embedded in the record.
886
1104
        """
887
1105
        if rec[1] != version_id:
902
1120
        delta_size = 0
903
1121
        fulltext_size = None
904
1122
        for count in xrange(self._max_delta_chain):
905
 
            # XXX: Collapse these two queries:
906
1123
            try:
907
1124
                # Note that this only looks in the index of this particular
908
1125
                # KnitVersionedFiles, not in the fallbacks.  This ensures that
909
1126
                # we won't store a delta spanning physical repository
910
1127
                # boundaries.
911
 
                method = self._index.get_method(parent)
912
 
            except RevisionNotPresent:
913
 
                # Some basis is not locally present: always delta
 
1128
                build_details = self._index.get_build_details([parent])
 
1129
                parent_details = build_details[parent]
 
1130
            except (RevisionNotPresent, KeyError), e:
 
1131
                # Some basis is not locally present: always fulltext
914
1132
                return False
915
 
            index, pos, size = self._index.get_position(parent)
916
 
            if method == 'fulltext':
 
1133
            index_memo, compression_parent, _, _ = parent_details
 
1134
            _, _, size = index_memo
 
1135
            if compression_parent is None:
917
1136
                fulltext_size = size
918
1137
                break
919
1138
            delta_size += size
920
1139
            # We don't explicitly check for presence because this is in an
921
1140
            # inner loop, and if it's missing it'll fail anyhow.
922
 
            # TODO: This should be asking for compression parent, not graph
923
 
            # parent.
924
 
            parent = self._index.get_parent_map([parent])[parent][0]
 
1141
            parent = compression_parent
925
1142
        else:
926
1143
            # We couldn't find a fulltext, so we must create a new one
927
1144
            return False
941
1158
 
942
1159
        A dict of key to (record_details, index_memo, next, parents) is
943
1160
        returned.
944
 
        method is the way referenced data should be applied.
945
 
        index_memo is the handle to pass to the data access to actually get the
946
 
            data
947
 
        next is the build-parent of the version, or None for fulltexts.
948
 
        parents is the version_ids of the parents of this version
949
 
 
950
 
        :param allow_missing: If True do not raise an error on a missing component,
951
 
            just ignore it.
 
1161
 
 
1162
        * method is the way referenced data should be applied.
 
1163
        * index_memo is the handle to pass to the data access to actually get
 
1164
          the data
 
1165
        * next is the build-parent of the version, or None for fulltexts.
 
1166
        * parents is the version_ids of the parents of this version
 
1167
 
 
1168
        :param allow_missing: If True do not raise an error on a missing
 
1169
            component, just ignore it.
952
1170
        """
953
1171
        component_data = {}
954
1172
        pending_components = keys
967
1185
            if missing and not allow_missing:
968
1186
                raise errors.RevisionNotPresent(missing.pop(), self)
969
1187
        return component_data
970
 
       
 
1188
 
971
1189
    def _get_content(self, key, parent_texts={}):
972
1190
        """Returns a content object that makes up the specified
973
1191
        version."""
977
1195
            if not self.get_parent_map([key]):
978
1196
                raise RevisionNotPresent(key, self)
979
1197
            return cached_version
980
 
        text_map, contents_map = self._get_content_maps([key])
981
 
        return contents_map[key]
982
 
 
983
 
    def _get_content_maps(self, keys, nonlocal_keys=None):
984
 
        """Produce maps of text and KnitContents
985
 
        
986
 
        :param keys: The keys to produce content maps for.
987
 
        :param nonlocal_keys: An iterable of keys(possibly intersecting keys)
988
 
            which are known to not be in this knit, but rather in one of the
989
 
            fallback knits.
990
 
        :return: (text_map, content_map) where text_map contains the texts for
991
 
            the requested versions and content_map contains the KnitContents.
992
 
        """
993
 
        # FUTURE: This function could be improved for the 'extract many' case
994
 
        # by tracking each component and only doing the copy when the number of
995
 
        # children than need to apply delta's to it is > 1 or it is part of the
996
 
        # final output.
997
 
        keys = list(keys)
998
 
        multiple_versions = len(keys) != 1
999
 
        record_map = self._get_record_map(keys, allow_missing=True)
1000
 
 
1001
 
        text_map = {}
1002
 
        content_map = {}
1003
 
        final_content = {}
1004
 
        if nonlocal_keys is None:
1005
 
            nonlocal_keys = set()
1006
 
        else:
1007
 
            nonlocal_keys = frozenset(nonlocal_keys)
1008
 
        missing_keys = set(nonlocal_keys)
1009
 
        for source in self._fallback_vfs:
1010
 
            if not missing_keys:
1011
 
                break
1012
 
            for record in source.get_record_stream(missing_keys,
1013
 
                'unordered', True):
1014
 
                if record.storage_kind == 'absent':
1015
 
                    continue
1016
 
                missing_keys.remove(record.key)
1017
 
                lines = split_lines(record.get_bytes_as('fulltext'))
1018
 
                text_map[record.key] = lines
1019
 
                content_map[record.key] = PlainKnitContent(lines, record.key)
1020
 
                if record.key in keys:
1021
 
                    final_content[record.key] = content_map[record.key]
1022
 
        for key in keys:
1023
 
            if key in nonlocal_keys:
1024
 
                # already handled
1025
 
                continue
1026
 
            components = []
1027
 
            cursor = key
1028
 
            while cursor is not None:
1029
 
                try:
1030
 
                    record, record_details, digest, next = record_map[cursor]
1031
 
                except KeyError:
1032
 
                    raise RevisionNotPresent(cursor, self)
1033
 
                components.append((cursor, record, record_details, digest))
1034
 
                cursor = next
1035
 
                if cursor in content_map:
1036
 
                    # no need to plan further back
1037
 
                    components.append((cursor, None, None, None))
1038
 
                    break
1039
 
 
1040
 
            content = None
1041
 
            for (component_id, record, record_details,
1042
 
                 digest) in reversed(components):
1043
 
                if component_id in content_map:
1044
 
                    content = content_map[component_id]
1045
 
                else:
1046
 
                    content, delta = self._factory.parse_record(key[-1],
1047
 
                        record, record_details, content,
1048
 
                        copy_base_content=multiple_versions)
1049
 
                    if multiple_versions:
1050
 
                        content_map[component_id] = content
1051
 
 
1052
 
            final_content[key] = content
1053
 
 
1054
 
            # digest here is the digest from the last applied component.
1055
 
            text = content.text()
1056
 
            actual_sha = sha_strings(text)
1057
 
            if actual_sha != digest:
1058
 
                raise SHA1KnitCorrupt(self, actual_sha, digest, key, text)
1059
 
            text_map[key] = text
1060
 
        return text_map, final_content
 
1198
        generator = _VFContentMapGenerator(self, [key])
 
1199
        return generator._get_content(key)
1061
1200
 
1062
1201
    def get_parent_map(self, keys):
1063
1202
        """Get a map of the graph parents of keys.
1079
1218
            and so on.
1080
1219
        """
1081
1220
        result = {}
1082
 
        sources = [self._index] + self._fallback_vfs
 
1221
        sources = [self._index] + self._immediate_fallback_vfs
1083
1222
        source_results = []
1084
1223
        missing = set(keys)
1085
1224
        for source in sources:
1093
1232
 
1094
1233
    def _get_record_map(self, keys, allow_missing=False):
1095
1234
        """Produce a dictionary of knit records.
1096
 
        
 
1235
 
1097
1236
        :return: {key:(record, record_details, digest, next)}
1098
 
            record
1099
 
                data returned from read_records
1100
 
            record_details
1101
 
                opaque information to pass to parse_record
1102
 
            digest
1103
 
                SHA1 digest of the full text after all steps are done
1104
 
            next
1105
 
                build-parent of the version, i.e. the leftmost ancestor.
 
1237
 
 
1238
            * record: data returned from read_records (a KnitContentobject)
 
1239
            * record_details: opaque information to pass to parse_record
 
1240
            * digest: SHA1 digest of the full text after all steps are done
 
1241
            * next: build-parent of the version, i.e. the leftmost ancestor.
1106
1242
                Will be None if the record is not a delta.
 
1243
 
1107
1244
        :param keys: The keys to build a map for
1108
 
        :param allow_missing: If some records are missing, rather than 
 
1245
        :param allow_missing: If some records are missing, rather than
1109
1246
            error, just return the data that could be generated.
1110
1247
        """
1111
 
        position_map = self._get_components_positions(keys,
 
1248
        raw_map = self._get_record_map_unparsed(keys,
1112
1249
            allow_missing=allow_missing)
1113
 
        # key = component_id, r = record_details, i_m = index_memo, n = next
1114
 
        records = [(key, i_m) for key, (r, i_m, n)
1115
 
                             in position_map.iteritems()]
1116
 
        record_map = {}
1117
 
        for key, record, digest in \
1118
 
                self._read_records_iter(records):
1119
 
            (record_details, index_memo, next) = position_map[key]
1120
 
            record_map[key] = record, record_details, digest, next
1121
 
        return record_map
1122
 
 
1123
 
    def _split_by_prefix(self, keys):
 
1250
        return self._raw_map_to_record_map(raw_map)
 
1251
 
 
1252
    def _raw_map_to_record_map(self, raw_map):
 
1253
        """Parse the contents of _get_record_map_unparsed.
 
1254
 
 
1255
        :return: see _get_record_map.
 
1256
        """
 
1257
        result = {}
 
1258
        for key in raw_map:
 
1259
            data, record_details, next = raw_map[key]
 
1260
            content, digest = self._parse_record(key[-1], data)
 
1261
            result[key] = content, record_details, digest, next
 
1262
        return result
 
1263
 
 
1264
    def _get_record_map_unparsed(self, keys, allow_missing=False):
 
1265
        """Get the raw data for reconstructing keys without parsing it.
 
1266
 
 
1267
        :return: A dict suitable for parsing via _raw_map_to_record_map.
 
1268
            key-> raw_bytes, (method, noeol), compression_parent
 
1269
        """
 
1270
        # This retries the whole request if anything fails. Potentially we
 
1271
        # could be a bit more selective. We could track the keys whose records
 
1272
        # we have successfully found, and then only request the new records
 
1273
        # from there. However, _get_components_positions grabs the whole build
 
1274
        # chain, which means we'll likely try to grab the same records again
 
1275
        # anyway. Also, can the build chains change as part of a pack
 
1276
        # operation? We wouldn't want to end up with a broken chain.
 
1277
        while True:
 
1278
            try:
 
1279
                position_map = self._get_components_positions(keys,
 
1280
                    allow_missing=allow_missing)
 
1281
                # key = component_id, r = record_details, i_m = index_memo,
 
1282
                # n = next
 
1283
                records = [(key, i_m) for key, (r, i_m, n)
 
1284
                                       in position_map.iteritems()]
 
1285
                # Sort by the index memo, so that we request records from the
 
1286
                # same pack file together, and in forward-sorted order
 
1287
                records.sort(key=operator.itemgetter(1))
 
1288
                raw_record_map = {}
 
1289
                for key, data in self._read_records_iter_unchecked(records):
 
1290
                    (record_details, index_memo, next) = position_map[key]
 
1291
                    raw_record_map[key] = data, record_details, next
 
1292
                return raw_record_map
 
1293
            except errors.RetryWithNewPacks, e:
 
1294
                self._access.reload_or_raise(e)
 
1295
 
 
1296
    @classmethod
 
1297
    def _split_by_prefix(cls, keys):
1124
1298
        """For the given keys, split them up based on their prefix.
1125
1299
 
1126
1300
        To keep memory pressure somewhat under control, split the
1129
1303
        This should be revisited if _get_content_maps() can ever cross
1130
1304
        file-id boundaries.
1131
1305
 
 
1306
        The keys for a given file_id are kept in the same relative order.
 
1307
        Ordering between file_ids is not, though prefix_order will return the
 
1308
        order that the key was first seen.
 
1309
 
1132
1310
        :param keys: An iterable of key tuples
1133
 
        :return: A dict of {prefix: [key_list]}
 
1311
        :return: (split_map, prefix_order)
 
1312
            split_map       A dictionary mapping prefix => keys
 
1313
            prefix_order    The order that we saw the various prefixes
1134
1314
        """
1135
1315
        split_by_prefix = {}
 
1316
        prefix_order = []
1136
1317
        for key in keys:
1137
1318
            if len(key) == 1:
1138
 
                split_by_prefix.setdefault('', []).append(key)
1139
 
            else:
1140
 
                split_by_prefix.setdefault(key[0], []).append(key)
1141
 
        return split_by_prefix
 
1319
                prefix = ''
 
1320
            else:
 
1321
                prefix = key[0]
 
1322
 
 
1323
            if prefix in split_by_prefix:
 
1324
                split_by_prefix[prefix].append(key)
 
1325
            else:
 
1326
                split_by_prefix[prefix] = [key]
 
1327
                prefix_order.append(prefix)
 
1328
        return split_by_prefix, prefix_order
 
1329
 
 
1330
    def _group_keys_for_io(self, keys, non_local_keys, positions,
 
1331
                           _min_buffer_size=_STREAM_MIN_BUFFER_SIZE):
 
1332
        """For the given keys, group them into 'best-sized' requests.
 
1333
 
 
1334
        The idea is to avoid making 1 request per file, but to never try to
 
1335
        unpack an entire 1.5GB source tree in a single pass. Also when
 
1336
        possible, we should try to group requests to the same pack file
 
1337
        together.
 
1338
 
 
1339
        :return: list of (keys, non_local) tuples that indicate what keys
 
1340
            should be fetched next.
 
1341
        """
 
1342
        # TODO: Ideally we would group on 2 factors. We want to extract texts
 
1343
        #       from the same pack file together, and we want to extract all
 
1344
        #       the texts for a given build-chain together. Ultimately it
 
1345
        #       probably needs a better global view.
 
1346
        total_keys = len(keys)
 
1347
        prefix_split_keys, prefix_order = self._split_by_prefix(keys)
 
1348
        prefix_split_non_local_keys, _ = self._split_by_prefix(non_local_keys)
 
1349
        cur_keys = []
 
1350
        cur_non_local = set()
 
1351
        cur_size = 0
 
1352
        result = []
 
1353
        sizes = []
 
1354
        for prefix in prefix_order:
 
1355
            keys = prefix_split_keys[prefix]
 
1356
            non_local = prefix_split_non_local_keys.get(prefix, [])
 
1357
 
 
1358
            this_size = self._index._get_total_build_size(keys, positions)
 
1359
            cur_size += this_size
 
1360
            cur_keys.extend(keys)
 
1361
            cur_non_local.update(non_local)
 
1362
            if cur_size > _min_buffer_size:
 
1363
                result.append((cur_keys, cur_non_local))
 
1364
                sizes.append(cur_size)
 
1365
                cur_keys = []
 
1366
                cur_non_local = set()
 
1367
                cur_size = 0
 
1368
        if cur_keys:
 
1369
            result.append((cur_keys, cur_non_local))
 
1370
            sizes.append(cur_size)
 
1371
        return result
1142
1372
 
1143
1373
    def get_record_stream(self, keys, ordering, include_delta_closure):
1144
1374
        """Get a stream of records for keys.
1157
1387
        if not keys:
1158
1388
            return
1159
1389
        if not self._index.has_graph:
1160
 
            # Cannot topological order when no graph has been stored.
 
1390
            # Cannot sort when no graph has been stored.
1161
1391
            ordering = 'unordered'
 
1392
 
 
1393
        remaining_keys = keys
 
1394
        while True:
 
1395
            try:
 
1396
                keys = set(remaining_keys)
 
1397
                for content_factory in self._get_remaining_record_stream(keys,
 
1398
                                            ordering, include_delta_closure):
 
1399
                    remaining_keys.discard(content_factory.key)
 
1400
                    yield content_factory
 
1401
                return
 
1402
            except errors.RetryWithNewPacks, e:
 
1403
                self._access.reload_or_raise(e)
 
1404
 
 
1405
    def _get_remaining_record_stream(self, keys, ordering,
 
1406
                                     include_delta_closure):
 
1407
        """This function is the 'retry' portion for get_record_stream."""
1162
1408
        if include_delta_closure:
1163
1409
            positions = self._get_components_positions(keys, allow_missing=True)
1164
1410
        else:
1170
1416
        absent_keys = keys.difference(set(positions))
1171
1417
        # There may be more absent keys : if we're missing the basis component
1172
1418
        # and are trying to include the delta closure.
 
1419
        # XXX: We should not ever need to examine remote sources because we do
 
1420
        # not permit deltas across versioned files boundaries.
1173
1421
        if include_delta_closure:
1174
1422
            needed_from_fallback = set()
1175
1423
            # Build up reconstructable_keys dict.  key:True in this dict means
1201
1449
                    needed_from_fallback.add(key)
1202
1450
        # Double index lookups here : need a unified api ?
1203
1451
        global_map, parent_maps = self._get_parent_map_with_sources(keys)
1204
 
        if ordering == 'topological':
1205
 
            # Global topological sort
1206
 
            present_keys = tsort.topo_sort(global_map)
 
1452
        if ordering in ('topological', 'groupcompress'):
 
1453
            if ordering == 'topological':
 
1454
                # Global topological sort
 
1455
                present_keys = tsort.topo_sort(global_map)
 
1456
            else:
 
1457
                present_keys = sort_groupcompress(global_map)
1207
1458
            # Now group by source:
1208
1459
            source_keys = []
1209
1460
            current_source = None
1219
1470
        else:
1220
1471
            if ordering != 'unordered':
1221
1472
                raise AssertionError('valid values for ordering are:'
1222
 
                    ' "unordered" or "topological" not: %r'
 
1473
                    ' "unordered", "groupcompress" or "topological" not: %r'
1223
1474
                    % (ordering,))
1224
1475
            # Just group by source; remote sources first.
1225
1476
            present_keys = []
1229
1480
                for key in parent_map:
1230
1481
                    present_keys.append(key)
1231
1482
                    source_keys[-1][1].append(key)
 
1483
            # We have been requested to return these records in an order that
 
1484
            # suits us. So we ask the index to give us an optimally sorted
 
1485
            # order.
 
1486
            for source, sub_keys in source_keys:
 
1487
                if source is parent_maps[0]:
 
1488
                    # Only sort the keys for this VF
 
1489
                    self._index._sort_keys_by_io(sub_keys, positions)
1232
1490
        absent_keys = keys - set(global_map)
1233
1491
        for key in absent_keys:
1234
1492
            yield AbsentContentFactory(key)
1240
1498
            # XXX: get_content_maps performs its own index queries; allow state
1241
1499
            # to be passed in.
1242
1500
            non_local_keys = needed_from_fallback - absent_keys
1243
 
            prefix_split_keys = self._split_by_prefix(present_keys)
1244
 
            prefix_split_non_local_keys = self._split_by_prefix(non_local_keys)
1245
 
            for prefix, keys in prefix_split_keys.iteritems():
1246
 
                non_local = prefix_split_non_local_keys.get(prefix, [])
1247
 
                non_local = set(non_local)
1248
 
                text_map, _ = self._get_content_maps(keys, non_local)
1249
 
                for key in keys:
1250
 
                    lines = text_map.pop(key)
1251
 
                    text = ''.join(lines)
1252
 
                    yield FulltextContentFactory(key, global_map[key], None,
1253
 
                                                 text)
 
1501
            for keys, non_local_keys in self._group_keys_for_io(present_keys,
 
1502
                                                                non_local_keys,
 
1503
                                                                positions):
 
1504
                generator = _VFContentMapGenerator(self, keys, non_local_keys,
 
1505
                                                   global_map,
 
1506
                                                   ordering=ordering)
 
1507
                for record in generator.get_record_stream():
 
1508
                    yield record
1254
1509
        else:
1255
1510
            for source, keys in source_keys:
1256
1511
                if source is parent_maps[0]:
1257
1512
                    # this KnitVersionedFiles
1258
1513
                    records = [(key, positions[key][1]) for key in keys]
1259
 
                    for key, raw_data, sha1 in self._read_records_iter_raw(records):
 
1514
                    for key, raw_data in self._read_records_iter_unchecked(records):
1260
1515
                        (record_details, index_memo, _) = positions[key]
1261
1516
                        yield KnitContentFactory(key, global_map[key],
1262
 
                            record_details, sha1, raw_data, self._factory.annotated, None)
 
1517
                            record_details, None, raw_data, self._factory.annotated, None)
1263
1518
                else:
1264
 
                    vf = self._fallback_vfs[parent_maps.index(source) - 1]
 
1519
                    vf = self._immediate_fallback_vfs[parent_maps.index(source) - 1]
1265
1520
                    for record in vf.get_record_stream(keys, ordering,
1266
1521
                        include_delta_closure):
1267
1522
                        yield record
1277
1532
            # record entry 2 is the 'digest'.
1278
1533
            result[key] = details[2]
1279
1534
        missing.difference_update(set(result))
1280
 
        for source in self._fallback_vfs:
 
1535
        for source in self._immediate_fallback_vfs:
1281
1536
            if not missing:
1282
1537
                break
1283
1538
            new_result = source.get_sha1s(missing)
1288
1543
    def insert_record_stream(self, stream):
1289
1544
        """Insert a record stream into this container.
1290
1545
 
1291
 
        :param stream: A stream of records to insert. 
 
1546
        :param stream: A stream of records to insert.
1292
1547
        :return: None
1293
1548
        :seealso VersionedFiles.get_record_stream:
1294
1549
        """
1300
1555
                adapter = adapter_factory(self)
1301
1556
                adapters[adapter_key] = adapter
1302
1557
                return adapter
 
1558
        delta_types = set()
1303
1559
        if self._factory.annotated:
1304
1560
            # self is annotated, we need annotated knits to use directly.
1305
1561
            annotated = "annotated-"
1309
1565
            annotated = ""
1310
1566
            convertibles = set(["knit-annotated-ft-gz"])
1311
1567
            if self._max_delta_chain:
 
1568
                delta_types.add("knit-annotated-delta-gz")
1312
1569
                convertibles.add("knit-annotated-delta-gz")
1313
1570
        # The set of types we can cheaply adapt without needing basis texts.
1314
1571
        native_types = set()
1315
1572
        if self._max_delta_chain:
1316
1573
            native_types.add("knit-%sdelta-gz" % annotated)
 
1574
            delta_types.add("knit-%sdelta-gz" % annotated)
1317
1575
        native_types.add("knit-%sft-gz" % annotated)
1318
1576
        knit_types = native_types.union(convertibles)
1319
1577
        adapters = {}
1323
1581
        # can't generate annotations from new deltas until their basis parent
1324
1582
        # is present anyway, so we get away with not needing an index that
1325
1583
        # includes the new keys.
 
1584
        #
 
1585
        # See <http://launchpad.net/bugs/300177> about ordering of compression
 
1586
        # parents in the records - to be conservative, we insist that all
 
1587
        # parents must be present to avoid expanding to a fulltext.
 
1588
        #
1326
1589
        # key = basis_parent, value = index entry to add
1327
1590
        buffered_index_entries = {}
1328
1591
        for record in stream:
 
1592
            kind = record.storage_kind
 
1593
            if kind.startswith('knit-') and kind.endswith('-gz'):
 
1594
                # Check that the ID in the header of the raw knit bytes matches
 
1595
                # the record metadata.
 
1596
                raw_data = record._raw_record
 
1597
                df, rec = self._parse_record_header(record.key, raw_data)
 
1598
                df.close()
 
1599
            buffered = False
1329
1600
            parents = record.parents
 
1601
            if record.storage_kind in delta_types:
 
1602
                # TODO: eventually the record itself should track
 
1603
                #       compression_parent
 
1604
                compression_parent = parents[0]
 
1605
            else:
 
1606
                compression_parent = None
1330
1607
            # Raise an error when a record is missing.
1331
1608
            if record.storage_kind == 'absent':
1332
1609
                raise RevisionNotPresent([record.key], self)
1333
 
            if record.storage_kind in knit_types:
 
1610
            elif ((record.storage_kind in knit_types)
 
1611
                  and (compression_parent is None
 
1612
                       or not self._immediate_fallback_vfs
 
1613
                       or self._index.has_key(compression_parent)
 
1614
                       or not self.has_key(compression_parent))):
 
1615
                # we can insert the knit record literally if either it has no
 
1616
                # compression parent OR we already have its basis in this kvf
 
1617
                # OR the basis is not present even in the fallbacks.  In the
 
1618
                # last case it will either turn up later in the stream and all
 
1619
                # will be well, or it won't turn up at all and we'll raise an
 
1620
                # error at the end.
 
1621
                #
 
1622
                # TODO: self.has_key is somewhat redundant with
 
1623
                # self._index.has_key; we really want something that directly
 
1624
                # asks if it's only present in the fallbacks. -- mbp 20081119
1334
1625
                if record.storage_kind not in native_types:
1335
1626
                    try:
1336
1627
                        adapter_key = (record.storage_kind, "knit-delta-gz")
1338
1629
                    except KeyError:
1339
1630
                        adapter_key = (record.storage_kind, "knit-ft-gz")
1340
1631
                        adapter = get_adapter(adapter_key)
1341
 
                    bytes = adapter.get_bytes(
1342
 
                        record, record.get_bytes_as(record.storage_kind))
 
1632
                    bytes = adapter.get_bytes(record)
1343
1633
                else:
1344
 
                    bytes = record.get_bytes_as(record.storage_kind)
 
1634
                    # It's a knit record, it has a _raw_record field (even if
 
1635
                    # it was reconstituted from a network stream).
 
1636
                    bytes = record._raw_record
1345
1637
                options = [record._build_details[0]]
1346
1638
                if record._build_details[1]:
1347
1639
                    options.append('no-eol')
1356
1648
                access_memo = self._access.add_raw_records(
1357
1649
                    [(record.key, len(bytes))], bytes)[0]
1358
1650
                index_entry = (record.key, options, access_memo, parents)
1359
 
                buffered = False
1360
1651
                if 'fulltext' not in options:
1361
 
                    basis_parent = parents[0]
 
1652
                    # Not a fulltext, so we need to make sure the compression
 
1653
                    # parent will also be present.
1362
1654
                    # Note that pack backed knits don't need to buffer here
1363
1655
                    # because they buffer all writes to the transaction level,
1364
1656
                    # but we don't expose that difference at the index level. If
1365
1657
                    # the query here has sufficient cost to show up in
1366
1658
                    # profiling we should do that.
1367
 
                    if basis_parent not in self.get_parent_map([basis_parent]):
 
1659
                    #
 
1660
                    # They're required to be physically in this
 
1661
                    # KnitVersionedFiles, not in a fallback.
 
1662
                    if not self._index.has_key(compression_parent):
1368
1663
                        pending = buffered_index_entries.setdefault(
1369
 
                            basis_parent, [])
 
1664
                            compression_parent, [])
1370
1665
                        pending.append(index_entry)
1371
1666
                        buffered = True
1372
1667
                if not buffered:
1373
1668
                    self._index.add_records([index_entry])
1374
 
            elif record.storage_kind == 'fulltext':
 
1669
            elif record.storage_kind == 'chunked':
1375
1670
                self.add_lines(record.key, parents,
1376
 
                    split_lines(record.get_bytes_as('fulltext')))
 
1671
                    osutils.chunks_to_lines(record.get_bytes_as('chunked')))
1377
1672
            else:
1378
 
                adapter_key = record.storage_kind, 'fulltext'
1379
 
                adapter = get_adapter(adapter_key)
1380
 
                lines = split_lines(adapter.get_bytes(
1381
 
                    record, record.get_bytes_as(record.storage_kind)))
 
1673
                # Not suitable for direct insertion as a
 
1674
                # delta, either because it's not the right format, or this
 
1675
                # KnitVersionedFiles doesn't permit deltas (_max_delta_chain ==
 
1676
                # 0) or because it depends on a base only present in the
 
1677
                # fallback kvfs.
 
1678
                self._access.flush()
 
1679
                try:
 
1680
                    # Try getting a fulltext directly from the record.
 
1681
                    bytes = record.get_bytes_as('fulltext')
 
1682
                except errors.UnavailableRepresentation:
 
1683
                    adapter_key = record.storage_kind, 'fulltext'
 
1684
                    adapter = get_adapter(adapter_key)
 
1685
                    bytes = adapter.get_bytes(record)
 
1686
                lines = split_lines(bytes)
1382
1687
                try:
1383
1688
                    self.add_lines(record.key, parents, lines)
1384
1689
                except errors.RevisionAlreadyPresent:
1385
1690
                    pass
1386
1691
            # Add any records whose basis parent is now available.
1387
 
            added_keys = [record.key]
1388
 
            while added_keys:
1389
 
                key = added_keys.pop(0)
1390
 
                if key in buffered_index_entries:
1391
 
                    index_entries = buffered_index_entries[key]
1392
 
                    self._index.add_records(index_entries)
1393
 
                    added_keys.extend(
1394
 
                        [index_entry[0] for index_entry in index_entries])
1395
 
                    del buffered_index_entries[key]
1396
 
        # If there were any deltas which had a missing basis parent, error.
 
1692
            if not buffered:
 
1693
                added_keys = [record.key]
 
1694
                while added_keys:
 
1695
                    key = added_keys.pop(0)
 
1696
                    if key in buffered_index_entries:
 
1697
                        index_entries = buffered_index_entries[key]
 
1698
                        self._index.add_records(index_entries)
 
1699
                        added_keys.extend(
 
1700
                            [index_entry[0] for index_entry in index_entries])
 
1701
                        del buffered_index_entries[key]
1397
1702
        if buffered_index_entries:
1398
 
            raise errors.RevisionNotPresent(buffered_index_entries.keys()[0],
1399
 
                self)
 
1703
            # There were index entries buffered at the end of the stream,
 
1704
            # So these need to be added (if the index supports holding such
 
1705
            # entries for later insertion)
 
1706
            all_entries = []
 
1707
            for key in buffered_index_entries:
 
1708
                index_entries = buffered_index_entries[key]
 
1709
                all_entries.extend(index_entries)
 
1710
            self._index.add_records(
 
1711
                all_entries, missing_compression_parents=True)
 
1712
 
 
1713
    def get_missing_compression_parent_keys(self):
 
1714
        """Return an iterable of keys of missing compression parents.
 
1715
 
 
1716
        Check this after calling insert_record_stream to find out if there are
 
1717
        any missing compression parents.  If there are, the records that
 
1718
        depend on them are not able to be inserted safely. For atomic
 
1719
        KnitVersionedFiles built on packs, the transaction should be aborted or
 
1720
        suspended - commit will fail at this point. Nonatomic knits will error
 
1721
        earlier because they have no staging area to put pending entries into.
 
1722
        """
 
1723
        return self._index.get_missing_compression_parents()
1400
1724
 
1401
1725
    def iter_lines_added_or_present_in_keys(self, keys, pb=None):
1402
1726
        """Iterate over the lines in the versioned files from keys.
1413
1737
        is an iterator).
1414
1738
 
1415
1739
        NOTES:
1416
 
         * Lines are normalised by the underlying store: they will all have \n
 
1740
         * Lines are normalised by the underlying store: they will all have \\n
1417
1741
           terminators.
1418
1742
         * Lines are returned in arbitrary order.
 
1743
         * If a requested key did not change any lines (or didn't have any
 
1744
           lines), it may not be mentioned at all in the result.
1419
1745
 
 
1746
        :param pb: Progress bar supplied by caller.
1420
1747
        :return: An iterator over (line, key).
1421
1748
        """
1422
1749
        if pb is None:
1423
 
            pb = progress.DummyProgress()
 
1750
            pb = ui.ui_factory.nested_progress_bar()
1424
1751
        keys = set(keys)
1425
1752
        total = len(keys)
1426
 
        # we don't care about inclusions, the caller cares.
1427
 
        # but we need to setup a list of records to visit.
1428
 
        # we need key, position, length
1429
 
        key_records = []
1430
 
        build_details = self._index.get_build_details(keys)
1431
 
        for key, details in build_details.iteritems():
1432
 
            if key in keys:
1433
 
                key_records.append((key, details[0]))
1434
 
                keys.remove(key)
1435
 
        records_iter = enumerate(self._read_records_iter(key_records))
1436
 
        for (key_idx, (key, data, sha_value)) in records_iter:
1437
 
            pb.update('Walking content.', key_idx, total)
1438
 
            compression_parent = build_details[key][1]
1439
 
            if compression_parent is None:
1440
 
                # fulltext
1441
 
                line_iterator = self._factory.get_fulltext_content(data)
1442
 
            else:
1443
 
                # Delta 
1444
 
                line_iterator = self._factory.get_linedelta_content(data)
1445
 
            # XXX: It might be more efficient to yield (key,
1446
 
            # line_iterator) in the future. However for now, this is a simpler
1447
 
            # change to integrate into the rest of the codebase. RBC 20071110
1448
 
            for line in line_iterator:
1449
 
                yield line, key
1450
 
        for source in self._fallback_vfs:
 
1753
        done = False
 
1754
        while not done:
 
1755
            try:
 
1756
                # we don't care about inclusions, the caller cares.
 
1757
                # but we need to setup a list of records to visit.
 
1758
                # we need key, position, length
 
1759
                key_records = []
 
1760
                build_details = self._index.get_build_details(keys)
 
1761
                for key, details in build_details.iteritems():
 
1762
                    if key in keys:
 
1763
                        key_records.append((key, details[0]))
 
1764
                records_iter = enumerate(self._read_records_iter(key_records))
 
1765
                for (key_idx, (key, data, sha_value)) in records_iter:
 
1766
                    pb.update(gettext('Walking content'), key_idx, total)
 
1767
                    compression_parent = build_details[key][1]
 
1768
                    if compression_parent is None:
 
1769
                        # fulltext
 
1770
                        line_iterator = self._factory.get_fulltext_content(data)
 
1771
                    else:
 
1772
                        # Delta
 
1773
                        line_iterator = self._factory.get_linedelta_content(data)
 
1774
                    # Now that we are yielding the data for this key, remove it
 
1775
                    # from the list
 
1776
                    keys.remove(key)
 
1777
                    # XXX: It might be more efficient to yield (key,
 
1778
                    # line_iterator) in the future. However for now, this is a
 
1779
                    # simpler change to integrate into the rest of the
 
1780
                    # codebase. RBC 20071110
 
1781
                    for line in line_iterator:
 
1782
                        yield line, key
 
1783
                done = True
 
1784
            except errors.RetryWithNewPacks, e:
 
1785
                self._access.reload_or_raise(e)
 
1786
        # If there are still keys we've not yet found, we look in the fallback
 
1787
        # vfs, and hope to find them there.  Note that if the keys are found
 
1788
        # but had no changes or no content, the fallback may not return
 
1789
        # anything.
 
1790
        if keys and not self._immediate_fallback_vfs:
 
1791
            # XXX: strictly the second parameter is meant to be the file id
 
1792
            # but it's not easily accessible here.
 
1793
            raise RevisionNotPresent(keys, repr(self))
 
1794
        for source in self._immediate_fallback_vfs:
1451
1795
            if not keys:
1452
1796
                break
1453
1797
            source_keys = set()
1455
1799
                source_keys.add(key)
1456
1800
                yield line, key
1457
1801
            keys.difference_update(source_keys)
1458
 
        if keys:
1459
 
            # XXX: strictly the second parameter is meant to be the file id
1460
 
            # but it's not easily accessible here.
1461
 
            raise RevisionNotPresent(keys, repr(self))
1462
 
        pb.update('Walking content.', total, total)
 
1802
        pb.update(gettext('Walking content'), total, total)
1463
1803
 
1464
1804
    def _make_line_delta(self, delta_seq, new_content):
1465
1805
        """Generate a line delta from delta_seq and new_content."""
1474
1814
                           delta=None, annotated=None,
1475
1815
                           left_matching_blocks=None):
1476
1816
        """Merge annotations for content and generate deltas.
1477
 
        
 
1817
 
1478
1818
        This is done by comparing the annotations based on changes to the text
1479
1819
        and generating a delta on the resulting full texts. If annotations are
1480
1820
        not being created then a simple delta is created.
1530
1870
        :return: the header and the decompressor stream.
1531
1871
                 as (stream, header_record)
1532
1872
        """
1533
 
        df = tuned_gzip.GzipFile(mode='rb', fileobj=StringIO(raw_data))
 
1873
        df = gzip.GzipFile(mode='rb', fileobj=StringIO(raw_data))
1534
1874
        try:
1535
1875
            # Current serialise
1536
1876
            rec = self._check_header(key, df.readline())
1545
1885
        # 4168 calls in 2880 217 internal
1546
1886
        # 4168 calls to _parse_record_header in 2121
1547
1887
        # 4168 calls to readlines in 330
1548
 
        df = tuned_gzip.GzipFile(mode='rb', fileobj=StringIO(data))
 
1888
        df = gzip.GzipFile(mode='rb', fileobj=StringIO(data))
1549
1889
        try:
1550
1890
            record_contents = df.readlines()
1551
1891
        except Exception, e:
1562
1902
                                 rec[1], record_contents))
1563
1903
        if last_line != 'end %s\n' % rec[1]:
1564
1904
            raise KnitCorrupt(self,
1565
 
                              'unexpected version end line %r, wanted %r' 
 
1905
                              'unexpected version end line %r, wanted %r'
1566
1906
                              % (last_line, rec[1]))
1567
1907
        df.close()
1568
1908
        return rec, record_contents
1573
1913
        The result will be returned in whatever is the fastest to read.
1574
1914
        Not by the order requested. Also, multiple requests for the same
1575
1915
        record will only yield 1 response.
 
1916
 
1576
1917
        :param records: A list of (key, access_memo) entries
1577
1918
        :return: Yields (key, contents, digest) in the order
1578
1919
                 read, not the order requested
1585
1926
        if not needed_records:
1586
1927
            return
1587
1928
 
1588
 
        # The transport optimizes the fetching as well 
 
1929
        # The transport optimizes the fetching as well
1589
1930
        # (ie, reads continuous ranges.)
1590
1931
        raw_data = self._access.get_raw_records(
1591
1932
            [index_memo for key, index_memo in needed_records])
1601
1942
        This unpacks enough of the text record to validate the id is
1602
1943
        as expected but thats all.
1603
1944
 
1604
 
        Each item the iterator yields is (key, bytes, sha1_of_full_text).
 
1945
        Each item the iterator yields is (key, bytes,
 
1946
            expected_sha1_of_full_text).
 
1947
        """
 
1948
        for key, data in self._read_records_iter_unchecked(records):
 
1949
            # validate the header (note that we can only use the suffix in
 
1950
            # current knit records).
 
1951
            df, rec = self._parse_record_header(key, data)
 
1952
            df.close()
 
1953
            yield key, data, rec[3]
 
1954
 
 
1955
    def _read_records_iter_unchecked(self, records):
 
1956
        """Read text records from data file and yield raw data.
 
1957
 
 
1958
        No validation is done.
 
1959
 
 
1960
        Yields tuples of (key, data).
1605
1961
        """
1606
1962
        # setup an iterator of the external records:
1607
1963
        # uses readv so nice and fast we hope.
1613
1969
 
1614
1970
        for key, index_memo in records:
1615
1971
            data = raw_records.next()
1616
 
            # validate the header (note that we can only use the suffix in
1617
 
            # current knit records).
1618
 
            df, rec = self._parse_record_header(key, data)
1619
 
            df.close()
1620
 
            yield key, data, rec[3]
 
1972
            yield key, data
1621
1973
 
1622
1974
    def _record_to_data(self, key, digest, lines, dense_lines=None):
1623
1975
        """Convert key, digest, lines into a raw data block.
1624
 
        
 
1976
 
1625
1977
        :param key: The key of the record. Currently keys are always serialised
1626
1978
            using just the trailing component.
1627
1979
        :param dense_lines: The bytes of lines but in a denser form. For
1628
 
            instance, if lines is a list of 1000 bytestrings each ending in \n,
1629
 
            dense_lines may be a list with one line in it, containing all the
1630
 
            1000's lines and their \n's. Using dense_lines if it is already
1631
 
            known is a win because the string join to create bytes in this
1632
 
            function spends less time resizing the final string.
 
1980
            instance, if lines is a list of 1000 bytestrings each ending in
 
1981
            \\n, dense_lines may be a list with one line in it, containing all
 
1982
            the 1000's lines and their \\n's. Using dense_lines if it is
 
1983
            already known is a win because the string join to create bytes in
 
1984
            this function spends less time resizing the final string.
1633
1985
        :return: (len, a StringIO instance with the raw data ready to read.)
1634
1986
        """
1635
 
        # Note: using a string copy here increases memory pressure with e.g.
1636
 
        # ISO's, but it is about 3 seconds faster on a 1.2Ghz intel machine
1637
 
        # when doing the initial commit of a mozilla tree. RBC 20070921
1638
 
        bytes = ''.join(chain(
1639
 
            ["version %s %d %s\n" % (key[-1],
1640
 
                                     len(lines),
1641
 
                                     digest)],
1642
 
            dense_lines or lines,
1643
 
            ["end %s\n" % key[-1]]))
1644
 
        if type(bytes) != str:
1645
 
            raise AssertionError(
1646
 
                'data must be plain bytes was %s' % type(bytes))
 
1987
        chunks = ["version %s %d %s\n" % (key[-1], len(lines), digest)]
 
1988
        chunks.extend(dense_lines or lines)
 
1989
        chunks.append("end %s\n" % key[-1])
 
1990
        for chunk in chunks:
 
1991
            if type(chunk) is not str:
 
1992
                raise AssertionError(
 
1993
                    'data must be plain bytes was %s' % type(chunk))
1647
1994
        if lines and lines[-1][-1] != '\n':
1648
1995
            raise ValueError('corrupt lines value %r' % lines)
1649
 
        compressed_bytes = tuned_gzip.bytes_to_gzip(bytes)
 
1996
        compressed_bytes = tuned_gzip.chunks_to_gzip(chunks)
1650
1997
        return len(compressed_bytes), compressed_bytes
1651
1998
 
1652
1999
    def _split_header(self, line):
1660
2007
        """See VersionedFiles.keys."""
1661
2008
        if 'evil' in debug.debug_flags:
1662
2009
            trace.mutter_callsite(2, "keys scales with size of history")
1663
 
        sources = [self._index] + self._fallback_vfs
 
2010
        sources = [self._index] + self._immediate_fallback_vfs
1664
2011
        result = set()
1665
2012
        for source in sources:
1666
2013
            result.update(source.keys())
1667
2014
        return result
1668
2015
 
1669
2016
 
 
2017
class _ContentMapGenerator(object):
 
2018
    """Generate texts or expose raw deltas for a set of texts."""
 
2019
 
 
2020
    def __init__(self, ordering='unordered'):
 
2021
        self._ordering = ordering
 
2022
 
 
2023
    def _get_content(self, key):
 
2024
        """Get the content object for key."""
 
2025
        # Note that _get_content is only called when the _ContentMapGenerator
 
2026
        # has been constructed with just one key requested for reconstruction.
 
2027
        if key in self.nonlocal_keys:
 
2028
            record = self.get_record_stream().next()
 
2029
            # Create a content object on the fly
 
2030
            lines = osutils.chunks_to_lines(record.get_bytes_as('chunked'))
 
2031
            return PlainKnitContent(lines, record.key)
 
2032
        else:
 
2033
            # local keys we can ask for directly
 
2034
            return self._get_one_work(key)
 
2035
 
 
2036
    def get_record_stream(self):
 
2037
        """Get a record stream for the keys requested during __init__."""
 
2038
        for record in self._work():
 
2039
            yield record
 
2040
 
 
2041
    def _work(self):
 
2042
        """Produce maps of text and KnitContents as dicts.
 
2043
 
 
2044
        :return: (text_map, content_map) where text_map contains the texts for
 
2045
            the requested versions and content_map contains the KnitContents.
 
2046
        """
 
2047
        # NB: By definition we never need to read remote sources unless texts
 
2048
        # are requested from them: we don't delta across stores - and we
 
2049
        # explicitly do not want to to prevent data loss situations.
 
2050
        if self.global_map is None:
 
2051
            self.global_map = self.vf.get_parent_map(self.keys)
 
2052
        nonlocal_keys = self.nonlocal_keys
 
2053
 
 
2054
        missing_keys = set(nonlocal_keys)
 
2055
        # Read from remote versioned file instances and provide to our caller.
 
2056
        for source in self.vf._immediate_fallback_vfs:
 
2057
            if not missing_keys:
 
2058
                break
 
2059
            # Loop over fallback repositories asking them for texts - ignore
 
2060
            # any missing from a particular fallback.
 
2061
            for record in source.get_record_stream(missing_keys,
 
2062
                self._ordering, True):
 
2063
                if record.storage_kind == 'absent':
 
2064
                    # Not in thie particular stream, may be in one of the
 
2065
                    # other fallback vfs objects.
 
2066
                    continue
 
2067
                missing_keys.remove(record.key)
 
2068
                yield record
 
2069
 
 
2070
        if self._raw_record_map is None:
 
2071
            raise AssertionError('_raw_record_map should have been filled')
 
2072
        first = True
 
2073
        for key in self.keys:
 
2074
            if key in self.nonlocal_keys:
 
2075
                continue
 
2076
            yield LazyKnitContentFactory(key, self.global_map[key], self, first)
 
2077
            first = False
 
2078
 
 
2079
    def _get_one_work(self, requested_key):
 
2080
        # Now, if we have calculated everything already, just return the
 
2081
        # desired text.
 
2082
        if requested_key in self._contents_map:
 
2083
            return self._contents_map[requested_key]
 
2084
        # To simplify things, parse everything at once - code that wants one text
 
2085
        # probably wants them all.
 
2086
        # FUTURE: This function could be improved for the 'extract many' case
 
2087
        # by tracking each component and only doing the copy when the number of
 
2088
        # children than need to apply delta's to it is > 1 or it is part of the
 
2089
        # final output.
 
2090
        multiple_versions = len(self.keys) != 1
 
2091
        if self._record_map is None:
 
2092
            self._record_map = self.vf._raw_map_to_record_map(
 
2093
                self._raw_record_map)
 
2094
        record_map = self._record_map
 
2095
        # raw_record_map is key:
 
2096
        # Have read and parsed records at this point.
 
2097
        for key in self.keys:
 
2098
            if key in self.nonlocal_keys:
 
2099
                # already handled
 
2100
                continue
 
2101
            components = []
 
2102
            cursor = key
 
2103
            while cursor is not None:
 
2104
                try:
 
2105
                    record, record_details, digest, next = record_map[cursor]
 
2106
                except KeyError:
 
2107
                    raise RevisionNotPresent(cursor, self)
 
2108
                components.append((cursor, record, record_details, digest))
 
2109
                cursor = next
 
2110
                if cursor in self._contents_map:
 
2111
                    # no need to plan further back
 
2112
                    components.append((cursor, None, None, None))
 
2113
                    break
 
2114
 
 
2115
            content = None
 
2116
            for (component_id, record, record_details,
 
2117
                 digest) in reversed(components):
 
2118
                if component_id in self._contents_map:
 
2119
                    content = self._contents_map[component_id]
 
2120
                else:
 
2121
                    content, delta = self._factory.parse_record(key[-1],
 
2122
                        record, record_details, content,
 
2123
                        copy_base_content=multiple_versions)
 
2124
                    if multiple_versions:
 
2125
                        self._contents_map[component_id] = content
 
2126
 
 
2127
            # digest here is the digest from the last applied component.
 
2128
            text = content.text()
 
2129
            actual_sha = sha_strings(text)
 
2130
            if actual_sha != digest:
 
2131
                raise SHA1KnitCorrupt(self, actual_sha, digest, key, text)
 
2132
        if multiple_versions:
 
2133
            return self._contents_map[requested_key]
 
2134
        else:
 
2135
            return content
 
2136
 
 
2137
    def _wire_bytes(self):
 
2138
        """Get the bytes to put on the wire for 'key'.
 
2139
 
 
2140
        The first collection of bytes asked for returns the serialised
 
2141
        raw_record_map and the additional details (key, parent) for key.
 
2142
        Subsequent calls return just the additional details (key, parent).
 
2143
        The wire storage_kind given for the first key is 'knit-delta-closure',
 
2144
        For subsequent keys it is 'knit-delta-closure-ref'.
 
2145
 
 
2146
        :param key: A key from the content generator.
 
2147
        :return: Bytes to put on the wire.
 
2148
        """
 
2149
        lines = []
 
2150
        # kind marker for dispatch on the far side,
 
2151
        lines.append('knit-delta-closure')
 
2152
        # Annotated or not
 
2153
        if self.vf._factory.annotated:
 
2154
            lines.append('annotated')
 
2155
        else:
 
2156
            lines.append('')
 
2157
        # then the list of keys
 
2158
        lines.append('\t'.join(['\x00'.join(key) for key in self.keys
 
2159
            if key not in self.nonlocal_keys]))
 
2160
        # then the _raw_record_map in serialised form:
 
2161
        map_byte_list = []
 
2162
        # for each item in the map:
 
2163
        # 1 line with key
 
2164
        # 1 line with parents if the key is to be yielded (None: for None, '' for ())
 
2165
        # one line with method
 
2166
        # one line with noeol
 
2167
        # one line with next ('' for None)
 
2168
        # one line with byte count of the record bytes
 
2169
        # the record bytes
 
2170
        for key, (record_bytes, (method, noeol), next) in \
 
2171
            self._raw_record_map.iteritems():
 
2172
            key_bytes = '\x00'.join(key)
 
2173
            parents = self.global_map.get(key, None)
 
2174
            if parents is None:
 
2175
                parent_bytes = 'None:'
 
2176
            else:
 
2177
                parent_bytes = '\t'.join('\x00'.join(key) for key in parents)
 
2178
            method_bytes = method
 
2179
            if noeol:
 
2180
                noeol_bytes = "T"
 
2181
            else:
 
2182
                noeol_bytes = "F"
 
2183
            if next:
 
2184
                next_bytes = '\x00'.join(next)
 
2185
            else:
 
2186
                next_bytes = ''
 
2187
            map_byte_list.append('%s\n%s\n%s\n%s\n%s\n%d\n%s' % (
 
2188
                key_bytes, parent_bytes, method_bytes, noeol_bytes, next_bytes,
 
2189
                len(record_bytes), record_bytes))
 
2190
        map_bytes = ''.join(map_byte_list)
 
2191
        lines.append(map_bytes)
 
2192
        bytes = '\n'.join(lines)
 
2193
        return bytes
 
2194
 
 
2195
 
 
2196
class _VFContentMapGenerator(_ContentMapGenerator):
 
2197
    """Content map generator reading from a VersionedFiles object."""
 
2198
 
 
2199
    def __init__(self, versioned_files, keys, nonlocal_keys=None,
 
2200
        global_map=None, raw_record_map=None, ordering='unordered'):
 
2201
        """Create a _ContentMapGenerator.
 
2202
 
 
2203
        :param versioned_files: The versioned files that the texts are being
 
2204
            extracted from.
 
2205
        :param keys: The keys to produce content maps for.
 
2206
        :param nonlocal_keys: An iterable of keys(possibly intersecting keys)
 
2207
            which are known to not be in this knit, but rather in one of the
 
2208
            fallback knits.
 
2209
        :param global_map: The result of get_parent_map(keys) (or a supermap).
 
2210
            This is required if get_record_stream() is to be used.
 
2211
        :param raw_record_map: A unparsed raw record map to use for answering
 
2212
            contents.
 
2213
        """
 
2214
        _ContentMapGenerator.__init__(self, ordering=ordering)
 
2215
        # The vf to source data from
 
2216
        self.vf = versioned_files
 
2217
        # The keys desired
 
2218
        self.keys = list(keys)
 
2219
        # Keys known to be in fallback vfs objects
 
2220
        if nonlocal_keys is None:
 
2221
            self.nonlocal_keys = set()
 
2222
        else:
 
2223
            self.nonlocal_keys = frozenset(nonlocal_keys)
 
2224
        # Parents data for keys to be returned in get_record_stream
 
2225
        self.global_map = global_map
 
2226
        # The chunked lists for self.keys in text form
 
2227
        self._text_map = {}
 
2228
        # A cache of KnitContent objects used in extracting texts.
 
2229
        self._contents_map = {}
 
2230
        # All the knit records needed to assemble the requested keys as full
 
2231
        # texts.
 
2232
        self._record_map = None
 
2233
        if raw_record_map is None:
 
2234
            self._raw_record_map = self.vf._get_record_map_unparsed(keys,
 
2235
                allow_missing=True)
 
2236
        else:
 
2237
            self._raw_record_map = raw_record_map
 
2238
        # the factory for parsing records
 
2239
        self._factory = self.vf._factory
 
2240
 
 
2241
 
 
2242
class _NetworkContentMapGenerator(_ContentMapGenerator):
 
2243
    """Content map generator sourced from a network stream."""
 
2244
 
 
2245
    def __init__(self, bytes, line_end):
 
2246
        """Construct a _NetworkContentMapGenerator from a bytes block."""
 
2247
        self._bytes = bytes
 
2248
        self.global_map = {}
 
2249
        self._raw_record_map = {}
 
2250
        self._contents_map = {}
 
2251
        self._record_map = None
 
2252
        self.nonlocal_keys = []
 
2253
        # Get access to record parsing facilities
 
2254
        self.vf = KnitVersionedFiles(None, None)
 
2255
        start = line_end
 
2256
        # Annotated or not
 
2257
        line_end = bytes.find('\n', start)
 
2258
        line = bytes[start:line_end]
 
2259
        start = line_end + 1
 
2260
        if line == 'annotated':
 
2261
            self._factory = KnitAnnotateFactory()
 
2262
        else:
 
2263
            self._factory = KnitPlainFactory()
 
2264
        # list of keys to emit in get_record_stream
 
2265
        line_end = bytes.find('\n', start)
 
2266
        line = bytes[start:line_end]
 
2267
        start = line_end + 1
 
2268
        self.keys = [
 
2269
            tuple(segment.split('\x00')) for segment in line.split('\t')
 
2270
            if segment]
 
2271
        # now a loop until the end. XXX: It would be nice if this was just a
 
2272
        # bunch of the same records as get_record_stream(..., False) gives, but
 
2273
        # there is a decent sized gap stopping that at the moment.
 
2274
        end = len(bytes)
 
2275
        while start < end:
 
2276
            # 1 line with key
 
2277
            line_end = bytes.find('\n', start)
 
2278
            key = tuple(bytes[start:line_end].split('\x00'))
 
2279
            start = line_end + 1
 
2280
            # 1 line with parents (None: for None, '' for ())
 
2281
            line_end = bytes.find('\n', start)
 
2282
            line = bytes[start:line_end]
 
2283
            if line == 'None:':
 
2284
                parents = None
 
2285
            else:
 
2286
                parents = tuple(
 
2287
                    [tuple(segment.split('\x00')) for segment in line.split('\t')
 
2288
                     if segment])
 
2289
            self.global_map[key] = parents
 
2290
            start = line_end + 1
 
2291
            # one line with method
 
2292
            line_end = bytes.find('\n', start)
 
2293
            line = bytes[start:line_end]
 
2294
            method = line
 
2295
            start = line_end + 1
 
2296
            # one line with noeol
 
2297
            line_end = bytes.find('\n', start)
 
2298
            line = bytes[start:line_end]
 
2299
            noeol = line == "T"
 
2300
            start = line_end + 1
 
2301
            # one line with next ('' for None)
 
2302
            line_end = bytes.find('\n', start)
 
2303
            line = bytes[start:line_end]
 
2304
            if not line:
 
2305
                next = None
 
2306
            else:
 
2307
                next = tuple(bytes[start:line_end].split('\x00'))
 
2308
            start = line_end + 1
 
2309
            # one line with byte count of the record bytes
 
2310
            line_end = bytes.find('\n', start)
 
2311
            line = bytes[start:line_end]
 
2312
            count = int(line)
 
2313
            start = line_end + 1
 
2314
            # the record bytes
 
2315
            record_bytes = bytes[start:start+count]
 
2316
            start = start + count
 
2317
            # put it in the map
 
2318
            self._raw_record_map[key] = (record_bytes, (method, noeol), next)
 
2319
 
 
2320
    def get_record_stream(self):
 
2321
        """Get a record stream for for keys requested by the bytestream."""
 
2322
        first = True
 
2323
        for key in self.keys:
 
2324
            yield LazyKnitContentFactory(key, self.global_map[key], self, first)
 
2325
            first = False
 
2326
 
 
2327
    def _wire_bytes(self):
 
2328
        return self._bytes
 
2329
 
 
2330
 
1670
2331
class _KndxIndex(object):
1671
2332
    """Manages knit index files
1672
2333
 
1686
2347
 
1687
2348
    Duplicate entries may be written to the index for a single version id
1688
2349
    if this is done then the latter one completely replaces the former:
1689
 
    this allows updates to correct version and parent information. 
 
2350
    this allows updates to correct version and parent information.
1690
2351
    Note that the two entries may share the delta, and that successive
1691
2352
    annotations and references MUST point to the first entry.
1692
2353
 
1693
2354
    The index file on disc contains a header, followed by one line per knit
1694
2355
    record. The same revision can be present in an index file more than once.
1695
 
    The first occurrence gets assigned a sequence number starting from 0. 
1696
 
    
 
2356
    The first occurrence gets assigned a sequence number starting from 0.
 
2357
 
1697
2358
    The format of a single line is
1698
2359
    REVISION_ID FLAGS BYTE_OFFSET LENGTH( PARENT_ID|PARENT_SEQUENCE_ID)* :\n
1699
2360
    REVISION_ID is a utf8-encoded revision id
1700
 
    FLAGS is a comma separated list of flags about the record. Values include 
 
2361
    FLAGS is a comma separated list of flags about the record. Values include
1701
2362
        no-eol, line-delta, fulltext.
1702
2363
    BYTE_OFFSET is the ascii representation of the byte offset in the data file
1703
 
        that the the compressed data starts at.
 
2364
        that the compressed data starts at.
1704
2365
    LENGTH is the ascii representation of the length of the data file.
1705
2366
    PARENT_ID a utf-8 revision id prefixed by a '.' that is a parent of
1706
2367
        REVISION_ID.
1707
2368
    PARENT_SEQUENCE_ID the ascii representation of the sequence number of a
1708
2369
        revision id already in the knit that is a parent of REVISION_ID.
1709
2370
    The ' :' marker is the end of record marker.
1710
 
    
 
2371
 
1711
2372
    partial writes:
1712
2373
    when a write is interrupted to the index file, it will result in a line
1713
2374
    that does not end in ' :'. If the ' :' is not present at the end of a line,
1738
2399
        self._reset_cache()
1739
2400
        self.has_graph = True
1740
2401
 
1741
 
    def add_records(self, records, random_id=False):
 
2402
    def add_records(self, records, random_id=False, missing_compression_parents=False):
1742
2403
        """Add multiple records to the index.
1743
 
        
 
2404
 
1744
2405
        :param records: a list of tuples:
1745
2406
                         (key, options, access_memo, parents).
1746
2407
        :param random_id: If True the ids being added were randomly generated
1747
2408
            and no check for existence will be performed.
 
2409
        :param missing_compression_parents: If True the records being added are
 
2410
            only compressed against texts already in the index (or inside
 
2411
            records). If False the records all refer to unavailable texts (or
 
2412
            texts inside records) as compression parents.
1748
2413
        """
 
2414
        if missing_compression_parents:
 
2415
            # It might be nice to get the edge of the records. But keys isn't
 
2416
            # _wrong_.
 
2417
            keys = sorted(record[0] for record in records)
 
2418
            raise errors.RevisionNotPresent(keys, self)
1749
2419
        paths = {}
1750
2420
        for record in records:
1751
2421
            key = record[0]
1768
2438
                    line = "\n%s %s %s %s %s :" % (
1769
2439
                        key[-1], ','.join(options), pos, size,
1770
2440
                        self._dictionary_compress(parents))
1771
 
                    if type(line) != str:
 
2441
                    if type(line) is not str:
1772
2442
                        raise AssertionError(
1773
2443
                            'data must be utf8 was %s' % type(line))
1774
2444
                    lines.append(line)
1782
2452
                self._kndx_cache[prefix] = (orig_cache, orig_history)
1783
2453
                raise
1784
2454
 
 
2455
    def scan_unvalidated_index(self, graph_index):
 
2456
        """See _KnitGraphIndex.scan_unvalidated_index."""
 
2457
        # Because kndx files do not support atomic insertion via separate index
 
2458
        # files, they do not support this method.
 
2459
        raise NotImplementedError(self.scan_unvalidated_index)
 
2460
 
 
2461
    def get_missing_compression_parents(self):
 
2462
        """See _KnitGraphIndex.get_missing_compression_parents."""
 
2463
        # Because kndx files do not support atomic insertion via separate index
 
2464
        # files, they do not support this method.
 
2465
        raise NotImplementedError(self.get_missing_compression_parents)
 
2466
 
1785
2467
    def _cache_key(self, key, options, pos, size, parent_keys):
1786
2468
        """Cache a version record in the history array and index cache.
1787
2469
 
1855
2537
                extra information about the content which needs to be passed to
1856
2538
                Factory.parse_record
1857
2539
        """
1858
 
        prefixes = self._partition_keys(keys)
1859
2540
        parent_map = self.get_parent_map(keys)
1860
2541
        result = {}
1861
2542
        for key in keys:
1895
2576
        except KeyError:
1896
2577
            raise RevisionNotPresent(key, self)
1897
2578
 
 
2579
    def find_ancestry(self, keys):
 
2580
        """See CombinedGraphIndex.find_ancestry()"""
 
2581
        prefixes = set(key[:-1] for key in keys)
 
2582
        self._load_prefixes(prefixes)
 
2583
        result = {}
 
2584
        parent_map = {}
 
2585
        missing_keys = set()
 
2586
        pending_keys = list(keys)
 
2587
        # This assumes that keys will not reference parents in a different
 
2588
        # prefix, which is accurate so far.
 
2589
        while pending_keys:
 
2590
            key = pending_keys.pop()
 
2591
            if key in parent_map:
 
2592
                continue
 
2593
            prefix = key[:-1]
 
2594
            try:
 
2595
                suffix_parents = self._kndx_cache[prefix][0][key[-1]][4]
 
2596
            except KeyError:
 
2597
                missing_keys.add(key)
 
2598
            else:
 
2599
                parent_keys = tuple([prefix + (suffix,)
 
2600
                                     for suffix in suffix_parents])
 
2601
                parent_map[key] = parent_keys
 
2602
                pending_keys.extend([p for p in parent_keys
 
2603
                                        if p not in parent_map])
 
2604
        return parent_map, missing_keys
 
2605
 
1898
2606
    def get_parent_map(self, keys):
1899
2607
        """Get a map of the parents of keys.
1900
2608
 
1921
2629
 
1922
2630
    def get_position(self, key):
1923
2631
        """Return details needed to access the version.
1924
 
        
 
2632
 
1925
2633
        :return: a tuple (key, data position, size) to hand to the access
1926
2634
            logic to get the record.
1927
2635
        """
1930
2638
        entry = self._kndx_cache[prefix][0][suffix]
1931
2639
        return key, entry[2], entry[3]
1932
2640
 
 
2641
    has_key = _mod_index._has_key_from_parent_map
 
2642
 
1933
2643
    def _init_index(self, path, extra_lines=[]):
1934
2644
        """Initialize an index."""
1935
2645
        sio = StringIO()
1944
2654
 
1945
2655
    def keys(self):
1946
2656
        """Get all the keys in the collection.
1947
 
        
 
2657
 
1948
2658
        The keys are not ordered.
1949
2659
        """
1950
2660
        result = set()
1951
2661
        # Identify all key prefixes.
1952
2662
        # XXX: A bit hacky, needs polish.
1953
 
        if type(self._mapper) == ConstantMapper:
 
2663
        if type(self._mapper) is ConstantMapper:
1954
2664
            prefixes = [()]
1955
2665
        else:
1956
2666
            relpaths = set()
1963
2673
            for suffix in self._kndx_cache[prefix][1]:
1964
2674
                result.add(prefix + (suffix,))
1965
2675
        return result
1966
 
    
 
2676
 
1967
2677
    def _load_prefixes(self, prefixes):
1968
2678
        """Load the indices for prefixes."""
1969
2679
        self._check_read()
1988
2698
                    del self._history
1989
2699
                except NoSuchFile:
1990
2700
                    self._kndx_cache[prefix] = ({}, [])
1991
 
                    if type(self._mapper) == ConstantMapper:
 
2701
                    if type(self._mapper) is ConstantMapper:
1992
2702
                        # preserve behaviour for revisions.kndx etc.
1993
2703
                        self._init_index(path)
1994
2704
                    del self._cache
1995
2705
                    del self._filename
1996
2706
                    del self._history
1997
2707
 
 
2708
    missing_keys = _mod_index._missing_keys_from_parent_map
 
2709
 
1998
2710
    def _partition_keys(self, keys):
1999
2711
        """Turn keys into a dict of prefix:suffix_list."""
2000
2712
        result = {}
2005
2717
 
2006
2718
    def _dictionary_compress(self, keys):
2007
2719
        """Dictionary compress keys.
2008
 
        
 
2720
 
2009
2721
        :param keys: The keys to generate references to.
2010
2722
        :return: A string representation of keys. keys which are present are
2011
2723
            dictionary compressed, and others are emitted as fulltext with a
2039
2751
        else:
2040
2752
            self._mode = 'r'
2041
2753
 
 
2754
    def _sort_keys_by_io(self, keys, positions):
 
2755
        """Figure out an optimal order to read the records for the given keys.
 
2756
 
 
2757
        Sort keys, grouped by index and sorted by position.
 
2758
 
 
2759
        :param keys: A list of keys whose records we want to read. This will be
 
2760
            sorted 'in-place'.
 
2761
        :param positions: A dict, such as the one returned by
 
2762
            _get_components_positions()
 
2763
        :return: None
 
2764
        """
 
2765
        def get_sort_key(key):
 
2766
            index_memo = positions[key][1]
 
2767
            # Group by prefix and position. index_memo[0] is the key, so it is
 
2768
            # (file_id, revision_id) and we don't want to sort on revision_id,
 
2769
            # index_memo[1] is the position, and index_memo[2] is the size,
 
2770
            # which doesn't matter for the sort
 
2771
            return index_memo[0][:-1], index_memo[1]
 
2772
        return keys.sort(key=get_sort_key)
 
2773
 
 
2774
    _get_total_build_size = _get_total_build_size
 
2775
 
2042
2776
    def _split_key(self, key):
2043
2777
        """Split key into a prefix and suffix."""
2044
2778
        return key[:-1], key[-1]
2048
2782
    """A KnitVersionedFiles index layered on GraphIndex."""
2049
2783
 
2050
2784
    def __init__(self, graph_index, is_locked, deltas=False, parents=True,
2051
 
        add_callback=None):
 
2785
        add_callback=None, track_external_parent_refs=False):
2052
2786
        """Construct a KnitGraphIndex on a graph_index.
2053
2787
 
2054
2788
        :param graph_index: An implementation of bzrlib.index.GraphIndex.
2055
2789
        :param is_locked: A callback to check whether the object should answer
2056
2790
            queries.
2057
2791
        :param deltas: Allow delta-compressed records.
2058
 
        :param parents: If True, record knits parents, if not do not record 
 
2792
        :param parents: If True, record knits parents, if not do not record
2059
2793
            parents.
2060
2794
        :param add_callback: If not None, allow additions to the index and call
2061
2795
            this callback with a list of added GraphIndex nodes:
2062
2796
            [(node, value, node_refs), ...]
2063
2797
        :param is_locked: A callback, returns True if the index is locked and
2064
2798
            thus usable.
 
2799
        :param track_external_parent_refs: If True, record all external parent
 
2800
            references parents from added records.  These can be retrieved
 
2801
            later by calling get_missing_parents().
2065
2802
        """
2066
2803
        self._add_callback = add_callback
2067
2804
        self._graph_index = graph_index
2074
2811
                "parent tracking.")
2075
2812
        self.has_graph = parents
2076
2813
        self._is_locked = is_locked
 
2814
        self._missing_compression_parents = set()
 
2815
        if track_external_parent_refs:
 
2816
            self._key_dependencies = _KeyRefs()
 
2817
        else:
 
2818
            self._key_dependencies = None
2077
2819
 
2078
2820
    def __repr__(self):
2079
2821
        return "%s(%r)" % (self.__class__.__name__, self._graph_index)
2080
2822
 
2081
 
    def add_records(self, records, random_id=False):
 
2823
    def add_records(self, records, random_id=False,
 
2824
        missing_compression_parents=False):
2082
2825
        """Add multiple records to the index.
2083
 
        
 
2826
 
2084
2827
        This function does not insert data into the Immutable GraphIndex
2085
2828
        backing the KnitGraphIndex, instead it prepares data for insertion by
2086
2829
        the caller and checks that it is safe to insert then calls
2090
2833
                         (key, options, access_memo, parents).
2091
2834
        :param random_id: If True the ids being added were randomly generated
2092
2835
            and no check for existence will be performed.
 
2836
        :param missing_compression_parents: If True the records being added are
 
2837
            only compressed against texts already in the index (or inside
 
2838
            records). If False the records all refer to unavailable texts (or
 
2839
            texts inside records) as compression parents.
2093
2840
        """
2094
2841
        if not self._add_callback:
2095
2842
            raise errors.ReadOnlyError(self)
2097
2844
        # anymore.
2098
2845
 
2099
2846
        keys = {}
 
2847
        compression_parents = set()
 
2848
        key_dependencies = self._key_dependencies
2100
2849
        for (key, options, access_memo, parents) in records:
2101
2850
            if self._parents:
2102
2851
                parents = tuple(parents)
 
2852
                if key_dependencies is not None:
 
2853
                    key_dependencies.add_references(key, parents)
2103
2854
            index, pos, size = access_memo
2104
2855
            if 'no-eol' in options:
2105
2856
                value = 'N'
2113
2864
                if self._deltas:
2114
2865
                    if 'line-delta' in options:
2115
2866
                        node_refs = (parents, (parents[0],))
 
2867
                        if missing_compression_parents:
 
2868
                            compression_parents.add(parents[0])
2116
2869
                    else:
2117
2870
                        node_refs = (parents, ())
2118
2871
                else:
2127
2880
        if not random_id:
2128
2881
            present_nodes = self._get_entries(keys)
2129
2882
            for (index, key, value, node_refs) in present_nodes:
 
2883
                parents = node_refs[:1]
 
2884
                # Sometimes these are passed as a list rather than a tuple
 
2885
                passed = static_tuple.as_tuples(keys[key])
 
2886
                passed_parents = passed[1][:1]
2130
2887
                if (value[0] != keys[key][0][0] or
2131
 
                    node_refs != keys[key][1]):
 
2888
                    parents != passed_parents):
 
2889
                    node_refs = static_tuple.as_tuples(node_refs)
2132
2890
                    raise KnitCorrupt(self, "inconsistent details in add_records"
2133
 
                        ": %s %s" % ((value, node_refs), keys[key]))
 
2891
                        ": %s %s" % ((value, node_refs), passed))
2134
2892
                del keys[key]
2135
2893
        result = []
2136
2894
        if self._parents:
2140
2898
            for key, (value, node_refs) in keys.iteritems():
2141
2899
                result.append((key, value))
2142
2900
        self._add_callback(result)
2143
 
        
 
2901
        if missing_compression_parents:
 
2902
            # This may appear to be incorrect (it does not check for
 
2903
            # compression parents that are in the existing graph index),
 
2904
            # but such records won't have been buffered, so this is
 
2905
            # actually correct: every entry when
 
2906
            # missing_compression_parents==True either has a missing parent, or
 
2907
            # a parent that is one of the keys in records.
 
2908
            compression_parents.difference_update(keys)
 
2909
            self._missing_compression_parents.update(compression_parents)
 
2910
        # Adding records may have satisfied missing compression parents.
 
2911
        self._missing_compression_parents.difference_update(keys)
 
2912
 
 
2913
    def scan_unvalidated_index(self, graph_index):
 
2914
        """Inform this _KnitGraphIndex that there is an unvalidated index.
 
2915
 
 
2916
        This allows this _KnitGraphIndex to keep track of any missing
 
2917
        compression parents we may want to have filled in to make those
 
2918
        indices valid.
 
2919
 
 
2920
        :param graph_index: A GraphIndex
 
2921
        """
 
2922
        if self._deltas:
 
2923
            new_missing = graph_index.external_references(ref_list_num=1)
 
2924
            new_missing.difference_update(self.get_parent_map(new_missing))
 
2925
            self._missing_compression_parents.update(new_missing)
 
2926
        if self._key_dependencies is not None:
 
2927
            # Add parent refs from graph_index (and discard parent refs that
 
2928
            # the graph_index has).
 
2929
            for node in graph_index.iter_all_entries():
 
2930
                self._key_dependencies.add_references(node[1], node[3][0])
 
2931
 
 
2932
    def get_missing_compression_parents(self):
 
2933
        """Return the keys of missing compression parents.
 
2934
 
 
2935
        Missing compression parents occur when a record stream was missing
 
2936
        basis texts, or a index was scanned that had missing basis texts.
 
2937
        """
 
2938
        return frozenset(self._missing_compression_parents)
 
2939
 
 
2940
    def get_missing_parents(self):
 
2941
        """Return the keys of missing parents."""
 
2942
        # If updating this, you should also update
 
2943
        # groupcompress._GCGraphIndex.get_missing_parents
 
2944
        # We may have false positives, so filter those out.
 
2945
        self._key_dependencies.satisfy_refs_for_keys(
 
2946
            self.get_parent_map(self._key_dependencies.get_unsatisfied_refs()))
 
2947
        return frozenset(self._key_dependencies.get_unsatisfied_refs())
 
2948
 
2144
2949
    def _check_read(self):
2145
2950
        """raise if reads are not permitted."""
2146
2951
        if not self._is_locked():
2206
3011
 
2207
3012
    def _get_entries(self, keys, check_present=False):
2208
3013
        """Get the entries for keys.
2209
 
        
 
3014
 
2210
3015
        :param keys: An iterable of index key tuples.
2211
3016
        """
2212
3017
        keys = set(keys)
2254
3059
            options.append('no-eol')
2255
3060
        return options
2256
3061
 
 
3062
    def find_ancestry(self, keys):
 
3063
        """See CombinedGraphIndex.find_ancestry()"""
 
3064
        return self._graph_index.find_ancestry(keys, 0)
 
3065
 
2257
3066
    def get_parent_map(self, keys):
2258
3067
        """Get a map of the parents of keys.
2259
3068
 
2274
3083
 
2275
3084
    def get_position(self, key):
2276
3085
        """Return details needed to access the version.
2277
 
        
 
3086
 
2278
3087
        :return: a tuple (index, data position, size) to hand to the access
2279
3088
            logic to get the record.
2280
3089
        """
2281
3090
        node = self._get_node(key)
2282
3091
        return self._node_to_position(node)
2283
3092
 
 
3093
    has_key = _mod_index._has_key_from_parent_map
 
3094
 
2284
3095
    def keys(self):
2285
3096
        """Get all the keys in the collection.
2286
 
        
 
3097
 
2287
3098
        The keys are not ordered.
2288
3099
        """
2289
3100
        self._check_read()
2290
3101
        return [node[1] for node in self._graph_index.iter_all_entries()]
2291
 
    
 
3102
 
 
3103
    missing_keys = _mod_index._missing_keys_from_parent_map
 
3104
 
2292
3105
    def _node_to_position(self, node):
2293
3106
        """Convert an index value to position details."""
2294
3107
        bits = node[2][1:].split(' ')
2295
3108
        return node[0], int(bits[0]), int(bits[1])
2296
3109
 
 
3110
    def _sort_keys_by_io(self, keys, positions):
 
3111
        """Figure out an optimal order to read the records for the given keys.
 
3112
 
 
3113
        Sort keys, grouped by index and sorted by position.
 
3114
 
 
3115
        :param keys: A list of keys whose records we want to read. This will be
 
3116
            sorted 'in-place'.
 
3117
        :param positions: A dict, such as the one returned by
 
3118
            _get_components_positions()
 
3119
        :return: None
 
3120
        """
 
3121
        def get_index_memo(key):
 
3122
            # index_memo is at offset [1]. It is made up of (GraphIndex,
 
3123
            # position, size). GI is an object, which will be unique for each
 
3124
            # pack file. This causes us to group by pack file, then sort by
 
3125
            # position. Size doesn't matter, but it isn't worth breaking up the
 
3126
            # tuple.
 
3127
            return positions[key][1]
 
3128
        return keys.sort(key=get_index_memo)
 
3129
 
 
3130
    _get_total_build_size = _get_total_build_size
 
3131
 
2297
3132
 
2298
3133
class _KnitKeyAccess(object):
2299
3134
    """Access to records in .knit files."""
2320
3155
            opaque index memo. For _KnitKeyAccess the memo is (key, pos,
2321
3156
            length), where the key is the record key.
2322
3157
        """
2323
 
        if type(raw_data) != str:
 
3158
        if type(raw_data) is not str:
2324
3159
            raise AssertionError(
2325
3160
                'data must be plain bytes was %s' % type(raw_data))
2326
3161
        result = []
2343
3178
            result.append((key, base, size))
2344
3179
        return result
2345
3180
 
 
3181
    def flush(self):
 
3182
        """Flush pending writes on this access object.
 
3183
        
 
3184
        For .knit files this is a no-op.
 
3185
        """
 
3186
        pass
 
3187
 
2346
3188
    def get_raw_records(self, memos_for_retrieval):
2347
3189
        """Get the raw bytes for a records.
2348
3190
 
2370
3212
                yield data
2371
3213
 
2372
3214
 
2373
 
class _DirectPackAccess(object):
2374
 
    """Access to data in one or more packs with less translation."""
2375
 
 
2376
 
    def __init__(self, index_to_packs):
2377
 
        """Create a _DirectPackAccess object.
2378
 
 
2379
 
        :param index_to_packs: A dict mapping index objects to the transport
2380
 
            and file names for obtaining data.
2381
 
        """
2382
 
        self._container_writer = None
2383
 
        self._write_index = None
2384
 
        self._indices = index_to_packs
2385
 
 
2386
 
    def add_raw_records(self, key_sizes, raw_data):
2387
 
        """Add raw knit bytes to a storage area.
2388
 
 
2389
 
        The data is spooled to the container writer in one bytes-record per
2390
 
        raw data item.
2391
 
 
2392
 
        :param sizes: An iterable of tuples containing the key and size of each
2393
 
            raw data segment.
2394
 
        :param raw_data: A bytestring containing the data.
2395
 
        :return: A list of memos to retrieve the record later. Each memo is an
2396
 
            opaque index memo. For _DirectPackAccess the memo is (index, pos,
2397
 
            length), where the index field is the write_index object supplied
2398
 
            to the PackAccess object.
2399
 
        """
2400
 
        if type(raw_data) != str:
2401
 
            raise AssertionError(
2402
 
                'data must be plain bytes was %s' % type(raw_data))
2403
 
        result = []
2404
 
        offset = 0
2405
 
        for key, size in key_sizes:
2406
 
            p_offset, p_length = self._container_writer.add_bytes_record(
2407
 
                raw_data[offset:offset+size], [])
2408
 
            offset += size
2409
 
            result.append((self._write_index, p_offset, p_length))
2410
 
        return result
2411
 
 
2412
 
    def get_raw_records(self, memos_for_retrieval):
2413
 
        """Get the raw bytes for a records.
2414
 
 
2415
 
        :param memos_for_retrieval: An iterable containing the (index, pos, 
2416
 
            length) memo for retrieving the bytes. The Pack access method
2417
 
            looks up the pack to use for a given record in its index_to_pack
2418
 
            map.
2419
 
        :return: An iterator over the bytes of the records.
2420
 
        """
2421
 
        # first pass, group into same-index requests
2422
 
        request_lists = []
2423
 
        current_index = None
2424
 
        for (index, offset, length) in memos_for_retrieval:
2425
 
            if current_index == index:
2426
 
                current_list.append((offset, length))
2427
 
            else:
2428
 
                if current_index is not None:
2429
 
                    request_lists.append((current_index, current_list))
2430
 
                current_index = index
2431
 
                current_list = [(offset, length)]
2432
 
        # handle the last entry
2433
 
        if current_index is not None:
2434
 
            request_lists.append((current_index, current_list))
2435
 
        for index, offsets in request_lists:
2436
 
            transport, path = self._indices[index]
2437
 
            reader = pack.make_readv_reader(transport, path, offsets)
2438
 
            for names, read_func in reader.iter_records():
2439
 
                yield read_func(None)
2440
 
 
2441
 
    def set_writer(self, writer, index, transport_packname):
2442
 
        """Set a writer to use for adding data."""
2443
 
        if index is not None:
2444
 
            self._indices[index] = transport_packname
2445
 
        self._container_writer = writer
2446
 
        self._write_index = index
2447
 
 
2448
 
 
2449
 
# Deprecated, use PatienceSequenceMatcher instead
2450
 
KnitSequenceMatcher = patiencediff.PatienceSequenceMatcher
2451
 
 
2452
 
 
2453
3215
def annotate_knit(knit, revision_id):
2454
3216
    """Annotate a knit with no cached annotations.
2455
3217
 
2458
3220
    recommended.
2459
3221
    """
2460
3222
    annotator = _KnitAnnotator(knit)
2461
 
    return iter(annotator.annotate(revision_id))
2462
 
 
2463
 
 
2464
 
class _KnitAnnotator(object):
 
3223
    return iter(annotator.annotate_flat(revision_id))
 
3224
 
 
3225
 
 
3226
class _KnitAnnotator(annotate.Annotator):
2465
3227
    """Build up the annotations for a text."""
2466
3228
 
2467
 
    def __init__(self, knit):
2468
 
        self._knit = knit
2469
 
 
2470
 
        # Content objects, differs from fulltexts because of how final newlines
2471
 
        # are treated by knits. the content objects here will always have a
2472
 
        # final newline
2473
 
        self._fulltext_contents = {}
2474
 
 
2475
 
        # Annotated lines of specific revisions
2476
 
        self._annotated_lines = {}
2477
 
 
2478
 
        # Track the raw data for nodes that we could not process yet.
2479
 
        # This maps the revision_id of the base to a list of children that will
2480
 
        # annotated from it.
2481
 
        self._pending_children = {}
2482
 
 
2483
 
        # Nodes which cannot be extracted
2484
 
        self._ghosts = set()
2485
 
 
2486
 
        # Track how many children this node has, so we know if we need to keep
2487
 
        # it
2488
 
        self._annotate_children = {}
2489
 
        self._compression_children = {}
 
3229
    def __init__(self, vf):
 
3230
        annotate.Annotator.__init__(self, vf)
 
3231
 
 
3232
        # TODO: handle Nodes which cannot be extracted
 
3233
        # self._ghosts = set()
 
3234
 
 
3235
        # Map from (key, parent_key) => matching_blocks, should be 'use once'
 
3236
        self._matching_blocks = {}
 
3237
 
 
3238
        # KnitContent objects
 
3239
        self._content_objects = {}
 
3240
        # The number of children that depend on this fulltext content object
 
3241
        self._num_compression_children = {}
 
3242
        # Delta records that need their compression parent before they can be
 
3243
        # expanded
 
3244
        self._pending_deltas = {}
 
3245
        # Fulltext records that are waiting for their parents fulltexts before
 
3246
        # they can be yielded for annotation
 
3247
        self._pending_annotation = {}
2490
3248
 
2491
3249
        self._all_build_details = {}
2492
 
        # The children => parent revision_id graph
2493
 
        self._revision_id_graph = {}
2494
 
 
2495
 
        self._heads_provider = None
2496
 
 
2497
 
        self._nodes_to_keep_annotations = set()
2498
 
        self._generations_until_keep = 100
2499
 
 
2500
 
    def set_generations_until_keep(self, value):
2501
 
        """Set the number of generations before caching a node.
2502
 
 
2503
 
        Setting this to -1 will cache every merge node, setting this higher
2504
 
        will cache fewer nodes.
2505
 
        """
2506
 
        self._generations_until_keep = value
2507
 
 
2508
 
    def _add_fulltext_content(self, revision_id, content_obj):
2509
 
        self._fulltext_contents[revision_id] = content_obj
2510
 
        # TODO: jam 20080305 It might be good to check the sha1digest here
2511
 
        return content_obj.text()
2512
 
 
2513
 
    def _check_parents(self, child, nodes_to_annotate):
2514
 
        """Check if all parents have been processed.
2515
 
 
2516
 
        :param child: A tuple of (rev_id, parents, raw_content)
2517
 
        :param nodes_to_annotate: If child is ready, add it to
2518
 
            nodes_to_annotate, otherwise put it back in self._pending_children
2519
 
        """
2520
 
        for parent_id in child[1]:
2521
 
            if (parent_id not in self._annotated_lines):
2522
 
                # This parent is present, but another parent is missing
2523
 
                self._pending_children.setdefault(parent_id,
2524
 
                                                  []).append(child)
2525
 
                break
2526
 
        else:
2527
 
            # This one is ready to be processed
2528
 
            nodes_to_annotate.append(child)
2529
 
 
2530
 
    def _add_annotation(self, revision_id, fulltext, parent_ids,
2531
 
                        left_matching_blocks=None):
2532
 
        """Add an annotation entry.
2533
 
 
2534
 
        All parents should already have been annotated.
2535
 
        :return: A list of children that now have their parents satisfied.
2536
 
        """
2537
 
        a = self._annotated_lines
2538
 
        annotated_parent_lines = [a[p] for p in parent_ids]
2539
 
        annotated_lines = list(annotate.reannotate(annotated_parent_lines,
2540
 
            fulltext, revision_id, left_matching_blocks,
2541
 
            heads_provider=self._get_heads_provider()))
2542
 
        self._annotated_lines[revision_id] = annotated_lines
2543
 
        for p in parent_ids:
2544
 
            ann_children = self._annotate_children[p]
2545
 
            ann_children.remove(revision_id)
2546
 
            if (not ann_children
2547
 
                and p not in self._nodes_to_keep_annotations):
2548
 
                del self._annotated_lines[p]
2549
 
                del self._all_build_details[p]
2550
 
                if p in self._fulltext_contents:
2551
 
                    del self._fulltext_contents[p]
2552
 
        # Now that we've added this one, see if there are any pending
2553
 
        # deltas to be done, certainly this parent is finished
2554
 
        nodes_to_annotate = []
2555
 
        for child in self._pending_children.pop(revision_id, []):
2556
 
            self._check_parents(child, nodes_to_annotate)
2557
 
        return nodes_to_annotate
2558
3250
 
2559
3251
    def _get_build_graph(self, key):
2560
3252
        """Get the graphs for building texts and annotations.
2565
3257
        fulltext.)
2566
3258
 
2567
3259
        :return: A list of (key, index_memo) records, suitable for
2568
 
            passing to read_records_iter to start reading in the raw data fro/
 
3260
            passing to read_records_iter to start reading in the raw data from
2569
3261
            the pack file.
2570
3262
        """
2571
 
        if key in self._annotated_lines:
2572
 
            # Nothing to do
2573
 
            return []
2574
3263
        pending = set([key])
2575
3264
        records = []
2576
 
        generation = 0
2577
 
        kept_generation = 0
 
3265
        ann_keys = set()
 
3266
        self._num_needed_children[key] = 1
2578
3267
        while pending:
2579
3268
            # get all pending nodes
2580
 
            generation += 1
2581
3269
            this_iteration = pending
2582
 
            build_details = self._knit._index.get_build_details(this_iteration)
 
3270
            build_details = self._vf._index.get_build_details(this_iteration)
2583
3271
            self._all_build_details.update(build_details)
2584
 
            # new_nodes = self._knit._index._get_entries(this_iteration)
 
3272
            # new_nodes = self._vf._index._get_entries(this_iteration)
2585
3273
            pending = set()
2586
3274
            for key, details in build_details.iteritems():
2587
 
                (index_memo, compression_parent, parents,
 
3275
                (index_memo, compression_parent, parent_keys,
2588
3276
                 record_details) = details
2589
 
                self._revision_id_graph[key] = parents
 
3277
                self._parent_map[key] = parent_keys
 
3278
                self._heads_provider = None
2590
3279
                records.append((key, index_memo))
2591
3280
                # Do we actually need to check _annotated_lines?
2592
 
                pending.update(p for p in parents
2593
 
                                 if p not in self._all_build_details)
 
3281
                pending.update([p for p in parent_keys
 
3282
                                   if p not in self._all_build_details])
 
3283
                if parent_keys:
 
3284
                    for parent_key in parent_keys:
 
3285
                        if parent_key in self._num_needed_children:
 
3286
                            self._num_needed_children[parent_key] += 1
 
3287
                        else:
 
3288
                            self._num_needed_children[parent_key] = 1
2594
3289
                if compression_parent:
2595
 
                    self._compression_children.setdefault(compression_parent,
2596
 
                        []).append(key)
2597
 
                if parents:
2598
 
                    for parent in parents:
2599
 
                        self._annotate_children.setdefault(parent,
2600
 
                            []).append(key)
2601
 
                    num_gens = generation - kept_generation
2602
 
                    if ((num_gens >= self._generations_until_keep)
2603
 
                        and len(parents) > 1):
2604
 
                        kept_generation = generation
2605
 
                        self._nodes_to_keep_annotations.add(key)
 
3290
                    if compression_parent in self._num_compression_children:
 
3291
                        self._num_compression_children[compression_parent] += 1
 
3292
                    else:
 
3293
                        self._num_compression_children[compression_parent] = 1
2606
3294
 
2607
3295
            missing_versions = this_iteration.difference(build_details.keys())
2608
 
            self._ghosts.update(missing_versions)
2609
 
            for missing_version in missing_versions:
2610
 
                # add a key, no parents
2611
 
                self._revision_id_graph[missing_version] = ()
2612
 
                pending.discard(missing_version) # don't look for it
2613
 
        if self._ghosts.intersection(self._compression_children):
2614
 
            raise KnitCorrupt(
2615
 
                "We cannot have nodes which have a ghost compression parent:\n"
2616
 
                "ghosts: %r\n"
2617
 
                "compression children: %r"
2618
 
                % (self._ghosts, self._compression_children))
2619
 
        # Cleanout anything that depends on a ghost so that we don't wait for
2620
 
        # the ghost to show up
2621
 
        for node in self._ghosts:
2622
 
            if node in self._annotate_children:
2623
 
                # We won't be building this node
2624
 
                del self._annotate_children[node]
 
3296
            if missing_versions:
 
3297
                for key in missing_versions:
 
3298
                    if key in self._parent_map and key in self._text_cache:
 
3299
                        # We already have this text ready, we just need to
 
3300
                        # yield it later so we get it annotated
 
3301
                        ann_keys.add(key)
 
3302
                        parent_keys = self._parent_map[key]
 
3303
                        for parent_key in parent_keys:
 
3304
                            if parent_key in self._num_needed_children:
 
3305
                                self._num_needed_children[parent_key] += 1
 
3306
                            else:
 
3307
                                self._num_needed_children[parent_key] = 1
 
3308
                        pending.update([p for p in parent_keys
 
3309
                                           if p not in self._all_build_details])
 
3310
                    else:
 
3311
                        raise errors.RevisionNotPresent(key, self._vf)
2625
3312
        # Generally we will want to read the records in reverse order, because
2626
3313
        # we find the parent nodes after the children
2627
3314
        records.reverse()
2628
 
        return records
2629
 
 
2630
 
    def _annotate_records(self, records):
2631
 
        """Build the annotations for the listed records."""
 
3315
        return records, ann_keys
 
3316
 
 
3317
    def _get_needed_texts(self, key, pb=None):
 
3318
        # if True or len(self._vf._immediate_fallback_vfs) > 0:
 
3319
        if len(self._vf._immediate_fallback_vfs) > 0:
 
3320
            # If we have fallbacks, go to the generic path
 
3321
            for v in annotate.Annotator._get_needed_texts(self, key, pb=pb):
 
3322
                yield v
 
3323
            return
 
3324
        while True:
 
3325
            try:
 
3326
                records, ann_keys = self._get_build_graph(key)
 
3327
                for idx, (sub_key, text, num_lines) in enumerate(
 
3328
                                                self._extract_texts(records)):
 
3329
                    if pb is not None:
 
3330
                        pb.update(gettext('annotating'), idx, len(records))
 
3331
                    yield sub_key, text, num_lines
 
3332
                for sub_key in ann_keys:
 
3333
                    text = self._text_cache[sub_key]
 
3334
                    num_lines = len(text) # bad assumption
 
3335
                    yield sub_key, text, num_lines
 
3336
                return
 
3337
            except errors.RetryWithNewPacks, e:
 
3338
                self._vf._access.reload_or_raise(e)
 
3339
                # The cached build_details are no longer valid
 
3340
                self._all_build_details.clear()
 
3341
 
 
3342
    def _cache_delta_blocks(self, key, compression_parent, delta, lines):
 
3343
        parent_lines = self._text_cache[compression_parent]
 
3344
        blocks = list(KnitContent.get_line_delta_blocks(delta, parent_lines, lines))
 
3345
        self._matching_blocks[(key, compression_parent)] = blocks
 
3346
 
 
3347
    def _expand_record(self, key, parent_keys, compression_parent, record,
 
3348
                       record_details):
 
3349
        delta = None
 
3350
        if compression_parent:
 
3351
            if compression_parent not in self._content_objects:
 
3352
                # Waiting for the parent
 
3353
                self._pending_deltas.setdefault(compression_parent, []).append(
 
3354
                    (key, parent_keys, record, record_details))
 
3355
                return None
 
3356
            # We have the basis parent, so expand the delta
 
3357
            num = self._num_compression_children[compression_parent]
 
3358
            num -= 1
 
3359
            if num == 0:
 
3360
                base_content = self._content_objects.pop(compression_parent)
 
3361
                self._num_compression_children.pop(compression_parent)
 
3362
            else:
 
3363
                self._num_compression_children[compression_parent] = num
 
3364
                base_content = self._content_objects[compression_parent]
 
3365
            # It is tempting to want to copy_base_content=False for the last
 
3366
            # child object. However, whenever noeol=False,
 
3367
            # self._text_cache[parent_key] is content._lines. So mutating it
 
3368
            # gives very bad results.
 
3369
            # The alternative is to copy the lines into text cache, but then we
 
3370
            # are copying anyway, so just do it here.
 
3371
            content, delta = self._vf._factory.parse_record(
 
3372
                key, record, record_details, base_content,
 
3373
                copy_base_content=True)
 
3374
        else:
 
3375
            # Fulltext record
 
3376
            content, _ = self._vf._factory.parse_record(
 
3377
                key, record, record_details, None)
 
3378
        if self._num_compression_children.get(key, 0) > 0:
 
3379
            self._content_objects[key] = content
 
3380
        lines = content.text()
 
3381
        self._text_cache[key] = lines
 
3382
        if delta is not None:
 
3383
            self._cache_delta_blocks(key, compression_parent, delta, lines)
 
3384
        return lines
 
3385
 
 
3386
    def _get_parent_annotations_and_matches(self, key, text, parent_key):
 
3387
        """Get the list of annotations for the parent, and the matching lines.
 
3388
 
 
3389
        :param text: The opaque value given by _get_needed_texts
 
3390
        :param parent_key: The key for the parent text
 
3391
        :return: (parent_annotations, matching_blocks)
 
3392
            parent_annotations is a list as long as the number of lines in
 
3393
                parent
 
3394
            matching_blocks is a list of (parent_idx, text_idx, len) tuples
 
3395
                indicating which lines match between the two texts
 
3396
        """
 
3397
        block_key = (key, parent_key)
 
3398
        if block_key in self._matching_blocks:
 
3399
            blocks = self._matching_blocks.pop(block_key)
 
3400
            parent_annotations = self._annotations_cache[parent_key]
 
3401
            return parent_annotations, blocks
 
3402
        return annotate.Annotator._get_parent_annotations_and_matches(self,
 
3403
            key, text, parent_key)
 
3404
 
 
3405
    def _process_pending(self, key):
 
3406
        """The content for 'key' was just processed.
 
3407
 
 
3408
        Determine if there is any more pending work to be processed.
 
3409
        """
 
3410
        to_return = []
 
3411
        if key in self._pending_deltas:
 
3412
            compression_parent = key
 
3413
            children = self._pending_deltas.pop(key)
 
3414
            for child_key, parent_keys, record, record_details in children:
 
3415
                lines = self._expand_record(child_key, parent_keys,
 
3416
                                            compression_parent,
 
3417
                                            record, record_details)
 
3418
                if self._check_ready_for_annotations(child_key, parent_keys):
 
3419
                    to_return.append(child_key)
 
3420
        # Also check any children that are waiting for this parent to be
 
3421
        # annotation ready
 
3422
        if key in self._pending_annotation:
 
3423
            children = self._pending_annotation.pop(key)
 
3424
            to_return.extend([c for c, p_keys in children
 
3425
                              if self._check_ready_for_annotations(c, p_keys)])
 
3426
        return to_return
 
3427
 
 
3428
    def _check_ready_for_annotations(self, key, parent_keys):
 
3429
        """return true if this text is ready to be yielded.
 
3430
 
 
3431
        Otherwise, this will return False, and queue the text into
 
3432
        self._pending_annotation
 
3433
        """
 
3434
        for parent_key in parent_keys:
 
3435
            if parent_key not in self._annotations_cache:
 
3436
                # still waiting on at least one parent text, so queue it up
 
3437
                # Note that if there are multiple parents, we need to wait
 
3438
                # for all of them.
 
3439
                self._pending_annotation.setdefault(parent_key,
 
3440
                    []).append((key, parent_keys))
 
3441
                return False
 
3442
        return True
 
3443
 
 
3444
    def _extract_texts(self, records):
 
3445
        """Extract the various texts needed based on records"""
2632
3446
        # We iterate in the order read, rather than a strict order requested
2633
3447
        # However, process what we can, and put off to the side things that
2634
3448
        # still need parents, cleaning them up when those parents are
2635
3449
        # processed.
2636
 
        for (rev_id, record,
2637
 
             digest) in self._knit._read_records_iter(records):
2638
 
            if rev_id in self._annotated_lines:
 
3450
        # Basic data flow:
 
3451
        #   1) As 'records' are read, see if we can expand these records into
 
3452
        #      Content objects (and thus lines)
 
3453
        #   2) If a given line-delta is waiting on its compression parent, it
 
3454
        #      gets queued up into self._pending_deltas, otherwise we expand
 
3455
        #      it, and put it into self._text_cache and self._content_objects
 
3456
        #   3) If we expanded the text, we will then check to see if all
 
3457
        #      parents have also been processed. If so, this text gets yielded,
 
3458
        #      else this record gets set aside into pending_annotation
 
3459
        #   4) Further, if we expanded the text in (2), we will then check to
 
3460
        #      see if there are any children in self._pending_deltas waiting to
 
3461
        #      also be processed. If so, we go back to (2) for those
 
3462
        #   5) Further again, if we yielded the text, we can then check if that
 
3463
        #      'unlocks' any of the texts in pending_annotations, which should
 
3464
        #      then get yielded as well
 
3465
        # Note that both steps 4 and 5 are 'recursive' in that unlocking one
 
3466
        # compression child could unlock yet another, and yielding a fulltext
 
3467
        # will also 'unlock' the children that are waiting on that annotation.
 
3468
        # (Though also, unlocking 1 parent's fulltext, does not unlock a child
 
3469
        # if other parents are also waiting.)
 
3470
        # We want to yield content before expanding child content objects, so
 
3471
        # that we know when we can re-use the content lines, and the annotation
 
3472
        # code can know when it can stop caching fulltexts, as well.
 
3473
 
 
3474
        # Children that are missing their compression parent
 
3475
        pending_deltas = {}
 
3476
        for (key, record, digest) in self._vf._read_records_iter(records):
 
3477
            # ghosts?
 
3478
            details = self._all_build_details[key]
 
3479
            (_, compression_parent, parent_keys, record_details) = details
 
3480
            lines = self._expand_record(key, parent_keys, compression_parent,
 
3481
                                        record, record_details)
 
3482
            if lines is None:
 
3483
                # Pending delta should be queued up
2639
3484
                continue
2640
 
            parent_ids = self._revision_id_graph[rev_id]
2641
 
            parent_ids = [p for p in parent_ids if p not in self._ghosts]
2642
 
            details = self._all_build_details[rev_id]
2643
 
            (index_memo, compression_parent, parents,
2644
 
             record_details) = details
2645
 
            nodes_to_annotate = []
2646
 
            # TODO: Remove the punning between compression parents, and
2647
 
            #       parent_ids, we should be able to do this without assuming
2648
 
            #       the build order
2649
 
            if len(parent_ids) == 0:
2650
 
                # There are no parents for this node, so just add it
2651
 
                # TODO: This probably needs to be decoupled
2652
 
                fulltext_content, delta = self._knit._factory.parse_record(
2653
 
                    rev_id, record, record_details, None)
2654
 
                fulltext = self._add_fulltext_content(rev_id, fulltext_content)
2655
 
                nodes_to_annotate.extend(self._add_annotation(rev_id, fulltext,
2656
 
                    parent_ids, left_matching_blocks=None))
2657
 
            else:
2658
 
                child = (rev_id, parent_ids, record)
2659
 
                # Check if all the parents are present
2660
 
                self._check_parents(child, nodes_to_annotate)
2661
 
            while nodes_to_annotate:
2662
 
                # Should we use a queue here instead of a stack?
2663
 
                (rev_id, parent_ids, record) = nodes_to_annotate.pop()
2664
 
                (index_memo, compression_parent, parents,
2665
 
                 record_details) = self._all_build_details[rev_id]
2666
 
                blocks = None
2667
 
                if compression_parent is not None:
2668
 
                    comp_children = self._compression_children[compression_parent]
2669
 
                    if rev_id not in comp_children:
2670
 
                        raise AssertionError("%r not in compression children %r"
2671
 
                            % (rev_id, comp_children))
2672
 
                    # If there is only 1 child, it is safe to reuse this
2673
 
                    # content
2674
 
                    reuse_content = (len(comp_children) == 1
2675
 
                        and compression_parent not in
2676
 
                            self._nodes_to_keep_annotations)
2677
 
                    if reuse_content:
2678
 
                        # Remove it from the cache since it will be changing
2679
 
                        parent_fulltext_content = self._fulltext_contents.pop(compression_parent)
2680
 
                        # Make sure to copy the fulltext since it might be
2681
 
                        # modified
2682
 
                        parent_fulltext = list(parent_fulltext_content.text())
2683
 
                    else:
2684
 
                        parent_fulltext_content = self._fulltext_contents[compression_parent]
2685
 
                        parent_fulltext = parent_fulltext_content.text()
2686
 
                    comp_children.remove(rev_id)
2687
 
                    fulltext_content, delta = self._knit._factory.parse_record(
2688
 
                        rev_id, record, record_details,
2689
 
                        parent_fulltext_content,
2690
 
                        copy_base_content=(not reuse_content))
2691
 
                    fulltext = self._add_fulltext_content(rev_id,
2692
 
                                                          fulltext_content)
2693
 
                    if compression_parent == parent_ids[0]:
2694
 
                        # the compression_parent is the left parent, so we can
2695
 
                        # re-use the delta
2696
 
                        blocks = KnitContent.get_line_delta_blocks(delta,
2697
 
                                parent_fulltext, fulltext)
2698
 
                else:
2699
 
                    fulltext_content = self._knit._factory.parse_fulltext(
2700
 
                        record, rev_id)
2701
 
                    fulltext = self._add_fulltext_content(rev_id,
2702
 
                        fulltext_content)
2703
 
                nodes_to_annotate.extend(
2704
 
                    self._add_annotation(rev_id, fulltext, parent_ids,
2705
 
                                     left_matching_blocks=blocks))
2706
 
 
2707
 
    def _get_heads_provider(self):
2708
 
        """Create a heads provider for resolving ancestry issues."""
2709
 
        if self._heads_provider is not None:
2710
 
            return self._heads_provider
2711
 
        parent_provider = _mod_graph.DictParentsProvider(
2712
 
            self._revision_id_graph)
2713
 
        graph_obj = _mod_graph.Graph(parent_provider)
2714
 
        head_cache = _mod_graph.FrozenHeadsCache(graph_obj)
2715
 
        self._heads_provider = head_cache
2716
 
        return head_cache
2717
 
 
2718
 
    def annotate(self, key):
2719
 
        """Return the annotated fulltext at the given key.
2720
 
 
2721
 
        :param key: The key to annotate.
2722
 
        """
2723
 
        if len(self._knit._fallback_vfs) > 0:
2724
 
            # stacked knits can't use the fast path at present.
2725
 
            return self._simple_annotate(key)
2726
 
        records = self._get_build_graph(key)
2727
 
        if key in self._ghosts:
2728
 
            raise errors.RevisionNotPresent(key, self._knit)
2729
 
        self._annotate_records(records)
2730
 
        return self._annotated_lines[key]
2731
 
 
2732
 
    def _simple_annotate(self, key):
2733
 
        """Return annotated fulltext, rediffing from the full texts.
2734
 
 
2735
 
        This is slow but makes no assumptions about the repository
2736
 
        being able to produce line deltas.
2737
 
        """
2738
 
        # TODO: this code generates a parent maps of present ancestors; it
2739
 
        # could be split out into a separate method, and probably should use
2740
 
        # iter_ancestry instead. -- mbp and robertc 20080704
2741
 
        graph = _mod_graph.Graph(self._knit)
2742
 
        head_cache = _mod_graph.FrozenHeadsCache(graph)
2743
 
        search = graph._make_breadth_first_searcher([key])
2744
 
        keys = set()
2745
 
        while True:
2746
 
            try:
2747
 
                present, ghosts = search.next_with_ghosts()
2748
 
            except StopIteration:
2749
 
                break
2750
 
            keys.update(present)
2751
 
        parent_map = self._knit.get_parent_map(keys)
2752
 
        parent_cache = {}
2753
 
        reannotate = annotate.reannotate
2754
 
        for record in self._knit.get_record_stream(keys, 'topological', True):
2755
 
            key = record.key
2756
 
            fulltext = split_lines(record.get_bytes_as('fulltext'))
2757
 
            parents = parent_map[key]
2758
 
            if parents is not None:
2759
 
                parent_lines = [parent_cache[parent] for parent in parent_map[key]]
2760
 
            else:
2761
 
                parent_lines = []
2762
 
            parent_cache[key] = list(
2763
 
                reannotate(parent_lines, fulltext, key, None, head_cache))
2764
 
        try:
2765
 
            return parent_cache[key]
2766
 
        except KeyError, e:
2767
 
            raise errors.RevisionNotPresent(key, self._knit)
2768
 
 
 
3485
            # At this point, we may be able to yield this content, if all
 
3486
            # parents are also finished
 
3487
            yield_this_text = self._check_ready_for_annotations(key,
 
3488
                                                                parent_keys)
 
3489
            if yield_this_text:
 
3490
                # All parents present
 
3491
                yield key, lines, len(lines)
 
3492
            to_process = self._process_pending(key)
 
3493
            while to_process:
 
3494
                this_process = to_process
 
3495
                to_process = []
 
3496
                for key in this_process:
 
3497
                    lines = self._text_cache[key]
 
3498
                    yield key, lines, len(lines)
 
3499
                    to_process.extend(self._process_pending(key))
2769
3500
 
2770
3501
try:
2771
 
    from bzrlib._knit_load_data_c import _load_data_c as _load_data
2772
 
except ImportError:
 
3502
    from bzrlib._knit_load_data_pyx import _load_data_c as _load_data
 
3503
except ImportError, e:
 
3504
    osutils.failed_to_load_extension(e)
2773
3505
    from bzrlib._knit_load_data_py import _load_data_py as _load_data