/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
205 by mbp at sourcefrog
Revfile:- store and retrieve deltas!mdiff:- work on bytes not lines
91
198 by mbp at sourcefrog
- experimental compressed Revfile support
92
class RevfileError(Exception):
93
    pass
94
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
95
96
198 by mbp at sourcefrog
- experimental compressed Revfile support
97
class Revfile:
98
    def __init__(self, basename):
202 by mbp at sourcefrog
Revfile:
99
        # TODO: Option to open readonly
100
101
        # TODO: Lock file  while open
102
103
        # TODO: advise of random access
104
198 by mbp at sourcefrog
- experimental compressed Revfile support
105
        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
106
        
107
        idxname = basename + '.irev'
108
        dataname = basename + '.drev'
109
206 by mbp at sourcefrog
new Revfile.add() dwim
110
        self.idxpos = 0L
111
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
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
        
136
137
198 by mbp at sourcefrog
- experimental compressed Revfile support
138
    def revision(self, rev):
139
        base = self.index[rev][0]
140
        start = self.index[base][1]
141
        end = self.index[rev][1] + self.index[rev][2]
142
        f = open(self.datafile())
143
144
        f.seek(start)
145
        data = f.read(end - start)
146
147
        last = self.index[base][2]
148
        text = zlib.decompress(data[:last])
149
150
        for r in range(base + 1, rev + 1):
151
            s = self.index[r][2]
152
            b = zlib.decompress(data[last:last + s])
153
            text = mdiff.bpatch(text, b)
154
            last = last + s
155
156
        return text    
157
158
205 by mbp at sourcefrog
Revfile:- store and retrieve deltas!mdiff:- work on bytes not lines
159
    def _check_index(self, idx):
160
        if idx < 0 or idx > len(self):
161
            raise RevfileError("invalid index %r" % idx)
162
163
164
    def find_sha(self, s):
165
        assert isinstance(s, str)
166
        assert len(s) == 20
167
        
168
        for idx, idxrec in enumerate(self):
169
            if idxrec[I_SHA] == s:
170
                return idx
171
        else:
172
            return _NO_RECORD        
173
174
175
    def _add_common(self, text_sha, data, flags, base):
176
        """Add pre-processed data, can be either full text or delta."""
203 by mbp at sourcefrog
revfile:
177
        idx = len(self)
198 by mbp at sourcefrog
- experimental compressed Revfile support
178
        self.datafile.seek(0, 2)        # to end
179
        self.idxfile.seek(0, 2)
202 by mbp at sourcefrog
Revfile:
180
        assert self.idxfile.tell() == _RECORDSIZE * (idx + 1)
198 by mbp at sourcefrog
- experimental compressed Revfile support
181
        data_offset = self.datafile.tell()
182
205 by mbp at sourcefrog
Revfile:- store and retrieve deltas!mdiff:- work on bytes not lines
183
        assert isinstance(data, str) # not unicode or anything wierd
198 by mbp at sourcefrog
- experimental compressed Revfile support
184
205 by mbp at sourcefrog
Revfile:- store and retrieve deltas!mdiff:- work on bytes not lines
185
        self.datafile.write(data)
198 by mbp at sourcefrog
- experimental compressed Revfile support
186
        self.datafile.flush()
187
205 by mbp at sourcefrog
Revfile:- store and retrieve deltas!mdiff:- work on bytes not lines
188
        assert isinstance(text_sha, str)
189
        entry = text_sha
190
        entry += struct.pack(">IIII12x", base, flags, data_offset, len(data))
198 by mbp at sourcefrog
- experimental compressed Revfile support
191
        assert len(entry) == _RECORDSIZE
192
193
        self.idxfile.write(entry)
194
        self.idxfile.flush()
195
196
        return idx
204 by mbp at sourcefrog
Revfile:- new find-sha command and implementation- new _check_index helper
197
        
