/brz/remove-bazaar

To get this branch, use:
bzr branch http://gegoxaren.bato24.eu/bzr/brz/remove-bazaar
198 by mbp at sourcefrog
- experimental compressed Revfile support
1
#! /usr/bin/env python
2
200 by mbp at sourcefrog
revfile: fix up __getitem__ to allow simple iteration
3
# (C) 2005 Canonical Ltd
198 by mbp at sourcefrog
- experimental compressed Revfile support
4
200 by mbp at sourcefrog
revfile: fix up __getitem__ to allow simple iteration
5
# based on an idea by Matt Mackall
198 by mbp at sourcefrog
- experimental compressed Revfile support
6
# modified to squish into bzr by Martin Pool
7
8
# This program is free software; you can redistribute it and/or modify
9
# it under the terms of the GNU General Public License as published by
10
# the Free Software Foundation; either version 2 of the License, or
11
# (at your option) any later version.
12
13
# This program is distributed in the hope that it will be useful,
14
# but WITHOUT ANY WARRANTY; without even the implied warranty of
15
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
16
# GNU General Public License for more details.
17
18
# You should have received a copy of the GNU General Public License
19
# along with this program; if not, write to the Free Software
20
# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
21
22
23
"""Packed file revision storage.
24
25
A Revfile holds the text history of a particular source file, such
26
as Makefile.  It can represent a tree of text versions for that
27
file, allowing for microbranches within a single repository.
28
29
This is stored on disk as two files: an index file, and a data file.
30
The index file is short and always read completely into memory; the
31
data file is much longer and only the relevant bits of it,
32
identified by the index file, need to be read.
33
34
Each text version is identified by the SHA-1 of the full text of
35
that version.  It also has a sequence number within the file.
36
37
The index file has a short header and then a sequence of fixed-length
38
records:
39
40
* byte[20]    SHA-1 of text (as binary, not hex)
41
* uint32      sequence number this is based on, or -1 for full text
42
* uint32      flags: 1=zlib compressed
43
* uint32      offset in text file of start
44
* uint32      length of compressed delta in text file
45
* uint32[3]   reserved
46
47
total 48 bytes.
48
199 by mbp at sourcefrog
- use -1 for no_base in revfile
49
The header is also 48 bytes for tidyness and easy calculation.
198 by mbp at sourcefrog
- experimental compressed Revfile support
50
51
Both the index and the text are only ever appended to; a consequence
52
is that sequence numbers are stable references.  But not every
53
repository in the world will assign the same sequence numbers,
54
therefore the SHA-1 is the only universally unique reference.
55
56
This is meant to scale to hold 100,000 revisions of a single file, by
57
which time the index file will be ~4.8MB and a bit big to read
58
sequentially.
59
60
Some of the reserved fields could be used to implement a (semi?)
61
balanced tree indexed by SHA1 so we can much more efficiently find the
62
index associated with a particular hash.  For 100,000 revs we would be
63
able to find it in about 17 random reads, which is not too bad.
64
"""
65
 
66
201 by mbp at sourcefrog
Revfile: - get full text from a record- fix creation of files if they don't exist- protect against half-assed storage
67
# TODO: Something like pread() would make this slightly simpler and
68
# perhaps more efficient.
69
70
# TODO: Could also try to mmap things...
71
198 by mbp at sourcefrog
- experimental compressed Revfile support
72
73
import sys, zlib, struct, mdiff, stat, os, sha
204 by mbp at sourcefrog
Revfile:- new find-sha command and implementation- new _check_index helper
74
from binascii import hexlify, unhexlify
198 by mbp at sourcefrog
- experimental compressed Revfile support
75
76
factor = 10
77
78
_RECORDSIZE = 48
79
80
_HEADER = "bzr revfile v1\n"
81
_HEADER = _HEADER + ('\xff' * (_RECORDSIZE - len(_HEADER)))
204 by mbp at sourcefrog
Revfile:- new find-sha command and implementation- new _check_index helper
82
_NO_RECORD = 0xFFFFFFFFL
198 by mbp at sourcefrog
- experimental compressed Revfile support
83
201 by mbp at sourcefrog
Revfile: - get full text from a record- fix creation of files if they don't exist- protect against half-assed storage
84
# fields in the index record
85
I_SHA = 0
86
I_BASE = 1
87
I_FLAGS = 2
88
I_OFFSET = 3
89
I_LEN = 4
90
207 by mbp at sourcefrog
Revfile: compress data going into datafile if that would be worthwhile
91
FL_GZIP = 1
92
205 by mbp at sourcefrog
Revfile:- store and retrieve deltas!mdiff:- work on bytes not lines
93
198 by mbp at sourcefrog
- experimental compressed Revfile support
94
class RevfileError(Exception):
95
    pass
