~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to bzrlib/btree_index.py

  • Committer: Canonical.com Patch Queue Manager
  • Date: 2010-07-07 04:03:32 UTC
  • mfrom: (5335.2.3 doc)
  • Revision ID: pqm@pqm.ubuntu.com-20100707040332-we60v2hsd39rumlr
(mbp) developer docs about testing (Martin Pool)

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
 
# Copyright (C) 2008 Canonical Ltd
 
1
# Copyright (C) 2008, 2009, 2010 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
"""B+Tree indices"""
19
19
 
20
 
import array
21
 
import bisect
 
20
import cStringIO
22
21
from bisect import bisect_right
23
 
from copy import deepcopy
24
22
import math
25
 
import struct
26
23
import tempfile
27
24
import zlib
28
25
 
30
27
    chunk_writer,
31
28
    debug,
32
29
    errors,
 
30
    fifo_cache,
33
31
    index,
34
32
    lru_cache,
35
33
    osutils,
 
34
    static_tuple,
36
35
    trace,
 
36
    transport,
37
37
    )
38
38
from bzrlib.index import _OPTION_NODE_REFS, _OPTION_KEY_ELEMENTS, _OPTION_LEN
39
 
from bzrlib.transport import get_transport
40
39
 
41
40
 
42
41
_BTSIGNATURE = "B+Tree Graph Index 2\n"
63
62
    def __init__(self):
64
63
        """Create a _BuilderRow."""
65
64
        self.nodes = 0
66
 
        self.spool = tempfile.TemporaryFile()
 
65
        self.spool = None# tempfile.TemporaryFile(prefix='bzr-index-row-')
67
66
        self.writer = None
68
67
 
69
68
    def finish_node(self, pad=True):
70
69
        byte_lines, _, padding = self.writer.finish()
71
70
        if self.nodes == 0:
 
71
            self.spool = cStringIO.StringIO()
72
72
            # padded note:
73
73
            self.spool.write("\x00" * _RESERVED_HEADER_BYTES)
 
74
        elif self.nodes == 1:
 
75
            # We got bigger than 1 node, switch to a temp file
 
76
            spool = tempfile.TemporaryFile(prefix='bzr-index-row-')
 
77
            spool.write(self.spool.getvalue())
 
78
            self.spool = spool
74
79
        skipped_bytes = 0
75
80
        if not pad and padding:
76
81
            del byte_lines[-1]
155
160
        :param value: The value to associate with the key. It may be any
156
161
            bytes as long as it does not contain \0 or \n.
157
162
        """
 
163
        # Ensure that 'key' is a StaticTuple
 
164
        key = static_tuple.StaticTuple.from_sequence(key).intern()
158
165
        # we don't care about absent_references
159
166
        node_refs, _ = self._check_key_ref_value(key, references, value)
160
167
        if key in self._nodes:
161
168
            raise errors.BadIndexDuplicateKey(key, self)
162
 
        self._nodes[key] = (node_refs, value)
163
 
        self._keys.add(key)
 
169
        self._nodes[key] = static_tuple.StaticTuple(node_refs, value)
164
170
        if self._nodes_by_key is not None and self._key_length > 1:
165
171
            self._update_nodes_by_key(key, value, node_refs)
166
 
        if len(self._keys) < self._spill_at:
 
172
        if len(self._nodes) < self._spill_at:
167
173
            return
168
174
        self._spill_mem_keys_to_disk()
169
175
 
180
186
        combine mem with the first and second indexes, creating a new one of
181
187
        size 4x. On the fifth create a single new one, etc.
182
188
        """
 
189
        if self._combine_backing_indices:
 
190
            (new_backing_file, size,
 
191
             backing_pos) = self._spill_mem_keys_and_combine()
 
192
        else:
 
193
            new_backing_file, size = self._spill_mem_keys_without_combining()
 
194
        # Note: The transport here isn't strictly needed, because we will use
 
195
        #       direct access to the new_backing._file object
 
196
        new_backing = BTreeGraphIndex(transport.get_transport('.'),
 
197
                                      '<temp>', size)
 
198
        # GC will clean up the file
 
199
        new_backing._file = new_backing_file
 
