##// END OF EJS Templates
sparse-revlog: use `span` variable as intended...
Boris Feld -
r40690:fd1d41cc default
parent child Browse files
Show More
@@ -1,977 +1,977 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 collections
12 import collections
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 # maximum <delta-chain-data>/<revision-text-length> ratio
35 # maximum <delta-chain-data>/<revision-text-length> ratio
36 LIMIT_DELTA2TEXT = 2
36 LIMIT_DELTA2TEXT = 2
37
37
38 class _testrevlog(object):
38 class _testrevlog(object):
39 """minimalist fake revlog to use in doctests"""
39 """minimalist fake revlog to use in doctests"""
40
40
41 def __init__(self, data, density=0.5, mingap=0, snapshot=()):
41 def __init__(self, data, density=0.5, mingap=0, snapshot=()):
42 """data is an list of revision payload boundaries"""
42 """data is an list of revision payload boundaries"""
43 self._data = data
43 self._data = data
44 self._srdensitythreshold = density
44 self._srdensitythreshold = density
45 self._srmingapsize = mingap
45 self._srmingapsize = mingap
46 self._snapshot = set(snapshot)
46 self._snapshot = set(snapshot)
47
47
48 def start(self, rev):
48 def start(self, rev):
49 if rev == 0:
49 if rev == 0:
50 return 0
50 return 0
51 return self._data[rev - 1]
51 return self._data[rev - 1]
52
52
53 def end(self, rev):
53 def end(self, rev):
54 return self._data[rev]
54 return self._data[rev]
55
55
56 def length(self, rev):
56 def length(self, rev):
57 return self.end(rev) - self.start(rev)
57 return self.end(rev) - self.start(rev)
58
58
59 def __len__(self):
59 def __len__(self):
60 return len(self._data)
60 return len(self._data)
61
61
62 def issnapshot(self, rev):
62 def issnapshot(self, rev):
63 return rev in self._snapshot
63 return rev in self._snapshot
64
64
65 def slicechunk(revlog, revs, targetsize=None):
65 def slicechunk(revlog, revs, targetsize=None):
66 """slice revs to reduce the amount of unrelated data to be read from disk.
66 """slice revs to reduce the amount of unrelated data to be read from disk.
67
67
68 ``revs`` is sliced into groups that should be read in one time.
68 ``revs`` is sliced into groups that should be read in one time.
69 Assume that revs are sorted.
69 Assume that revs are sorted.
70
70
71 The initial chunk is sliced until the overall density (payload/chunks-span
71 The initial chunk is sliced until the overall density (payload/chunks-span
72 ratio) is above `revlog._srdensitythreshold`. No gap smaller than
72 ratio) is above `revlog._srdensitythreshold`. No gap smaller than
73 `revlog._srmingapsize` is skipped.
73 `revlog._srmingapsize` is skipped.
74
74
75 If `targetsize` is set, no chunk larger than `targetsize` will be yield.
75 If `targetsize` is set, no chunk larger than `targetsize` will be yield.
76 For consistency with other slicing choice, this limit won't go lower than
76 For consistency with other slicing choice, this limit won't go lower than
77 `revlog._srmingapsize`.
77 `revlog._srmingapsize`.
78
78
79 If individual revisions chunk are larger than this limit, they will still
79 If individual revisions chunk are larger than this limit, they will still
80 be raised individually.
80 be raised individually.
81
81
82 >>> data = [
82 >>> data = [
83 ... 5, #00 (5)
83 ... 5, #00 (5)
84 ... 10, #01 (5)
84 ... 10, #01 (5)
85 ... 12, #02 (2)
85 ... 12, #02 (2)
86 ... 12, #03 (empty)
86 ... 12, #03 (empty)
87 ... 27, #04 (15)
87 ... 27, #04 (15)
88 ... 31, #05 (4)
88 ... 31, #05 (4)
89 ... 31, #06 (empty)
89 ... 31, #06 (empty)
90 ... 42, #07 (11)
90 ... 42, #07 (11)
91 ... 47, #08 (5)
91 ... 47, #08 (5)
92 ... 47, #09 (empty)
92 ... 47, #09 (empty)
93 ... 48, #10 (1)
93 ... 48, #10 (1)
94 ... 51, #11 (3)
94 ... 51, #11 (3)
95 ... 74, #12 (23)
95 ... 74, #12 (23)
96 ... 85, #13 (11)
96 ... 85, #13 (11)
97 ... 86, #14 (1)
97 ... 86, #14 (1)
98 ... 91, #15 (5)
98 ... 91, #15 (5)
99 ... ]
99 ... ]
100 >>> revlog = _testrevlog(data, snapshot=range(16))
100 >>> revlog = _testrevlog(data, snapshot=range(16))
101
101
102 >>> list(slicechunk(revlog, list(range(16))))
102 >>> list(slicechunk(revlog, list(range(16))))
103 [[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]]
103 [[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]]
104 >>> list(slicechunk(revlog, [0, 15]))
104 >>> list(slicechunk(revlog, [0, 15]))
105 [[0], [15]]
105 [[0], [15]]
106 >>> list(slicechunk(revlog, [0, 11, 15]))
106 >>> list(slicechunk(revlog, [0, 11, 15]))
107 [[0], [11], [15]]
107 [[0], [11], [15]]
108 >>> list(slicechunk(revlog, [0, 11, 13, 15]))
108 >>> list(slicechunk(revlog, [0, 11, 13, 15]))
109 [[0], [11, 13, 15]]
109 [[0], [11, 13, 15]]
110 >>> list(slicechunk(revlog, [1, 2, 3, 5, 8, 10, 11, 14]))
110 >>> list(slicechunk(revlog, [1, 2, 3, 5, 8, 10, 11, 14]))
111 [[1, 2], [5, 8, 10, 11], [14]]
111 [[1, 2], [5, 8, 10, 11], [14]]
112
112
113 Slicing with a maximum chunk size
113 Slicing with a maximum chunk size
114 >>> list(slicechunk(revlog, [0, 11, 13, 15], targetsize=15))
114 >>> list(slicechunk(revlog, [0, 11, 13, 15], targetsize=15))
115 [[0], [11], [13], [15]]
115 [[0], [11], [13], [15]]
116 >>> list(slicechunk(revlog, [0, 11, 13, 15], targetsize=20))
116 >>> list(slicechunk(revlog, [0, 11, 13, 15], targetsize=20))
117 [[0], [11], [13, 15]]
117 [[0], [11], [13, 15]]
118 """
118 """
119 if targetsize is not None:
119 if targetsize is not None:
120 targetsize = max(targetsize, revlog._srmingapsize)
120 targetsize = max(targetsize, revlog._srmingapsize)
121 # targetsize should not be specified when evaluating delta candidates:
121 # targetsize should not be specified when evaluating delta candidates:
122 # * targetsize is used to ensure we stay within specification when reading,
122 # * targetsize is used to ensure we stay within specification when reading,
123 for chunk in _slicechunktodensity(revlog, revs,
123 for chunk in _slicechunktodensity(revlog, revs,
124 revlog._srdensitythreshold,
124 revlog._srdensitythreshold,
125 revlog._srmingapsize):
125 revlog._srmingapsize):
126 for subchunk in _slicechunktosize(revlog, chunk, targetsize):
126 for subchunk in _slicechunktosize(revlog, chunk, targetsize):
127 yield subchunk
127 yield subchunk
128
128
129 def _slicechunktosize(revlog, revs, targetsize=None):
129 def _slicechunktosize(revlog, revs, targetsize=None):
130 """slice revs to match the target size
130 """slice revs to match the target size
131
131
132 This is intended to be used on chunk that density slicing selected by that
132 This is intended to be used on chunk that density slicing selected by that
133 are still too large compared to the read garantee of revlog. This might
133 are still too large compared to the read garantee of revlog. This might
134 happens when "minimal gap size" interrupted the slicing or when chain are
134 happens when "minimal gap size" interrupted the slicing or when chain are
135 built in a way that create large blocks next to each other.
135 built in a way that create large blocks next to each other.
136
136
137 >>> data = [
137 >>> data = [
138 ... 3, #0 (3)
138 ... 3, #0 (3)
139 ... 5, #1 (2)
139 ... 5, #1 (2)
140 ... 6, #2 (1)
140 ... 6, #2 (1)
141 ... 8, #3 (2)
141 ... 8, #3 (2)
142 ... 8, #4 (empty)
142 ... 8, #4 (empty)
143 ... 11, #5 (3)
143 ... 11, #5 (3)
144 ... 12, #6 (1)
144 ... 12, #6 (1)
145 ... 13, #7 (1)
145 ... 13, #7 (1)
146 ... 14, #8 (1)
146 ... 14, #8 (1)
147 ... ]
147 ... ]
148
148
149 == All snapshots cases ==
149 == All snapshots cases ==
150 >>> revlog = _testrevlog(data, snapshot=range(9))
150 >>> revlog = _testrevlog(data, snapshot=range(9))
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 == No Snapshot cases ==
186 == No Snapshot cases ==
187 >>> revlog = _testrevlog(data)
187 >>> revlog = _testrevlog(data)
188
188
189 Cases where chunk is already small enough
189 Cases where chunk is already small enough
190 >>> list(_slicechunktosize(revlog, [0], 3))
190 >>> list(_slicechunktosize(revlog, [0], 3))
191 [[0]]
191 [[0]]
192 >>> list(_slicechunktosize(revlog, [6, 7], 3))
192 >>> list(_slicechunktosize(revlog, [6, 7], 3))
193 [[6, 7]]
193 [[6, 7]]
194 >>> list(_slicechunktosize(revlog, [0], None))
194 >>> list(_slicechunktosize(revlog, [0], None))
195 [[0]]
195 [[0]]
196 >>> list(_slicechunktosize(revlog, [6, 7], None))
196 >>> list(_slicechunktosize(revlog, [6, 7], None))
197 [[6, 7]]
197 [[6, 7]]
198
198
199 cases where we need actual slicing
199 cases where we need actual slicing
200 >>> list(_slicechunktosize(revlog, [0, 1], 3))
200 >>> list(_slicechunktosize(revlog, [0, 1], 3))
201 [[0], [1]]
201 [[0], [1]]
202 >>> list(_slicechunktosize(revlog, [1, 3], 3))
202 >>> list(_slicechunktosize(revlog, [1, 3], 3))
203 [[1], [3]]
203 [[1], [3]]
204 >>> list(_slicechunktosize(revlog, [1, 2, 3], 3))
204 >>> list(_slicechunktosize(revlog, [1, 2, 3], 3))
205 [[1], [2, 3]]
205 [[1], [2, 3]]
206 >>> list(_slicechunktosize(revlog, [3, 5], 3))
206 >>> list(_slicechunktosize(revlog, [3, 5], 3))
207 [[3], [5]]
207 [[3], [5]]
208 >>> list(_slicechunktosize(revlog, [3, 4, 5], 3))
208 >>> list(_slicechunktosize(revlog, [3, 4, 5], 3))
209 [[3], [4, 5]]
209 [[3], [4, 5]]
210 >>> list(_slicechunktosize(revlog, [5, 6, 7, 8], 3))
210 >>> list(_slicechunktosize(revlog, [5, 6, 7, 8], 3))
211 [[5], [6, 7, 8]]
211 [[5], [6, 7, 8]]
212 >>> list(_slicechunktosize(revlog, [0, 1, 2, 3, 4, 5, 6, 7, 8], 3))
212 >>> list(_slicechunktosize(revlog, [0, 1, 2, 3, 4, 5, 6, 7, 8], 3))
213 [[0], [1, 2], [3], [5], [6, 7, 8]]
213 [[0], [1, 2], [3], [5], [6, 7, 8]]
214
214
215 Case with too large individual chunk (must return valid chunk)
215 Case with too large individual chunk (must return valid chunk)
216 >>> list(_slicechunktosize(revlog, [0, 1], 2))
216 >>> list(_slicechunktosize(revlog, [0, 1], 2))
217 [[0], [1]]
217 [[0], [1]]
218 >>> list(_slicechunktosize(revlog, [1, 3], 1))
218 >>> list(_slicechunktosize(revlog, [1, 3], 1))
219 [[1], [3]]
219 [[1], [3]]
220 >>> list(_slicechunktosize(revlog, [3, 4, 5], 2))
220 >>> list(_slicechunktosize(revlog, [3, 4, 5], 2))
221 [[3], [5]]
221 [[3], [5]]
222
222
223 == mixed case ==
223 == mixed case ==
224 >>> revlog = _testrevlog(data, snapshot=[0, 1, 2])
224 >>> revlog = _testrevlog(data, snapshot=[0, 1, 2])
225 >>> list(_slicechunktosize(revlog, list(range(9)), 5))
225 >>> list(_slicechunktosize(revlog, list(range(9)), 5))
226 [[0, 1], [2], [3, 4, 5], [6, 7, 8]]
226 [[0, 1], [2], [3, 4, 5], [6, 7, 8]]
227 """
227 """
228 assert targetsize is None or 0 <= targetsize
228 assert targetsize is None or 0 <= targetsize
229 startdata = revlog.start(revs[0])
229 startdata = revlog.start(revs[0])
230 enddata = revlog.end(revs[-1])
230 enddata = revlog.end(revs[-1])
231 fullspan = enddata - startdata
231 fullspan = enddata - startdata
232 if targetsize is None or fullspan <= targetsize:
232 if targetsize is None or fullspan <= targetsize:
233 yield revs
233 yield revs
234 return
234 return
235
235
236 startrevidx = 0
236 startrevidx = 0
237 endrevidx = 0
237 endrevidx = 0
238 iterrevs = enumerate(revs)
238 iterrevs = enumerate(revs)
239 next(iterrevs) # skip first rev.
239 next(iterrevs) # skip first rev.
240 # first step: get snapshots out of the way
240 # first step: get snapshots out of the way
241 for idx, r in iterrevs:
241 for idx, r in iterrevs:
242 span = revlog.end(r) - startdata
242 span = revlog.end(r) - startdata
243 snapshot = revlog.issnapshot(r)
243 snapshot = revlog.issnapshot(r)
244 if span <= targetsize and snapshot:
244 if span <= targetsize and snapshot:
245 endrevidx = idx
245 endrevidx = idx
246 else:
246 else:
247 chunk = _trimchunk(revlog, revs, startrevidx, endrevidx + 1)
247 chunk = _trimchunk(revlog, revs, startrevidx, endrevidx + 1)
248 if chunk:
248 if chunk:
249 yield chunk
249 yield chunk
250 startrevidx = idx
250 startrevidx = idx
251 startdata = revlog.start(r)
251 startdata = revlog.start(r)
252 endrevidx = idx
252 endrevidx = idx
253 if not snapshot:
253 if not snapshot:
254 break
254 break
255
255
256 # for the others, we use binary slicing to quickly converge toward valid
256 # for the others, we use binary slicing to quickly converge toward valid
257 # chunks (otherwise, we might end up looking for start/end of many
257 # chunks (otherwise, we might end up looking for start/end of many
258 # revisions). This logic is not looking for the perfect slicing point, it
258 # revisions). This logic is not looking for the perfect slicing point, it
259 # focuses on quickly converging toward valid chunks.
259 # focuses on quickly converging toward valid chunks.
260 nbitem = len(revs)
260 nbitem = len(revs)
261 while (enddata - startdata) > targetsize:
261 while (enddata - startdata) > targetsize:
262 endrevidx = nbitem
262 endrevidx = nbitem
263 if nbitem - startrevidx <= 1:
263 if nbitem - startrevidx <= 1:
264 break # protect against individual chunk larger than limit
264 break # protect against individual chunk larger than limit
265 localenddata = revlog.end(revs[endrevidx - 1])
265 localenddata = revlog.end(revs[endrevidx - 1])
266 span = localenddata - startdata
266 span = localenddata - startdata
267 while (localenddata - startdata) > targetsize:
267 while span > targetsize:
268 if endrevidx - startrevidx <= 1:
268 if endrevidx - startrevidx <= 1:
269 break # protect against individual chunk larger than limit
269 break # protect against individual chunk larger than limit
270 endrevidx -= (endrevidx - startrevidx) // 2
270 endrevidx -= (endrevidx - startrevidx) // 2
271 localenddata = revlog.end(revs[endrevidx - 1])
271 localenddata = revlog.end(revs[endrevidx - 1])
272 span = localenddata - startdata
272 span = localenddata - startdata
273 chunk = _trimchunk(revlog, revs, startrevidx, endrevidx)
273 chunk = _trimchunk(revlog, revs, startrevidx, endrevidx)
274 if chunk:
274 if chunk:
275 yield chunk
275 yield chunk
276 startrevidx = endrevidx
276 startrevidx = endrevidx
277 startdata = revlog.start(revs[startrevidx])
277 startdata = revlog.start(revs[startrevidx])
278
278
279 chunk = _trimchunk(revlog, revs, startrevidx)
279 chunk = _trimchunk(revlog, revs, startrevidx)
280 if chunk:
280 if chunk:
281 yield chunk
281 yield chunk
282
282
283 def _slicechunktodensity(revlog, revs, targetdensity=0.5,
283 def _slicechunktodensity(revlog, revs, targetdensity=0.5,
284 mingapsize=0):
284 mingapsize=0):
285 """slice revs to reduce the amount of unrelated data to be read from disk.
285 """slice revs to reduce the amount of unrelated data to be read from disk.
286
286
287 ``revs`` is sliced into groups that should be read in one time.
287 ``revs`` is sliced into groups that should be read in one time.
288 Assume that revs are sorted.
288 Assume that revs are sorted.
289
289
290 The initial chunk is sliced until the overall density (payload/chunks-span
290 The initial chunk is sliced until the overall density (payload/chunks-span
291 ratio) is above `targetdensity`. No gap smaller than `mingapsize` is
291 ratio) is above `targetdensity`. No gap smaller than `mingapsize` is
292 skipped.
292 skipped.
293
293
294 >>> revlog = _testrevlog([
294 >>> revlog = _testrevlog([
295 ... 5, #00 (5)
295 ... 5, #00 (5)
296 ... 10, #01 (5)
296 ... 10, #01 (5)
297 ... 12, #02 (2)
297 ... 12, #02 (2)
298 ... 12, #03 (empty)
298 ... 12, #03 (empty)
299 ... 27, #04 (15)
299 ... 27, #04 (15)
300 ... 31, #05 (4)
300 ... 31, #05 (4)
301 ... 31, #06 (empty)
301 ... 31, #06 (empty)
302 ... 42, #07 (11)
302 ... 42, #07 (11)
303 ... 47, #08 (5)
303 ... 47, #08 (5)
304 ... 47, #09 (empty)
304 ... 47, #09 (empty)
305 ... 48, #10 (1)
305 ... 48, #10 (1)
306 ... 51, #11 (3)
306 ... 51, #11 (3)
307 ... 74, #12 (23)
307 ... 74, #12 (23)
308 ... 85, #13 (11)
308 ... 85, #13 (11)
309 ... 86, #14 (1)
309 ... 86, #14 (1)
310 ... 91, #15 (5)
310 ... 91, #15 (5)
311 ... ])
311 ... ])
312
312
313 >>> list(_slicechunktodensity(revlog, list(range(16))))
313 >>> list(_slicechunktodensity(revlog, list(range(16))))
314 [[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]]
314 [[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]]
315 >>> list(_slicechunktodensity(revlog, [0, 15]))
315 >>> list(_slicechunktodensity(revlog, [0, 15]))
316 [[0], [15]]
316 [[0], [15]]
317 >>> list(_slicechunktodensity(revlog, [0, 11, 15]))
317 >>> list(_slicechunktodensity(revlog, [0, 11, 15]))
318 [[0], [11], [15]]
318 [[0], [11], [15]]
319 >>> list(_slicechunktodensity(revlog, [0, 11, 13, 15]))
319 >>> list(_slicechunktodensity(revlog, [0, 11, 13, 15]))
320 [[0], [11, 13, 15]]
320 [[0], [11, 13, 15]]
321 >>> list(_slicechunktodensity(revlog, [1, 2, 3, 5, 8, 10, 11, 14]))
321 >>> list(_slicechunktodensity(revlog, [1, 2, 3, 5, 8, 10, 11, 14]))
322 [[1, 2], [5, 8, 10, 11], [14]]
322 [[1, 2], [5, 8, 10, 11], [14]]
323 >>> list(_slicechunktodensity(revlog, [1, 2, 3, 5, 8, 10, 11, 14],
323 >>> list(_slicechunktodensity(revlog, [1, 2, 3, 5, 8, 10, 11, 14],
324 ... mingapsize=20))
324 ... mingapsize=20))
325 [[1, 2, 3, 5, 8, 10, 11], [14]]
325 [[1, 2, 3, 5, 8, 10, 11], [14]]
326 >>> list(_slicechunktodensity(revlog, [1, 2, 3, 5, 8, 10, 11, 14],
326 >>> list(_slicechunktodensity(revlog, [1, 2, 3, 5, 8, 10, 11, 14],
327 ... targetdensity=0.95))
327 ... targetdensity=0.95))
328 [[1, 2], [5], [8, 10, 11], [14]]
328 [[1, 2], [5], [8, 10, 11], [14]]
329 >>> list(_slicechunktodensity(revlog, [1, 2, 3, 5, 8, 10, 11, 14],
329 >>> list(_slicechunktodensity(revlog, [1, 2, 3, 5, 8, 10, 11, 14],
330 ... targetdensity=0.95, mingapsize=12))
330 ... targetdensity=0.95, mingapsize=12))
331 [[1, 2], [5, 8, 10, 11], [14]]
331 [[1, 2], [5, 8, 10, 11], [14]]
332 """
332 """
333 start = revlog.start
333 start = revlog.start
334 length = revlog.length
334 length = revlog.length
335
335
336 if len(revs) <= 1:
336 if len(revs) <= 1:
337 yield revs
337 yield revs
338 return
338 return
339
339
340 deltachainspan = segmentspan(revlog, revs)
340 deltachainspan = segmentspan(revlog, revs)
341
341
342 if deltachainspan < mingapsize:
342 if deltachainspan < mingapsize:
343 yield revs
343 yield revs
344 return
344 return
345
345
346 readdata = deltachainspan
346 readdata = deltachainspan
347 chainpayload = sum(length(r) for r in revs)
347 chainpayload = sum(length(r) for r in revs)
348
348
349 if deltachainspan:
349 if deltachainspan:
350 density = chainpayload / float(deltachainspan)
350 density = chainpayload / float(deltachainspan)
351 else:
351 else:
352 density = 1.0
352 density = 1.0
353
353
354 if density >= targetdensity:
354 if density >= targetdensity:
355 yield revs
355 yield revs
356 return
356 return
357
357
358 # Store the gaps in a heap to have them sorted by decreasing size
358 # Store the gaps in a heap to have them sorted by decreasing size
359 gaps = []
359 gaps = []
360 prevend = None
360 prevend = None
361 for i, rev in enumerate(revs):
361 for i, rev in enumerate(revs):
362 revstart = start(rev)
362 revstart = start(rev)
363 revlen = length(rev)
363 revlen = length(rev)
364
364
365 # Skip empty revisions to form larger holes
365 # Skip empty revisions to form larger holes
366 if revlen == 0:
366 if revlen == 0:
367 continue
367 continue
368
368
369 if prevend is not None:
369 if prevend is not None:
370 gapsize = revstart - prevend
370 gapsize = revstart - prevend
371 # only consider holes that are large enough
371 # only consider holes that are large enough
372 if gapsize > mingapsize:
372 if gapsize > mingapsize:
373 gaps.append((gapsize, i))
373 gaps.append((gapsize, i))
374
374
375 prevend = revstart + revlen
375 prevend = revstart + revlen
376 # sort the gaps to pop them from largest to small
376 # sort the gaps to pop them from largest to small
377 gaps.sort()
377 gaps.sort()
378
378
379 # Collect the indices of the largest holes until the density is acceptable
379 # Collect the indices of the largest holes until the density is acceptable
380 selected = []
380 selected = []
381 while gaps and density < targetdensity:
381 while gaps and density < targetdensity:
382 gapsize, gapidx = gaps.pop()
382 gapsize, gapidx = gaps.pop()
383
383
384 selected.append(gapidx)
384 selected.append(gapidx)
385
385
386 # the gap sizes are stored as negatives to be sorted decreasingly
386 # the gap sizes are stored as negatives to be sorted decreasingly
387 # by the heap
387 # by the heap
388 readdata -= gapsize
388 readdata -= gapsize
389 if readdata > 0:
389 if readdata > 0:
390 density = chainpayload / float(readdata)
390 density = chainpayload / float(readdata)
391 else:
391 else:
392 density = 1.0
392 density = 1.0
393 selected.sort()
393 selected.sort()
394
394
395 # Cut the revs at collected indices
395 # Cut the revs at collected indices
396 previdx = 0
396 previdx = 0
397 for idx in selected:
397 for idx in selected:
398
398
399 chunk = _trimchunk(revlog, revs, previdx, idx)
399 chunk = _trimchunk(revlog, revs, previdx, idx)
400 if chunk:
400 if chunk:
401 yield chunk
401 yield chunk
402
402
403 previdx = idx
403 previdx = idx
404
404
405 chunk = _trimchunk(revlog, revs, previdx)
405 chunk = _trimchunk(revlog, revs, previdx)
406 if chunk:
406 if chunk:
407 yield chunk
407 yield chunk
408
408
409 def _trimchunk(revlog, revs, startidx, endidx=None):
409 def _trimchunk(revlog, revs, startidx, endidx=None):
410 """returns revs[startidx:endidx] without empty trailing revs
410 """returns revs[startidx:endidx] without empty trailing revs
411
411
412 Doctest Setup
412 Doctest Setup
413 >>> revlog = _testrevlog([
413 >>> revlog = _testrevlog([
414 ... 5, #0
414 ... 5, #0
415 ... 10, #1
415 ... 10, #1
416 ... 12, #2
416 ... 12, #2
417 ... 12, #3 (empty)
417 ... 12, #3 (empty)
418 ... 17, #4
418 ... 17, #4
419 ... 21, #5
419 ... 21, #5
420 ... 21, #6 (empty)
420 ... 21, #6 (empty)
421 ... ])
421 ... ])
422
422
423 Contiguous cases:
423 Contiguous cases:
424 >>> _trimchunk(revlog, [0, 1, 2, 3, 4, 5, 6], 0)
424 >>> _trimchunk(revlog, [0, 1, 2, 3, 4, 5, 6], 0)
425 [0, 1, 2, 3, 4, 5]
425 [0, 1, 2, 3, 4, 5]
426 >>> _trimchunk(revlog, [0, 1, 2, 3, 4, 5, 6], 0, 5)
426 >>> _trimchunk(revlog, [0, 1, 2, 3, 4, 5, 6], 0, 5)
427 [0, 1, 2, 3, 4]
427 [0, 1, 2, 3, 4]
428 >>> _trimchunk(revlog, [0, 1, 2, 3, 4, 5, 6], 0, 4)
428 >>> _trimchunk(revlog, [0, 1, 2, 3, 4, 5, 6], 0, 4)
429 [0, 1, 2]
429 [0, 1, 2]
430 >>> _trimchunk(revlog, [0, 1, 2, 3, 4, 5, 6], 2, 4)
430 >>> _trimchunk(revlog, [0, 1, 2, 3, 4, 5, 6], 2, 4)
431 [2]
431 [2]
432 >>> _trimchunk(revlog, [0, 1, 2, 3, 4, 5, 6], 3)
432 >>> _trimchunk(revlog, [0, 1, 2, 3, 4, 5, 6], 3)
433 [3, 4, 5]
433 [3, 4, 5]
434 >>> _trimchunk(revlog, [0, 1, 2, 3, 4, 5, 6], 3, 5)
434 >>> _trimchunk(revlog, [0, 1, 2, 3, 4, 5, 6], 3, 5)
435 [3, 4]
435 [3, 4]
436
436
437 Discontiguous cases:
437 Discontiguous cases:
438 >>> _trimchunk(revlog, [1, 3, 5, 6], 0)
438 >>> _trimchunk(revlog, [1, 3, 5, 6], 0)
439 [1, 3, 5]
439 [1, 3, 5]
440 >>> _trimchunk(revlog, [1, 3, 5, 6], 0, 2)
440 >>> _trimchunk(revlog, [1, 3, 5, 6], 0, 2)
441 [1]
441 [1]
442 >>> _trimchunk(revlog, [1, 3, 5, 6], 1, 3)
442 >>> _trimchunk(revlog, [1, 3, 5, 6], 1, 3)
443 [3, 5]
443 [3, 5]
444 >>> _trimchunk(revlog, [1, 3, 5, 6], 1)
444 >>> _trimchunk(revlog, [1, 3, 5, 6], 1)
445 [3, 5]
445 [3, 5]
446 """
446 """
447 length = revlog.length
447 length = revlog.length
448
448
449 if endidx is None:
449 if endidx is None:
450 endidx = len(revs)
450 endidx = len(revs)
451
451
452 # If we have a non-emtpy delta candidate, there are nothing to trim
452 # If we have a non-emtpy delta candidate, there are nothing to trim
453 if revs[endidx - 1] < len(revlog):
453 if revs[endidx - 1] < len(revlog):
454 # Trim empty revs at the end, except the very first revision of a chain
454 # Trim empty revs at the end, except the very first revision of a chain
455 while (endidx > 1
455 while (endidx > 1
456 and endidx > startidx
456 and endidx > startidx
457 and length(revs[endidx - 1]) == 0):
457 and length(revs[endidx - 1]) == 0):
458 endidx -= 1
458 endidx -= 1
459
459
460 return revs[startidx:endidx]
460 return revs[startidx:endidx]
461
461
462 def segmentspan(revlog, revs):
462 def segmentspan(revlog, revs):
463 """Get the byte span of a segment of revisions
463 """Get the byte span of a segment of revisions
464
464
465 revs is a sorted array of revision numbers
465 revs is a sorted array of revision numbers
466
466
467 >>> revlog = _testrevlog([
467 >>> revlog = _testrevlog([
468 ... 5, #0
468 ... 5, #0
469 ... 10, #1
469 ... 10, #1
470 ... 12, #2
470 ... 12, #2
471 ... 12, #3 (empty)
471 ... 12, #3 (empty)
472 ... 17, #4
472 ... 17, #4
473 ... ])
473 ... ])
474
474
475 >>> segmentspan(revlog, [0, 1, 2, 3, 4])
475 >>> segmentspan(revlog, [0, 1, 2, 3, 4])
476 17
476 17
477 >>> segmentspan(revlog, [0, 4])
477 >>> segmentspan(revlog, [0, 4])
478 17
478 17
479 >>> segmentspan(revlog, [3, 4])
479 >>> segmentspan(revlog, [3, 4])
480 5
480 5
481 >>> segmentspan(revlog, [1, 2, 3,])
481 >>> segmentspan(revlog, [1, 2, 3,])
482 7
482 7
483 >>> segmentspan(revlog, [1, 3])
483 >>> segmentspan(revlog, [1, 3])
484 7
484 7
485 """
485 """
486 if not revs:
486 if not revs:
487 return 0
487 return 0
488 end = revlog.end(revs[-1])
488 end = revlog.end(revs[-1])
489 return end - revlog.start(revs[0])
489 return end - revlog.start(revs[0])
490
490
491 def _textfromdelta(fh, revlog, baserev, delta, p1, p2, flags, expectednode):
491 def _textfromdelta(fh, revlog, baserev, delta, p1, p2, flags, expectednode):
492 """build full text from a (base, delta) pair and other metadata"""
492 """build full text from a (base, delta) pair and other metadata"""
493 # special case deltas which replace entire base; no need to decode
493 # special case deltas which replace entire base; no need to decode
494 # base revision. this neatly avoids censored bases, which throw when
494 # base revision. this neatly avoids censored bases, which throw when
495 # they're decoded.
495 # they're decoded.
496 hlen = struct.calcsize(">lll")
496 hlen = struct.calcsize(">lll")
497 if delta[:hlen] == mdiff.replacediffheader(revlog.rawsize(baserev),
497 if delta[:hlen] == mdiff.replacediffheader(revlog.rawsize(baserev),
498 len(delta) - hlen):
498 len(delta) - hlen):
499 fulltext = delta[hlen:]
499 fulltext = delta[hlen:]
500 else:
500 else:
501 # deltabase is rawtext before changed by flag processors, which is
501 # deltabase is rawtext before changed by flag processors, which is
502 # equivalent to non-raw text
502 # equivalent to non-raw text
503 basetext = revlog.revision(baserev, _df=fh, raw=False)
503 basetext = revlog.revision(baserev, _df=fh, raw=False)
504 fulltext = mdiff.patch(basetext, delta)
504 fulltext = mdiff.patch(basetext, delta)
505
505
506 try:
506 try:
507 res = revlog._processflags(fulltext, flags, 'read', raw=True)
507 res = revlog._processflags(fulltext, flags, 'read', raw=True)
508 fulltext, validatehash = res
508 fulltext, validatehash = res
509 if validatehash:
509 if validatehash:
510 revlog.checkhash(fulltext, expectednode, p1=p1, p2=p2)
510 revlog.checkhash(fulltext, expectednode, p1=p1, p2=p2)
511 if flags & REVIDX_ISCENSORED:
511 if flags & REVIDX_ISCENSORED:
512 raise error.StorageError(_('node %s is not censored') %
512 raise error.StorageError(_('node %s is not censored') %
513 expectednode)
513 expectednode)
514 except error.CensoredNodeError:
514 except error.CensoredNodeError:
515 # must pass the censored index flag to add censored revisions
515 # must pass the censored index flag to add censored revisions
516 if not flags & REVIDX_ISCENSORED:
516 if not flags & REVIDX_ISCENSORED:
517 raise
517 raise
518 return fulltext
518 return fulltext
519
519
520 @attr.s(slots=True, frozen=True)
520 @attr.s(slots=True, frozen=True)
521 class _deltainfo(object):
521 class _deltainfo(object):
522 distance = attr.ib()
522 distance = attr.ib()
523 deltalen = attr.ib()
523 deltalen = attr.ib()
524 data = attr.ib()
524 data = attr.ib()
525 base = attr.ib()
525 base = attr.ib()
526 chainbase = attr.ib()
526 chainbase = attr.ib()
527 chainlen = attr.ib()
527 chainlen = attr.ib()
528 compresseddeltalen = attr.ib()
528 compresseddeltalen = attr.ib()
529 snapshotdepth = attr.ib()
529 snapshotdepth = attr.ib()
530
530
531 def isgooddeltainfo(revlog, deltainfo, revinfo):
531 def isgooddeltainfo(revlog, deltainfo, revinfo):
532 """Returns True if the given delta is good. Good means that it is within
532 """Returns True if the given delta is good. Good means that it is within
533 the disk span, disk size, and chain length bounds that we know to be
533 the disk span, disk size, and chain length bounds that we know to be
534 performant."""
534 performant."""
535 if deltainfo is None:
535 if deltainfo is None:
536 return False
536 return False
537
537
538 # - 'deltainfo.distance' is the distance from the base revision --
538 # - 'deltainfo.distance' is the distance from the base revision --
539 # bounding it limits the amount of I/O we need to do.
539 # bounding it limits the amount of I/O we need to do.
540 # - 'deltainfo.compresseddeltalen' is the sum of the total size of
540 # - 'deltainfo.compresseddeltalen' is the sum of the total size of
541 # deltas we need to apply -- bounding it limits the amount of CPU
541 # deltas we need to apply -- bounding it limits the amount of CPU
542 # we consume.
542 # we consume.
543
543
544 textlen = revinfo.textlen
544 textlen = revinfo.textlen
545 defaultmax = textlen * 4
545 defaultmax = textlen * 4
546 maxdist = revlog._maxdeltachainspan
546 maxdist = revlog._maxdeltachainspan
547 if not maxdist:
547 if not maxdist:
548 maxdist = deltainfo.distance # ensure the conditional pass
548 maxdist = deltainfo.distance # ensure the conditional pass
549 maxdist = max(maxdist, defaultmax)
549 maxdist = max(maxdist, defaultmax)
550
550
551 # Bad delta from read span:
551 # Bad delta from read span:
552 #
552 #
553 # If the span of data read is larger than the maximum allowed.
553 # If the span of data read is larger than the maximum allowed.
554 #
554 #
555 # In the sparse-revlog case, we rely on the associated "sparse reading"
555 # In the sparse-revlog case, we rely on the associated "sparse reading"
556 # to avoid issue related to the span of data. In theory, it would be
556 # to avoid issue related to the span of data. In theory, it would be
557 # possible to build pathological revlog where delta pattern would lead
557 # possible to build pathological revlog where delta pattern would lead
558 # to too many reads. However, they do not happen in practice at all. So
558 # to too many reads. However, they do not happen in practice at all. So
559 # we skip the span check entirely.
559 # we skip the span check entirely.
560 if not revlog._sparserevlog and maxdist < deltainfo.distance:
560 if not revlog._sparserevlog and maxdist < deltainfo.distance:
561 return False
561 return False
562
562
563 # Bad delta from new delta size:
563 # Bad delta from new delta size:
564 #
564 #
565 # If the delta size is larger than the target text, storing the
565 # If the delta size is larger than the target text, storing the
566 # delta will be inefficient.
566 # delta will be inefficient.
567 if textlen < deltainfo.deltalen:
567 if textlen < deltainfo.deltalen:
568 return False
568 return False
569
569
570 # Bad delta from cumulated payload size:
570 # Bad delta from cumulated payload size:
571 #
571 #
572 # If the sum of delta get larger than K * target text length.
572 # If the sum of delta get larger than K * target text length.
573 if textlen * LIMIT_DELTA2TEXT < deltainfo.compresseddeltalen:
573 if textlen * LIMIT_DELTA2TEXT < deltainfo.compresseddeltalen:
574 return False
574 return False
575
575
576 # Bad delta from chain length:
576 # Bad delta from chain length:
577 #
577 #
578 # If the number of delta in the chain gets too high.
578 # If the number of delta in the chain gets too high.
579 if (revlog._maxchainlen
579 if (revlog._maxchainlen
580 and revlog._maxchainlen < deltainfo.chainlen):
580 and revlog._maxchainlen < deltainfo.chainlen):
581 return False
581 return False
582
582
583 # bad delta from intermediate snapshot size limit
583 # bad delta from intermediate snapshot size limit
584 #
584 #
585 # If an intermediate snapshot size is higher than the limit. The
585 # If an intermediate snapshot size is higher than the limit. The
586 # limit exist to prevent endless chain of intermediate delta to be
586 # limit exist to prevent endless chain of intermediate delta to be
587 # created.
587 # created.
588 if (deltainfo.snapshotdepth is not None and
588 if (deltainfo.snapshotdepth is not None and
589 (textlen >> deltainfo.snapshotdepth) < deltainfo.deltalen):
589 (textlen >> deltainfo.snapshotdepth) < deltainfo.deltalen):
590 return False
590 return False
591
591
592 # bad delta if new intermediate snapshot is larger than the previous
592 # bad delta if new intermediate snapshot is larger than the previous
593 # snapshot
593 # snapshot
594 if (deltainfo.snapshotdepth
594 if (deltainfo.snapshotdepth
595 and revlog.length(deltainfo.base) < deltainfo.deltalen):
595 and revlog.length(deltainfo.base) < deltainfo.deltalen):
596 return False
596 return False
597
597
598 return True
598 return True
599
599
600 def _candidategroups(revlog, textlen, p1, p2, cachedelta):
600 def _candidategroups(revlog, textlen, p1, p2, cachedelta):
601 """Provides group of revision to be tested as delta base
601 """Provides group of revision to be tested as delta base
602
602
603 This top level function focus on emitting groups with unique and worthwhile
603 This top level function focus on emitting groups with unique and worthwhile
604 content. See _raw_candidate_groups for details about the group order.
604 content. See _raw_candidate_groups for details about the group order.
605 """
605 """
606 # should we try to build a delta?
606 # should we try to build a delta?
607 if not (len(revlog) and revlog._storedeltachains):
607 if not (len(revlog) and revlog._storedeltachains):
608 yield None
608 yield None
609 return
609 return
610
610
611 deltalength = revlog.length
611 deltalength = revlog.length
612 deltaparent = revlog.deltaparent
612 deltaparent = revlog.deltaparent
613 good = None
613 good = None
614
614
615 deltas_limit = textlen * LIMIT_DELTA2TEXT
615 deltas_limit = textlen * LIMIT_DELTA2TEXT
616
616
617 tested = set([nullrev])
617 tested = set([nullrev])
618 candidates = _refinedgroups(revlog, p1, p2, cachedelta)
618 candidates = _refinedgroups(revlog, p1, p2, cachedelta)
619 while True:
619 while True:
620 temptative = candidates.send(good)
620 temptative = candidates.send(good)
621 if temptative is None:
621 if temptative is None:
622 break
622 break
623 group = []
623 group = []
624 for rev in temptative:
624 for rev in temptative:
625 # skip over empty delta (no need to include them in a chain)
625 # skip over empty delta (no need to include them in a chain)
626 while (revlog._generaldelta
626 while (revlog._generaldelta
627 and not (rev == nullrev
627 and not (rev == nullrev
628 or rev in tested
628 or rev in tested
629 or deltalength(rev))):
629 or deltalength(rev))):
630 tested.add(rev)
630 tested.add(rev)
631 rev = deltaparent(rev)
631 rev = deltaparent(rev)
632 # filter out revision we tested already
632 # filter out revision we tested already
633 if rev in tested:
633 if rev in tested:
634 continue
634 continue
635 tested.add(rev)
635 tested.add(rev)
636 # filter out delta base that will never produce good delta
636 # filter out delta base that will never produce good delta
637 if deltas_limit < revlog.length(rev):
637 if deltas_limit < revlog.length(rev):
638 continue
638 continue
639 # no need to try a delta against nullrev, this will be done as a
639 # no need to try a delta against nullrev, this will be done as a
640 # last resort.
640 # last resort.
641 if rev == nullrev:
641 if rev == nullrev:
642 continue
642 continue
643 # no delta for rawtext-changing revs (see "candelta" for why)
643 # no delta for rawtext-changing revs (see "candelta" for why)
644 if revlog.flags(rev) & REVIDX_RAWTEXT_CHANGING_FLAGS:
644 if revlog.flags(rev) & REVIDX_RAWTEXT_CHANGING_FLAGS:
645 continue
645 continue
646 group.append(rev)
646 group.append(rev)
647 if group:
647 if group:
648 # XXX: in the sparse revlog case, group can become large,
648 # XXX: in the sparse revlog case, group can become large,
649 # impacting performances. Some bounding or slicing mecanism
649 # impacting performances. Some bounding or slicing mecanism
650 # would help to reduce this impact.
650 # would help to reduce this impact.
651 good = yield tuple(group)
651 good = yield tuple(group)
652 yield None
652 yield None
653
653
654 def _findsnapshots(revlog, cache, start_rev):
654 def _findsnapshots(revlog, cache, start_rev):
655 """find snapshot from start_rev to tip"""
655 """find snapshot from start_rev to tip"""
656 deltaparent = revlog.deltaparent
656 deltaparent = revlog.deltaparent
657 issnapshot = revlog.issnapshot
657 issnapshot = revlog.issnapshot
658 for rev in revlog.revs(start_rev):
658 for rev in revlog.revs(start_rev):
659 if issnapshot(rev):
659 if issnapshot(rev):
660 cache[deltaparent(rev)].append(rev)
660 cache[deltaparent(rev)].append(rev)
661
661
662 def _refinedgroups(revlog, p1, p2, cachedelta):
662 def _refinedgroups(revlog, p1, p2, cachedelta):
663 good = None
663 good = None
664 # First we try to reuse a the delta contained in the bundle.
664 # First we try to reuse a the delta contained in the bundle.
665 # (or from the source revlog)
665 # (or from the source revlog)
666 #
666 #
667 # This logic only applies to general delta repositories and can be disabled
667 # This logic only applies to general delta repositories and can be disabled
668 # through configuration. Disabling reuse source delta is useful when
668 # through configuration. Disabling reuse source delta is useful when
669 # we want to make sure we recomputed "optimal" deltas.
669 # we want to make sure we recomputed "optimal" deltas.
670 if cachedelta and revlog._generaldelta and revlog._lazydeltabase:
670 if cachedelta and revlog._generaldelta and revlog._lazydeltabase:
671 # Assume what we received from the server is a good choice
671 # Assume what we received from the server is a good choice
672 # build delta will reuse the cache
672 # build delta will reuse the cache
673 good = yield (cachedelta[0],)
673 good = yield (cachedelta[0],)
674 if good is not None:
674 if good is not None:
675 yield None
675 yield None
676 return
676 return
677 for candidates in _rawgroups(revlog, p1, p2, cachedelta):
677 for candidates in _rawgroups(revlog, p1, p2, cachedelta):
678 good = yield candidates
678 good = yield candidates
679 if good is not None:
679 if good is not None:
680 break
680 break
681
681
682 # If sparse revlog is enabled, we can try to refine the available deltas
682 # If sparse revlog is enabled, we can try to refine the available deltas
683 if not revlog._sparserevlog:
683 if not revlog._sparserevlog:
684 yield None
684 yield None
685 return
685 return
686
686
687 # if we have a refinable value, try to refine it
687 # if we have a refinable value, try to refine it
688 if good is not None and good not in (p1, p2) and revlog.issnapshot(good):
688 if good is not None and good not in (p1, p2) and revlog.issnapshot(good):
689 # refine snapshot down
689 # refine snapshot down
690 previous = None
690 previous = None
691 while previous != good:
691 while previous != good:
692 previous = good
692 previous = good
693 base = revlog.deltaparent(good)
693 base = revlog.deltaparent(good)
694 if base == nullrev:
694 if base == nullrev:
695 break
695 break
696 good = yield (base,)
696 good = yield (base,)
697 # refine snapshot up
697 # refine snapshot up
698 #
698 #
699 # XXX the _findsnapshots call can be expensive and is "duplicated" with
699 # XXX the _findsnapshots call can be expensive and is "duplicated" with
700 # the one done in `_rawgroups`. Once we start working on performance,
700 # the one done in `_rawgroups`. Once we start working on performance,
701 # we should make the two logics share this computation.
701 # we should make the two logics share this computation.
702 snapshots = collections.defaultdict(list)
702 snapshots = collections.defaultdict(list)
703 _findsnapshots(revlog, snapshots, good + 1)
703 _findsnapshots(revlog, snapshots, good + 1)
704 previous = None
704 previous = None
705 while good != previous:
705 while good != previous:
706 previous = good
706 previous = good
707 children = tuple(sorted(c for c in snapshots[good]))
707 children = tuple(sorted(c for c in snapshots[good]))
708 good = yield children
708 good = yield children
709
709
710 # we have found nothing
710 # we have found nothing
711 yield None
711 yield None
712
712
713 def _rawgroups(revlog, p1, p2, cachedelta):
713 def _rawgroups(revlog, p1, p2, cachedelta):
714 """Provides group of revision to be tested as delta base
714 """Provides group of revision to be tested as delta base
715
715
716 This lower level function focus on emitting delta theorically interresting
716 This lower level function focus on emitting delta theorically interresting
717 without looking it any practical details.
717 without looking it any practical details.
718
718
719 The group order aims at providing fast or small candidates first.
719 The group order aims at providing fast or small candidates first.
720 """
720 """
721 gdelta = revlog._generaldelta
721 gdelta = revlog._generaldelta
722 sparse = revlog._sparserevlog
722 sparse = revlog._sparserevlog
723 curr = len(revlog)
723 curr = len(revlog)
724 prev = curr - 1
724 prev = curr - 1
725 deltachain = lambda rev: revlog._deltachain(rev)[0]
725 deltachain = lambda rev: revlog._deltachain(rev)[0]
726
726
727 if gdelta:
727 if gdelta:
728 # exclude already lazy tested base if any
728 # exclude already lazy tested base if any
729 parents = [p for p in (p1, p2) if p != nullrev]
729 parents = [p for p in (p1, p2) if p != nullrev]
730
730
731 if not revlog._deltabothparents and len(parents) == 2:
731 if not revlog._deltabothparents and len(parents) == 2:
732 parents.sort()
732 parents.sort()
733 # To minimize the chance of having to build a fulltext,
733 # To minimize the chance of having to build a fulltext,
734 # pick first whichever parent is closest to us (max rev)
734 # pick first whichever parent is closest to us (max rev)
735 yield (parents[1],)
735 yield (parents[1],)
736 # then the other one (min rev) if the first did not fit
736 # then the other one (min rev) if the first did not fit
737 yield (parents[0],)
737 yield (parents[0],)
738 elif len(parents) > 0:
738 elif len(parents) > 0:
739 # Test all parents (1 or 2), and keep the best candidate
739 # Test all parents (1 or 2), and keep the best candidate
740 yield parents
740 yield parents
741
741
742 if sparse and parents:
742 if sparse and parents:
743 snapshots = collections.defaultdict(list) # map: base-rev: snapshot-rev
743 snapshots = collections.defaultdict(list) # map: base-rev: snapshot-rev
744 # See if we can use an existing snapshot in the parent chains to use as
744 # See if we can use an existing snapshot in the parent chains to use as
745 # a base for a new intermediate-snapshot
745 # a base for a new intermediate-snapshot
746 #
746 #
747 # search for snapshot in parents delta chain
747 # search for snapshot in parents delta chain
748 # map: snapshot-level: snapshot-rev
748 # map: snapshot-level: snapshot-rev
749 parents_snaps = collections.defaultdict(set)
749 parents_snaps = collections.defaultdict(set)
750 candidate_chains = [deltachain(p) for p in parents]
750 candidate_chains = [deltachain(p) for p in parents]
751 for chain in candidate_chains:
751 for chain in candidate_chains:
752 for idx, s in enumerate(chain):
752 for idx, s in enumerate(chain):
753 if not revlog.issnapshot(s):
753 if not revlog.issnapshot(s):
754 break
754 break
755 parents_snaps[idx].add(s)
755 parents_snaps[idx].add(s)
756 snapfloor = min(parents_snaps[0]) + 1
756 snapfloor = min(parents_snaps[0]) + 1
757 _findsnapshots(revlog, snapshots, snapfloor)
757 _findsnapshots(revlog, snapshots, snapfloor)
758 # search for the highest "unrelated" revision
758 # search for the highest "unrelated" revision
759 #
759 #
760 # Adding snapshots used by "unrelated" revision increase the odd we
760 # Adding snapshots used by "unrelated" revision increase the odd we
761 # reuse an independant, yet better snapshot chain.
761 # reuse an independant, yet better snapshot chain.
762 #
762 #
763 # XXX instead of building a set of revisions, we could lazily enumerate
763 # XXX instead of building a set of revisions, we could lazily enumerate
764 # over the chains. That would be more efficient, however we stick to
764 # over the chains. That would be more efficient, however we stick to
765 # simple code for now.
765 # simple code for now.
766 all_revs = set()
766 all_revs = set()
767 for chain in candidate_chains:
767 for chain in candidate_chains:
768 all_revs.update(chain)
768 all_revs.update(chain)
769 other = None
769 other = None
770 for r in revlog.revs(prev, snapfloor):
770 for r in revlog.revs(prev, snapfloor):
771 if r not in all_revs:
771 if r not in all_revs:
772 other = r
772 other = r
773 break
773 break
774 if other is not None:
774 if other is not None:
775 # To avoid unfair competition, we won't use unrelated intermediate
775 # To avoid unfair competition, we won't use unrelated intermediate
776 # snapshot that are deeper than the ones from the parent delta
776 # snapshot that are deeper than the ones from the parent delta
777 # chain.
777 # chain.
778 max_depth = max(parents_snaps.keys())
778 max_depth = max(parents_snaps.keys())
779 chain = deltachain(other)
779 chain = deltachain(other)
780 for idx, s in enumerate(chain):
780 for idx, s in enumerate(chain):
781 if s < snapfloor:
781 if s < snapfloor:
782 continue
782 continue
783 if max_depth < idx:
783 if max_depth < idx:
784 break
784 break
785 if not revlog.issnapshot(s):
785 if not revlog.issnapshot(s):
786 break
786 break
787 parents_snaps[idx].add(s)
787 parents_snaps[idx].add(s)
788 # Test them as possible intermediate snapshot base
788 # Test them as possible intermediate snapshot base
789 # We test them from highest to lowest level. High level one are more
789 # We test them from highest to lowest level. High level one are more
790 # likely to result in small delta
790 # likely to result in small delta
791 floor = None
791 floor = None
792 for idx, snaps in sorted(parents_snaps.items(), reverse=True):
792 for idx, snaps in sorted(parents_snaps.items(), reverse=True):
793 siblings = set()
793 siblings = set()
794 for s in snaps:
794 for s in snaps:
795 siblings.update(snapshots[s])
795 siblings.update(snapshots[s])
796 # Before considering making a new intermediate snapshot, we check
796 # Before considering making a new intermediate snapshot, we check
797 # if an existing snapshot, children of base we consider, would be
797 # if an existing snapshot, children of base we consider, would be
798 # suitable.
798 # suitable.
799 #
799 #
800 # It give a change to reuse a delta chain "unrelated" to the
800 # It give a change to reuse a delta chain "unrelated" to the
801 # current revision instead of starting our own. Without such
801 # current revision instead of starting our own. Without such
802 # re-use, topological branches would keep reopening new chains.
802 # re-use, topological branches would keep reopening new chains.
803 # Creating more and more snapshot as the repository grow.
803 # Creating more and more snapshot as the repository grow.
804
804
805 if floor is not None:
805 if floor is not None:
806 # We only do this for siblings created after the one in our
806 # We only do this for siblings created after the one in our
807 # parent's delta chain. Those created before has less chances
807 # parent's delta chain. Those created before has less chances
808 # to be valid base since our ancestors had to create a new
808 # to be valid base since our ancestors had to create a new
809 # snapshot.
809 # snapshot.
810 siblings = [r for r in siblings if floor < r]
810 siblings = [r for r in siblings if floor < r]
811 yield tuple(sorted(siblings))
811 yield tuple(sorted(siblings))
812 # then test the base from our parent's delta chain.
812 # then test the base from our parent's delta chain.
813 yield tuple(sorted(snaps))
813 yield tuple(sorted(snaps))
814 floor = min(snaps)
814 floor = min(snaps)
815 # No suitable base found in the parent chain, search if any full
815 # No suitable base found in the parent chain, search if any full
816 # snapshots emitted since parent's base would be a suitable base for an
816 # snapshots emitted since parent's base would be a suitable base for an
817 # intermediate snapshot.
817 # intermediate snapshot.
818 #
818 #
819 # It give a chance to reuse a delta chain unrelated to the current
819 # It give a chance to reuse a delta chain unrelated to the current
820 # revisions instead of starting our own. Without such re-use,
820 # revisions instead of starting our own. Without such re-use,
821 # topological branches would keep reopening new full chains. Creating
821 # topological branches would keep reopening new full chains. Creating
822 # more and more snapshot as the repository grow.
822 # more and more snapshot as the repository grow.
823 yield tuple(snapshots[nullrev])
823 yield tuple(snapshots[nullrev])
824
824
825 if not sparse:
825 if not sparse:
826 # other approach failed try against prev to hopefully save us a
826 # other approach failed try against prev to hopefully save us a
827 # fulltext.
827 # fulltext.
828 yield (prev,)
828 yield (prev,)
829
829
830 class deltacomputer(object):
830 class deltacomputer(object):
831 def __init__(self, revlog):
831 def __init__(self, revlog):
832 self.revlog = revlog
832 self.revlog = revlog
833
833
834 def buildtext(self, revinfo, fh):
834 def buildtext(self, revinfo, fh):
835 """Builds a fulltext version of a revision
835 """Builds a fulltext version of a revision
836
836
837 revinfo: _revisioninfo instance that contains all needed info
837 revinfo: _revisioninfo instance that contains all needed info
838 fh: file handle to either the .i or the .d revlog file,
838 fh: file handle to either the .i or the .d revlog file,
839 depending on whether it is inlined or not
839 depending on whether it is inlined or not
840 """
840 """
841 btext = revinfo.btext
841 btext = revinfo.btext
842 if btext[0] is not None:
842 if btext[0] is not None:
843 return btext[0]
843 return btext[0]
844
844
845 revlog = self.revlog
845 revlog = self.revlog
846 cachedelta = revinfo.cachedelta
846 cachedelta = revinfo.cachedelta
847 baserev = cachedelta[0]
847 baserev = cachedelta[0]
848 delta = cachedelta[1]
848 delta = cachedelta[1]
849
849
850 fulltext = btext[0] = _textfromdelta(fh, revlog, baserev, delta,
850 fulltext = btext[0] = _textfromdelta(fh, revlog, baserev, delta,
851 revinfo.p1, revinfo.p2,
851 revinfo.p1, revinfo.p2,
852 revinfo.flags, revinfo.node)
852 revinfo.flags, revinfo.node)
853 return fulltext
853 return fulltext
854
854
855 def _builddeltadiff(self, base, revinfo, fh):
855 def _builddeltadiff(self, base, revinfo, fh):
856 revlog = self.revlog
856 revlog = self.revlog
857 t = self.buildtext(revinfo, fh)
857 t = self.buildtext(revinfo, fh)
858 if revlog.iscensored(base):
858 if revlog.iscensored(base):
859 # deltas based on a censored revision must replace the
859 # deltas based on a censored revision must replace the
860 # full content in one patch, so delta works everywhere
860 # full content in one patch, so delta works everywhere
861 header = mdiff.replacediffheader(revlog.rawsize(base), len(t))
861 header = mdiff.replacediffheader(revlog.rawsize(base), len(t))
862 delta = header + t
862 delta = header + t
863 else:
863 else:
864 ptext = revlog.revision(base, _df=fh, raw=True)
864 ptext = revlog.revision(base, _df=fh, raw=True)
865 delta = mdiff.textdiff(ptext, t)
865 delta = mdiff.textdiff(ptext, t)
866
866
867 return delta
867 return delta
868
868
869 def _builddeltainfo(self, revinfo, base, fh):
869 def _builddeltainfo(self, revinfo, base, fh):
870 # can we use the cached delta?
870 # can we use the cached delta?
871 delta = None
871 delta = None
872 if revinfo.cachedelta:
872 if revinfo.cachedelta:
873 cachebase, cachediff = revinfo.cachedelta
873 cachebase, cachediff = revinfo.cachedelta
874 #check if the diff still apply
874 #check if the diff still apply
875 currentbase = cachebase
875 currentbase = cachebase
876 while (currentbase != nullrev
876 while (currentbase != nullrev
877 and currentbase != base
877 and currentbase != base
878 and self.revlog.length(currentbase) == 0):
878 and self.revlog.length(currentbase) == 0):
879 currentbase = self.revlog.deltaparent(currentbase)
879 currentbase = self.revlog.deltaparent(currentbase)
880 if currentbase == base:
880 if currentbase == base:
881 delta = revinfo.cachedelta[1]
881 delta = revinfo.cachedelta[1]
882 if delta is None:
882 if delta is None:
883 delta = self._builddeltadiff(base, revinfo, fh)
883 delta = self._builddeltadiff(base, revinfo, fh)
884 revlog = self.revlog
884 revlog = self.revlog
885 header, data = revlog.compress(delta)
885 header, data = revlog.compress(delta)
886 deltalen = len(header) + len(data)
886 deltalen = len(header) + len(data)
887 chainbase = revlog.chainbase(base)
887 chainbase = revlog.chainbase(base)
888 offset = revlog.end(len(revlog) - 1)
888 offset = revlog.end(len(revlog) - 1)
889 dist = deltalen + offset - revlog.start(chainbase)
889 dist = deltalen + offset - revlog.start(chainbase)
890 if revlog._generaldelta:
890 if revlog._generaldelta:
891 deltabase = base
891 deltabase = base
892 else:
892 else:
893 deltabase = chainbase
893 deltabase = chainbase
894 chainlen, compresseddeltalen = revlog._chaininfo(base)
894 chainlen, compresseddeltalen = revlog._chaininfo(base)
895 chainlen += 1
895 chainlen += 1
896 compresseddeltalen += deltalen
896 compresseddeltalen += deltalen
897
897
898 revlog = self.revlog
898 revlog = self.revlog
899 snapshotdepth = None
899 snapshotdepth = None
900 if deltabase == nullrev:
900 if deltabase == nullrev:
901 snapshotdepth = 0
901 snapshotdepth = 0
902 elif revlog._sparserevlog and revlog.issnapshot(deltabase):
902 elif revlog._sparserevlog and revlog.issnapshot(deltabase):
903 # A delta chain should always be one full snapshot,
903 # A delta chain should always be one full snapshot,
904 # zero or more semi-snapshots, and zero or more deltas
904 # zero or more semi-snapshots, and zero or more deltas
905 p1, p2 = revlog.rev(revinfo.p1), revlog.rev(revinfo.p2)
905 p1, p2 = revlog.rev(revinfo.p1), revlog.rev(revinfo.p2)
906 if deltabase not in (p1, p2) and revlog.issnapshot(deltabase):
906 if deltabase not in (p1, p2) and revlog.issnapshot(deltabase):
907 snapshotdepth = len(revlog._deltachain(deltabase)[0])
907 snapshotdepth = len(revlog._deltachain(deltabase)[0])
908
908
909 return _deltainfo(dist, deltalen, (header, data), deltabase,
909 return _deltainfo(dist, deltalen, (header, data), deltabase,
910 chainbase, chainlen, compresseddeltalen,
910 chainbase, chainlen, compresseddeltalen,
911 snapshotdepth)
911 snapshotdepth)
912
912
913 def _fullsnapshotinfo(self, fh, revinfo):
913 def _fullsnapshotinfo(self, fh, revinfo):
914 curr = len(self.revlog)
914 curr = len(self.revlog)
915 rawtext = self.buildtext(revinfo, fh)
915 rawtext = self.buildtext(revinfo, fh)
916 data = self.revlog.compress(rawtext)
916 data = self.revlog.compress(rawtext)
917 compresseddeltalen = deltalen = dist = len(data[1]) + len(data[0])
917 compresseddeltalen = deltalen = dist = len(data[1]) + len(data[0])
918 deltabase = chainbase = curr
918 deltabase = chainbase = curr
919 snapshotdepth = 0
919 snapshotdepth = 0
920 chainlen = 1
920 chainlen = 1
921
921
922 return _deltainfo(dist, deltalen, data, deltabase,
922 return _deltainfo(dist, deltalen, data, deltabase,
923 chainbase, chainlen, compresseddeltalen,
923 chainbase, chainlen, compresseddeltalen,
924 snapshotdepth)
924 snapshotdepth)
925
925
926 def finddeltainfo(self, revinfo, fh):
926 def finddeltainfo(self, revinfo, fh):
927 """Find an acceptable delta against a candidate revision
927 """Find an acceptable delta against a candidate revision
928
928
929 revinfo: information about the revision (instance of _revisioninfo)
929 revinfo: information about the revision (instance of _revisioninfo)
930 fh: file handle to either the .i or the .d revlog file,
930 fh: file handle to either the .i or the .d revlog file,
931 depending on whether it is inlined or not
931 depending on whether it is inlined or not
932
932
933 Returns the first acceptable candidate revision, as ordered by
933 Returns the first acceptable candidate revision, as ordered by
934 _candidategroups
934 _candidategroups
935
935
936 If no suitable deltabase is found, we return delta info for a full
936 If no suitable deltabase is found, we return delta info for a full
937 snapshot.
937 snapshot.
938 """
938 """
939 if not revinfo.textlen:
939 if not revinfo.textlen:
940 return self._fullsnapshotinfo(fh, revinfo)
940 return self._fullsnapshotinfo(fh, revinfo)
941
941
942 # no delta for flag processor revision (see "candelta" for why)
942 # no delta for flag processor revision (see "candelta" for why)
943 # not calling candelta since only one revision needs test, also to
943 # not calling candelta since only one revision needs test, also to
944 # avoid overhead fetching flags again.
944 # avoid overhead fetching flags again.
945 if revinfo.flags & REVIDX_RAWTEXT_CHANGING_FLAGS:
945 if revinfo.flags & REVIDX_RAWTEXT_CHANGING_FLAGS:
946 return self._fullsnapshotinfo(fh, revinfo)
946 return self._fullsnapshotinfo(fh, revinfo)
947
947
948 cachedelta = revinfo.cachedelta
948 cachedelta = revinfo.cachedelta
949 p1 = revinfo.p1
949 p1 = revinfo.p1
950 p2 = revinfo.p2
950 p2 = revinfo.p2
951 revlog = self.revlog
951 revlog = self.revlog
952
952
953 deltainfo = None
953 deltainfo = None
954 p1r, p2r = revlog.rev(p1), revlog.rev(p2)
954 p1r, p2r = revlog.rev(p1), revlog.rev(p2)
955 groups = _candidategroups(self.revlog, revinfo.textlen,
955 groups = _candidategroups(self.revlog, revinfo.textlen,
956 p1r, p2r, cachedelta)
956 p1r, p2r, cachedelta)
957 candidaterevs = next(groups)
957 candidaterevs = next(groups)
958 while candidaterevs is not None:
958 while candidaterevs is not None:
959 nominateddeltas = []
959 nominateddeltas = []
960 if deltainfo is not None:
960 if deltainfo is not None:
961 # if we already found a good delta,
961 # if we already found a good delta,
962 # challenge it against refined candidates
962 # challenge it against refined candidates
963 nominateddeltas.append(deltainfo)
963 nominateddeltas.append(deltainfo)
964 for candidaterev in candidaterevs:
964 for candidaterev in candidaterevs:
965 candidatedelta = self._builddeltainfo(revinfo, candidaterev, fh)
965 candidatedelta = self._builddeltainfo(revinfo, candidaterev, fh)
966 if isgooddeltainfo(self.revlog, candidatedelta, revinfo):
966 if isgooddeltainfo(self.revlog, candidatedelta, revinfo):
967 nominateddeltas.append(candidatedelta)
967 nominateddeltas.append(candidatedelta)
968 if nominateddeltas:
968 if nominateddeltas:
969 deltainfo = min(nominateddeltas, key=lambda x: x.deltalen)
969 deltainfo = min(nominateddeltas, key=lambda x: x.deltalen)
970 if deltainfo is not None:
970 if deltainfo is not None:
971 candidaterevs = groups.send(deltainfo.base)
971 candidaterevs = groups.send(deltainfo.base)
972 else:
972 else:
973 candidaterevs = next(groups)
973 candidaterevs = next(groups)
974
974
975 if deltainfo is None:
975 if deltainfo is None:
976 deltainfo = self._fullsnapshotinfo(fh, revinfo)
976 deltainfo = self._fullsnapshotinfo(fh, revinfo)
977 return deltainfo
977 return deltainfo
General Comments 0
You need to be logged in to leave comments. Login now