96
201 by mbp at sourcefrog
Revfile: - get full text from a record- fix creation of files if they don't exist- protect against half-assed storage
97
98
198 by mbp at sourcefrog
- experimental compressed Revfile support
99
class Revfile:
100
    def __init__(self, basename):
202 by mbp at sourcefrog
Revfile:
101
        # TODO: Option to open readonly
102
103
        # TODO: Lock file  while open
104
105
        # TODO: advise of random access
106
198 by mbp at sourcefrog
- experimental compressed Revfile support
107
        self.basename = basename
201 by mbp at sourcefrog
Revfile: - get full text from a record- fix creation of files if they don't exist- protect against half-assed storage
108
        
109
        idxname = basename + '.irev'
110
        dataname = basename + '.drev'
111
112
        idx_exists = os.path.exists(idxname)
113
        data_exists = os.path.exists(dataname)
114
115
        if idx_exists != data_exists:
116
            raise RevfileError("half-assed revfile")
117
        
118
        if not idx_exists:
119
            self.idxfile = open(idxname, 'w+b')
120
            self.datafile = open(dataname, 'w+b')
121
            
198 by mbp at sourcefrog
- experimental compressed Revfile support
122
            print 'init empty file'
123
            self.idxfile.write(_HEADER)
124
            self.idxfile.flush()
125
        else:
201 by mbp at sourcefrog
Revfile: - get full text from a record- fix creation of files if they don't exist- protect against half-assed storage
126
            self.idxfile = open(idxname, 'r+b')
202 by mbp at sourcefrog
Revfile:
127
            self.datafile = open(dataname, 'r+b')
201 by mbp at sourcefrog
Revfile: - get full text from a record- fix creation of files if they don't exist- protect against half-assed storage
128
            
198 by mbp at sourcefrog
- experimental compressed Revfile support
129
            h = self.idxfile.read(_RECORDSIZE)
130
            if h != _HEADER:
131
                raise RevfileError("bad header %r in index of %r"
132
                                   % (h, self.basename))
201 by mbp at sourcefrog
Revfile: - get full text from a record- fix creation of files if they don't exist- protect against half-assed storage
133
134
206 by mbp at sourcefrog
new Revfile.add() dwim
135
198 by mbp at sourcefrog
- experimental compressed Revfile support
136
    def revision(self, rev):
137
        base = self.index[rev][0]
138
        start = self.index[base][1]
139
        end = self.index[rev][1] + self.index[rev][2]
140
        f = open(self.datafile())
141
142
        f.seek(start)
143
        data = f.read(end - start)
144
145
        last = self.index[base][2]
146
        text = zlib.decompress(data[:last])
147
148
        for r in range(base + 1, rev + 1):
149
            s = self.index[r][2]
150
            b = zlib.decompress(data[last:last + s])
151
            text = mdiff.bpatch(text, b)
152
            last = last + s
153
154
        return text    
155
156
205 by mbp at sourcefrog
Revfile:- store and retrieve deltas!mdiff:- work on bytes not lines
157
    def _check_index(self, idx):
158
        if idx < 0 or idx > len(self):
159
            raise RevfileError("invalid index %r" % idx)
160
161
162
    def find_sha(self, s):
163
        assert isinstance(s, str)
164
        assert len(s) == 20
165
        
166
        for idx, idxrec in enumerate(self):
167
            if idxrec[I_SHA] == s:
168
                return idx
169
        else:
170
            return _NO_RECORD        