200
        if self._combine_backing_indices:
 
201
            if len(self._backing_indices) == backing_pos:
 
202
                self._backing_indices.append(None)
 
203
            self._backing_indices[backing_pos] = new_backing
 
204
            for backing_pos in range(backing_pos):
 
205
                self._backing_indices[backing_pos] = None
 
206
        else:
 
207
            self._backing_indices.append(new_backing)
 
208
        self._nodes = {}
 
209
        self._nodes_by_key = None
 
210
 
 
211
    def _spill_mem_keys_without_combining(self):
 
212
        return self._write_nodes(self._iter_mem_nodes(), allow_optimize=False)
 
213
 
 
214
    def _spill_mem_keys_and_combine(self):
183
215
        iterators_to_combine = [self._iter_mem_nodes()]
184
216
        pos = -1
185
217
        for pos, backing in enumerate(self._backing_indices):
189
221
            iterators_to_combine.append(backing.iter_all_entries())
190
222
        backing_pos = pos + 1
191
223
        new_backing_file, size = \
192
 
            self._write_nodes(self._iter_smallest(iterators_to_combine))
193
 
        dir_path, base_name = osutils.split(new_backing_file.name)
194
 
        # Note: The transport here isn't strictly needed, because we will use
195
 
        #       direct access to the new_backing._file object
196
 
        new_backing = BTreeGraphIndex(get_transport(dir_path),
197
 
                                      base_name, size)
198
 
        # GC will clean up the file
199
 
        new_backing._file = new_backing_file
200
 
        if len(self._backing_indices) == backing_pos:
201
 
            self._backing_indices.append(None)
202
 
        self._backing_indices[backing_pos] = new_backing
203
 
        for pos in range(backing_pos):
204
 
            self._backing_indices[pos] = None
205
 
        self._keys = set()
206
 
        self._nodes = {}
207
 
        self._nodes_by_key = None
 
224
            self._write_nodes(self._iter_smallest(iterators_to_combine),
 
225
                              allow_optimize=False)
 
226
        return new_backing_file, size, backing_pos
208
227
 
209
228
    def add_nodes(self, nodes):
210
229
        """Add nodes to the index.
262
281
            except StopIteration:
263
282
                current_values[pos] = None
264
283
 
265
 
    def _add_key(self, string_key, line, rows):
 
284
    def _add_key(self, string_key, line, rows, allow_optimize=True):
266
285
        """Add a key to the current chunk.
267
286
 
268
287
        :param string_key: The key to add.
269
288
        :param line: The fully serialised key and value.
 
289
        :param allow_optimize: If set to False, prevent setting the optimize
 
290
            flag when writing out. This is used by the _spill_mem_keys_to_disk
 
291
            functionality.
270
292
        """
271
293
        if rows[-1].writer is None:
272
294
            # opening a new leaf chunk;
277
299
                    length = _PAGE_SIZE
278
300
                    if internal_row.nodes == 0:
279
301
                        length -= _RESERVED_HEADER_BYTES # padded
 
302
                    if allow_optimize:
 
303
                        optimize_for_size = self._optimize_for_size
 
304
                    else:
 
305
                        optimize_for_size = False
280
306
                    internal_row.writer = chunk_writer.ChunkWriter(length, 0,
281
 
                        optimize_for_size=self._optimize_for_size)
 
307
                        optimize_for_size=optimize_for_size)
282
308
                    internal_row.writer.write(_INTERNAL_FLAG)
283
309
                    internal_row.writer.write(_INTERNAL_OFFSET +
284
310
                        str(rows[pos + 1].nodes) + "\n")
296
322
            new_row = True
297
323
            for row in reversed(rows[:-1]):
298
324
                # Mark the start of the next node in the node above. If it
299
 
                # doesn't fit then propogate upwards until we find one that
 
325
                # doesn't fit then propagate upwards until we find one that
300
326
                # it does fit into.
301
327
                if row.writer.write(key_line):
302
328
                    row.finish_node()
322
348
                new_row.writer.write(_INTERNAL_OFFSET +
323
349
                    str(rows[1].nodes - 1) + "\n")
324
350
                new_row.writer.write(key_line)
325
 
            self._add_key(string_key, line, rows)
 
351
            self._add_key(string_key, line, rows, allow_optimize=allow_optimize)
326
352
 
327
 
    def _write_nodes(self, node_iterator):
 
353
    def _write_nodes(self, node_iterator, allow_optimize=True):
328
354
        """Write node_iterator out as a B+Tree.
