bzr branch
http://gegoxaren.bato24.eu/bzr/brz/remove-bazaar
|
362
by Martin Pool
- Import stat-cache code |
1 |
# (C) 2005 Canonical Ltd
|
2 |
||
3 |
# This program is free software; you can redistribute it and/or modify
|
|
4 |
# it under the terms of the GNU General Public License as published by
|
|
5 |
# the Free Software Foundation; either version 2 of the License, or
|
|
6 |
# (at your option) any later version.
|
|
7 |
||
8 |
# This program is distributed in the hope that it will be useful,
|
|
9 |
# but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
10 |
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
11 |
# GNU General Public License for more details.
|
|
12 |
||
13 |
# You should have received a copy of the GNU General Public License
|
|
14 |
# along with this program; if not, write to the Free Software
|
|
15 |
# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
|
|
16 |
||
17 |
import stat, os, sha, time |
|
18 |
||
19 |
from trace import mutter |
|
|
509
by Martin Pool
clean up stat cache code: |
20 |
from errors import BzrError, BzrCheckError |
|
362
by Martin Pool
- Import stat-cache code |
21 |
|
22 |
||
|
427
by Martin Pool
- statcache docs |
23 |
"""File stat cache to speed up tree comparisons.
|
24 |
||
25 |
This module basically gives a quick way to find the SHA-1 and related
|
|
26 |
information of a file in the working directory, without actually
|
|
|
845
by Martin Pool
doc |
27 |
reading and hashing the whole file. The information is validated by
|
28 |
checking the size, mtime, ctime, etc of the file as returned by the
|
|
29 |
stat() system call.
|
|
30 |
||
31 |
This has no relation to the deprecated standard Python module called
|
|
32 |
statcache (vs bzrlib.statcache).
|
|
|
427
by Martin Pool
- statcache docs |
33 |
|
|
509
by Martin Pool
clean up stat cache code: |
34 |
|
35 |
||
36 |
Implementation
|
|
37 |
==============
|
|
38 |
||
39 |
Users of this module should not need to know about how this is
|
|
40 |
implemented, and in particular should not depend on the particular
|
|
41 |
data which is stored or its format.
|
|
42 |
||
|
846
by Martin Pool
- start adding refactored/simplified hash cache |
43 |
The cache maintains a mapping from filename to the SHA-1 of the
|
44 |
content of the file.
|
|
45 |
||
46 |
The cache also stores a fingerprint of (size, mtime, ctime, ino, dev)
|
|
47 |
which is used to validate that the entry is up-to-date.
|
|
48 |
||
49 |
||
50 |
||
|
427
by Martin Pool
- statcache docs |
51 |
This is done by maintaining a cache indexed by a file fingerprint of
|
52 |
(path, size, mtime, ctime, ino, dev) pointing to the SHA-1. If the
|
|
53 |
fingerprint has changed, we assume the file content has not changed
|
|
54 |
either and the SHA-1 is therefore the same.
|
|
55 |
||
56 |
If any of the fingerprint fields have changed then the file content
|
|
57 |
*may* have changed, or it may not have. We need to reread the file
|
|
58 |
contents to make sure, but this is not visible to the user or
|
|
59 |
higher-level code (except as a delay of course).
|
|
60 |
||
61 |
The mtime and ctime are stored with nanosecond fields, but not all
|
|
62 |
filesystems give this level of precision. There is therefore a
|
|
63 |
possible race: the file might be modified twice within a second
|
|
64 |
without changing the size or mtime, and a SHA-1 cached from the first
|
|
65 |
version would be wrong. We handle this by not recording a cached hash
|
|
66 |
for any files which were modified in the current second and that
|
|
67 |
therefore have the chance to change again before the second is up.
|
|
68 |
||
69 |
The only known hole in this design is if the system clock jumps
|
|
70 |
backwards crossing invocations of bzr. Please don't do that; use ntp
|
|
71 |
to gradually adjust your clock or don't use bzr over the step.
|
|
72 |
||
73 |
At the moment this is stored in a simple textfile; it might be nice
|
|
|
602
by Martin Pool
- new statcache format: use nul field separators rather than |
74 |
to use a tdb instead to allow faster lookup by file-id.
|
|
434
by Martin Pool
doc |
75 |
|
76 |
The cache is represented as a map from file_id to a tuple of (file_id,
|
|
77 |
sha1, path, size, mtime, ctime, ino, dev).
|
|
|
509
by Martin Pool
clean up stat cache code: |
78 |
|
79 |
The SHA-1 is stored in memory as a hexdigest.
|
|
80 |
||
|
602
by Martin Pool
- new statcache format: use nul field separators rather than |
81 |
This version of the file on disk has one line per record, and fields
|
82 |
separated by \0 records.
|
|
|
427
by Martin Pool
- statcache docs |
83 |
"""
|
|
362
by Martin Pool
- Import stat-cache code |
84 |
|
|
509
by Martin Pool
clean up stat cache code: |
85 |
# order of fields returned by fingerprint()
|
|
436
by Martin Pool
- Avoid dangerous files when writing out stat cache |
86 |
FP_SIZE = 0 |
87 |
FP_MTIME = 1 |
|
88 |
FP_CTIME = 2 |
|
89 |
FP_INO = 3 |
|
90 |
FP_DEV = 4 |
|
91 |
||
|
509
by Martin Pool
clean up stat cache code: |
92 |
# order of fields in the statcache file and in the in-memory map
|
|
437
by Martin Pool
- new command 'bzr modified' to exercise the statcache |
93 |
SC_FILE_ID = 0 |
|
509
by Martin Pool
clean up stat cache code: |
94 |
SC_SHA1 = 1 |
95 |
SC_PATH = 2 |
|
96 |
SC_SIZE = 3 |
|
97 |
SC_MTIME = 4 |
|
98 |
SC_CTIME = 5 |
|
99 |
SC_INO = 6 |
|
100 |
SC_DEV = 7 |
|
|
437
by Martin Pool
- new command 'bzr modified' to exercise the statcache |
101 |
|
102 |
||
|
524
by Martin Pool
- add version marker at top of statcache |
103 |
|
|
602
by Martin Pool
- new statcache format: use nul field separators rather than |
104 |
CACHE_HEADER = "### bzr statcache v4" |
|
524
by Martin Pool
- add version marker at top of statcache |
105 |
|
106 |
||
|
458
by Martin Pool
- fix statcache update from subdirectories |
107 |
def fingerprint(abspath): |
|
362
by Martin Pool
- Import stat-cache code |
108 |
try: |
109 |
fs = os.lstat(abspath) |
|
110 |
except OSError: |
|
111 |
# might be missing, etc
|
|
112 |
return None |
|
113 |
||
114 |
if stat.S_ISDIR(fs.st_mode): |
|
115 |
return None |
|
116 |
||
117 |
return (fs.st_size, fs.st_mtime, |
|
118 |
fs.st_ctime, fs.st_ino, fs.st_dev) |
|
119 |
||
120 |
||
|
548
by Martin Pool
- Write statcache using \u style encoding to avoid |
121 |
|
|
553
by Martin Pool
- refactor handling of dangerous files (changed recently) |
122 |
def _write_cache(basedir, entries): |
|
428
by Martin Pool
- Use AtomicFile to update statcache. |
123 |
from atomicfile import AtomicFile |
|
453
by Martin Pool
- Split WorkingTree into its own file |
124 |
|
125 |
cachefn = os.path.join(basedir, '.bzr', 'stat-cache') |
|
|
509
by Martin Pool
clean up stat cache code: |
126 |
outf = AtomicFile(cachefn, 'wb') |
|
428
by Martin Pool
- Use AtomicFile to update statcache. |
127 |
try: |
|
602
by Martin Pool
- new statcache format: use nul field separators rather than |
128 |
outf.write(CACHE_HEADER + '\n') |
129 |
||
|
553
by Martin Pool
- refactor handling of dangerous files (changed recently) |
130 |
for entry in entries: |
|
509
by Martin Pool
clean up stat cache code: |
131 |
if len(entry) != 8: |
132 |
raise ValueError("invalid statcache entry tuple %r" % entry) |
|
|
602
by Martin Pool
- new statcache format: use nul field separators rather than |
133 |
outf.write(entry[0].encode('utf-8')) # file id |
134 |
outf.write('\0') |
|
|
548
by Martin Pool
- Write statcache using \u style encoding to avoid |
135 |
outf.write(entry[1]) # hex sha1 |
|
602
by Martin Pool
- new statcache format: use nul field separators rather than |
136 |
outf.write('\0') |
137 |
outf.write(entry[2].encode('utf-8')) # name |
|
|
509
by Martin Pool
clean up stat cache code: |
138 |
for nf in entry[3:]: |
|
602
by Martin Pool
- new statcache format: use nul field separators rather than |
139 |
outf.write('\0%d' % nf) |
|
509
by Martin Pool
clean up stat cache code: |
140 |
outf.write('\n') |
|
362
by Martin Pool
- Import stat-cache code |
141 |
|
|
428
by Martin Pool
- Use AtomicFile to update statcache. |
142 |
outf.commit() |
143 |
finally: |
|
144 |
if not outf.closed: |
|
145 |
outf.abort() |
|
|
551
by Martin Pool
- Don't fail if unable to update the statcache |
146 |
|
147 |
||
|
553
by Martin Pool
- refactor handling of dangerous files (changed recently) |
148 |
def _try_write_cache(basedir, entries): |
|
551
by Martin Pool
- Don't fail if unable to update the statcache |
149 |
try: |
|
553
by Martin Pool
- refactor handling of dangerous files (changed recently) |
150 |
return _write_cache(basedir, entries) |
|
551
by Martin Pool
- Don't fail if unable to update the statcache |
151 |
except IOError, e: |
152 |
mutter("cannot update statcache in %s: %s" % (basedir, e)) |
|
153 |
except OSError, e: |
|
154 |
mutter("cannot update statcache in %s: %s" % (basedir, e)) |
|
155 |
||
|
362
by Martin Pool
- Import stat-cache code |
156 |
|
157 |
||
|
453
by Martin Pool
- Split WorkingTree into its own file |
158 |
def load_cache(basedir): |
|
537
by Martin Pool
- file-ids are stored as quoted-printable in the stat cache, |
159 |
import re |
|
362
by Martin Pool
- Import stat-cache code |
160 |
cache = {} |
|
540
by Martin Pool
- use builtin set object in python2.4 |
161 |
seen_paths = {} |
|
602
by Martin Pool
- new statcache format: use nul field separators rather than |
162 |
from bzrlib.trace import warning |
|
362
by Martin Pool
- Import stat-cache code |
163 |
|
|
637
by Martin Pool
- add assertion |
164 |
assert isinstance(basedir, basestring) |
165 |
||
|
537
by Martin Pool
- file-ids are stored as quoted-printable in the stat cache, |
166 |
sha_re = re.compile(r'[a-f0-9]{40}') |
167 |
||
|
362
by Martin Pool
- Import stat-cache code |
168 |
try: |
|
453
by Martin Pool
- Split WorkingTree into its own file |
169 |
cachefn = os.path.join(basedir, '.bzr', 'stat-cache') |
|
524
by Martin Pool
- add version marker at top of statcache |
170 |
cachefile = open(cachefn, 'rb') |
|
362
by Martin Pool
- Import stat-cache code |
171 |
except IOError: |
172 |
return cache |
|
|
524
by Martin Pool
- add version marker at top of statcache |
173 |
|
174 |
line1 = cachefile.readline().rstrip('\r\n') |
|
175 |
if line1 != CACHE_HEADER: |
|
|
602
by Martin Pool
- new statcache format: use nul field separators rather than |
176 |
mutter('cache header marker not found at top of %s; discarding cache' |
177 |
% cachefn) |
|
|
524
by Martin Pool
- add version marker at top of statcache |
178 |
return cache |
179 |
||
|
362
by Martin Pool
- Import stat-cache code |
180 |
for l in cachefile: |
|
602
by Martin Pool
- new statcache format: use nul field separators rather than |
181 |
f = l.split('\0') |
|
509
by Martin Pool
clean up stat cache code: |
182 |
|
|
602
by Martin Pool
- new statcache format: use nul field separators rather than |
183 |
file_id = f[0].decode('utf-8') |
|
362
by Martin Pool
- Import stat-cache code |
184 |
if file_id in cache: |
|
602
by Martin Pool
- new statcache format: use nul field separators rather than |
185 |
warning("duplicated file_id in cache: {%s}" % file_id) |
|
537
by Martin Pool
- file-ids are stored as quoted-printable in the stat cache, |
186 |
|
187 |
text_sha = f[1] |
|
188 |
if len(text_sha) != 40 or not sha_re.match(text_sha): |
|
189 |
raise BzrCheckError("invalid file SHA-1 in cache: %r" % text_sha) |
|
|
509
by Martin Pool
clean up stat cache code: |
190 |
|
|
602
by Martin Pool
- new statcache format: use nul field separators rather than |
191 |
path = f[2].decode('utf-8') |
|
509
by Martin Pool
clean up stat cache code: |
192 |
if path in seen_paths: |
|
602
by Martin Pool
- new statcache format: use nul field separators rather than |
193 |
warning("duplicated path in cache: %r" % path) |
|
540
by Martin Pool
- use builtin set object in python2.4 |
194 |
seen_paths[path] = True |
|
509
by Martin Pool
clean up stat cache code: |
195 |
|
|
537
by Martin Pool
- file-ids are stored as quoted-printable in the stat cache, |
196 |
entry = (file_id, text_sha, path) + tuple([long(x) for x in f[3:]]) |
|
509
by Martin Pool
clean up stat cache code: |
197 |
if len(entry) != 8: |
198 |
raise ValueError("invalid statcache entry tuple %r" % entry) |
|
199 |
||
200 |
cache[file_id] = entry |
|
|
362
by Martin Pool
- Import stat-cache code |
201 |
return cache |
202 |
||
203 |
||
204 |
||
205 |
def _files_from_inventory(inv): |
|
206 |
for path, ie in inv.iter_entries(): |
|
207 |
if ie.kind != 'file': |
|
208 |
continue
|
|
209 |
yield ie.file_id, path |
|
210 |
||
211 |
||
|
436
by Martin Pool
- Avoid dangerous files when writing out stat cache |
212 |
|
|
453
by Martin Pool
- Split WorkingTree into its own file |
213 |
def update_cache(basedir, inv, flush=False): |
|
436
by Martin Pool
- Avoid dangerous files when writing out stat cache |
214 |
"""Update and return the cache for the branch. |
215 |
||
216 |
The returned cache may contain entries that have not been written
|
|
217 |
to disk for files recently touched.
|
|
218 |
||
219 |
flush -- discard any previous cache and recalculate from scratch.
|
|
220 |
"""
|
|
221 |
||
|
554
by Martin Pool
- clean up statcache code |
222 |
# load the existing cache; use information there to find a list of
|
223 |
# files ordered by inode, which is alleged to be the fastest order
|
|
224 |
# to stat the files.
|
|
|
362
by Martin Pool
- Import stat-cache code |
225 |
|
|
554
by Martin Pool
- clean up statcache code |
226 |
to_update = _files_from_inventory(inv) |
|
362
by Martin Pool
- Import stat-cache code |
227 |
|
|
438
by Martin Pool
- Avoid calling Inventory.iter_entries() when finding modified |
228 |
assert isinstance(flush, bool) |
|
436
by Martin Pool
- Avoid dangerous files when writing out stat cache |
229 |
if flush: |
230 |
cache = {} |
|
231 |
else: |
|
|
453
by Martin Pool
- Split WorkingTree into its own file |
232 |
cache = load_cache(basedir) |
|
554
by Martin Pool
- clean up statcache code |
233 |
|
234 |
by_inode = [] |
|
235 |
without_inode = [] |
|
236 |
for file_id, path in to_update: |
|
237 |
if file_id in cache: |
|
238 |
by_inode.append((cache[file_id][SC_INO], file_id, path)) |
|
239 |
else: |
|
240 |
without_inode.append((file_id, path)) |
|
241 |
by_inode.sort() |
|
242 |
||
243 |
to_update = [a[1:] for a in by_inode] + without_inode |
|
244 |
||
245 |
stat_cnt = missing_cnt = new_cnt = hardcheck = change_cnt = 0 |
|
|
436
by Martin Pool
- Avoid dangerous files when writing out stat cache |
246 |
|
|
549
by Martin Pool
doc |
247 |
# dangerfiles have been recently touched and can't be committed to
|
248 |
# a persistent cache yet, but they are returned to the caller.
|
|
|
553
by Martin Pool
- refactor handling of dangerous files (changed recently) |
249 |
dangerfiles = [] |
|
436
by Martin Pool
- Avoid dangerous files when writing out stat cache |
250 |
|
251 |
now = int(time.time()) |
|
|
457
by Martin Pool
- more trace and profiling in statcache |
252 |
|
|
458
by Martin Pool
- fix statcache update from subdirectories |
253 |
## mutter('update statcache under %r' % basedir)
|
|
362
by Martin Pool
- Import stat-cache code |
254 |
for file_id, path in to_update: |
|
457
by Martin Pool
- more trace and profiling in statcache |
255 |
abspath = os.path.join(basedir, path) |
|
458
by Martin Pool
- fix statcache update from subdirectories |
256 |
fp = fingerprint(abspath) |
|
457
by Martin Pool
- more trace and profiling in statcache |
257 |
stat_cnt += 1 |
258 |
||
|
362
by Martin Pool
- Import stat-cache code |
259 |
cacheentry = cache.get(file_id) |
260 |
||
261 |
if fp == None: # not here |
|
262 |
if cacheentry: |
|
263 |
del cache[file_id] |
|
|
457
by Martin Pool
- more trace and profiling in statcache |
264 |
change_cnt += 1 |
265 |
missing_cnt += 1 |
|
|
362
by Martin Pool
- Import stat-cache code |
266 |
continue
|
|
554
by Martin Pool
- clean up statcache code |
267 |
elif not cacheentry: |
268 |
new_cnt += 1 |
|
|
362
by Martin Pool
- Import stat-cache code |
269 |
|
|
436
by Martin Pool
- Avoid dangerous files when writing out stat cache |
270 |
if (fp[FP_MTIME] >= now) or (fp[FP_CTIME] >= now): |
|
553
by Martin Pool
- refactor handling of dangerous files (changed recently) |
271 |
dangerfiles.append(file_id) |
|
436
by Martin Pool
- Avoid dangerous files when writing out stat cache |
272 |
|
|
362
by Martin Pool
- Import stat-cache code |
273 |
if cacheentry and (cacheentry[3:] == fp): |
274 |
continue # all stat fields unchanged |
|
275 |
||
276 |
hardcheck += 1 |
|
277 |
||
|
457
by Martin Pool
- more trace and profiling in statcache |
278 |
dig = sha.new(file(abspath, 'rb').read()).hexdigest() |
|
362
by Martin Pool
- Import stat-cache code |
279 |
|
|
486
by Martin Pool
- Write out statcache if any files are updated, even |
280 |
# We update the cache even if the digest has not changed from
|
281 |
# last time we looked, so that the fingerprint fields will
|
|
282 |
# match in future.
|
|
283 |
cacheentry = (file_id, dig, path) + fp |
|
284 |
cache[file_id] = cacheentry |
|
285 |
change_cnt += 1 |
|
|
362
by Martin Pool
- Import stat-cache code |
286 |
|
|
457
by Martin Pool
- more trace and profiling in statcache |
287 |
mutter('statcache: statted %d files, read %d files, %d changed, %d dangerous, ' |
|
554
by Martin Pool
- clean up statcache code |
288 |
'%d deleted, %d new, ' |
|
436
by Martin Pool
- Avoid dangerous files when writing out stat cache |
289 |
'%d in cache' |
|
554
by Martin Pool
- clean up statcache code |
290 |
% (stat_cnt, hardcheck, change_cnt, len(dangerfiles), |
291 |
missing_cnt, new_cnt, len(cache))) |
|
|
362
by Martin Pool
- Import stat-cache code |
292 |
|
|
457
by Martin Pool
- more trace and profiling in statcache |
293 |
if change_cnt: |
|
436
by Martin Pool
- Avoid dangerous files when writing out stat cache |
294 |
mutter('updating on-disk statcache') |
|
553
by Martin Pool
- refactor handling of dangerous files (changed recently) |
295 |
|
296 |
if dangerfiles: |
|
297 |
safe_cache = cache.copy() |
|
298 |
for file_id in dangerfiles: |
|
299 |
del safe_cache[file_id] |
|
300 |
else: |
|
301 |
safe_cache = cache |
|
302 |
||
303 |
_try_write_cache(basedir, safe_cache.itervalues()) |
|
|
362
by Martin Pool
- Import stat-cache code |
304 |
|
305 |
return cache |