171
172
207 by mbp at sourcefrog
Revfile: compress data going into datafile if that would be worthwhile
173
    def _add_common(self, text_sha, data, base):
174
        """Add pre-processed data, can be either full text or delta.
175
176
        This does the compression if that makes sense."""
177
178
        flags = 0
208 by mbp at sourcefrog
show compression ratio
179
        data_len = len(data)
180
        if data_len > 50:
207 by mbp at sourcefrog
Revfile: compress data going into datafile if that would be worthwhile
181
            # don't do compression if it's too small; it's unlikely to win
182
            # enough to be worthwhile
183
            compr_data = zlib.compress(data)
208 by mbp at sourcefrog
show compression ratio
184
            compr_len = len(compr_data)
185
            if compr_len < data_len:
207 by mbp at sourcefrog
Revfile: compress data going into datafile if that would be worthwhile
186
                data = compr_data
187
                flags = FL_GZIP
208 by mbp at sourcefrog
show compression ratio
188
                print '- compressed %d -> %d, %.1f%%' \
189
                      % (data_len, compr_len, float(compr_len)/float(data_len) * 100.0)
207 by mbp at sourcefrog
Revfile: compress data going into datafile if that would be worthwhile
190
        
203 by mbp at sourcefrog
revfile:
191
        idx = len(self)
198 by mbp at sourcefrog
- experimental compressed Revfile support
192
        self.datafile.seek(0, 2)        # to end
193
        self.idxfile.seek(0, 2)
202 by mbp at sourcefrog
Revfile:
194
        assert self.idxfile.tell() == _RECORDSIZE * (idx + 1)
198 by mbp at sourcefrog
- experimental compressed Revfile support
195
        data_offset = self.datafile.tell()
196
205 by mbp at sourcefrog
Revfile:- store and retrieve deltas!mdiff:- work on bytes not lines
197
        assert isinstance(data, str) # not unicode or anything wierd
198 by mbp at sourcefrog
- experimental compressed Revfile support
198
205 by mbp at sourcefrog
Revfile:- store and retrieve deltas!mdiff:- work on bytes not lines
199
        self.datafile.write(data)
198 by mbp at sourcefrog
- experimental compressed Revfile support
200
        self.datafile.flush()
201
205 by mbp at sourcefrog
Revfile:- store and retrieve deltas!mdiff:- work on bytes not lines
202
        assert isinstance(text_sha, str)
203
        entry = text_sha
204
        entry += struct.pack(">IIII12x", base, flags, data_offset, len(data))
198 by mbp at sourcefrog
- experimental compressed Revfile support
205
        assert len(entry) == _RECORDSIZE
206
207
        self.idxfile.write(entry)
208
        self.idxfile.flush()
209
210
        return idx
204 by mbp at sourcefrog
Revfile:- new find-sha command and implementation- new _check_index helper
211
        
205 by mbp at sourcefrog
Revfile:- store and retrieve deltas!mdiff:- work on bytes not lines
212
213
206 by mbp at sourcefrog
new Revfile.add() dwim
214
    def _add_full_text(self, text, text_sha):
205 by mbp at sourcefrog
Revfile:- store and retrieve deltas!mdiff:- work on bytes not lines
215
        """Add a full text to the file.
216
217
        This is not compressed against any reference version.
218
219
        Returns the index for that text."""
207 by mbp at sourcefrog
Revfile: compress data going into datafile if that would be worthwhile
220
        return self._add_common(text_sha, text, _NO_RECORD)
206 by mbp at sourcefrog
new Revfile.add() dwim
221
222
223
    def _add_delta(self, text, text_sha, base):
204 by mbp at sourcefrog
Revfile:- new find-sha command and implementation- new _check_index helper
224
        """Add a text stored relative to a previous text."""
225
        self._check_index(base)
205 by mbp at sourcefrog
Revfile:- store and retrieve deltas!mdiff:- work on bytes not lines
226
        base_text = self.get(base)
227
        data = mdiff.bdiff(base_text, text)
207 by mbp at sourcefrog
Revfile: compress data going into datafile if that would be worthwhile
228
        return self._add_common(text_sha, data, base)
