← Back to branch summary

~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to bzrlib/_btree_serializer_pyx.pyx

  • Committer: Andrew Bennetts
  • Date: 2010-01-12 03:53:21 UTC
  • mfrom: (4948 +trunk)
  • mto: This revision was merged to the branch mainline in revision 4964.
  • Revision ID: andrew.bennetts@canonical.com-20100112035321-hofpz5p10224ryj3
Merge lp:bzr, resolving conflicts.

Show diffs side-by-side

added added

removed removed

Lines of Context:
bzrlib/_btree_serializer_pyx.pyx
1
 
# Copyright (C) 2008 Canonical Ltd
 
1
# Copyright (C) 2008, 2009 Canonical Ltd
2
2
#
3
3
# This program is free software; you can redistribute it and/or modify
4
4
# it under the terms of the GNU General Public License as published by
12
12
#
13
13
# You should have received a copy of the GNU General Public License
14
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
 
15
# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
16
16
#
17
17
 
18
18
"""Pyrex extensions to btree node parsing."""
32
32
 
33
33
    char *PyString_AsString(object p) except NULL
34
34
    object PyString_FromStringAndSize(char *, Py_ssize_t)
 
35
    PyObject *PyString_FromStringAndSize_ptr "PyString_FromStringAndSize" (char *, Py_ssize_t)
35
36
    int PyString_CheckExact(object s)
36
37
    int PyString_CheckExact_ptr "PyString_CheckExact" (PyObject *)
37
38
    Py_ssize_t PyString_Size(object p)
38
39
    Py_ssize_t PyString_GET_SIZE_ptr "PyString_GET_SIZE" (PyObject *)
39
40
    char * PyString_AS_STRING_ptr "PyString_AS_STRING" (PyObject *)
 
41
    char * PyString_AS_STRING(object)
 
42
    Py_ssize_t PyString_GET_SIZE(object)
40
43
    int PyString_AsStringAndSize_ptr(PyObject *, char **buf, Py_ssize_t *len)
 
44
    void PyString_InternInPlace(PyObject **)
41
45
    int PyTuple_CheckExact(object t)
 
46
    object PyTuple_New(Py_ssize_t n_entries)
 
47
    void PyTuple_SET_ITEM(object, Py_ssize_t offset, object) # steals the ref
42
48
    Py_ssize_t PyTuple_GET_SIZE(object t)
43
49
    PyObject *PyTuple_GET_ITEM_ptr_object "PyTuple_GET_ITEM" (object tpl, int index)
 
50
    void Py_INCREF(object)
 
51
    void Py_DECREF_ptr "Py_DECREF" (PyObject *)
44
52
 
45
53
cdef extern from "string.h":
46
54
    void *memcpy(void *dest, void *src, size_t n)
49
57
    # void *memrchr(void *s, int c, size_t n)
50
58
    int strncmp(char *s1, char *s2, size_t n)
51
59
 
 
60
# It seems we need to import the definitions so that the pyrex compiler has
 
61
# local names to access them.
 
62
from _static_tuple_c cimport StaticTuple, \
 
63
    import_static_tuple_c, StaticTuple_New, \
 
64
    StaticTuple_Intern, StaticTuple_SET_ITEM, StaticTuple_CheckExact
 
65
 
52
66
 
53
67
# TODO: Find some way to import this from _dirstate_helpers
54
 
cdef void* _my_memrchr(void *s, int c, size_t n):
 
68
cdef void* _my_memrchr(void *s, int c, size_t n): # cannot_raise
55
69
    # memrchr seems to be a GNU extension, so we have to implement it ourselves
56
70
    # It is not present in any win32 standard library
57
71
    cdef char *pos
65
79
        pos = pos - 1
66
80
    return NULL
67
81
 
 
82
 
68
83
# TODO: Import this from _dirstate_helpers when it is merged
69
84
cdef object safe_string_from_size(char *s, Py_ssize_t size):
70
85
    if size < 0:
74
89
    return PyString_FromStringAndSize(s, size)
75
90
 
76
91
 
 
92
cdef object safe_interned_string_from_size(char *s, Py_ssize_t size):
 
93
    cdef PyObject *py_str
 
94
    if size < 0:
 
95
        raise AssertionError(
 
96
            'tried to create a string with an invalid size: %d @0x%x'
 
97
            % (size, <int>s))
 
98
    py_str = PyString_FromStringAndSize_ptr(s, size)
 
99
    PyString_InternInPlace(&py_str)
 
100
    result = <object>py_str
 
101
    # Casting a PyObject* to an <object> triggers an INCREF from Pyrex, so we
 