329
355
 
330
356
        :param node_iterator: An iterator of sorted nodes. Each node should
331
357
            match the output given by iter_all_entries.
 
358
        :param allow_optimize: If set to False, prevent setting the optimize
 
359
            flag when writing out. This is used by the _spill_mem_keys_to_disk
 
360
            functionality.
332
361
        :return: A file handle for a temporary file containing a B+Tree for
333
362
            the nodes.
334
363
        """
344
373
        self.row_lengths = []
345
374
        # Loop over all nodes adding them to the bottom row
346
375
        # (rows[-1]). When we finish a chunk in a row,
347
 
        # propogate the key that didn't fit (comes after the chunk) to the
 
376
        # propagate the key that didn't fit (comes after the chunk) to the
348
377
        # row above, transitively.
349
378
        for node in node_iterator:
350
379
            if key_count == 0:
353
382
            key_count += 1
354
383
            string_key, line = _btree_serializer._flatten_node(node,
355
384
                                    self.reference_lists)
356
 
            self._add_key(string_key, line, rows)
 
385
            self._add_key(string_key, line, rows, allow_optimize=allow_optimize)
357
386
        for row in reversed(rows):
358
387
            pad = (type(row) != _LeafBuilderRow)
359
388
            row.finish_node(pad=pad)
360
 
        result = tempfile.NamedTemporaryFile()
361
389
        lines = [_BTSIGNATURE]
362
390
        lines.append(_OPTION_NODE_REFS + str(self.reference_lists) + '\n')
363
391
        lines.append(_OPTION_KEY_ELEMENTS + str(self._key_length) + '\n')
364
392
        lines.append(_OPTION_LEN + str(key_count) + '\n')
365
393
        row_lengths = [row.nodes for row in rows]
366
394
        lines.append(_OPTION_ROW_LENGTHS + ','.join(map(str, row_lengths)) + '\n')
 
395
        if row_lengths and row_lengths[-1] > 1:
 
396
            result = tempfile.NamedTemporaryFile(prefix='bzr-index-')
 
397
        else:
 
398
            result = cStringIO.StringIO()
367
399
        result.writelines(lines)
368
400
        position = sum(map(len, lines))
369
401
        root_row = True
380
412
            # Special case the first node as it may be prefixed
381
413
            node = row.spool.read(_PAGE_SIZE)
382
414
            result.write(node[reserved:])
383
 
            result.write("\x00" * (reserved - position))
 
415
            if len(node) == _PAGE_SIZE:
 
416
                result.write("\x00" * (reserved - position))
384
417
            position = 0 # Only the root row actually has an offset
385
418
            copied_len = osutils.pumpfile(row.spool, result)
386
419
            if copied_len != (row.nodes - 1) * _PAGE_SIZE:
405
438
    def iter_all_entries(self):
406
439
        """Iterate over all keys within the index
407
440
 
408
 
        :return: An iterable of (index, key, reference_lists, value). There is no
409
 
            defined order for the result iteration - it will be in the most
 
441
        :return: An iterable of (index, key, value, reference_lists). There is
 
442
            no defined order for the result iteration - it will be in the most
410
443
            efficient order for the index (in this case dictionary hash order).
411
444
        """
412
445
        if 'evil' in debug.debug_flags:
431
464
            efficient order for the index (keys iteration order in this case).
432
465
        """
433
466
        keys = set(keys)
434
 
        local_keys = keys.intersection(self._keys)
 
467
        # Note: We don't use keys.intersection() here. If you read the C api,
 
468
        #       set.intersection(other) special cases when other is a set and
 
469
        #       will iterate the smaller of the two and lookup in the other.
 
470
        #       It does *not* do this for any other type (even dict, unlike
 
471
        #       some other set functions.) Since we expect keys is generally <<
 
472
        #       self._nodes, it is faster to iterate over it in a list
 
473
        #       comprehension
 