205 by mbp at sourcefrog
Revfile:- store and retrieve deltas!mdiff:- work on bytes not lines
229
230
206 by mbp at sourcefrog
new Revfile.add() dwim
231
    def add(self, text, base=_NO_RECORD):
232
        text_sha = sha.new(text).digest()
204 by mbp at sourcefrog
Revfile:- new find-sha command and implementation- new _check_index helper
233
206 by mbp at sourcefrog
new Revfile.add() dwim
234
        idx = self.find_sha(text_sha)
235
        if idx != _NO_RECORD:
236
            return idx                  # already present
204 by mbp at sourcefrog
Revfile:- new find-sha command and implementation- new _check_index helper
237
        
206 by mbp at sourcefrog
new Revfile.add() dwim
238
        if base == _NO_RECORD:
239
            return self._add_full_text(text, text_sha)
240
        else:
207 by mbp at sourcefrog
Revfile: compress data going into datafile if that would be worthwhile
241
            return self._add_delta(text, text_sha, base)
206 by mbp at sourcefrog
new Revfile.add() dwim
242
243
244
205 by mbp at sourcefrog
Revfile:- store and retrieve deltas!mdiff:- work on bytes not lines
245
    def get(self, idx):
201 by mbp at sourcefrog
Revfile: - get full text from a record- fix creation of files if they don't exist- protect against half-assed storage
246
        idxrec = self[idx]
205 by mbp at sourcefrog
Revfile:- store and retrieve deltas!mdiff:- work on bytes not lines
247
        base = idxrec[I_BASE]
248
        if base == _NO_RECORD:
249
            text = self._get_full_text(idx, idxrec)
250
        else:
251
            text = self._get_patched(idx, idxrec)
252
253
        if sha.new(text).digest() != idxrec[I_SHA]:
254
            raise RevfileError("corrupt SHA-1 digest on record %d"
255
                               % idx)
256
257
        return text
258
259
260
261
    def _get_raw(self, idx, idxrec):
209 by mbp at sourcefrog
Revfile: handle decompression
262
        flags = idxrec[I_FLAGS]
263
        if flags & ~FL_GZIP:
264
            raise RevfileError("unsupported index flags %#x on index %d"
265
                               % (flags, idx))
266
        
201 by mbp at sourcefrog
Revfile: - get full text from a record- fix creation of files if they don't exist- protect against half-assed storage
267
        l = idxrec[I_LEN]
268
        if l == 0:
269
            return ''
270
271
        self.datafile.seek(idxrec[I_OFFSET])
272
205 by mbp at sourcefrog
Revfile:- store and retrieve deltas!mdiff:- work on bytes not lines
273
        data = self.datafile.read(l)
274
        if len(data) != l:
201 by mbp at sourcefrog
Revfile: - get full text from a record- fix creation of files if they don't exist- protect against half-assed storage
275
            raise RevfileError("short read %d of %d "
276
                               "getting text for record %d in %r"
205 by mbp at sourcefrog
Revfile:- store and retrieve deltas!mdiff:- work on bytes not lines
277
                               % (len(data), l, idx, self.basename))
204 by mbp at sourcefrog
Revfile:- new find-sha command and implementation- new _check_index helper
278
209 by mbp at sourcefrog
Revfile: handle decompression
279
        if flags & FL_GZIP:
280
            data = zlib.decompress(data)
281
205 by mbp at sourcefrog
Revfile:- store and retrieve deltas!mdiff:- work on bytes not lines
282
        return data
201 by mbp at sourcefrog
Revfile: - get full text from a record- fix creation of files if they don't exist- protect against half-assed storage
283
        
205 by mbp at sourcefrog
Revfile:- store and retrieve deltas!mdiff:- work on bytes not lines
284
285
    def _get_full_text(self, idx, idxrec):
286
        assert idxrec[I_BASE] == _NO_RECORD
287
288
        text = self._get_raw(idx, idxrec)
289
290
        return text
291
292
293
    def _get_patched(self, idx, idxrec):
294
        base = idxrec[I_BASE]
295
        assert base >= 0
296
        assert base < idx    # no loops!
