Show More
@@ -1,763 +1,787 b'' | |||||
1 | # revlogdeltas.py - Logic around delta computation for revlog |
|
1 | # revlogdeltas.py - Logic around delta computation for revlog | |
2 | # |
|
2 | # | |
3 | # Copyright 2005-2007 Matt Mackall <mpm@selenic.com> |
|
3 | # Copyright 2005-2007 Matt Mackall <mpm@selenic.com> | |
4 | # Copyright 2018 Octobus <contact@octobus.net> |
|
4 | # Copyright 2018 Octobus <contact@octobus.net> | |
5 | # |
|
5 | # | |
6 | # This software may be used and distributed according to the terms of the |
|
6 | # This software may be used and distributed according to the terms of the | |
7 | # GNU General Public License version 2 or any later version. |
|
7 | # GNU General Public License version 2 or any later version. | |
8 | """Helper class to compute deltas stored inside revlogs""" |
|
8 | """Helper class to compute deltas stored inside revlogs""" | |
9 |
|
9 | |||
10 | from __future__ import absolute_import |
|
10 | from __future__ import absolute_import | |
11 |
|
11 | |||
12 | import heapq |
|
12 | import heapq | |
13 | import struct |
|
13 | import struct | |
14 |
|
14 | |||
15 | # import stuff from node for others to import from revlog |
|
15 | # import stuff from node for others to import from revlog | |
16 | from ..node import ( |
|
16 | from ..node import ( | |
17 | nullrev, |
|
17 | nullrev, | |
18 | ) |
|
18 | ) | |
19 | from ..i18n import _ |
|
19 | from ..i18n import _ | |
20 |
|
20 | |||
21 | from .constants import ( |
|
21 | from .constants import ( | |
22 | REVIDX_ISCENSORED, |
|
22 | REVIDX_ISCENSORED, | |
23 | REVIDX_RAWTEXT_CHANGING_FLAGS, |
|
23 | REVIDX_RAWTEXT_CHANGING_FLAGS, | |
24 | ) |
|
24 | ) | |
25 |
|
25 | |||
26 | from ..thirdparty import ( |
|
26 | from ..thirdparty import ( | |
27 | attr, |
|
27 | attr, | |
28 | ) |
|
28 | ) | |
29 |
|
29 | |||
30 | from .. import ( |
|
30 | from .. import ( | |
31 | error, |
|
31 | error, | |
32 | mdiff, |
|
32 | mdiff, | |
33 | ) |
|
33 | ) | |
34 |
|
34 | |||
35 | RevlogError = error.RevlogError |
|
35 | RevlogError = error.RevlogError | |
36 | CensoredNodeError = error.CensoredNodeError |
|
36 | CensoredNodeError = error.CensoredNodeError | |
37 |
|
37 | |||
38 | # maximum <delta-chain-data>/<revision-text-length> ratio |
|
38 | # maximum <delta-chain-data>/<revision-text-length> ratio | |
39 | LIMIT_DELTA2TEXT = 2 |
|
39 | LIMIT_DELTA2TEXT = 2 | |
40 |
|
40 | |||
41 | class _testrevlog(object): |
|
41 | class _testrevlog(object): | |
42 | """minimalist fake revlog to use in doctests""" |
|
42 | """minimalist fake revlog to use in doctests""" | |
43 |
|
43 | |||
44 | def __init__(self, data, density=0.5, mingap=0): |
|
44 | def __init__(self, data, density=0.5, mingap=0): | |
45 | """data is an list of revision payload boundaries""" |
|
45 | """data is an list of revision payload boundaries""" | |
46 | self._data = data |
|
46 | self._data = data | |
47 | self._srdensitythreshold = density |
|
47 | self._srdensitythreshold = density | |
48 | self._srmingapsize = mingap |
|
48 | self._srmingapsize = mingap | |
49 |
|
49 | |||
50 | def start(self, rev): |
|
50 | def start(self, rev): | |
51 | if rev == 0: |
|
51 | if rev == 0: | |
52 | return 0 |
|
52 | return 0 | |
53 | return self._data[rev - 1] |
|
53 | return self._data[rev - 1] | |
54 |
|
54 | |||
55 | def end(self, rev): |
|
55 | def end(self, rev): | |
56 | return self._data[rev] |
|
56 | return self._data[rev] | |
57 |
|
57 | |||
58 | def length(self, rev): |
|
58 | def length(self, rev): | |
59 | return self.end(rev) - self.start(rev) |
|
59 | return self.end(rev) - self.start(rev) | |
60 |
|
60 | |||
61 | def __len__(self): |
|
61 | def __len__(self): | |
62 | return len(self._data) |
|
62 | return len(self._data) | |
63 |
|
63 | |||
64 | def slicechunk(revlog, revs, deltainfo=None, targetsize=None): |
|
64 | def slicechunk(revlog, revs, deltainfo=None, targetsize=None): | |
65 | """slice revs to reduce the amount of unrelated data to be read from disk. |
|
65 | """slice revs to reduce the amount of unrelated data to be read from disk. | |
66 |
|
66 | |||
67 | ``revs`` is sliced into groups that should be read in one time. |
|
67 | ``revs`` is sliced into groups that should be read in one time. | |
68 | Assume that revs are sorted. |
|
68 | Assume that revs are sorted. | |
69 |
|
69 | |||
70 | The initial chunk is sliced until the overall density (payload/chunks-span |
|
70 | The initial chunk is sliced until the overall density (payload/chunks-span | |
71 | ratio) is above `revlog._srdensitythreshold`. No gap smaller than |
|
71 | ratio) is above `revlog._srdensitythreshold`. No gap smaller than | |
72 | `revlog._srmingapsize` is skipped. |
|
72 | `revlog._srmingapsize` is skipped. | |
73 |
|
73 | |||
74 | If `targetsize` is set, no chunk larger than `targetsize` will be yield. |
|
74 | If `targetsize` is set, no chunk larger than `targetsize` will be yield. | |
75 | For consistency with other slicing choice, this limit won't go lower than |
|
75 | For consistency with other slicing choice, this limit won't go lower than | |
76 | `revlog._srmingapsize`. |
|
76 | `revlog._srmingapsize`. | |
77 |
|
77 | |||
78 | If individual revisions chunk are larger than this limit, they will still |
|
78 | If individual revisions chunk are larger than this limit, they will still | |
79 | be raised individually. |
|
79 | be raised individually. | |
80 |
|
80 | |||
81 | >>> revlog = _testrevlog([ |
|
81 | >>> revlog = _testrevlog([ | |
82 | ... 5, #00 (5) |
|
82 | ... 5, #00 (5) | |
83 | ... 10, #01 (5) |
|
83 | ... 10, #01 (5) | |
84 | ... 12, #02 (2) |
|
84 | ... 12, #02 (2) | |
85 | ... 12, #03 (empty) |
|
85 | ... 12, #03 (empty) | |
86 | ... 27, #04 (15) |
|
86 | ... 27, #04 (15) | |
87 | ... 31, #05 (4) |
|
87 | ... 31, #05 (4) | |
88 | ... 31, #06 (empty) |
|
88 | ... 31, #06 (empty) | |
89 | ... 42, #07 (11) |
|
89 | ... 42, #07 (11) | |
90 | ... 47, #08 (5) |
|
90 | ... 47, #08 (5) | |
91 | ... 47, #09 (empty) |
|
91 | ... 47, #09 (empty) | |
92 | ... 48, #10 (1) |
|
92 | ... 48, #10 (1) | |
93 | ... 51, #11 (3) |
|
93 | ... 51, #11 (3) | |
94 | ... 74, #12 (23) |
|
94 | ... 74, #12 (23) | |
95 | ... 85, #13 (11) |
|
95 | ... 85, #13 (11) | |
96 | ... 86, #14 (1) |
|
96 | ... 86, #14 (1) | |
97 | ... 91, #15 (5) |
|
97 | ... 91, #15 (5) | |
98 | ... ]) |
|
98 | ... ]) | |
99 |
|
99 | |||
100 | >>> list(slicechunk(revlog, list(range(16)))) |
|
100 | >>> list(slicechunk(revlog, list(range(16)))) | |
101 | [[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]] |
|
101 | [[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]] | |
102 | >>> list(slicechunk(revlog, [0, 15])) |
|
102 | >>> list(slicechunk(revlog, [0, 15])) | |
103 | [[0], [15]] |
|
103 | [[0], [15]] | |
104 | >>> list(slicechunk(revlog, [0, 11, 15])) |
|
104 | >>> list(slicechunk(revlog, [0, 11, 15])) | |
105 | [[0], [11], [15]] |
|
105 | [[0], [11], [15]] | |
106 | >>> list(slicechunk(revlog, [0, 11, 13, 15])) |
|
106 | >>> list(slicechunk(revlog, [0, 11, 13, 15])) | |
107 | [[0], [11, 13, 15]] |
|
107 | [[0], [11, 13, 15]] | |
108 | >>> list(slicechunk(revlog, [1, 2, 3, 5, 8, 10, 11, 14])) |
|
108 | >>> list(slicechunk(revlog, [1, 2, 3, 5, 8, 10, 11, 14])) | |
109 | [[1, 2], [5, 8, 10, 11], [14]] |
|
109 | [[1, 2], [5, 8, 10, 11], [14]] | |
110 |
|
110 | |||
111 | Slicing with a maximum chunk size |
|
111 | Slicing with a maximum chunk size | |
112 | >>> list(slicechunk(revlog, [0, 11, 13, 15], targetsize=15)) |
|
112 | >>> list(slicechunk(revlog, [0, 11, 13, 15], targetsize=15)) | |
113 | [[0], [11], [13], [15]] |
|
113 | [[0], [11], [13], [15]] | |
114 | >>> list(slicechunk(revlog, [0, 11, 13, 15], targetsize=20)) |
|
114 | >>> list(slicechunk(revlog, [0, 11, 13, 15], targetsize=20)) | |
115 | [[0], [11], [13, 15]] |
|
115 | [[0], [11], [13, 15]] | |
116 | """ |
|
116 | """ | |
117 | if targetsize is not None: |
|
117 | if targetsize is not None: | |
118 | targetsize = max(targetsize, revlog._srmingapsize) |
|
118 | targetsize = max(targetsize, revlog._srmingapsize) | |
119 | # targetsize should not be specified when evaluating delta candidates: |
|
119 | # targetsize should not be specified when evaluating delta candidates: | |
120 | # * targetsize is used to ensure we stay within specification when reading, |
|
120 | # * targetsize is used to ensure we stay within specification when reading, | |
121 | # * deltainfo is used to pick are good delta chain when writing. |
|
121 | # * deltainfo is used to pick are good delta chain when writing. | |
122 | if not (deltainfo is None or targetsize is None): |
|
122 | if not (deltainfo is None or targetsize is None): | |
123 | msg = 'cannot use `targetsize` with a `deltainfo`' |
|
123 | msg = 'cannot use `targetsize` with a `deltainfo`' | |
124 | raise error.ProgrammingError(msg) |
|
124 | raise error.ProgrammingError(msg) | |
125 | for chunk in _slicechunktodensity(revlog, revs, |
|
125 | for chunk in _slicechunktodensity(revlog, revs, | |
126 | deltainfo, |
|
126 | deltainfo, | |
127 | revlog._srdensitythreshold, |
|
127 | revlog._srdensitythreshold, | |
128 | revlog._srmingapsize): |
|
128 | revlog._srmingapsize): | |
129 | for subchunk in _slicechunktosize(revlog, chunk, targetsize): |
|
129 | for subchunk in _slicechunktosize(revlog, chunk, targetsize): | |
130 | yield subchunk |
|
130 | yield subchunk | |
131 |
|
131 | |||
132 | def _slicechunktosize(revlog, revs, targetsize=None): |
|
132 | def _slicechunktosize(revlog, revs, targetsize=None): | |
133 | """slice revs to match the target size |
|
133 | """slice revs to match the target size | |
134 |
|
134 | |||
135 | This is intended to be used on chunk that density slicing selected by that |
|
135 | This is intended to be used on chunk that density slicing selected by that | |
136 | are still too large compared to the read garantee of revlog. This might |
|
136 | are still too large compared to the read garantee of revlog. This might | |
137 | happens when "minimal gap size" interrupted the slicing or when chain are |
|
137 | happens when "minimal gap size" interrupted the slicing or when chain are | |
138 | built in a way that create large blocks next to each other. |
|
138 | built in a way that create large blocks next to each other. | |
139 |
|
139 | |||
140 | >>> revlog = _testrevlog([ |
|
140 | >>> revlog = _testrevlog([ | |
141 | ... 3, #0 (3) |
|
141 | ... 3, #0 (3) | |
142 | ... 5, #1 (2) |
|
142 | ... 5, #1 (2) | |
143 | ... 6, #2 (1) |
|
143 | ... 6, #2 (1) | |
144 | ... 8, #3 (2) |
|
144 | ... 8, #3 (2) | |
145 | ... 8, #4 (empty) |
|
145 | ... 8, #4 (empty) | |
146 | ... 11, #5 (3) |
|
146 | ... 11, #5 (3) | |
147 | ... 12, #6 (1) |
|
147 | ... 12, #6 (1) | |
148 | ... 13, #7 (1) |
|
148 | ... 13, #7 (1) | |
149 | ... 14, #8 (1) |
|
149 | ... 14, #8 (1) | |
150 | ... ]) |
|
150 | ... ]) | |
151 |
|
151 | |||
152 | Cases where chunk is already small enough |
|
152 | Cases where chunk is already small enough | |
153 | >>> list(_slicechunktosize(revlog, [0], 3)) |
|
153 | >>> list(_slicechunktosize(revlog, [0], 3)) | |
154 | [[0]] |
|
154 | [[0]] | |
155 | >>> list(_slicechunktosize(revlog, [6, 7], 3)) |
|
155 | >>> list(_slicechunktosize(revlog, [6, 7], 3)) | |
156 | [[6, 7]] |
|
156 | [[6, 7]] | |
157 | >>> list(_slicechunktosize(revlog, [0], None)) |
|
157 | >>> list(_slicechunktosize(revlog, [0], None)) | |
158 | [[0]] |
|
158 | [[0]] | |
159 | >>> list(_slicechunktosize(revlog, [6, 7], None)) |
|
159 | >>> list(_slicechunktosize(revlog, [6, 7], None)) | |
160 | [[6, 7]] |
|
160 | [[6, 7]] | |
161 |
|
161 | |||
162 | cases where we need actual slicing |
|
162 | cases where we need actual slicing | |
163 | >>> list(_slicechunktosize(revlog, [0, 1], 3)) |
|
163 | >>> list(_slicechunktosize(revlog, [0, 1], 3)) | |
164 | [[0], [1]] |
|
164 | [[0], [1]] | |
165 | >>> list(_slicechunktosize(revlog, [1, 3], 3)) |
|
165 | >>> list(_slicechunktosize(revlog, [1, 3], 3)) | |
166 | [[1], [3]] |
|
166 | [[1], [3]] | |
167 | >>> list(_slicechunktosize(revlog, [1, 2, 3], 3)) |
|
167 | >>> list(_slicechunktosize(revlog, [1, 2, 3], 3)) | |
168 | [[1, 2], [3]] |
|
168 | [[1, 2], [3]] | |
169 | >>> list(_slicechunktosize(revlog, [3, 5], 3)) |
|
169 | >>> list(_slicechunktosize(revlog, [3, 5], 3)) | |
170 | [[3], [5]] |
|
170 | [[3], [5]] | |
171 | >>> list(_slicechunktosize(revlog, [3, 4, 5], 3)) |
|
171 | >>> list(_slicechunktosize(revlog, [3, 4, 5], 3)) | |
172 | [[3], [5]] |
|
172 | [[3], [5]] | |
173 | >>> list(_slicechunktosize(revlog, [5, 6, 7, 8], 3)) |
|
173 | >>> list(_slicechunktosize(revlog, [5, 6, 7, 8], 3)) | |
174 | [[5], [6, 7, 8]] |
|
174 | [[5], [6, 7, 8]] | |
175 | >>> list(_slicechunktosize(revlog, [0, 1, 2, 3, 4, 5, 6, 7, 8], 3)) |
|
175 | >>> list(_slicechunktosize(revlog, [0, 1, 2, 3, 4, 5, 6, 7, 8], 3)) | |
176 | [[0], [1, 2], [3], [5], [6, 7, 8]] |
|
176 | [[0], [1, 2], [3], [5], [6, 7, 8]] | |
177 |
|
177 | |||
178 | Case with too large individual chunk (must return valid chunk) |
|
178 | Case with too large individual chunk (must return valid chunk) | |
179 | >>> list(_slicechunktosize(revlog, [0, 1], 2)) |
|
179 | >>> list(_slicechunktosize(revlog, [0, 1], 2)) | |
180 | [[0], [1]] |
|
180 | [[0], [1]] | |
181 | >>> list(_slicechunktosize(revlog, [1, 3], 1)) |
|
181 | >>> list(_slicechunktosize(revlog, [1, 3], 1)) | |
182 | [[1], [3]] |
|
182 | [[1], [3]] | |
183 | >>> list(_slicechunktosize(revlog, [3, 4, 5], 2)) |
|
183 | >>> list(_slicechunktosize(revlog, [3, 4, 5], 2)) | |
184 | [[3], [5]] |
|
184 | [[3], [5]] | |
185 | """ |
|
185 | """ | |
186 | assert targetsize is None or 0 <= targetsize |
|
186 | assert targetsize is None or 0 <= targetsize | |
187 | if targetsize is None or segmentspan(revlog, revs) <= targetsize: |
|
187 | if targetsize is None or segmentspan(revlog, revs) <= targetsize: | |
188 | yield revs |
|
188 | yield revs | |
189 | return |
|
189 | return | |
190 |
|
190 | |||
191 | startrevidx = 0 |
|
191 | startrevidx = 0 | |
192 | startdata = revlog.start(revs[0]) |
|
192 | startdata = revlog.start(revs[0]) | |
193 | endrevidx = 0 |
|
193 | endrevidx = 0 | |
194 | iterrevs = enumerate(revs) |
|
194 | iterrevs = enumerate(revs) | |
195 | next(iterrevs) # skip first rev. |
|
195 | next(iterrevs) # skip first rev. | |
196 | for idx, r in iterrevs: |
|
196 | for idx, r in iterrevs: | |
197 | span = revlog.end(r) - startdata |
|
197 | span = revlog.end(r) - startdata | |
198 | if span <= targetsize: |
|
198 | if span <= targetsize: | |
199 | endrevidx = idx |
|
199 | endrevidx = idx | |
200 | else: |
|
200 | else: | |
201 | chunk = _trimchunk(revlog, revs, startrevidx, endrevidx + 1) |
|
201 | chunk = _trimchunk(revlog, revs, startrevidx, endrevidx + 1) | |
202 | if chunk: |
|
202 | if chunk: | |
203 | yield chunk |
|
203 | yield chunk | |
204 | startrevidx = idx |
|
204 | startrevidx = idx | |
205 | startdata = revlog.start(r) |
|
205 | startdata = revlog.start(r) | |
206 | endrevidx = idx |
|
206 | endrevidx = idx | |
207 | yield _trimchunk(revlog, revs, startrevidx) |
|
207 | yield _trimchunk(revlog, revs, startrevidx) | |
208 |
|
208 | |||
209 | def _slicechunktodensity(revlog, revs, deltainfo=None, targetdensity=0.5, |
|
209 | def _slicechunktodensity(revlog, revs, deltainfo=None, targetdensity=0.5, | |
210 | mingapsize=0): |
|
210 | mingapsize=0): | |
211 | """slice revs to reduce the amount of unrelated data to be read from disk. |
|
211 | """slice revs to reduce the amount of unrelated data to be read from disk. | |
212 |
|
212 | |||
213 | ``revs`` is sliced into groups that should be read in one time. |
|
213 | ``revs`` is sliced into groups that should be read in one time. | |
214 | Assume that revs are sorted. |
|
214 | Assume that revs are sorted. | |
215 |
|
215 | |||
216 | ``deltainfo`` is a _deltainfo instance of a revision that we would append |
|
216 | ``deltainfo`` is a _deltainfo instance of a revision that we would append | |
217 | to the top of the revlog. |
|
217 | to the top of the revlog. | |
218 |
|
218 | |||
219 | The initial chunk is sliced until the overall density (payload/chunks-span |
|
219 | The initial chunk is sliced until the overall density (payload/chunks-span | |
220 | ratio) is above `targetdensity`. No gap smaller than `mingapsize` is |
|
220 | ratio) is above `targetdensity`. No gap smaller than `mingapsize` is | |
221 | skipped. |
|
221 | skipped. | |
222 |
|
222 | |||
223 | >>> revlog = _testrevlog([ |
|
223 | >>> revlog = _testrevlog([ | |
224 | ... 5, #00 (5) |
|
224 | ... 5, #00 (5) | |
225 | ... 10, #01 (5) |
|
225 | ... 10, #01 (5) | |
226 | ... 12, #02 (2) |
|
226 | ... 12, #02 (2) | |
227 | ... 12, #03 (empty) |
|
227 | ... 12, #03 (empty) | |
228 | ... 27, #04 (15) |
|
228 | ... 27, #04 (15) | |
229 | ... 31, #05 (4) |
|
229 | ... 31, #05 (4) | |
230 | ... 31, #06 (empty) |
|
230 | ... 31, #06 (empty) | |
231 | ... 42, #07 (11) |
|
231 | ... 42, #07 (11) | |
232 | ... 47, #08 (5) |
|
232 | ... 47, #08 (5) | |
233 | ... 47, #09 (empty) |
|
233 | ... 47, #09 (empty) | |
234 | ... 48, #10 (1) |
|
234 | ... 48, #10 (1) | |
235 | ... 51, #11 (3) |
|
235 | ... 51, #11 (3) | |
236 | ... 74, #12 (23) |
|
236 | ... 74, #12 (23) | |
237 | ... 85, #13 (11) |
|
237 | ... 85, #13 (11) | |
238 | ... 86, #14 (1) |
|
238 | ... 86, #14 (1) | |
239 | ... 91, #15 (5) |
|
239 | ... 91, #15 (5) | |
240 | ... ]) |
|
240 | ... ]) | |
241 |
|
241 | |||
242 | >>> list(_slicechunktodensity(revlog, list(range(16)))) |
|
242 | >>> list(_slicechunktodensity(revlog, list(range(16)))) | |
243 | [[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]] |
|
243 | [[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]] | |
244 | >>> list(_slicechunktodensity(revlog, [0, 15])) |
|
244 | >>> list(_slicechunktodensity(revlog, [0, 15])) | |
245 | [[0], [15]] |
|
245 | [[0], [15]] | |
246 | >>> list(_slicechunktodensity(revlog, [0, 11, 15])) |
|
246 | >>> list(_slicechunktodensity(revlog, [0, 11, 15])) | |
247 | [[0], [11], [15]] |
|
247 | [[0], [11], [15]] | |
248 | >>> list(_slicechunktodensity(revlog, [0, 11, 13, 15])) |
|
248 | >>> list(_slicechunktodensity(revlog, [0, 11, 13, 15])) | |
249 | [[0], [11, 13, 15]] |
|
249 | [[0], [11, 13, 15]] | |
250 | >>> list(_slicechunktodensity(revlog, [1, 2, 3, 5, 8, 10, 11, 14])) |
|
250 | >>> list(_slicechunktodensity(revlog, [1, 2, 3, 5, 8, 10, 11, 14])) | |
251 | [[1, 2], [5, 8, 10, 11], [14]] |
|
251 | [[1, 2], [5, 8, 10, 11], [14]] | |
252 | >>> list(_slicechunktodensity(revlog, [1, 2, 3, 5, 8, 10, 11, 14], |
|
252 | >>> list(_slicechunktodensity(revlog, [1, 2, 3, 5, 8, 10, 11, 14], | |
253 | ... mingapsize=20)) |
|
253 | ... mingapsize=20)) | |
254 | [[1, 2, 3, 5, 8, 10, 11], [14]] |
|
254 | [[1, 2, 3, 5, 8, 10, 11], [14]] | |
255 | >>> list(_slicechunktodensity(revlog, [1, 2, 3, 5, 8, 10, 11, 14], |
|
255 | >>> list(_slicechunktodensity(revlog, [1, 2, 3, 5, 8, 10, 11, 14], | |
256 | ... targetdensity=0.95)) |
|
256 | ... targetdensity=0.95)) | |
257 | [[1, 2], [5], [8, 10, 11], [14]] |
|
257 | [[1, 2], [5], [8, 10, 11], [14]] | |
258 | >>> list(_slicechunktodensity(revlog, [1, 2, 3, 5, 8, 10, 11, 14], |
|
258 | >>> list(_slicechunktodensity(revlog, [1, 2, 3, 5, 8, 10, 11, 14], | |
259 | ... targetdensity=0.95, mingapsize=12)) |
|
259 | ... targetdensity=0.95, mingapsize=12)) | |
260 | [[1, 2], [5, 8, 10, 11], [14]] |
|
260 | [[1, 2], [5, 8, 10, 11], [14]] | |
261 | """ |
|
261 | """ | |
262 | start = revlog.start |
|
262 | start = revlog.start | |
263 | length = revlog.length |
|
263 | length = revlog.length | |
264 |
|
264 | |||
265 | if len(revs) <= 1: |
|
265 | if len(revs) <= 1: | |
266 | yield revs |
|
266 | yield revs | |
267 | return |
|
267 | return | |
268 |
|
268 | |||
269 | nextrev = len(revlog) |
|
269 | nextrev = len(revlog) | |
270 | nextoffset = revlog.end(nextrev - 1) |
|
270 | nextoffset = revlog.end(nextrev - 1) | |
271 |
|
271 | |||
272 | if deltainfo is None: |
|
272 | if deltainfo is None: | |
273 | deltachainspan = segmentspan(revlog, revs) |
|
273 | deltachainspan = segmentspan(revlog, revs) | |
274 | chainpayload = sum(length(r) for r in revs) |
|
274 | chainpayload = sum(length(r) for r in revs) | |
275 | else: |
|
275 | else: | |
276 | deltachainspan = deltainfo.distance |
|
276 | deltachainspan = deltainfo.distance | |
277 | chainpayload = deltainfo.compresseddeltalen |
|
277 | chainpayload = deltainfo.compresseddeltalen | |
278 |
|
278 | |||
279 | if deltachainspan < mingapsize: |
|
279 | if deltachainspan < mingapsize: | |
280 | yield revs |
|
280 | yield revs | |
281 | return |
|
281 | return | |
282 |
|
282 | |||
283 | readdata = deltachainspan |
|
283 | readdata = deltachainspan | |
284 |
|
284 | |||
285 | if deltachainspan: |
|
285 | if deltachainspan: | |
286 | density = chainpayload / float(deltachainspan) |
|
286 | density = chainpayload / float(deltachainspan) | |
287 | else: |
|
287 | else: | |
288 | density = 1.0 |
|
288 | density = 1.0 | |
289 |
|
289 | |||
290 | if density >= targetdensity: |
|
290 | if density >= targetdensity: | |
291 | yield revs |
|
291 | yield revs | |
292 | return |
|
292 | return | |
293 |
|
293 | |||
294 | if deltainfo is not None and deltainfo.deltalen: |
|
294 | if deltainfo is not None and deltainfo.deltalen: | |
295 | revs = list(revs) |
|
295 | revs = list(revs) | |
296 | revs.append(nextrev) |
|
296 | revs.append(nextrev) | |
297 |
|
297 | |||
298 | # Store the gaps in a heap to have them sorted by decreasing size |
|
298 | # Store the gaps in a heap to have them sorted by decreasing size | |
299 | gapsheap = [] |
|
299 | gapsheap = [] | |
300 | heapq.heapify(gapsheap) |
|
300 | heapq.heapify(gapsheap) | |
301 | prevend = None |
|
301 | prevend = None | |
302 | for i, rev in enumerate(revs): |
|
302 | for i, rev in enumerate(revs): | |
303 | if rev < nextrev: |
|
303 | if rev < nextrev: | |
304 | revstart = start(rev) |
|
304 | revstart = start(rev) | |
305 | revlen = length(rev) |
|
305 | revlen = length(rev) | |
306 | else: |
|
306 | else: | |
307 | revstart = nextoffset |
|
307 | revstart = nextoffset | |
308 | revlen = deltainfo.deltalen |
|
308 | revlen = deltainfo.deltalen | |
309 |
|
309 | |||
310 | # Skip empty revisions to form larger holes |
|
310 | # Skip empty revisions to form larger holes | |
311 | if revlen == 0: |
|
311 | if revlen == 0: | |
312 | continue |
|
312 | continue | |
313 |
|
313 | |||
314 | if prevend is not None: |
|
314 | if prevend is not None: | |
315 | gapsize = revstart - prevend |
|
315 | gapsize = revstart - prevend | |
316 | # only consider holes that are large enough |
|
316 | # only consider holes that are large enough | |
317 | if gapsize > mingapsize: |
|
317 | if gapsize > mingapsize: | |
318 | heapq.heappush(gapsheap, (-gapsize, i)) |
|
318 | heapq.heappush(gapsheap, (-gapsize, i)) | |
319 |
|
319 | |||
320 | prevend = revstart + revlen |
|
320 | prevend = revstart + revlen | |
321 |
|
321 | |||
322 | # Collect the indices of the largest holes until the density is acceptable |
|
322 | # Collect the indices of the largest holes until the density is acceptable | |
323 | indicesheap = [] |
|
323 | indicesheap = [] | |
324 | heapq.heapify(indicesheap) |
|
324 | heapq.heapify(indicesheap) | |
325 | while gapsheap and density < targetdensity: |
|
325 | while gapsheap and density < targetdensity: | |
326 | oppgapsize, gapidx = heapq.heappop(gapsheap) |
|
326 | oppgapsize, gapidx = heapq.heappop(gapsheap) | |
327 |
|
327 | |||
328 | heapq.heappush(indicesheap, gapidx) |
|
328 | heapq.heappush(indicesheap, gapidx) | |
329 |
|
329 | |||
330 | # the gap sizes are stored as negatives to be sorted decreasingly |
|
330 | # the gap sizes are stored as negatives to be sorted decreasingly | |
331 | # by the heap |
|
331 | # by the heap | |
332 | readdata -= (-oppgapsize) |
|
332 | readdata -= (-oppgapsize) | |
333 | if readdata > 0: |
|
333 | if readdata > 0: | |
334 | density = chainpayload / float(readdata) |
|
334 | density = chainpayload / float(readdata) | |
335 | else: |
|
335 | else: | |
336 | density = 1.0 |
|
336 | density = 1.0 | |
337 |
|
337 | |||
338 | # Cut the revs at collected indices |
|
338 | # Cut the revs at collected indices | |
339 | previdx = 0 |
|
339 | previdx = 0 | |
340 | while indicesheap: |
|
340 | while indicesheap: | |
341 | idx = heapq.heappop(indicesheap) |
|
341 | idx = heapq.heappop(indicesheap) | |
342 |
|
342 | |||
343 | chunk = _trimchunk(revlog, revs, previdx, idx) |
|
343 | chunk = _trimchunk(revlog, revs, previdx, idx) | |
344 | if chunk: |
|
344 | if chunk: | |
345 | yield chunk |
|
345 | yield chunk | |
346 |
|
346 | |||
347 | previdx = idx |
|
347 | previdx = idx | |
348 |
|
348 | |||
349 | chunk = _trimchunk(revlog, revs, previdx) |
|
349 | chunk = _trimchunk(revlog, revs, previdx) | |
350 | if chunk: |
|
350 | if chunk: | |
351 | yield chunk |
|
351 | yield chunk | |
352 |
|
352 | |||
353 | def _trimchunk(revlog, revs, startidx, endidx=None): |
|
353 | def _trimchunk(revlog, revs, startidx, endidx=None): | |
354 | """returns revs[startidx:endidx] without empty trailing revs |
|
354 | """returns revs[startidx:endidx] without empty trailing revs | |
355 |
|
355 | |||
356 | Doctest Setup |
|
356 | Doctest Setup | |
357 | >>> revlog = _testrevlog([ |
|
357 | >>> revlog = _testrevlog([ | |
358 | ... 5, #0 |
|
358 | ... 5, #0 | |
359 | ... 10, #1 |
|
359 | ... 10, #1 | |
360 | ... 12, #2 |
|
360 | ... 12, #2 | |
361 | ... 12, #3 (empty) |
|
361 | ... 12, #3 (empty) | |
362 | ... 17, #4 |
|
362 | ... 17, #4 | |
363 | ... 21, #5 |
|
363 | ... 21, #5 | |
364 | ... 21, #6 (empty) |
|
364 | ... 21, #6 (empty) | |
365 | ... ]) |
|
365 | ... ]) | |
366 |
|
366 | |||
367 | Contiguous cases: |
|
367 | Contiguous cases: | |
368 | >>> _trimchunk(revlog, [0, 1, 2, 3, 4, 5, 6], 0) |
|
368 | >>> _trimchunk(revlog, [0, 1, 2, 3, 4, 5, 6], 0) | |
369 | [0, 1, 2, 3, 4, 5] |
|
369 | [0, 1, 2, 3, 4, 5] | |
370 | >>> _trimchunk(revlog, [0, 1, 2, 3, 4, 5, 6], 0, 5) |
|
370 | >>> _trimchunk(revlog, [0, 1, 2, 3, 4, 5, 6], 0, 5) | |
371 | [0, 1, 2, 3, 4] |
|
371 | [0, 1, 2, 3, 4] | |
372 | >>> _trimchunk(revlog, [0, 1, 2, 3, 4, 5, 6], 0, 4) |
|
372 | >>> _trimchunk(revlog, [0, 1, 2, 3, 4, 5, 6], 0, 4) | |
373 | [0, 1, 2] |
|
373 | [0, 1, 2] | |
374 | >>> _trimchunk(revlog, [0, 1, 2, 3, 4, 5, 6], 2, 4) |
|
374 | >>> _trimchunk(revlog, [0, 1, 2, 3, 4, 5, 6], 2, 4) | |
375 | [2] |
|
375 | [2] | |
376 | >>> _trimchunk(revlog, [0, 1, 2, 3, 4, 5, 6], 3) |
|
376 | >>> _trimchunk(revlog, [0, 1, 2, 3, 4, 5, 6], 3) | |
377 | [3, 4, 5] |
|
377 | [3, 4, 5] | |
378 | >>> _trimchunk(revlog, [0, 1, 2, 3, 4, 5, 6], 3, 5) |
|
378 | >>> _trimchunk(revlog, [0, 1, 2, 3, 4, 5, 6], 3, 5) | |
379 | [3, 4] |
|
379 | [3, 4] | |
380 |
|
380 | |||
381 | Discontiguous cases: |
|
381 | Discontiguous cases: | |
382 | >>> _trimchunk(revlog, [1, 3, 5, 6], 0) |
|
382 | >>> _trimchunk(revlog, [1, 3, 5, 6], 0) | |
383 | [1, 3, 5] |
|
383 | [1, 3, 5] | |
384 | >>> _trimchunk(revlog, [1, 3, 5, 6], 0, 2) |
|
384 | >>> _trimchunk(revlog, [1, 3, 5, 6], 0, 2) | |
385 | [1] |
|
385 | [1] | |
386 | >>> _trimchunk(revlog, [1, 3, 5, 6], 1, 3) |
|
386 | >>> _trimchunk(revlog, [1, 3, 5, 6], 1, 3) | |
387 | [3, 5] |
|
387 | [3, 5] | |
388 | >>> _trimchunk(revlog, [1, 3, 5, 6], 1) |
|
388 | >>> _trimchunk(revlog, [1, 3, 5, 6], 1) | |
389 | [3, 5] |
|
389 | [3, 5] | |
390 | """ |
|
390 | """ | |
391 | length = revlog.length |
|
391 | length = revlog.length | |
392 |
|
392 | |||
393 | if endidx is None: |
|
393 | if endidx is None: | |
394 | endidx = len(revs) |
|
394 | endidx = len(revs) | |
395 |
|
395 | |||
396 | # If we have a non-emtpy delta candidate, there are nothing to trim |
|
396 | # If we have a non-emtpy delta candidate, there are nothing to trim | |
397 | if revs[endidx - 1] < len(revlog): |
|
397 | if revs[endidx - 1] < len(revlog): | |
398 | # Trim empty revs at the end, except the very first revision of a chain |
|
398 | # Trim empty revs at the end, except the very first revision of a chain | |
399 | while (endidx > 1 |
|
399 | while (endidx > 1 | |
400 | and endidx > startidx |
|
400 | and endidx > startidx | |
401 | and length(revs[endidx - 1]) == 0): |
|
401 | and length(revs[endidx - 1]) == 0): | |
402 | endidx -= 1 |
|
402 | endidx -= 1 | |
403 |
|
403 | |||
404 | return revs[startidx:endidx] |
|
404 | return revs[startidx:endidx] | |
405 |
|
405 | |||
406 | def segmentspan(revlog, revs, deltainfo=None): |
|
406 | def segmentspan(revlog, revs, deltainfo=None): | |
407 | """Get the byte span of a segment of revisions |
|
407 | """Get the byte span of a segment of revisions | |
408 |
|
408 | |||
409 | revs is a sorted array of revision numbers |
|
409 | revs is a sorted array of revision numbers | |
410 |
|
410 | |||
411 | >>> revlog = _testrevlog([ |
|
411 | >>> revlog = _testrevlog([ | |
412 | ... 5, #0 |
|
412 | ... 5, #0 | |
413 | ... 10, #1 |
|
413 | ... 10, #1 | |
414 | ... 12, #2 |
|
414 | ... 12, #2 | |
415 | ... 12, #3 (empty) |
|
415 | ... 12, #3 (empty) | |
416 | ... 17, #4 |
|
416 | ... 17, #4 | |
417 | ... ]) |
|
417 | ... ]) | |
418 |
|
418 | |||
419 | >>> segmentspan(revlog, [0, 1, 2, 3, 4]) |
|
419 | >>> segmentspan(revlog, [0, 1, 2, 3, 4]) | |
420 | 17 |
|
420 | 17 | |
421 | >>> segmentspan(revlog, [0, 4]) |
|
421 | >>> segmentspan(revlog, [0, 4]) | |
422 | 17 |
|
422 | 17 | |
423 | >>> segmentspan(revlog, [3, 4]) |
|
423 | >>> segmentspan(revlog, [3, 4]) | |
424 | 5 |
|
424 | 5 | |
425 | >>> segmentspan(revlog, [1, 2, 3,]) |
|
425 | >>> segmentspan(revlog, [1, 2, 3,]) | |
426 | 7 |
|
426 | 7 | |
427 | >>> segmentspan(revlog, [1, 3]) |
|
427 | >>> segmentspan(revlog, [1, 3]) | |
428 | 7 |
|
428 | 7 | |
429 | """ |
|
429 | """ | |
430 | if not revs: |
|
430 | if not revs: | |
431 | return 0 |
|
431 | return 0 | |
432 | if deltainfo is not None and len(revlog) <= revs[-1]: |
|
432 | if deltainfo is not None and len(revlog) <= revs[-1]: | |
433 | if len(revs) == 1: |
|
433 | if len(revs) == 1: | |
434 | return deltainfo.deltalen |
|
434 | return deltainfo.deltalen | |
435 | offset = revlog.end(len(revlog) - 1) |
|
435 | offset = revlog.end(len(revlog) - 1) | |
436 | end = deltainfo.deltalen + offset |
|
436 | end = deltainfo.deltalen + offset | |
437 | else: |
|
437 | else: | |
438 | end = revlog.end(revs[-1]) |
|
438 | end = revlog.end(revs[-1]) | |
439 | return end - revlog.start(revs[0]) |
|
439 | return end - revlog.start(revs[0]) | |
440 |
|
440 | |||
441 | def _textfromdelta(fh, revlog, baserev, delta, p1, p2, flags, expectednode): |
|
441 | def _textfromdelta(fh, revlog, baserev, delta, p1, p2, flags, expectednode): | |
442 | """build full text from a (base, delta) pair and other metadata""" |
|
442 | """build full text from a (base, delta) pair and other metadata""" | |
443 | # special case deltas which replace entire base; no need to decode |
|
443 | # special case deltas which replace entire base; no need to decode | |
444 | # base revision. this neatly avoids censored bases, which throw when |
|
444 | # base revision. this neatly avoids censored bases, which throw when | |
445 | # they're decoded. |
|
445 | # they're decoded. | |
446 | hlen = struct.calcsize(">lll") |
|
446 | hlen = struct.calcsize(">lll") | |
447 | if delta[:hlen] == mdiff.replacediffheader(revlog.rawsize(baserev), |
|
447 | if delta[:hlen] == mdiff.replacediffheader(revlog.rawsize(baserev), | |
448 | len(delta) - hlen): |
|
448 | len(delta) - hlen): | |
449 | fulltext = delta[hlen:] |
|
449 | fulltext = delta[hlen:] | |
450 | else: |
|
450 | else: | |
451 | # deltabase is rawtext before changed by flag processors, which is |
|
451 | # deltabase is rawtext before changed by flag processors, which is | |
452 | # equivalent to non-raw text |
|
452 | # equivalent to non-raw text | |
453 | basetext = revlog.revision(baserev, _df=fh, raw=False) |
|
453 | basetext = revlog.revision(baserev, _df=fh, raw=False) | |
454 | fulltext = mdiff.patch(basetext, delta) |
|
454 | fulltext = mdiff.patch(basetext, delta) | |
455 |
|
455 | |||
456 | try: |
|
456 | try: | |
457 | res = revlog._processflags(fulltext, flags, 'read', raw=True) |
|
457 | res = revlog._processflags(fulltext, flags, 'read', raw=True) | |
458 | fulltext, validatehash = res |
|
458 | fulltext, validatehash = res | |
459 | if validatehash: |
|
459 | if validatehash: | |
460 | revlog.checkhash(fulltext, expectednode, p1=p1, p2=p2) |
|
460 | revlog.checkhash(fulltext, expectednode, p1=p1, p2=p2) | |
461 | if flags & REVIDX_ISCENSORED: |
|
461 | if flags & REVIDX_ISCENSORED: | |
462 | raise RevlogError(_('node %s is not censored') % expectednode) |
|
462 | raise RevlogError(_('node %s is not censored') % expectednode) | |
463 | except CensoredNodeError: |
|
463 | except CensoredNodeError: | |
464 | # must pass the censored index flag to add censored revisions |
|
464 | # must pass the censored index flag to add censored revisions | |
465 | if not flags & REVIDX_ISCENSORED: |
|
465 | if not flags & REVIDX_ISCENSORED: | |
466 | raise |
|
466 | raise | |
467 | return fulltext |
|
467 | return fulltext | |
468 |
|
468 | |||
469 | @attr.s(slots=True, frozen=True) |
|
469 | @attr.s(slots=True, frozen=True) | |
470 | class _deltainfo(object): |
|
470 | class _deltainfo(object): | |
471 | distance = attr.ib() |
|
471 | distance = attr.ib() | |
472 | deltalen = attr.ib() |
|
472 | deltalen = attr.ib() | |
473 | data = attr.ib() |
|
473 | data = attr.ib() | |
474 | base = attr.ib() |
|
474 | base = attr.ib() | |
475 | chainbase = attr.ib() |
|
475 | chainbase = attr.ib() | |
476 | chainlen = attr.ib() |
|
476 | chainlen = attr.ib() | |
477 | compresseddeltalen = attr.ib() |
|
477 | compresseddeltalen = attr.ib() | |
478 | snapshotdepth = attr.ib() |
|
478 | snapshotdepth = attr.ib() | |
479 |
|
479 | |||
480 | def isgooddeltainfo(revlog, deltainfo, revinfo): |
|
480 | def isgooddeltainfo(revlog, deltainfo, revinfo): | |
481 | """Returns True if the given delta is good. Good means that it is within |
|
481 | """Returns True if the given delta is good. Good means that it is within | |
482 | the disk span, disk size, and chain length bounds that we know to be |
|
482 | the disk span, disk size, and chain length bounds that we know to be | |
483 | performant.""" |
|
483 | performant.""" | |
484 | if deltainfo is None: |
|
484 | if deltainfo is None: | |
485 | return False |
|
485 | return False | |
486 |
|
486 | |||
487 | # - 'deltainfo.distance' is the distance from the base revision -- |
|
487 | # - 'deltainfo.distance' is the distance from the base revision -- | |
488 | # bounding it limits the amount of I/O we need to do. |
|
488 | # bounding it limits the amount of I/O we need to do. | |
489 | # - 'deltainfo.compresseddeltalen' is the sum of the total size of |
|
489 | # - 'deltainfo.compresseddeltalen' is the sum of the total size of | |
490 | # deltas we need to apply -- bounding it limits the amount of CPU |
|
490 | # deltas we need to apply -- bounding it limits the amount of CPU | |
491 | # we consume. |
|
491 | # we consume. | |
492 |
|
492 | |||
493 | if revlog._sparserevlog: |
|
493 | if revlog._sparserevlog: | |
494 | # As sparse-read will be used, we can consider that the distance, |
|
494 | # As sparse-read will be used, we can consider that the distance, | |
495 | # instead of being the span of the whole chunk, |
|
495 | # instead of being the span of the whole chunk, | |
496 | # is the span of the largest read chunk |
|
496 | # is the span of the largest read chunk | |
497 | base = deltainfo.base |
|
497 | base = deltainfo.base | |
498 |
|
498 | |||
499 | if base != nullrev: |
|
499 | if base != nullrev: | |
500 | deltachain = revlog._deltachain(base)[0] |
|
500 | deltachain = revlog._deltachain(base)[0] | |
501 | else: |
|
501 | else: | |
502 | deltachain = [] |
|
502 | deltachain = [] | |
503 |
|
503 | |||
504 | # search for the first non-snapshot revision |
|
504 | # search for the first non-snapshot revision | |
505 | for idx, r in enumerate(deltachain): |
|
505 | for idx, r in enumerate(deltachain): | |
506 | if not revlog.issnapshot(r): |
|
506 | if not revlog.issnapshot(r): | |
507 | break |
|
507 | break | |
508 | deltachain = deltachain[idx:] |
|
508 | deltachain = deltachain[idx:] | |
509 | chunks = slicechunk(revlog, deltachain, deltainfo) |
|
509 | chunks = slicechunk(revlog, deltachain, deltainfo) | |
510 | all_span = [segmentspan(revlog, revs, deltainfo) |
|
510 | all_span = [segmentspan(revlog, revs, deltainfo) | |
511 | for revs in chunks] |
|
511 | for revs in chunks] | |
512 | distance = max(all_span) |
|
512 | distance = max(all_span) | |
513 | else: |
|
513 | else: | |
514 | distance = deltainfo.distance |
|
514 | distance = deltainfo.distance | |
515 |
|
515 | |||
516 | textlen = revinfo.textlen |
|
516 | textlen = revinfo.textlen | |
517 | defaultmax = textlen * 4 |
|
517 | defaultmax = textlen * 4 | |
518 | maxdist = revlog._maxdeltachainspan |
|
518 | maxdist = revlog._maxdeltachainspan | |
519 | if not maxdist: |
|
519 | if not maxdist: | |
520 | maxdist = distance # ensure the conditional pass |
|
520 | maxdist = distance # ensure the conditional pass | |
521 | maxdist = max(maxdist, defaultmax) |
|
521 | maxdist = max(maxdist, defaultmax) | |
522 | if revlog._sparserevlog and maxdist < revlog._srmingapsize: |
|
522 | if revlog._sparserevlog and maxdist < revlog._srmingapsize: | |
523 | # In multiple place, we are ignoring irrelevant data range below a |
|
523 | # In multiple place, we are ignoring irrelevant data range below a | |
524 | # certain size. Be also apply this tradeoff here and relax span |
|
524 | # certain size. Be also apply this tradeoff here and relax span | |
525 | # constraint for small enought content. |
|
525 | # constraint for small enought content. | |
526 | maxdist = revlog._srmingapsize |
|
526 | maxdist = revlog._srmingapsize | |
527 |
|
527 | |||
528 | # Bad delta from read span: |
|
528 | # Bad delta from read span: | |
529 | # |
|
529 | # | |
530 | # If the span of data read is larger than the maximum allowed. |
|
530 | # If the span of data read is larger than the maximum allowed. | |
531 | if maxdist < distance: |
|
531 | if maxdist < distance: | |
532 | return False |
|
532 | return False | |
533 |
|
533 | |||
534 | # Bad delta from new delta size: |
|
534 | # Bad delta from new delta size: | |
535 | # |
|
535 | # | |
536 | # If the delta size is larger than the target text, storing the |
|
536 | # If the delta size is larger than the target text, storing the | |
537 | # delta will be inefficient. |
|
537 | # delta will be inefficient. | |
538 | if textlen < deltainfo.deltalen: |
|
538 | if textlen < deltainfo.deltalen: | |
539 | return False |
|
539 | return False | |
540 |
|
540 | |||
541 | # Bad delta from cumulated payload size: |
|
541 | # Bad delta from cumulated payload size: | |
542 | # |
|
542 | # | |
543 | # If the sum of delta get larger than K * target text length. |
|
543 | # If the sum of delta get larger than K * target text length. | |
544 | if textlen * LIMIT_DELTA2TEXT < deltainfo.compresseddeltalen: |
|
544 | if textlen * LIMIT_DELTA2TEXT < deltainfo.compresseddeltalen: | |
545 | return False |
|
545 | return False | |
546 |
|
546 | |||
547 | # Bad delta from chain length: |
|
547 | # Bad delta from chain length: | |
548 | # |
|
548 | # | |
549 | # If the number of delta in the chain gets too high. |
|
549 | # If the number of delta in the chain gets too high. | |
550 | if (revlog._maxchainlen |
|
550 | if (revlog._maxchainlen | |
551 | and revlog._maxchainlen < deltainfo.chainlen): |
|
551 | and revlog._maxchainlen < deltainfo.chainlen): | |
552 | return False |
|
552 | return False | |
553 |
|
553 | |||
554 | # bad delta from intermediate snapshot size limit |
|
554 | # bad delta from intermediate snapshot size limit | |
555 | # |
|
555 | # | |
556 | # If an intermediate snapshot size is higher than the limit. The |
|
556 | # If an intermediate snapshot size is higher than the limit. The | |
557 | # limit exist to prevent endless chain of intermediate delta to be |
|
557 | # limit exist to prevent endless chain of intermediate delta to be | |
558 | # created. |
|
558 | # created. | |
559 | if (deltainfo.snapshotdepth is not None and |
|
559 | if (deltainfo.snapshotdepth is not None and | |
560 | (textlen >> deltainfo.snapshotdepth) < deltainfo.deltalen): |
|
560 | (textlen >> deltainfo.snapshotdepth) < deltainfo.deltalen): | |
561 | return False |
|
561 | return False | |
562 |
|
562 | |||
563 | # bad delta if new intermediate snapshot is larger than the previous |
|
563 | # bad delta if new intermediate snapshot is larger than the previous | |
564 | # snapshot |
|
564 | # snapshot | |
565 | if (deltainfo.snapshotdepth |
|
565 | if (deltainfo.snapshotdepth | |
566 | and revlog.length(deltainfo.base) < deltainfo.deltalen): |
|
566 | and revlog.length(deltainfo.base) < deltainfo.deltalen): | |
567 | return False |
|
567 | return False | |
568 |
|
568 | |||
569 | return True |
|
569 | return True | |
570 |
|
570 | |||
571 | def _candidategroups(revlog, p1, p2, cachedelta): |
|
571 | def _candidategroups(revlog, p1, p2, cachedelta): | |
|
572 | """Provides group of revision to be tested as delta base | |||
|
573 | ||||
|
574 | This top level function focus on emitting groups with unique and worthwhile | |||
|
575 | content. See _raw_candidate_groups for details about the group order. | |||
572 |
|
|
576 | """ | |
573 | Provides revisions that present an interest to be diffed against, |
|
577 | # should we try to build a delta? | |
574 | grouped by level of easiness. |
|
578 | if not (len(revlog) and revlog._storedeltachains): | |
|
579 | return | |||
|
580 | ||||
|
581 | tested = set([nullrev]) | |||
|
582 | for group in _rawgroups(revlog, p1, p2, cachedelta): | |||
|
583 | group = tuple(r for r in group if r not in tested) | |||
|
584 | tested.update(group) | |||
|
585 | if group: | |||
|
586 | yield group | |||
|
587 | ||||
|
588 | def _rawgroups(revlog, p1, p2, cachedelta): | |||
|
589 | """Provides group of revision to be tested as delta base | |||
|
590 | ||||
|
591 | This lower level function focus on emitting delta theorically interresting | |||
|
592 | without looking it any practical details. | |||
|
593 | ||||
|
594 | The group order aims at providing fast or small candidates first. | |||
575 | """ |
|
595 | """ | |
576 | gdelta = revlog._generaldelta |
|
596 | gdelta = revlog._generaldelta | |
577 | curr = len(revlog) |
|
597 | curr = len(revlog) | |
578 | prev = curr - 1 |
|
598 | prev = curr - 1 | |
579 |
|
599 | |||
580 | # should we try to build a delta? |
|
600 | # should we try to build a delta? | |
581 | if prev != nullrev and revlog._storedeltachains: |
|
601 | if prev != nullrev and revlog._storedeltachains: | |
582 | tested = set() |
|
602 | tested = set() | |
583 | # This condition is true most of the time when processing |
|
603 | # This condition is true most of the time when processing | |
584 | # changegroup data into a generaldelta repo. The only time it |
|
604 | # changegroup data into a generaldelta repo. The only time it | |
585 | # isn't true is if this is the first revision in a delta chain |
|
605 | # isn't true is if this is the first revision in a delta chain | |
586 | # or if ``format.generaldelta=true`` disabled ``lazydeltabase``. |
|
606 | # or if ``format.generaldelta=true`` disabled ``lazydeltabase``. | |
587 | if cachedelta and gdelta and revlog._lazydeltabase: |
|
607 | if cachedelta and gdelta and revlog._lazydeltabase: | |
588 | # Assume what we received from the server is a good choice |
|
608 | # Assume what we received from the server is a good choice | |
589 | # build delta will reuse the cache |
|
609 | # build delta will reuse the cache | |
590 | yield (cachedelta[0],) |
|
610 | yield (cachedelta[0],) | |
591 | tested.add(cachedelta[0]) |
|
611 | tested.add(cachedelta[0]) | |
592 |
|
612 | |||
|
613 | # This condition is true most of the time when processing | |||
|
614 | # changegroup data into a generaldelta repo. The only time it | |||
|
615 | # isn't true is if this is the first revision in a delta chain | |||
|
616 | # or if ``format.generaldelta=true`` disabled ``lazydeltabase``. | |||
|
617 | if cachedelta and gdelta and revlog._lazydeltabase: | |||
|
618 | # Assume what we received from the server is a good choice | |||
|
619 | # build delta will reuse the cache | |||
|
620 | yield (cachedelta[0],) | |||
|
621 | ||||
593 |
|
|
622 | if gdelta: | |
594 |
|
|
623 | # exclude already lazy tested base if any | |
595 |
|
|
624 | parents = [p for p in (p1, p2) if p != nullrev] | |
596 | if p != nullrev and p not in tested] |
|
|||
597 |
|
625 | |||
598 |
|
|
626 | if not revlog._deltabothparents and len(parents) == 2: | |
599 |
|
|
627 | parents.sort() | |
600 |
|
|
628 | # To minimize the chance of having to build a fulltext, | |
601 |
|
|
629 | # pick first whichever parent is closest to us (max rev) | |
602 |
|
|
630 | yield (parents[1],) | |
603 |
|
|
631 | # then the other one (min rev) if the first did not fit | |
604 |
|
|
632 | yield (parents[0],) | |
605 | tested.update(parents) |
|
|||
606 |
|
|
633 | elif len(parents) > 0: | |
607 |
|
|
634 | # Test all parents (1 or 2), and keep the best candidate | |
608 |
|
|
635 | yield parents | |
609 | tested.update(parents) |
|
|||
610 |
|
636 | |||
611 | if prev not in tested: |
|
|||
612 |
|
|
637 | # other approach failed try against prev to hopefully save us a | |
613 |
|
|
638 | # fulltext. | |
614 |
|
|
639 | yield (prev,) | |
615 | tested.add(prev) |
|
|||
616 |
|
640 | |||
617 | class deltacomputer(object): |
|
641 | class deltacomputer(object): | |
618 | def __init__(self, revlog): |
|
642 | def __init__(self, revlog): | |
619 | self.revlog = revlog |
|
643 | self.revlog = revlog | |
620 |
|
644 | |||
621 | def buildtext(self, revinfo, fh): |
|
645 | def buildtext(self, revinfo, fh): | |
622 | """Builds a fulltext version of a revision |
|
646 | """Builds a fulltext version of a revision | |
623 |
|
647 | |||
624 | revinfo: _revisioninfo instance that contains all needed info |
|
648 | revinfo: _revisioninfo instance that contains all needed info | |
625 | fh: file handle to either the .i or the .d revlog file, |
|
649 | fh: file handle to either the .i or the .d revlog file, | |
626 | depending on whether it is inlined or not |
|
650 | depending on whether it is inlined or not | |
627 | """ |
|
651 | """ | |
628 | btext = revinfo.btext |
|
652 | btext = revinfo.btext | |
629 | if btext[0] is not None: |
|
653 | if btext[0] is not None: | |
630 | return btext[0] |
|
654 | return btext[0] | |
631 |
|
655 | |||
632 | revlog = self.revlog |
|
656 | revlog = self.revlog | |
633 | cachedelta = revinfo.cachedelta |
|
657 | cachedelta = revinfo.cachedelta | |
634 | baserev = cachedelta[0] |
|
658 | baserev = cachedelta[0] | |
635 | delta = cachedelta[1] |
|
659 | delta = cachedelta[1] | |
636 |
|
660 | |||
637 | fulltext = btext[0] = _textfromdelta(fh, revlog, baserev, delta, |
|
661 | fulltext = btext[0] = _textfromdelta(fh, revlog, baserev, delta, | |
638 | revinfo.p1, revinfo.p2, |
|
662 | revinfo.p1, revinfo.p2, | |
639 | revinfo.flags, revinfo.node) |
|
663 | revinfo.flags, revinfo.node) | |
640 | return fulltext |
|
664 | return fulltext | |
641 |
|
665 | |||
642 | def _builddeltadiff(self, base, revinfo, fh): |
|
666 | def _builddeltadiff(self, base, revinfo, fh): | |
643 | revlog = self.revlog |
|
667 | revlog = self.revlog | |
644 | t = self.buildtext(revinfo, fh) |
|
668 | t = self.buildtext(revinfo, fh) | |
645 | if revlog.iscensored(base): |
|
669 | if revlog.iscensored(base): | |
646 | # deltas based on a censored revision must replace the |
|
670 | # deltas based on a censored revision must replace the | |
647 | # full content in one patch, so delta works everywhere |
|
671 | # full content in one patch, so delta works everywhere | |
648 | header = mdiff.replacediffheader(revlog.rawsize(base), len(t)) |
|
672 | header = mdiff.replacediffheader(revlog.rawsize(base), len(t)) | |
649 | delta = header + t |
|
673 | delta = header + t | |
650 | else: |
|
674 | else: | |
651 | ptext = revlog.revision(base, _df=fh, raw=True) |
|
675 | ptext = revlog.revision(base, _df=fh, raw=True) | |
652 | delta = mdiff.textdiff(ptext, t) |
|
676 | delta = mdiff.textdiff(ptext, t) | |
653 |
|
677 | |||
654 | return delta |
|
678 | return delta | |
655 |
|
679 | |||
656 | def _builddeltainfo(self, revinfo, base, fh): |
|
680 | def _builddeltainfo(self, revinfo, base, fh): | |
657 | # can we use the cached delta? |
|
681 | # can we use the cached delta? | |
658 | if revinfo.cachedelta and revinfo.cachedelta[0] == base: |
|
682 | if revinfo.cachedelta and revinfo.cachedelta[0] == base: | |
659 | delta = revinfo.cachedelta[1] |
|
683 | delta = revinfo.cachedelta[1] | |
660 | else: |
|
684 | else: | |
661 | delta = self._builddeltadiff(base, revinfo, fh) |
|
685 | delta = self._builddeltadiff(base, revinfo, fh) | |
662 | revlog = self.revlog |
|
686 | revlog = self.revlog | |
663 | header, data = revlog.compress(delta) |
|
687 | header, data = revlog.compress(delta) | |
664 | deltalen = len(header) + len(data) |
|
688 | deltalen = len(header) + len(data) | |
665 | chainbase = revlog.chainbase(base) |
|
689 | chainbase = revlog.chainbase(base) | |
666 | offset = revlog.end(len(revlog) - 1) |
|
690 | offset = revlog.end(len(revlog) - 1) | |
667 | dist = deltalen + offset - revlog.start(chainbase) |
|
691 | dist = deltalen + offset - revlog.start(chainbase) | |
668 | if revlog._generaldelta: |
|
692 | if revlog._generaldelta: | |
669 | deltabase = base |
|
693 | deltabase = base | |
670 | else: |
|
694 | else: | |
671 | deltabase = chainbase |
|
695 | deltabase = chainbase | |
672 | chainlen, compresseddeltalen = revlog._chaininfo(base) |
|
696 | chainlen, compresseddeltalen = revlog._chaininfo(base) | |
673 | chainlen += 1 |
|
697 | chainlen += 1 | |
674 | compresseddeltalen += deltalen |
|
698 | compresseddeltalen += deltalen | |
675 |
|
699 | |||
676 | revlog = self.revlog |
|
700 | revlog = self.revlog | |
677 | snapshotdepth = None |
|
701 | snapshotdepth = None | |
678 | if deltabase == nullrev: |
|
702 | if deltabase == nullrev: | |
679 | snapshotdepth = 0 |
|
703 | snapshotdepth = 0 | |
680 | elif revlog._sparserevlog and revlog.issnapshot(deltabase): |
|
704 | elif revlog._sparserevlog and revlog.issnapshot(deltabase): | |
681 | # A delta chain should always be one full snapshot, |
|
705 | # A delta chain should always be one full snapshot, | |
682 | # zero or more semi-snapshots, and zero or more deltas |
|
706 | # zero or more semi-snapshots, and zero or more deltas | |
683 | p1, p2 = revlog.rev(revinfo.p1), revlog.rev(revinfo.p2) |
|
707 | p1, p2 = revlog.rev(revinfo.p1), revlog.rev(revinfo.p2) | |
684 | if deltabase not in (p1, p2) and revlog.issnapshot(deltabase): |
|
708 | if deltabase not in (p1, p2) and revlog.issnapshot(deltabase): | |
685 | snapshotdepth = len(revlog._deltachain(deltabase)[0]) |
|
709 | snapshotdepth = len(revlog._deltachain(deltabase)[0]) | |
686 |
|
710 | |||
687 | return _deltainfo(dist, deltalen, (header, data), deltabase, |
|
711 | return _deltainfo(dist, deltalen, (header, data), deltabase, | |
688 | chainbase, chainlen, compresseddeltalen, |
|
712 | chainbase, chainlen, compresseddeltalen, | |
689 | snapshotdepth) |
|
713 | snapshotdepth) | |
690 |
|
714 | |||
691 | def _fullsnapshotinfo(self, fh, revinfo): |
|
715 | def _fullsnapshotinfo(self, fh, revinfo): | |
692 | curr = len(self.revlog) |
|
716 | curr = len(self.revlog) | |
693 | rawtext = self.buildtext(revinfo, fh) |
|
717 | rawtext = self.buildtext(revinfo, fh) | |
694 | data = self.revlog.compress(rawtext) |
|
718 | data = self.revlog.compress(rawtext) | |
695 | compresseddeltalen = deltalen = dist = len(data[1]) + len(data[0]) |
|
719 | compresseddeltalen = deltalen = dist = len(data[1]) + len(data[0]) | |
696 | deltabase = chainbase = curr |
|
720 | deltabase = chainbase = curr | |
697 | snapshotdepth = 0 |
|
721 | snapshotdepth = 0 | |
698 | chainlen = 1 |
|
722 | chainlen = 1 | |
699 |
|
723 | |||
700 | return _deltainfo(dist, deltalen, data, deltabase, |
|
724 | return _deltainfo(dist, deltalen, data, deltabase, | |
701 | chainbase, chainlen, compresseddeltalen, |
|
725 | chainbase, chainlen, compresseddeltalen, | |
702 | snapshotdepth) |
|
726 | snapshotdepth) | |
703 |
|
727 | |||
704 | def finddeltainfo(self, revinfo, fh): |
|
728 | def finddeltainfo(self, revinfo, fh): | |
705 | """Find an acceptable delta against a candidate revision |
|
729 | """Find an acceptable delta against a candidate revision | |
706 |
|
730 | |||
707 | revinfo: information about the revision (instance of _revisioninfo) |
|
731 | revinfo: information about the revision (instance of _revisioninfo) | |
708 | fh: file handle to either the .i or the .d revlog file, |
|
732 | fh: file handle to either the .i or the .d revlog file, | |
709 | depending on whether it is inlined or not |
|
733 | depending on whether it is inlined or not | |
710 |
|
734 | |||
711 | Returns the first acceptable candidate revision, as ordered by |
|
735 | Returns the first acceptable candidate revision, as ordered by | |
712 | _candidategroups |
|
736 | _candidategroups | |
713 |
|
737 | |||
714 | If no suitable deltabase is found, we return delta info for a full |
|
738 | If no suitable deltabase is found, we return delta info for a full | |
715 | snapshot. |
|
739 | snapshot. | |
716 | """ |
|
740 | """ | |
717 | if not revinfo.textlen: |
|
741 | if not revinfo.textlen: | |
718 | return self._fullsnapshotinfo(fh, revinfo) |
|
742 | return self._fullsnapshotinfo(fh, revinfo) | |
719 |
|
743 | |||
720 | # no delta for flag processor revision (see "candelta" for why) |
|
744 | # no delta for flag processor revision (see "candelta" for why) | |
721 | # not calling candelta since only one revision needs test, also to |
|
745 | # not calling candelta since only one revision needs test, also to | |
722 | # avoid overhead fetching flags again. |
|
746 | # avoid overhead fetching flags again. | |
723 | if revinfo.flags & REVIDX_RAWTEXT_CHANGING_FLAGS: |
|
747 | if revinfo.flags & REVIDX_RAWTEXT_CHANGING_FLAGS: | |
724 | return self._fullsnapshotinfo(fh, revinfo) |
|
748 | return self._fullsnapshotinfo(fh, revinfo) | |
725 |
|
749 | |||
726 | cachedelta = revinfo.cachedelta |
|
750 | cachedelta = revinfo.cachedelta | |
727 | p1 = revinfo.p1 |
|
751 | p1 = revinfo.p1 | |
728 | p2 = revinfo.p2 |
|
752 | p2 = revinfo.p2 | |
729 | revlog = self.revlog |
|
753 | revlog = self.revlog | |
730 |
|
754 | |||
731 | deltalength = self.revlog.length |
|
755 | deltalength = self.revlog.length | |
732 | deltaparent = self.revlog.deltaparent |
|
756 | deltaparent = self.revlog.deltaparent | |
733 |
|
757 | |||
734 | deltainfo = None |
|
758 | deltainfo = None | |
735 | deltas_limit = revinfo.textlen * LIMIT_DELTA2TEXT |
|
759 | deltas_limit = revinfo.textlen * LIMIT_DELTA2TEXT | |
736 | p1r, p2r = revlog.rev(p1), revlog.rev(p2) |
|
760 | p1r, p2r = revlog.rev(p1), revlog.rev(p2) | |
737 | groups = _candidategroups(self.revlog, p1r, p2r, cachedelta) |
|
761 | groups = _candidategroups(self.revlog, p1r, p2r, cachedelta) | |
738 | for candidaterevs in groups: |
|
762 | for candidaterevs in groups: | |
739 | # filter out delta base that will never produce good delta |
|
763 | # filter out delta base that will never produce good delta | |
740 | candidaterevs = [r for r in candidaterevs |
|
764 | candidaterevs = [r for r in candidaterevs | |
741 | if self.revlog.length(r) <= deltas_limit] |
|
765 | if self.revlog.length(r) <= deltas_limit] | |
742 | nominateddeltas = [] |
|
766 | nominateddeltas = [] | |
743 | for candidaterev in candidaterevs: |
|
767 | for candidaterev in candidaterevs: | |
744 | # skip over empty delta (no need to include them in a chain) |
|
768 | # skip over empty delta (no need to include them in a chain) | |
745 | while candidaterev != nullrev and not deltalength(candidaterev): |
|
769 | while candidaterev != nullrev and not deltalength(candidaterev): | |
746 | candidaterev = deltaparent(candidaterev) |
|
770 | candidaterev = deltaparent(candidaterev) | |
747 | # no need to try a delta against nullid, this will be handled |
|
771 | # no need to try a delta against nullid, this will be handled | |
748 | # by fulltext later. |
|
772 | # by fulltext later. | |
749 | if candidaterev == nullrev: |
|
773 | if candidaterev == nullrev: | |
750 | continue |
|
774 | continue | |
751 | # no delta for rawtext-changing revs (see "candelta" for why) |
|
775 | # no delta for rawtext-changing revs (see "candelta" for why) | |
752 | if revlog.flags(candidaterev) & REVIDX_RAWTEXT_CHANGING_FLAGS: |
|
776 | if revlog.flags(candidaterev) & REVIDX_RAWTEXT_CHANGING_FLAGS: | |
753 | continue |
|
777 | continue | |
754 | candidatedelta = self._builddeltainfo(revinfo, candidaterev, fh) |
|
778 | candidatedelta = self._builddeltainfo(revinfo, candidaterev, fh) | |
755 | if isgooddeltainfo(self.revlog, candidatedelta, revinfo): |
|
779 | if isgooddeltainfo(self.revlog, candidatedelta, revinfo): | |
756 | nominateddeltas.append(candidatedelta) |
|
780 | nominateddeltas.append(candidatedelta) | |
757 | if nominateddeltas: |
|
781 | if nominateddeltas: | |
758 | deltainfo = min(nominateddeltas, key=lambda x: x.deltalen) |
|
782 | deltainfo = min(nominateddeltas, key=lambda x: x.deltalen) | |
759 | break |
|
783 | break | |
760 |
|
784 | |||
761 | if deltainfo is None: |
|
785 | if deltainfo is None: | |
762 | deltainfo = self._fullsnapshotinfo(fh, revinfo) |
|
786 | deltainfo = self._fullsnapshotinfo(fh, revinfo) | |
763 | return deltainfo |
|
787 | return deltainfo |
General Comments 0
You need to be logged in to leave comments.
Login now