474
        nodes = self._nodes
 
475
        local_keys = [key for key in keys if key in nodes]
435
476
        if self.reference_lists:
436
477
            for key in local_keys:
437
 
                node = self._nodes[key]
 
478
                node = nodes[key]
438
479
                yield self, key, node[1], node[0]
439
480
        else:
440
481
            for key in local_keys:
441
 
                node = self._nodes[key]
 
482
                node = nodes[key]
442
483
                yield self, key, node[1]
443
484
        # Find things that are in backing indices that have not been handled
444
485
        # yet.
527
568
                    else:
528
569
                        # yield keys
529
570
                        for value in key_dict.itervalues():
530
 
                            yield (self, ) + value
 
571
                            yield (self, ) + tuple(value)
531
572
            else:
532
573
                yield (self, ) + key_dict
533
574
 
554
595
 
555
596
        For InMemoryGraphIndex the estimate is exact.
556
597
        """
557
 
        return len(self._keys) + sum(backing.key_count() for backing in
 
598
        return len(self._nodes) + sum(backing.key_count() for backing in
558
599
            self._backing_indices if backing is not None)
559
600
 
560
601
    def validate(self):
564
605
class _LeafNode(object):
565
606
    """A leaf node for a serialised B+Tree index."""
566
607
 
 
608
    __slots__ = ('keys', 'min_key', 'max_key')
 
609
 
567
610
    def __init__(self, bytes, key_length, ref_list_length):
568
611
        """Parse bytes to create a leaf node object."""
569
612
        # splitlines mangles the \r delimiters.. don't use it.
570
 
        self.keys = dict(_btree_serializer._parse_leaf_lines(bytes,
571
 
            key_length, ref_list_length))
 
613
        key_list = _btree_serializer._parse_leaf_lines(bytes,
 
614
            key_length, ref_list_length)
 
615
        if key_list:
 
616
            self.min_key = key_list[0][0]
 
617
            self.max_key = key_list[-1][0]
 
618
        else:
 
619
            self.min_key = self.max_key = None
 
620
        self.keys = dict(key_list)
572
621
 
573
622
 
574
623
class _InternalNode(object):
575
624
    """An internal node for a serialised B+Tree index."""
576
625
 
 
626
    __slots__ = ('keys', 'offset')
 
627
 
577
628
    def __init__(self, bytes):
578
629
        """Parse bytes to create an internal node object."""
579
630
        # splitlines mangles the \r delimiters.. don't use it.
582
633
    def _parse_lines(self, lines):
583
634
        nodes = []
584
635
        self.offset = int(lines[1][7:])
 
636
        as_st = static_tuple.StaticTuple.from_sequence
585
637
        for line in lines[2:]:
586
638
            if line == '':
587
639
                break
588
 
            nodes.append(tuple(line.split('\0')))
 
640
            nodes.append(as_st(map(intern, line.split('\0'))).intern())
589
641
        return nodes
590
642
 
591
643
 
596
648
    memory except when very large walks are done.
597
649
    """
598
650
 
599
 
    def __init__(self, transport, name, size):
 
651
    def __init__(self, transport, name, size, unlimited_cache=False,
 
652
                 offset=0):
600
653
        """Create a B+Tree index object on the index name.
601
654
 
602
655
        :param transport: The transport to read data for the index from.
606
659
            the initial read (to read the root node header) can be done
607
660
            without over-reading even on empty indices, and on small indices
608
661
            allows single-IO to read the entire index.
 
662
        :param unlimited_cache: If set to True, then instead of using an
 
663
            LRUCache with size _NODE_CACHE_SIZE, we will use a dict and always
 
664
            cache all leaf nodes.
 
665
        :param offset: The start of the btree index data isn't byte 0 of the
 
666
            file. Instead it starts at some point later.
609
667
        """
610
668
        self._transport = transport
611
669
        self._name = name
613
671
        self._file = None
614
672
        self._recommended_pages = self._compute_recommended_pages()
615
673
        self._root_node = None
 
674
        self._base_offset = offset
616
675
        # Default max size is 100,000 leave values
617
676
        self._leaf_value_cache = None # lru_cache.LRUCache(100*1000)