297
298
        base_text = self.get(base)
299
        patch = self._get_raw(idx, idxrec)
300
301
        text = mdiff.bpatch(base_text, patch)
302
303
        return text
304
201 by mbp at sourcefrog
Revfile: - get full text from a record- fix creation of files if they don't exist- protect against half-assed storage
305
306
198 by mbp at sourcefrog
- experimental compressed Revfile support
307
    def __len__(self):
203 by mbp at sourcefrog
revfile:
308
        """Return number of revisions."""
309
        l = os.fstat(self.idxfile.fileno())[stat.ST_SIZE]
310
        if l % _RECORDSIZE:
311
            raise RevfileError("bad length %d on index of %r" % (l, self.basename))
312
        if l < _RECORDSIZE:
313
            raise RevfileError("no header present in index of %r" % (self.basename))
314
        return int(l / _RECORDSIZE) - 1
198 by mbp at sourcefrog
- experimental compressed Revfile support
315
200 by mbp at sourcefrog
revfile: fix up __getitem__ to allow simple iteration
316
198 by mbp at sourcefrog
- experimental compressed Revfile support
317
    def __getitem__(self, idx):
201 by mbp at sourcefrog
Revfile: - get full text from a record- fix creation of files if they don't exist- protect against half-assed storage
318
        """Index by sequence id returns the index field"""
204 by mbp at sourcefrog
Revfile:- new find-sha command and implementation- new _check_index helper
319
        ## TODO: Can avoid seek if we just moved there...
201 by mbp at sourcefrog
Revfile: - get full text from a record- fix creation of files if they don't exist- protect against half-assed storage
320
        self._seek_index(idx)
321
        return self._read_next_index()
322
323
324
    def _seek_index(self, idx):
205 by mbp at sourcefrog
Revfile:- store and retrieve deltas!mdiff:- work on bytes not lines
325
        if idx < 0:
326
            raise RevfileError("invalid index %r" % idx)
198 by mbp at sourcefrog
- experimental compressed Revfile support
327
        self.idxfile.seek((idx + 1) * _RECORDSIZE)
201 by mbp at sourcefrog
Revfile: - get full text from a record- fix creation of files if they don't exist- protect against half-assed storage
328
        
329
330
    def _read_next_index(self):
198 by mbp at sourcefrog
- experimental compressed Revfile support
331
        rec = self.idxfile.read(_RECORDSIZE)
200 by mbp at sourcefrog
revfile: fix up __getitem__ to allow simple iteration
332
        if not rec:
201 by mbp at sourcefrog
Revfile: - get full text from a record- fix creation of files if they don't exist- protect against half-assed storage
333
            raise IndexError("end of index file")
200 by mbp at sourcefrog
revfile: fix up __getitem__ to allow simple iteration
334
        elif len(rec) != _RECORDSIZE:
198 by mbp at sourcefrog
- experimental compressed Revfile support
335
            raise RevfileError("short read of %d bytes getting index %d from %r"
336
                               % (len(rec), idx, self.basename))
201 by mbp at sourcefrog
Revfile: - get full text from a record- fix creation of files if they don't exist- protect against half-assed storage
337
        
199 by mbp at sourcefrog
- use -1 for no_base in revfile
338
        return struct.unpack(">20sIIII12x", rec)
198 by mbp at sourcefrog
- experimental compressed Revfile support
339
340
        
199 by mbp at sourcefrog
- use -1 for no_base in revfile
341
    def dump(self, f=sys.stdout):
342
        f.write('%-8s %-40s %-8s %-8s %-8s %-8s\n' 
343
                % tuple('idx sha1 base flags offset len'.split()))
344
        f.write('-------- ---------------------------------------- ')
345
        f.write('-------- -------- -------- --------\n')
346
200 by mbp at sourcefrog
revfile: fix up __getitem__ to allow simple iteration
347
        for i, rec in enumerate(self):
199 by mbp at sourcefrog
- use -1 for no_base in revfile
348
            f.write("#%-7d %40s " % (i, hexlify(rec[0])))
