~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to bzrlib/statcache.py

  • Committer: Martin Pool
  • Date: 2005-06-30 08:40:59 UTC
  • mto: This revision was merged to the branch mainline in revision 852.
  • Revision ID: mbp@sourcefrog.net-20050630084059-d6eb6cb46972365b
Rename Weave.get_included to inclusions and getiter to get_iter

Refactor annotate() code 

Show diffs side-by-side

added added

removed removed

Lines of Context:
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
20
 
from errors import BzrError, BzrCheckError
21
 
 
22
 
 
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
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).
33
 
 
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
 
 
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
 
 
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
74
 
to use a tdb instead to allow faster lookup by file-id.
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).
78
 
 
79
 
The SHA-1 is stored in memory as a hexdigest.
80
 
 
81
 
This version of the file on disk has one line per record, and fields
82
 
separated by \0 records.
83
 
"""
84
 
 
85
 
# order of fields returned by fingerprint()
86
 
FP_SIZE  = 0
87
 
FP_MTIME = 1
88
 
FP_CTIME = 2
89
 
FP_INO   = 3
90
 
FP_DEV   = 4
91
 
 
92
 
# order of fields in the statcache file and in the in-memory map
93
 
SC_FILE_ID = 0
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
101
 
 
102
 
 
103
 
 
104
 
CACHE_HEADER = "### bzr statcache v4"
105
 
 
106
 
 
107
 
def fingerprint(abspath):
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
 
 
121
 
 
122
 
def _write_cache(basedir, entries):
123
 
    from atomicfile import AtomicFile
124
 
 
125
 
    cachefn = os.path.join(basedir, '.bzr', 'stat-cache')
126
 
    outf = AtomicFile(cachefn, 'wb')
127
 
    try:
128
 
        outf.write(CACHE_HEADER + '\n')
129
 
    
130
 
        for entry in entries:
131
 
            if len(entry) != 8:
132
 
                raise ValueError("invalid statcache entry tuple %r" % entry)
133
 
            outf.write(entry[0].encode('utf-8')) # file id
134
 
            outf.write('\0')
135
 
            outf.write(entry[1])             # hex sha1
136
 
            outf.write('\0')
137
 
            outf.write(entry[2].encode('utf-8')) # name
138
 
            for nf in entry[3:]:
139
 
                outf.write('\0%d' % nf)
140
 
            outf.write('\n')
141
 
 
142
 
        outf.commit()
143
 
    finally:
144
 
        if not outf.closed:
145
 
            outf.abort()
146
 
 
147
 
 
148
 
def _try_write_cache(basedir, entries):
149
 
    try:
150
 
        return _write_cache(basedir, entries)
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
 
        
156
 
        
157
 
        
158
 
def load_cache(basedir):
159
 
    import re
160
 
    cache = {}
161
 
    seen_paths = {}
162
 
    from bzrlib.trace import warning
163
 
 
164
 
    assert isinstance(basedir, basestring)
165
 
 
166
 
    sha_re = re.compile(r'[a-f0-9]{40}')
167
 
 
168
 
    try:
169
 
        cachefn = os.path.join(basedir, '.bzr', 'stat-cache')
170
 
        cachefile = open(cachefn, 'rb')
171
 
    except IOError:
172
 
        return cache
173
 
 
174
 
    line1 = cachefile.readline().rstrip('\r\n')
175
 
    if line1 != CACHE_HEADER:
176
 
        mutter('cache header marker not found at top of %s; discarding cache'
177
 
               % cachefn)
178
 
        return cache
179
 
 
180
 
    for l in cachefile:
181
 
        f = l.split('\0')
182
 
 
183
 
        file_id = f[0].decode('utf-8')
184
 
        if file_id in cache:
185
 
            warning("duplicated file_id in cache: {%s}" % file_id)
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)
190
 
        
191
 
        path = f[2].decode('utf-8')
192
 
        if path in seen_paths:
193
 
            warning("duplicated path in cache: %r" % path)
194
 
        seen_paths[path] = True
195
 
        
196
 
        entry = (file_id, text_sha, path) + tuple([long(x) for x in f[3:]])
197
 
        if len(entry) != 8:
198
 
            raise ValueError("invalid statcache entry tuple %r" % entry)
199
 
 
200
 
        cache[file_id] = entry
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
 
 
212
 
 
213
 
def update_cache(basedir, inv, flush=False):
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
 
 
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.
225
 
    
226
 
    to_update = _files_from_inventory(inv)
227
 
 
228
 
    assert isinstance(flush, bool)
229
 
    if flush:
230
 
        cache = {}
231
 
    else:
232
 
        cache = load_cache(basedir)
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
246
 
 
247
 
    # dangerfiles have been recently touched and can't be committed to
248
 
    # a persistent cache yet, but they are returned to the caller.
249
 
    dangerfiles = []
250
 
    
251
 
    now = int(time.time())
252
 
 
253
 
    ## mutter('update statcache under %r' % basedir)
254
 
    for file_id, path in to_update:
255
 
        abspath = os.path.join(basedir, path)
256
 
        fp = fingerprint(abspath)
257
 
        stat_cnt += 1
258
 
        
259
 
        cacheentry = cache.get(file_id)
260
 
 
261
 
        if fp == None: # not here
262
 
            if cacheentry:
263
 
                del cache[file_id]
264
 
                change_cnt += 1
265
 
            missing_cnt += 1
266
 
            continue
267
 
        elif not cacheentry:
268
 
            new_cnt += 1
269
 
 
270
 
        if (fp[FP_MTIME] >= now) or (fp[FP_CTIME] >= now):
271
 
            dangerfiles.append(file_id)
272
 
 
273
 
        if cacheentry and (cacheentry[3:] == fp):
274
 
            continue                    # all stat fields unchanged
275
 
 
276
 
        hardcheck += 1
277
 
 
278
 
        dig = sha.new(file(abspath, 'rb').read()).hexdigest()
279
 
 
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
286
 
 
287
 
    mutter('statcache: statted %d files, read %d files, %d changed, %d dangerous, '
288
 
           '%d deleted, %d new, '
289
 
           '%d in cache'
290
 
           % (stat_cnt, hardcheck, change_cnt, len(dangerfiles),
291
 
              missing_cnt, new_cnt, len(cache)))
292
 
        
293
 
    if change_cnt:
294
 
        mutter('updating on-disk statcache')
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())
304
 
 
305
 
    return cache