205 by mbp at sourcefrog
Revfile:- store and retrieve deltas!mdiff:- work on bytes not lines
198
199
206 by mbp at sourcefrog
new Revfile.add() dwim
200
    def _add_full_text(self, text, text_sha):
205 by mbp at sourcefrog
Revfile:- store and retrieve deltas!mdiff:- work on bytes not lines
201
        """Add a full text to the file.
202
203
        This is not compressed against any reference version.
204
205
        Returns the index for that text."""
206 by mbp at sourcefrog
new Revfile.add() dwim
206
        return self._add_common(text_sha, text, 0, _NO_RECORD)
207
208
209
    def _add_delta(self, text, text_sha, base):
204 by mbp at sourcefrog
Revfile:- new find-sha command and implementation- new _check_index helper
210
        """Add a text stored relative to a previous text."""
211
        self._check_index(base)
205 by mbp at sourcefrog
Revfile:- store and retrieve deltas!mdiff:- work on bytes not lines
212
        base_text = self.get(base)
213
        data = mdiff.bdiff(base_text, text)
214
        return self._add_common(text_sha, data, 0, base)
215
216
206 by mbp at sourcefrog
new Revfile.add() dwim
217
    def add(self, text, base=_NO_RECORD):
218
        text_sha = sha.new(text).digest()
204 by mbp at sourcefrog
Revfile:- new find-sha command and implementation- new _check_index helper
219
206 by mbp at sourcefrog
new Revfile.add() dwim
220
        idx = self.find_sha(text_sha)
221
        if idx != _NO_RECORD:
222
            return idx                  # already present
204 by mbp at sourcefrog
Revfile:- new find-sha command and implementation- new _check_index helper
223
        
206 by mbp at sourcefrog
new Revfile.add() dwim
224
        if base == _NO_RECORD:
225
            return self._add_full_text(text, text_sha)
226
        else:
227
            return self._add_delta(self, text, text_sha, base)
228
229
204 by mbp at sourcefrog
Revfile:- new find-sha command and implementation- new _check_index helper
230
    def addrevision(self, text, changeset):
231
        t = self.tip()
232
        n = t + 1
233
234
        if not n % factor:
235
            data = zlib.compress(text)
236
            base = n
237
        else:
238
            prev = self.revision(t)
239
            data = zlib.compress(mdiff.bdiff(prev, text))
240
            base = self.index[t][0]
241
242
        offset = 0
243
        if t >= 0:
244
            offset = self.index[t][1] + self.index[t][2]
245
246
        self.index.append((base, offset, len(data), changeset))
247
        entry = struct.pack(">llll", base, offset, len(data), changeset)
248
249
        open(self.indexfile(), "a").write(entry)
250
        open(self.datafile(), "a").write(data)
251
205 by mbp at sourcefrog
Revfile:- store and retrieve deltas!mdiff:- work on bytes not lines
252
206 by mbp at sourcefrog
new Revfile.add() dwim
253
205 by mbp at sourcefrog
Revfile:- store and retrieve deltas!mdiff:- work on bytes not lines
254
    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
255
        idxrec = self[idx]
205 by mbp at sourcefrog
Revfile:- store and retrieve deltas!mdiff:- work on bytes not lines
256
        base = idxrec[I_BASE]
257
        if base == _NO_RECORD:
258
            text = self._get_full_text(idx, idxrec)
259
        else:
260
            text = self._get_patched(idx, idxrec)
261
262
        if sha.new(text).digest() != idxrec[I_SHA]:
263
            raise RevfileError("corrupt SHA-1 digest on record %d"
264
                               % idx)
265
266
        return text
267
268
269
270
    def _get_raw(self, idx, idxrec):
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
271
        l = idxrec[I_LEN]
272
        if l == 0:
273
            return ''
274
275
        self.datafile.seek(idxrec[I_OFFSET])
276
205 by mbp at sourcefrog
Revfile:- store and retrieve deltas!mdiff:- work on bytes not lines
277
        data = self.datafile.read(l)
278
        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