618
 
        self._leaf_node_cache = lru_cache.LRUCache(_NODE_CACHE_SIZE)
619
 
        self._internal_node_cache = lru_cache.LRUCache()
 
677
        if unlimited_cache:
 
678
            self._leaf_node_cache = {}
 
679
            self._internal_node_cache = {}
 
680
        else:
 
681
            self._leaf_node_cache = lru_cache.LRUCache(_NODE_CACHE_SIZE)
 
682
            # We use a FIFO here just to prevent possible blowout. However, a
 
683
            # 300k record btree has only 3k leaf nodes, and only 20 internal
 
684
            # nodes. A value of 100 scales to ~100*100*100 = 1M records.
 
685
            self._internal_node_cache = fifo_cache.FIFOCache(100)
620
686
        self._key_count = None
621
687
        self._row_lengths = None
622
688
        self._row_offsets = None # Start of each row, [-1] is the end
654
720
                if start_of_leaves is None:
655
721
                    start_of_leaves = self._row_offsets[-2]
656
722
                if node_pos < start_of_leaves:
657
 
                    self._internal_node_cache.add(node_pos, node)
 
723
                    self._internal_node_cache[node_pos] = node
658
724
                else:
659
 
                    self._leaf_node_cache.add(node_pos, node)
 
725
                    self._leaf_node_cache[node_pos] = node
660
726
            found[node_pos] = node
661
727
        return found
662
728
 
801
867
            new_tips = next_tips
802
868
        return final_offsets
803
869
 
 
870
    def clear_cache(self):
 
871
        """Clear out any cached/memoized values.
 
872
 
 
873
        This can be called at any time, but generally it is used when we have
 
874
        extracted some information, but don't expect to be requesting any more
 
875
        from this index.
 
876
        """
 
877
        # Note that we don't touch self._root_node or self._internal_node_cache
 
878
        # We don't expect either of those to be big, and it can save
 
879
        # round-trips in the future. We may re-evaluate this if InternalNode
 
880
        # memory starts to be an issue.
 
881
        self._leaf_node_cache.clear()
 
882
 
 
883
    def external_references(self, ref_list_num):
 
884
        if self._root_node is None:
 
885
            self._get_root_node()
 
886
        if ref_list_num + 1 > self.node_ref_lists:
 
887
            raise ValueError('No ref list %d, index has %d ref lists'
 
888
                % (ref_list_num, self.node_ref_lists))
 
889
        keys = set()
 
890
        refs = set()
 
891
        for node in self.iter_all_entries():
 
892
            keys.add(node[1])
 
893
            refs.update(node[3][ref_list_num])
 
894
        return refs - keys
 
895
 
804
896
    def _find_layer_first_and_end(self, offset):
805
897
        """Find the start/stop nodes for the layer corresponding to offset.
806
898
 
996
1088
            output.append(cur_out)
997
1089
        return output
998
1090
 
 
1091
    def _walk_through_internal_nodes(self, keys):
 
1092
        """Take the given set of keys, and find the corresponding LeafNodes.
 
1093
 
 
1094
        :param keys: An unsorted iterable of keys to search for
 
1095
        :return: (nodes, index_and_keys)
 
1096
            nodes is a dict mapping {index: LeafNode}
 
1097
            keys_at_index is a list of tuples of [(index, [keys for Leaf])]
 
1098
        """
 
1099
        # 6 seconds spent in miss_torture using the sorted() line.
 
1100
        # Even with out of order disk IO it seems faster not to sort it when
 
1101
        # large queries are being made.
 
1102
        keys_at_index = [(0, sorted(keys))]
 
1103
 
 
1104
        for row_pos, next_row_start in enumerate(self._row_offsets[1:-1]):
 
1105
            node_indexes = [idx for idx, s_keys in keys_at_index]
 
1106
            nodes = self._get_internal_nodes(node_indexes)
 
1107
 
 
1108
            next_nodes_and_keys = []
 
1109
            for node_index, sub_keys in keys_at_index:
 
1110
                node = nodes[node_index]
 
1111
                positions = self._multi_bisect_right(sub_keys, node.keys)
 
1112
                node_offset = next_row_start + node.offset
 
1113
                next_nodes_and_keys.extend([(node_offset + pos, s_keys)
 
1114
                                           for pos, s_keys in positions])
 
1115
            keys_at_index = next_nodes_and_keys
 
1116
        # We should now be at the _LeafNodes
 
1117
        node_indexes = [idx for idx, s_keys in keys_at_index]
 
1118
 
 
1119
        # TODO: We may *not* want to always read all the nodes in one
 
1120
        #       big go. Consider setting a max size on this.
 
1121
        nodes = self._get_leaf_nodes(node_indexes)
 
1122
        return nodes, keys_at_index
 
1123
 
999
1124
    def iter_entries(self, keys):
1000
1125
        """Iterate over keys within the index.
