67
67
# FIXME: the conflict markers should be *7* characters
69
69
from copy import copy
70
from cStringIO import StringIO
73
from bzrlib.lazy_import import lazy_import
72
from ..lazy_import import lazy_import
74
73
lazy_import(globals(), """
75
from bzrlib import tsort
74
from breezy import tsort
81
from bzrlib.errors import (WeaveError, WeaveFormatError, WeaveParentMismatch,
82
RevisionAlreadyPresent,
84
UnavailableRepresentation,
86
from bzrlib.osutils import dirname, sha, sha_strings, split_lines
87
import bzrlib.patiencediff
88
from bzrlib.revision import NULL_REVISION
89
from bzrlib.symbol_versioning import *
90
from bzrlib.trace import mutter
91
from bzrlib.versionedfile import (
80
from ..errors import (
81
RevisionAlreadyPresent,
83
UnavailableRepresentation,
85
from ..osutils import dirname, sha, sha_strings, split_lines
86
from .. import patiencediff
87
from ..revision import NULL_REVISION
88
from ..sixish import (
91
from ..trace import mutter
92
from .versionedfile import (
92
93
AbsentContentFactory,
95
96
sort_groupcompress,
98
from bzrlib.weavefile import _read_weave_v5, write_weave_v5
99
from .weavefile import _read_weave_v5, write_weave_v5
102
class WeaveError(errors.BzrError):
104
_fmt = "Error in processing weave: %(msg)s"
106
def __init__(self, msg=None):
107
errors.BzrError.__init__(self)
111
class WeaveRevisionAlreadyPresent(WeaveError):
113
_fmt = "Revision {%(revision_id)s} already present in %(weave)s"
115
def __init__(self, revision_id, weave):
117
WeaveError.__init__(self)
118
self.revision_id = revision_id
122
class WeaveRevisionNotPresent(WeaveError):
124
_fmt = "Revision {%(revision_id)s} not present in %(weave)s"
126
def __init__(self, revision_id, weave):
127
WeaveError.__init__(self)
128
self.revision_id = revision_id
132
class WeaveFormatError(WeaveError):
134
_fmt = "Weave invariant violated: %(what)s"
136
def __init__(self, what):
137
WeaveError.__init__(self)
141
class WeaveParentMismatch(WeaveError):
143
_fmt = "Parents are mismatched between two revisions. %(msg)s"
146
class WeaveInvalidChecksum(WeaveError):
148
_fmt = "Text did not match its checksum: %(msg)s"
151
class WeaveTextDiffers(WeaveError):
153
_fmt = ("Weaves differ on text content. Revision:"
154
" {%(revision_id)s}, %(weave_a)s, %(weave_b)s")
156
def __init__(self, revision_id, weave_a, weave_b):
157
WeaveError.__init__(self)
158
self.revision_id = revision_id
159
self.weave_a = weave_a
160
self.weave_b = weave_b
101
163
class WeaveContentFactory(ContentFactory):
359
422
raise RevisionNotPresent([record.key[0]], self)
360
423
# adapt to non-tuple interface
361
424
parents = [parent[0] for parent in record.parents]
362
if (record.storage_kind == 'fulltext'
363
or record.storage_kind == 'chunked'):
364
self.add_lines(record.key[0], parents,
425
if (record.storage_kind == 'fulltext' or
426
record.storage_kind == 'chunked'):
428
record.key[0], parents,
365
429
osutils.chunks_to_lines(record.get_bytes_as('chunked')))
367
431
adapter_key = record.storage_kind, 'fulltext'
385
449
idx = self._lookup(name)
386
450
if sorted(self._parents[idx]) != sorted(parents) \
387
or sha1 != self._sha1s[idx]:
451
or sha1 != self._sha1s[idx]:
388
452
raise RevisionAlreadyPresent(name, self._weave_name)
391
455
def _add_lines(self, version_id, parents, lines, parent_texts,
392
left_matching_blocks, nostore_sha, random_id, check_content):
456
left_matching_blocks, nostore_sha, random_id,
393
458
"""See VersionedFile.add_lines."""
394
idx = self._add(version_id, lines, map(self._lookup, parents),
395
nostore_sha=nostore_sha)
459
idx = self._add(version_id, lines, list(map(self._lookup, parents)),
460
nostore_sha=nostore_sha)
396
461
return sha_strings(lines), sum(map(len, lines)), idx
398
463
def _add(self, version_id, lines, parents, sha1=None, nostore_sha=None):
420
485
if sha1 == nostore_sha:
421
486
raise errors.ExistingContent
422
487
if version_id is None:
423
version_id = "sha1:" + sha1
488
version_id = b"sha1:" + sha1
424
489
if version_id in self._name_map:
425
490
return self._check_repeated_add(version_id, parents, lines, sha1)
427
492
self._check_versions(parents)
428
## self._check_lines(lines)
429
493
new_version = len(self._parents)
431
# if we abort after here the (in-memory) weave will be corrupt because only
432
# some fields are updated
495
# if we abort after here the (in-memory) weave will be corrupt because
496
# only some fields are updated
433
497
# XXX: FIXME implement a succeed-or-fail of the rest of this routine.
434
498
# - Robert Collins 20060226
435
499
self._parents.append(parents[:])
437
501
self._names.append(version_id)
438
502
self._name_map[version_id] = new_version
442
505
# special case; adding with no parents revision; can do
443
506
# this more quickly by just appending unconditionally.
444
507
# even more specially, if we're adding an empty text we
445
508
# need do nothing at all.
447
self._weave.append(('{', new_version))
510
self._weave.append((b'{', new_version))
448
511
self._weave.extend(lines)
449
self._weave.append(('}', None))
512
self._weave.append((b'}', None))
450
513
return new_version
452
515
if len(parents) == 1:
479
541
# matches the end of the file? the current code says it's the
480
542
# last line of the weave?
482
#print 'basis_lines:', basis_lines
483
#print 'new_lines: ', lines
544
# print 'basis_lines:', basis_lines
545
# print 'new_lines: ', lines
485
547
s = self._matcher(None, basis_lines, lines)
487
549
# offset gives the number of lines that have been inserted
488
# into the weave up to the current point; if the original edit instruction
489
# says to change line A then we actually change (A+offset)
550
# into the weave up to the current point; if the original edit
551
# instruction says to change line A then we actually change (A+offset)
492
554
for tag, i1, i2, j1, j2 in s.get_opcodes():
493
# i1,i2 are given in offsets within basis_lines; we need to map them
494
# back to offsets within the entire weave
495
#print 'raw match', tag, i1, i2, j1, j2
555
# i1,i2 are given in offsets within basis_lines; we need to map
556
# them back to offsets within the entire weave print 'raw match',
557
# tag, i1, i2, j1, j2
496
558
if tag == 'equal':
498
560
i1 = basis_lineno[i1]
500
562
# the deletion and insertion are handled separately.
501
563
# first delete the region.
503
self._weave.insert(i1+offset, ('[', new_version))
504
self._weave.insert(i2+offset+1, (']', new_version))
565
self._weave.insert(i1 + offset, (b'[', new_version))
566
self._weave.insert(i2 + offset + 1, (b']', new_version))
520
582
if not len(versions):
522
584
i = set(versions)
523
for v in xrange(max(versions), 0, -1):
585
for v in range(max(versions), 0, -1):
525
587
# include all its parents
526
588
i.update(self._parents[v])
528
## except IndexError:
529
## raise ValueError("version %d not present in weave" % v)
531
591
def get_ancestry(self, version_ids, topo_sorted=True):
532
592
"""See VersionedFile.get_ancestry."""
533
if isinstance(version_ids, basestring):
593
if isinstance(version_ids, bytes):
534
594
version_ids = [version_ids]
535
595
i = self._inclusions([self._lookup(v) for v in version_ids])
536
596
return [self._idx_to_name(v) for v in i]
538
def _check_lines(self, text):
539
if not isinstance(text, list):
540
raise ValueError("text should be a list, not %s" % type(text))
543
if not isinstance(l, basestring):
544
raise ValueError("text line should be a string or unicode, not %s"
549
598
def _check_versions(self, indexes):
550
599
"""Check everything in the sequence of indexes is valid"""
551
600
for i in indexes:
576
625
if version_ids is None:
577
626
version_ids = self.versions()
578
627
version_ids = set(version_ids)
579
for lineno, inserted, deletes, line in self._walk_internal(version_ids):
580
if inserted not in version_ids: continue
582
yield line + '\n', inserted
628
for lineno, inserted, deletes, line in self._walk_internal(
630
if inserted not in version_ids:
632
if not line.endswith(b'\n'):
633
yield line + b'\n', inserted
584
635
yield line, inserted
688
WFE = WeaveFormatError
691
# 449 0 4474.6820 2356.5590 bzrlib.weave:556(_extract)
740
# 449 0 4474.6820 2356.5590 breezy.weave:556(_extract)
692
741
# +285282 0 1676.8040 1676.8040 +<isinstance>
693
742
# 1.6 seconds in 'isinstance'.
694
743
# changing the first isinstance:
695
# 449 0 2814.2660 1577.1760 bzrlib.weave:556(_extract)
744
# 449 0 2814.2660 1577.1760 breezy.weave:556(_extract)
696
745
# +140414 0 762.8050 762.8050 +<isinstance>
697
746
# note that the inline time actually dropped (less function calls)
698
747
# and total processing time was halved.
699
748
# we're still spending ~1/4 of the method in isinstance though.
700
749
# so lets hard code the acceptable string classes we expect:
701
# 449 0 1202.9420 786.2930 bzrlib.weave:556(_extract)
750
# 449 0 1202.9420 786.2930 breezy.weave:556(_extract)
702
751
# +71352 0 377.5560 377.5560 +<method 'append' of 'list'
704
753
# yay, down to ~1/4 the initial extract time, and our inline time
705
754
# has shrunk again, with isinstance no longer dominating.
706
755
# tweaking the stack inclusion test to use a set gives:
707
# 449 0 1122.8030 713.0080 bzrlib.weave:556(_extract)
756
# 449 0 1122.8030 713.0080 breezy.weave:556(_extract)
708
757
# +71352 0 354.9980 354.9980 +<method 'append' of 'list'
710
759
# - a 5% win, or possibly just noise. However with large istacks that
711
# 'in' test could dominate, so I'm leaving this change in place -
712
# when its fast enough to consider profiling big datasets we can review.
760
# 'in' test could dominate, so I'm leaving this change in place - when
761
# its fast enough to consider profiling big datasets we can review.
717
763
for l in self._weave:
718
764
if l.__class__ == tuple:
725
771
iset.remove(istack.pop())
727
773
if v in included:
730
776
if v in included:
733
779
raise AssertionError()
735
781
if isactive is None:
736
isactive = (not dset) and istack and (istack[-1] in included)
782
isactive = (not dset) and istack and (
783
istack[-1] in included)
738
785
result.append((istack[-1], lineno, l))
741
788
raise WeaveFormatError("unclosed insertion blocks "
742
"at end of weave: %s" % istack)
789
"at end of weave: %s" % istack)
744
raise WeaveFormatError("unclosed deletion blocks at end of weave: %s"
791
raise WeaveFormatError(
792
"unclosed deletion blocks at end of weave: %s" % dset)
748
795
def _maybe_lookup(self, name_or_index):
758
807
def get_lines(self, version_id):
759
808
"""See VersionedFile.get_lines()."""
760
809
int_index = self._maybe_lookup(version_id)
761
result = [line for (origin, lineno, line) in self._extract([int_index])]
810
result = [line for (origin, lineno, line)
811
in self._extract([int_index])]
762
812
expected_sha1 = self._sha1s[int_index]
763
813
measured_sha1 = sha_strings(result)
764
814
if measured_sha1 != expected_sha1:
765
raise errors.WeaveInvalidChecksum(
766
'file %s, revision %s, expected: %s, measured %s'
767
% (self._weave_name, version_id,
768
expected_sha1, measured_sha1))
815
raise WeaveInvalidChecksum(
816
'file %s, revision %s, expected: %s, measured %s'
817
% (self._weave_name, version_id,
818
expected_sha1, measured_sha1))
771
821
def get_sha1s(self, version_ids):
831
881
# The active inclusion must be an ancestor,
832
882
# and no ancestors must have deleted this line,
833
883
# because we don't support resurrection.
834
if (insert in name_inclusions) and not (deleteset & name_inclusions):
884
if ((insert in name_inclusions) and
885
not (deleteset & name_inclusions)):
835
886
sha1s[name].update(line)
837
888
for i in range(nv):
838
889
version = self._idx_to_name(i)
839
hd = sha1s[version].hexdigest()
890
hd = sha1s[version].hexdigest().encode()
840
891
expected = self._sha1s[i]
841
892
if hd != expected:
842
raise errors.WeaveInvalidChecksum(
843
"mismatched sha1 for version %s: "
844
"got %s, expected %s"
845
% (version, hd, expected))
893
raise WeaveInvalidChecksum(
894
"mismatched sha1 for version %s: "
895
"got %s, expected %s"
896
% (version, hd, expected))
847
898
# TODO: check insertions are properly nested, that there are
848
899
# no lines outside of insertion blocks, that deletions are
875
926
this_idx = self._name_map.get(name, -1)
876
927
if this_idx != -1:
877
928
if self._sha1s[this_idx] != other._sha1s[other_idx]:
878
raise errors.WeaveTextDiffers(name, self, other)
929
raise WeaveTextDiffers(name, self, other)
879
930
self_parents = self._parents[this_idx]
880
931
other_parents = other._parents[other_idx]
881
n1 = set([self._names[i] for i in self_parents])
882
n2 = set([other._names[i] for i in other_parents])
932
n1 = {self._names[i] for i in self_parents}
933
n2 = {other._names[i] for i in other_parents}
883
934
if not self._compatible_parents(n1, n2):
884
raise WeaveParentMismatch("inconsistent parents "
935
raise WeaveParentMismatch(
936
"inconsistent parents "
885
937
"for version {%s}: %s vs %s" % (name, n1, n2))
887
939
return True # ok!
911
963
WEAVE_SUFFIX = '.weave'
913
def __init__(self, name, transport, filemode=None, create=False, access_mode='w', get_scope=None):
965
def __init__(self, name, transport, filemode=None, create=False,
966
access_mode='w', get_scope=None):
914
967
"""Create a WeaveFile.
916
969
:param create: If not True, only open an existing knit.
918
971
super(WeaveFile, self).__init__(name, access_mode, get_scope=get_scope,
919
allow_reserved=False)
972
allow_reserved=False)
920
973
self._transport = transport
921
974
self._filemode = filemode
923
_read_weave_v5(self._transport.get(name + WeaveFile.WEAVE_SUFFIX), self)
976
f = self._transport.get(name + WeaveFile.WEAVE_SUFFIX)
977
_read_weave_v5(BytesIO(f.read()), self)
924
978
except errors.NoSuchFile:
930
984
def _add_lines(self, version_id, parents, lines, parent_texts,
931
left_matching_blocks, nostore_sha, random_id, check_content):
985
left_matching_blocks, nostore_sha, random_id,
932
987
"""Add a version and save the weave."""
933
988
self.check_not_reserved_id(version_id)
934
result = super(WeaveFile, self)._add_lines(version_id, parents, lines,
935
parent_texts, left_matching_blocks, nostore_sha, random_id,
989
result = super(WeaveFile, self)._add_lines(
990
version_id, parents, lines, parent_texts, left_matching_blocks,
991
nostore_sha, random_id, check_content)
940
995
def copy_to(self, name, transport):
941
996
"""See VersionedFile.copy_to()."""
942
997
# as we are all in memory always, just serialise to the new place.
944
999
write_weave_v5(self, sio)
946
1001
transport.put_file(name + WeaveFile.WEAVE_SUFFIX, sio, self._filemode)
985
1040
:param msg: An optional message for the progress
989
queue_a = range(wa.num_versions())
990
queue_b = range(wb.num_versions())
991
1043
# first determine combined parents of all versions
992
1044
# map from version name -> all parent names
993
1045
combined_parents = _reweave_parent_graphs(wa, wb)
994
1046
mutter("combined parents: %r", combined_parents)
995
order = tsort.topo_sort(combined_parents.iteritems())
1047
order = tsort.topo_sort(combined_parents.items())
996
1048
mutter("order to reweave: %r", order)
998
1050
if pb and not msg:
1010
1062
mutter('weaves: %s, %s', wa._weave_name, wb._weave_name)
1012
1064
lines = list(difflib.unified_diff(lines, lines_b,
1013
wa._weave_name, wb._weave_name))
1065
wa._weave_name, wb._weave_name))
1014
1066
mutter('lines:\n%s', ''.join(lines))
1015
raise errors.WeaveTextDiffers(name, wa, wb)
1067
raise WeaveTextDiffers(name, wa, wb)
1017
1069
lines = wb.get_lines(name)
1018
1070
wr._add(name, lines, [wr._lookup(i) for i in combined_parents[name]])