102
    # DECREF it to avoid geting immortal strings
 
103
    Py_DECREF_ptr(py_str)
 
104
    return result
 
105
 
 
106
from bzrlib import _static_tuple_c
 
107
# This sets up the StaticTuple C_API functionality
 
108
import_static_tuple_c()
 
109
 
 
110
 
77
111
cdef class BTreeLeafParser:
78
112
    """Parse the leaf nodes of a BTree index.
79
113
 
112
146
        self._cur_str = NULL
113
147
        self._end_str = NULL
114
148
        self._header_found = 0
 
149
        # keys are tuples
115
150
 
116
151
    cdef extract_key(self, char * last):
117
152
        """Extract a key.
121
156
        """
122
157
        cdef char *temp_ptr
123
158
        cdef int loop_counter
124
 
        # keys are tuples
125
 
        loop_counter = 0
126
 
        key_segments = []
127
 
        while loop_counter < self.key_length:
128
 
            loop_counter = loop_counter + 1
 
159
        cdef StaticTuple key
 
160
 
 
161
        key = StaticTuple_New(self.key_length)
 
162
        for loop_counter from 0 <= loop_counter < self.key_length:
129
163
            # grab a key segment
130
164
            temp_ptr = <char*>memchr(self._start, c'\0', last - self._start)
131
165
            if temp_ptr == NULL:
132
 
                if loop_counter == self.key_length:
 
166
                if loop_counter + 1 == self.key_length:
133
167
                    # capture to last
134
168
                    temp_ptr = last
135
169
                else:
139
173
                                                   last - self._start)))
140
174
                    raise AssertionError(failure_string)
141
175
            # capture the key string
142
 
            # TODO: Consider using PyIntern_FromString, the only caveat is that
143
 
            # it assumes a NULL-terminated string, so we have to check if
144
 
            # temp_ptr[0] == c'\0' or some other char.
145
 
            key_element = safe_string_from_size(self._start,
146
 
                                                temp_ptr - self._start)
 
176
            if (self.key_length == 1
 
177
                and (temp_ptr - self._start) == 45
 
178
                and strncmp(self._start, 'sha1:', 5) == 0):
 
179
                key_element = safe_string_from_size(self._start,
 
180
                                                    temp_ptr - self._start)
 
181
            else:
 
182
                key_element = safe_interned_string_from_size(self._start,
 
183
                                                         temp_ptr - self._start)
147
184
            # advance our pointer
148
185
            self._start = temp_ptr + 1
149
 
            PyList_Append(key_segments, key_element)
150
 
        return tuple(key_segments)
 
186
            Py_INCREF(key_element)
 
187
            StaticTuple_SET_ITEM(key, loop_counter, key_element)
 
188
        key = StaticTuple_Intern(key)
 
189
        return key
151
190
 
152
191
    cdef int process_line(self) except -1:
153
192
        """Process a line in the bytes."""
156
195
        cdef char *ref_ptr
157
196
        cdef char *next_start
158
197
        cdef int loop_counter
 
198
        cdef Py_ssize_t str_len
159
199
 
160
200
        self._start = self._cur_str
161
201
        # Find the next newline
168
208
            # And the next string is right after it
169
209
            self._cur_str = last + 1
170
210
            # The last character is right before the '\n'
171
 
            last = last
172
211
 
173
212
        if last == self._start:
174
213
            # parsed it all.
175
214
            return 0
176
215
        if last < self._start:
177
216
            # Unexpected error condition - fail
178
 
            return -1
 
217
            raise AssertionError("last < self._start")
179
218
        if 0 == self._header_found:
180
219
            # The first line in a leaf node is the header "type=leaf\n"
181
220
            if strncmp("type=leaf", self._start, last - self._start) == 0:
184
223
            else:
185
224
                raise AssertionError('Node did not start with "type=leaf": %r'
186
225
                    % (safe_string_from_size(self._start, last - self._start)))
187
 
                return -1
188
226
 
189
227
        key = self.extract_key(last)
190
228
        # find the value area
191
229
        temp_ptr = <char*>_my_memrchr(self._start, c'\0', last - self._start)
192
230
        if temp_ptr == NULL:
193
231
            # Invalid line
194
 
            return -1
 
232
            raise AssertionError("Failed to find the value area")
195
233
        else:
196
 
            # capture the value string
197
 
            value = safe_string_from_size(temp_ptr + 1, last - temp_ptr - 1)
 
234
            # Because of how conversions were done, we ended up with *lots* of
 
235
            # values that are identical. These are all of the 0-length nodes
 
236
            # that are referred to by the TREE_ROOT (and likely some other
 
237
            # directory nodes.) For example, bzr has 25k references to
 
238
            # something like '12607215 328306 0 0', which ends up consuming 1MB
 
239
            # of memory, just for those strings.
 
240
            str_len = last - temp_ptr - 1
 
241
            if (str_len > 4
 
242
                and strncmp(" 0 0", last - 4, 4) == 0):
 
243
                # This drops peak mem for bzr.dev from 87.4MB => 86.2MB
 
244
                # For Launchpad 236MB => 232MB
 
245
                value = safe_interned_string_from_size(temp_ptr + 1, str_len)
 
246
            else:
 
247
                value = safe_string_from_size(temp_ptr + 1, str_len)
198
248
            # shrink the references end point
199
249
            last = temp_ptr
 
250
 
200
251
        if self.ref_list_length:
201
 
            ref_lists = []
 
252
            ref_lists = StaticTuple_New(self.ref_list_length)
202
253
            loop_counter = 0
203
254
            while loop_counter < self.ref_list_length:
204
255
                ref_list = []
205
256
                # extract a reference list
206
257
                loop_counter = loop_counter + 1
207
258
                if last < self._start:
208
 
                    return -1
 
259
                    raise AssertionError("last < self._start")
209
260
                # find the next reference list end point:
210
261
                temp_ptr = <char*>memchr(self._start, c'\t', last - self._start)
211
262
                if temp_ptr == NULL:
212
263
                    # Only valid for the last list
213
264
                    if loop_counter != self.ref_list_length:
214
265
                        # Invalid line
215
 
                        return -1
216
 
                        raise AssertionError("invalid key")
 
266
                        raise AssertionError(
 
267
                            "invalid key, loop_counter != self.ref_list_length")
217
268
                    else:
218
269
                        # scan to the end of the ref list area
219
270
                        ref_ptr = last
230
281
                    if temp_ptr == NULL:
231
282
                        # key runs to the end
232
283
                        temp_ptr = ref_ptr
 
284
 
233
285
                    PyList_Append(ref_list, self.extract_key(temp_ptr))
234
 
                PyList_Append(ref_lists, tuple(ref_list))
 
286
                ref_list = StaticTuple_Intern(StaticTuple(*ref_list))
 
287
                Py_INCREF(ref_list)
 
288
                StaticTuple_SET_ITEM(ref_lists, loop_counter - 1, ref_list)
235
289
                # prepare for the next reference list
236
290
                self._start = next_start
237
 
            ref_lists = tuple(ref_lists)
238
 
            node_value = (value, ref_lists)
 
291
            node_value = StaticTuple(value, ref_lists)
239
292
        else:
240
293
            if last != self._start:
241
294
                # unexpected reference data present
242
 
                return -1
243
 
            node_value = (value, ())
244
 
        PyList_Append(self.keys, (key, node_value))
 
295
                raise AssertionError("unexpected reference data present")
 
296
            node_value = StaticTuple(value, StaticTuple())
 
297
        PyList_Append(self.keys, StaticTuple(key, node_value))
245
298
        return 0
246
299
 
247
300
    def parse(self):
276
329
    cdef Py_ssize_t flat_len
277
330
    cdef Py_ssize_t key_len
278
331
    cdef Py_ssize_t node_len
279
 
    cdef PyObject * val
280
332
    cdef char * value
281
333
    cdef Py_ssize_t value_len
282
334
    cdef char * out
285
337
    cdef int first_ref_list
286
338
    cdef int first_reference
287
339
    cdef int i
288
 
    cdef PyObject *ref_bit
289
340
    cdef Py_ssize_t ref_bit_len
290
341
 
291
 
    if not PyTuple_CheckExact(node):
292
 
        raise TypeError('We expected a tuple() for node not: %s'
 
342
    if not PyTuple_CheckExact(node) and not StaticTuple_CheckExact(node):
 
343
        raise TypeError('We expected a tuple() or StaticTuple() for node not: %s'
293
344
            % type(node))
294
 
    node_len = PyTuple_GET_SIZE(node)
 
345
    node_len = len(node)
295
346
    have_reference_lists = reference_lists
296
347
    if have_reference_lists:
297
348
        if node_len != 4:
300
351
    elif node_len < 3:
301
352
        raise ValueError('Without ref_lists, we need at least 3 entries not: %s'
302
353
            % len(node))
303
 
    # I don't expect that we can do faster than string.join()
304
 
    string_key = '\0'.join(<object>PyTuple_GET_ITEM_ptr_object(node, 1))
 
354
    # TODO: We can probably do better than string.join(), namely
 
355
    #       when key has only 1 item, we can just grab that string
 
356
    #       And when there are 2 items, we could do a single malloc + len() + 1
 
357
    #       also, doing .join() requires a PyObject_GetAttrString call, which
 
358
    #       we could also avoid.
 
359
    # TODO: Note that pyrex 0.9.6 generates fairly crummy code here, using the
 
360
    #       python object interface, versus 0.9.8+ which uses a helper that
 
361
    #       checks if this supports the sequence interface.
 
362
    #       We *could* do more work on our own, and grab the actual items
 
363
    #       lists. For now, just ask people to use a better compiler. :)
 
364
    string_key = '\0'.join(node[1])
305
365
 
306
366
    # TODO: instead of using string joins, precompute the final string length,
307
367
    #       and then malloc a single string and copy everything in.
318
378
    refs_len = 0
319
379
    if have_reference_lists:
320
380
        # Figure out how many bytes it will take to store the references
321
 
        ref_lists = <object>PyTuple_GET_ITEM_ptr_object(node, 3)
 
381
        ref_lists = node[3]
322
382
        next_len = len(ref_lists) # TODO: use a Py function
323
383
        if next_len > 0:
324
384
            # If there are no nodes, we don't need to do any work
332
392
                    # references
333
393
                    refs_len = refs_len + (next_len - 1)
334
394
                    for reference in ref_list:
335
 
                        if not PyTuple_CheckExact(reference):
 
395
                        if (not PyTuple_CheckExact(reference)
 
396
                            and not StaticTuple_CheckExact(reference)):
336
397
                            raise TypeError(
337
398
                                'We expect references to be tuples not: %s'
338
399
                                % type(reference))
339
 
                        next_len = PyTuple_GET_SIZE(reference)
 
400
                        next_len = len(reference)
340
401
                        if next_len > 0:
341
402
                            # We will need (len - 1) '\x00' characters to
342
403
                            # separate the reference key
343
404
                            refs_len = refs_len + (next_len - 1)
344
 
                            for i from 0 <= i < next_len:
345
 
                                ref_bit = PyTuple_GET_ITEM_ptr_object(reference, i)
346
 
                                if not PyString_CheckExact_ptr(ref_bit):
 
405
                            for ref_bit in reference:
 
406
                                if not PyString_CheckExact(ref_bit):
347
407
                                    raise TypeError('We expect reference bits'
348
408
                                        ' to be strings not: %s'
349
409
                                        % type(<object>ref_bit))
350
 
                                refs_len = refs_len + PyString_GET_SIZE_ptr(ref_bit)
 
410
                                refs_len = refs_len + PyString_GET_SIZE(ref_bit)
351
411
 
352
412
    # So we have the (key NULL refs NULL value LF)
353
413
    key_len = PyString_Size(string_key)
354
 
    val = PyTuple_GET_ITEM_ptr_object(node, 2)
355
 
    if not PyString_CheckExact_ptr(val):
 
414
    val = node[2]
 
415
    if not PyString_CheckExact(val):
356
416
        raise TypeError('Expected a plain str for value not: %s'
357
 
                        % type(<object>val))
358
 
    value = PyString_AS_STRING_ptr(val)
359
 
    value_len = PyString_GET_SIZE_ptr(val)
 
417
                        % type(val))
 
418
    value = PyString_AS_STRING(val)
 
419
    value_len = PyString_GET_SIZE(val)
360
420
    flat_len = (key_len + 1 + refs_len + 1 + value_len + 1)
361
421
    line = PyString_FromStringAndSize(NULL, flat_len)
362
422
    # Get a pointer to the new buffer
378
438
                    out[0] = c'\r'
379
439
                    out = out + 1
380
440
                first_reference = 0
381
 
                next_len = PyTuple_GET_SIZE(reference)
 
441
                next_len = len(reference)
382
442
                for i from 0 <= i < next_len:
383
443
                    if i != 0:
384
444
                        out[0] = c'\x00'
385
445
                        out = out + 1
386
 
                    ref_bit = PyTuple_GET_ITEM_ptr_object(reference, i)
387
 
                    ref_bit_len = PyString_GET_SIZE_ptr(ref_bit)
388
 
                    memcpy(out, PyString_AS_STRING_ptr(ref_bit), ref_bit_len)
 
446
                    ref_bit = reference[i]
 
447
                    ref_bit_len = PyString_GET_SIZE(ref_bit)
 
448
                    memcpy(out, PyString_AS_STRING(ref_bit), ref_bit_len)
389
449
                    out = out + ref_bit_len
390
450
    out[0] = c'\0'
391
451
    out = out  + 1