1001
1126
 
1039
1164
        needed_keys = keys
1040
1165
        if not needed_keys:
1041
1166
            return
1042
 
        # 6 seconds spent in miss_torture using the sorted() line.
1043
 
        # Even with out of order disk IO it seems faster not to sort it when
1044
 
        # large queries are being made.
1045
 
        needed_keys = sorted(needed_keys)
1046
 
 
1047
 
        nodes_and_keys = [(0, needed_keys)]
1048
 
 
1049
 
        for row_pos, next_row_start in enumerate(self._row_offsets[1:-1]):
1050
 
            node_indexes = [idx for idx, s_keys in nodes_and_keys]
1051
 
            nodes = self._get_internal_nodes(node_indexes)
1052
 
 
1053
 
            next_nodes_and_keys = []
1054
 
            for node_index, sub_keys in nodes_and_keys:
1055
 
                node = nodes[node_index]
1056
 
                positions = self._multi_bisect_right(sub_keys, node.keys)
1057
 
                node_offset = next_row_start + node.offset
1058
 
                next_nodes_and_keys.extend([(node_offset + pos, s_keys)
1059
 
                                           for pos, s_keys in positions])
1060
 
            nodes_and_keys = next_nodes_and_keys
1061
 
        # We should now be at the _LeafNodes
1062
 
        node_indexes = [idx for idx, s_keys in nodes_and_keys]
1063
 
 
1064
 
        # TODO: We may *not* want to always read all the nodes in one
1065
 
        #       big go. Consider setting a max size on this.
1066
 
 
1067
 
        nodes = self._get_leaf_nodes(node_indexes)
 
1167
        nodes, nodes_and_keys = self._walk_through_internal_nodes(needed_keys)
1068
1168
        for node_index, sub_keys in nodes_and_keys:
1069
1169
            if not sub_keys:
1070
1170
                continue
1077
1177
                    else:
1078
1178
                        yield (self, next_sub_key, value)
1079
1179
 
 
1180
    def _find_ancestors(self, keys, ref_list_num, parent_map, missing_keys):
 
1181
        """Find the parent_map information for the set of keys.
 
1182
 
 
1183
        This populates the parent_map dict and missing_keys set based on the
 
1184
        queried keys. It also can fill out an arbitrary number of parents that
 
1185
        it finds while searching for the supplied keys.
 
1186
 
 
1187
        It is unlikely that you want to call this directly. See
 
1188
        "CombinedGraphIndex.find_ancestry()" for a more appropriate API.
 
1189
 
 
1190
        :param keys: A keys whose ancestry we want to return
 
1191
            Every key will either end up in 'parent_map' or 'missing_keys'.
 
1192
        :param ref_list_num: This index in the ref_lists is the parents we
 
1193
            care about.
 
1194
        :param parent_map: {key: parent_keys} for keys that are present in this
 
1195
            index. This may contain more entries than were in 'keys', that are
 
1196
            reachable ancestors of the keys requested.
 
1197
        :param missing_keys: keys which are known to be missing in this index.
 
1198
            This may include parents that were not directly requested, but we
 
1199
            were able to determine that they are not present in this index.
 
1200
        :return: search_keys    parents that were found but not queried to know
 
1201
            if they are missing or present. Callers can re-query this index for
 
1202
            those keys, and they will be placed into parent_map or missing_keys
 
1203
        """
 
1204
        if not self.key_count():
 
1205
            # We use key_count() to trigger reading the root node and
 