279
            raise RevfileError("short read %d of %d "
280
                               "getting text for record %d in %r"
205 by mbp at sourcefrog
Revfile:- store and retrieve deltas!mdiff:- work on bytes not lines
281
                               % (len(data), l, idx, self.basename))
204 by mbp at sourcefrog
Revfile:- new find-sha command and implementation- new _check_index helper
282
205 by mbp at sourcefrog
Revfile:- store and retrieve deltas!mdiff:- work on bytes not lines
283
        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
284
        
205 by mbp at sourcefrog
Revfile:- store and retrieve deltas!mdiff:- work on bytes not lines
285
286
    def _get_full_text(self, idx, idxrec):
287
        assert idxrec[I_FLAGS] == 0
288
        assert idxrec[I_BASE] == _NO_RECORD
289
290
        text = self._get_raw(idx, idxrec)
291
292
        return text
293
294
295
    def _get_patched(self, idx, idxrec):
296
        assert idxrec[I_FLAGS] == 0
297
        base = idxrec[I_BASE]
298
        assert base >= 0
299
        assert base < idx    # no loops!
300
301
        base_text = self.get(base)
302
        patch = self._get_raw(idx, idxrec)
303
304
        text = mdiff.bpatch(base_text, patch)
305
306
        return text
307
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
308
309
198 by mbp at sourcefrog
- experimental compressed Revfile support
310
    def __len__(self):
203 by mbp at sourcefrog
revfile:
311
        """Return number of revisions."""
312
        l = os.fstat(self.idxfile.fileno())[stat.ST_SIZE]
313
        if l % _RECORDSIZE:
314
            raise RevfileError("bad length %d on index of %r" % (l, self.basename))
315
        if l < _RECORDSIZE:
316
            raise RevfileError("no header present in index of %r" % (self.basename))
317
        return int(l / _RECORDSIZE) - 1
198 by mbp at sourcefrog
- experimental compressed Revfile support
318
200 by mbp at sourcefrog
revfile: fix up __getitem__ to allow simple iteration
319
198 by mbp at sourcefrog
- experimental compressed Revfile support
320
    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
321
        """Index by sequence id returns the index field"""
204 by mbp at sourcefrog
Revfile:- new find-sha command and implementation- new _check_index helper
322
        ## 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
323
        self._seek_index(idx)
324
        return self._read_next_index()
325
326
327
    def _seek_index(self, idx):
205 by mbp at sourcefrog
Revfile:- store and retrieve deltas!mdiff:- work on bytes not lines
328
        if idx < 0:
329
            raise RevfileError("invalid index %r" % idx)
198 by mbp at sourcefrog
- experimental compressed Revfile support
330
        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
331
        
332
333
    def _read_next_index(self):
198 by mbp at sourcefrog
- experimental compressed Revfile support
334
        rec = self.idxfile.read(_RECORDSIZE)
200 by mbp at sourcefrog
revfile: fix up __getitem__ to allow simple iteration
335
        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
336
            raise IndexError("end of index file")
200 by mbp at sourcefrog
revfile: fix up __getitem__ to allow simple iteration
337
        elif len(rec) != _RECORDSIZE:
198 by mbp at sourcefrog
- experimental compressed Revfile support
338
            raise RevfileError("short read of %d bytes getting index %d from %r"
339
                               % (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
340
        
199 by mbp at sourcefrog
- use -1 for no_base in revfile
341
        return struct.unpack(">20sIIII12x", rec)
198 by mbp at sourcefrog
- experimental compressed Revfile support
342
343
        
199 by mbp at sourcefrog
- use -1 for no_base in revfile
344
    def dump(self, f=sys.stdout):
345
        f.write('%-8s %-40s %-8s %-8s %-8s %-8s\n' 
346
                % tuple('idx sha1 base flags offset len'.split()))
347
        f.write('-------- ---------------------------------------- ')
348
        f.write('-------- -------- -------- --------\n')
349
200 by mbp at sourcefrog
revfile: fix up __getitem__ to allow simple iteration
350
        for i, rec in enumerate(self):
199 by mbp at sourcefrog
- use -1 for no_base in revfile
351
            f.write("#%-7d %40s " % (i, hexlify(rec[0])))
204 by mbp at sourcefrog
Revfile:- new find-sha command and implementation- new _check_index helper
352
            if rec[1] == _NO_RECORD:
199 by mbp at sourcefrog
- use -1 for no_base in revfile
353
                f.write("(none)   ")
354
            else:
355
                f.write("#%-7d " % rec[1])
356
                
357
            f.write("%8x %8d %8d\n" % (rec[2], rec[3], rec[4]))
198 by mbp at sourcefrog
- experimental compressed Revfile support
358
        
359
360
361
def main(argv):
362
    r = Revfile("testrev")
203 by mbp at sourcefrog
revfile:
363
364
    try:
365
        cmd = argv[1]
366
    except IndexError:
198 by mbp at sourcefrog
- experimental compressed Revfile support
367
        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
368
                         "       revfile add\n"
205 by mbp at sourcefrog
Revfile:- store and retrieve deltas!mdiff:- work on bytes not lines
369
                         "       revfile add-delta BASE\n"
204 by mbp at sourcefrog
Revfile:- new find-sha command and implementation- new _check_index helper
370
                         "       revfile get IDX\n"
371
                         "       revfile find-sha HEX\n")
203 by mbp at sourcefrog
revfile:
372
        return 1
198 by mbp at sourcefrog
- experimental compressed Revfile support
373
        
203 by mbp at sourcefrog
revfile:
374
375
    if cmd == 'add':
206 by mbp at sourcefrog
new Revfile.add() dwim
376
        new_idx = r.add(sys.stdin.read())
198 by mbp at sourcefrog
- experimental compressed Revfile support
377
        print 'added idx %d' % new_idx
205 by mbp at sourcefrog
Revfile:- store and retrieve deltas!mdiff:- work on bytes not lines
378
    elif cmd == 'add-delta':
379
        new_idx = r._add_delta(sys.stdin.read(), int(argv[2]))
380
        print 'added idx %d' % new_idx
203 by mbp at sourcefrog
revfile:
381
    elif cmd == 'dump':
198 by mbp at sourcefrog
- experimental compressed Revfile support
382
        r.dump()
203 by mbp at sourcefrog
revfile:
383
    elif cmd == 'get':
202 by mbp at sourcefrog
Revfile:
384
        try:
203 by mbp at sourcefrog
revfile:
385
            idx = int(argv[2])
202 by mbp at sourcefrog
Revfile:
386
        except IndexError:
203 by mbp at sourcefrog
revfile:
387
            sys.stderr.write("usage: revfile get IDX\n")
388
            return 1
389
390
        if idx < 0 or idx >= len(r):
391
            sys.stderr.write("invalid index %r\n" % idx)
392
            return 1
393
205 by mbp at sourcefrog
Revfile:- store and retrieve deltas!mdiff:- work on bytes not lines
394
        sys.stdout.write(r.get(idx))
204 by mbp at sourcefrog
Revfile:- new find-sha command and implementation- new _check_index helper
395
    elif cmd == 'find-sha':
396
        try:
397
            s = unhexlify(argv[2])
398
        except IndexError:
399
            sys.stderr.write("usage: revfile find-sha HEX\n")
400
            return 1
401
402
        idx = r.find_sha(s)
403
        if idx == _NO_RECORD:
404
            sys.stderr.write("no such record\n")
405
            return 1
406
        else:
407
            print idx
408
            
198 by mbp at sourcefrog
- experimental compressed Revfile support
409
    else:
203 by mbp at sourcefrog
revfile:
410
        sys.stderr.write("unknown command %r\n" % cmd)
411
        return 1
198 by mbp at sourcefrog
- experimental compressed Revfile support
412
    
413
414
if __name__ == '__main__':
415
    import sys
203 by mbp at sourcefrog
revfile:
416
    sys.exit(main(sys.argv) or 0)