204 by mbp at sourcefrog
Revfile:- new find-sha command and implementation- new _check_index helper
349
            if rec[1] == _NO_RECORD:
199 by mbp at sourcefrog
- use -1 for no_base in revfile
350
                f.write("(none)   ")
351
            else:
352
                f.write("#%-7d " % rec[1])
353
                
354
            f.write("%8x %8d %8d\n" % (rec[2], rec[3], rec[4]))
198 by mbp at sourcefrog
- experimental compressed Revfile support
355
        
356
357
358
def main(argv):
359
    r = Revfile("testrev")
203 by mbp at sourcefrog
revfile:
360
361
    try:
362
        cmd = argv[1]
363
    except IndexError:
198 by mbp at sourcefrog
- experimental compressed Revfile support
364
        sys.stderr.write("usage: revfile dump\n"
201 by mbp at sourcefrog
Revfile: - get full text from a record- fix creation of files if they don't exist- protect against half-assed storage
365
                         "       revfile add\n"
205 by mbp at sourcefrog
Revfile:- store and retrieve deltas!mdiff:- work on bytes not lines
366
                         "       revfile add-delta BASE\n"
204 by mbp at sourcefrog
Revfile:- new find-sha command and implementation- new _check_index helper
367
                         "       revfile get IDX\n"
368
                         "       revfile find-sha HEX\n")
203 by mbp at sourcefrog
revfile:
369
        return 1
198 by mbp at sourcefrog
- experimental compressed Revfile support
370
        
203 by mbp at sourcefrog
revfile:
371
372
    if cmd == 'add':
206 by mbp at sourcefrog
new Revfile.add() dwim
373
        new_idx = r.add(sys.stdin.read())
198 by mbp at sourcefrog
- experimental compressed Revfile support
374
        print 'added idx %d' % new_idx
205 by mbp at sourcefrog
Revfile:- store and retrieve deltas!mdiff:- work on bytes not lines
375
    elif cmd == 'add-delta':
207 by mbp at sourcefrog
Revfile: compress data going into datafile if that would be worthwhile
376
        new_idx = r.add(sys.stdin.read(), int(argv[2]))
205 by mbp at sourcefrog
Revfile:- store and retrieve deltas!mdiff:- work on bytes not lines
377
        print 'added idx %d' % new_idx
203 by mbp at sourcefrog
revfile:
378
    elif cmd == 'dump':
198 by mbp at sourcefrog
- experimental compressed Revfile support
379
        r.dump()
203 by mbp at sourcefrog
revfile:
380
    elif cmd == 'get':
202 by mbp at sourcefrog
Revfile:
381
        try:
203 by mbp at sourcefrog
revfile:
382
            idx = int(argv[2])
202 by mbp at sourcefrog
Revfile:
383
        except IndexError:
203 by mbp at sourcefrog
revfile:
384
            sys.stderr.write("usage: revfile get IDX\n")
385
            return 1
386
387
        if idx < 0 or idx >= len(r):
388
            sys.stderr.write("invalid index %r\n" % idx)
389
            return 1
390
205 by mbp at sourcefrog
Revfile:- store and retrieve deltas!mdiff:- work on bytes not lines
391
        sys.stdout.write(r.get(idx))
204 by mbp at sourcefrog
Revfile:- new find-sha command and implementation- new _check_index helper
392
    elif cmd == 'find-sha':
393
        try:
394
            s = unhexlify(argv[2])
395
        except IndexError:
396
            sys.stderr.write("usage: revfile find-sha HEX\n")
397
            return 1
398
399
        idx = r.find_sha(s)
400
        if idx == _NO_RECORD:
401
            sys.stderr.write("no such record\n")
402
            return 1
403
        else:
404
            print idx
405
            
198 by mbp at sourcefrog
- experimental compressed Revfile support
406
    else:
203 by mbp at sourcefrog
revfile:
407
        sys.stderr.write("unknown command %r\n" % cmd)
408
        return 1
198 by mbp at sourcefrog
- experimental compressed Revfile support
409
    
410
411
if __name__ == '__main__':
412
    import sys
203 by mbp at sourcefrog
revfile:
413
    sys.exit(main(sys.argv) or 0)