1206
            # determining info about this BTreeGraphIndex
 
1207
            # If we don't have any keys, then everything is missing
 
1208
            missing_keys.update(keys)
 
1209
            return set()
 
1210
        if ref_list_num >= self.node_ref_lists:
 
1211
            raise ValueError('No ref list %d, index has %d ref lists'
 
1212
                % (ref_list_num, self.node_ref_lists))
 
1213
 
 
1214
        # The main trick we are trying to accomplish is that when we find a
 
1215
        # key listing its parents, we expect that the parent key is also likely
 
1216
        # to sit on the same page. Allowing us to expand parents quickly
 
1217
        # without suffering the full stack of bisecting, etc.
 
1218
        nodes, nodes_and_keys = self._walk_through_internal_nodes(keys)
 
1219
 
 
1220
        # These are parent keys which could not be immediately resolved on the
 
1221
        # page where the child was present. Note that we may already be
 
1222
        # searching for that key, and it may actually be present [or known
 
1223
        # missing] on one of the other pages we are reading.
 
1224
        # TODO:
 
1225
        #   We could try searching for them in the immediate previous or next
 
1226
        #   page. If they occur "later" we could put them in a pending lookup
 
1227
        #   set, and then for each node we read thereafter we could check to
 
1228
        #   see if they are present.
 
1229
        #   However, we don't know the impact of keeping this list of things
 
1230
        #   that I'm going to search for every node I come across from here on
 
1231
        #   out.
 
1232
        #   It doesn't handle the case when the parent key is missing on a
 
1233
        #   page that we *don't* read. So we already have to handle being
 
1234
        #   re-entrant for that.
 
1235
        #   Since most keys contain a date string, they are more likely to be
 
1236
        #   found earlier in the file than later, but we would know that right
 
1237
        #   away (key < min_key), and wouldn't keep searching it on every other
 
1238
        #   page that we read.
 
1239
        #   Mostly, it is an idea, one which should be benchmarked.
 
1240
        parents_not_on_page = set()
 
1241
 
 
1242
        for node_index, sub_keys in nodes_and_keys:
 
1243
            if not sub_keys:
 
1244
                continue
 
1245
            # sub_keys is all of the keys we are looking for that should exist
 
1246
            # on this page, if they aren't here, then they won't be found
 
1247
            node = nodes[node_index]
 
1248
            node_keys = node.keys
 
1249
            parents_to_check = set()
 
1250
            for next_sub_key in sub_keys:
 
1251
                if next_sub_key not in node_keys:
 
1252
                    # This one is just not present in the index at all
 
1253
                    missing_keys.add(next_sub_key)
 
1254
                else:
 
1255
                    value, refs = node_keys[next_sub_key]
 
1256
                    parent_keys = refs[ref_list_num]
 
1257
                    parent_map[next_sub_key] = parent_keys
 
1258
                    parents_to_check.update(parent_keys)
 
1259
            # Don't look for things we've already found
 
1260
            parents_to_check = parents_to_check.difference(parent_map)
 
1261
            # this can be used to test the benefit of having the check loop
 
1262
            # inlined.
 
1263
            # parents_not_on_page.update(parents_to_check)
 
1264
            # continue
 
1265
            while parents_to_check:
 
1266
                next_parents_to_check = set()
 
1267
                for key in parents_to_check:
 
1268
                    if key in node_keys:
 
1269
                        value, refs = node_keys[key]
 
1270
                        parent_keys = refs[ref_list_num]
 
1271
                        parent_map[key] = parent_keys
 
1272
                        next_parents_to_check.update(parent_keys)
 
1273
                    else:
 
1274
                        # This parent either is genuinely missing, or should be
 
1275
                        # found on another page. Perf test whether it is better
 
1276
                        # to check if this node should fit on this page or not.
 
1277
                        # in the 'everything-in-one-pack' scenario, this *not*
 
1278
                        # doing the check is 237ms vs 243ms.
 
1279
                        # So slightly better, but I assume the standard 'lots
 
1280
                        # of packs' is going to show a reasonable improvement
 
1281
                        # from the check, because it avoids 'going around
 
1282
                        # again' for everything that is in another index
 
1283
                        # parents_not_on_page.add(key)
 
1284
                        # Missing for some reason
 
1285
                        if key < node.min_key:
 
1286
                            # in the case of bzr.dev, 3.4k/5.3k misses are
 
1287
                            # 'earlier' misses (65%)
 
1288
                            parents_not_on_page.add(key)
 
1289
                        elif key > node.max_key:
 
1290
                            # This parent key would be present on a different
 
1291
                            # LeafNode
 
1292
                            parents_not_on_page.add(key)
 
1293
                        else:
 
1294
                            # assert key != node.min_key and key != node.max_key
 
1295
                            # If it was going to be present, it would be on
 
1296
                            # *this* page, so mark it missing.
 
1297
                            missing_keys.add(key)
 
1298
                parents_to_check = next_parents_to_check.difference(parent_map)
 
1299
                # Might want to do another .difference() from missing_keys
 
1300
        # parents_not_on_page could have been found on a different page, or be
 
1301
        # known to be missing. So cull out everything that has already been
 
1302
        # found.
 
1303
        search_keys = parents_not_on_page.difference(
 
1304
            parent_map).difference(missing_keys)
 
1305
        return search_keys
 
1306
 
1080
1307
    def iter_entries_prefix(self, keys):
1081
1308
        """Iterate over keys within the index using prefix matching.
1082
1309
 
1272
1499
        # list of (offset, length) regions of the file that should, evenually
1273
1500
        # be read in to data_ranges, either from 'bytes' or from the transport
1274
1501
        ranges = []
 
1502
        base_offset = self._base_offset
1275
1503
        for index in nodes:
1276
 
            offset = index * _PAGE_SIZE
 
1504
            offset = (index * _PAGE_SIZE)
1277
1505
            size = _PAGE_SIZE
1278
1506
            if index == 0:
1279
1507
                # Root node - special case
1283
1511
                    # The only case where we don't know the size, is for very
1284
1512
                    # small indexes. So we read the whole thing
1285
1513
                    bytes = self._transport.get_bytes(self._name)
1286
 
                    self._size = len(bytes)
 
1514
                    num_bytes = len(bytes)
 
1515
                    self._size = num_bytes - base_offset
1287
1516
                    # the whole thing should be parsed out of 'bytes'
1288
 
                    ranges.append((0, len(bytes)))
 
1517
                    ranges = [(start, min(_PAGE_SIZE, num_bytes - start))
 
1518
                        for start in xrange(base_offset, num_bytes, _PAGE_SIZE)]
1289
1519
                    break
1290
1520
            else:
1291
1521
                if offset > self._size:
1293
1523
                                         ' of the file %s > %s'
1294
1524
                                         % (offset, self._size))
1295
1525
                size = min(size, self._size - offset)
1296
 
            ranges.append((offset, size))
 
1526
            ranges.append((base_offset + offset, size))
1297
1527
        if not ranges:
1298
1528
            return
1299
1529
        elif bytes is not None:
1300
1530
            # already have the whole file
1301
 
            data_ranges = [(start, bytes[start:start+_PAGE_SIZE])
1302
 
                           for start in xrange(0, len(bytes), _PAGE_SIZE)]
 
1531
            data_ranges = [(start, bytes[start:start+size])
 
1532
                           for start, size in ranges]
1303
1533
        elif self._file is None:
1304
1534
            data_ranges = self._transport.readv(self._name, ranges)
1305
1535
        else:
1308
1538
                self._file.seek(offset)
1309
1539
                data_ranges.append((offset, self._file.read(size)))
1310
1540
        for offset, data in data_ranges:
 
1541
            offset -= base_offset
1311
1542
            if offset == 0:
1312
1543
                # extract the header
1313
1544
                offset, data = self._parse_header_from_bytes(data)
1341
1572
 
1342
1573
 
1343
1574
try:
1344
 
    from bzrlib import _btree_serializer_c as _btree_serializer
1345
 
except ImportError:
 
1575
    from bzrlib import _btree_serializer_pyx as _btree_serializer
 
1576
except ImportError, e:
 
1577
    osutils.failed_to_load_extension(e)
1346
1578
    from bzrlib import _btree_serializer_py as _btree_serializer