~bzr-pqm/bzr/bzr.dev

4988.10.3 by John Arbash Meinel
Merge bzr.dev 5007, resolve conflict, update NEWS
1
# Copyright (C) 2008, 2009, 2010 Canonical Ltd
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
2
#
3
# This program is free software; you can redistribute it and/or modify
4
# it under the terms of the GNU General Public License as published by
5
# the Free Software Foundation; either version 2 of the License, or
6
# (at your option) any later version.
7
#
8
# This program is distributed in the hope that it will be useful,
9
# but WITHOUT ANY WARRANTY; without even the implied warranty of
10
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
11
# GNU General Public License for more details.
12
#
13
# You should have received a copy of the GNU General Public License
14
# along with this program; if not, write to the Free Software
15
# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
16
17
"""Persistent maps from tuple_of_strings->string using CHK stores.
18
19
Overview and current status:
20
21
The CHKMap class implements a dict from tuple_of_strings->string by using a trie
22
with internal nodes of 8-bit fan out; The key tuples are mapped to strings by
23
joining them by \x00, and \x00 padding shorter keys out to the length of the
24
longest key. Leaf nodes are packed as densely as possible, and internal nodes
3735.19.1 by Ian Clatworthy
CHKMap cleanups
25
are all an additional 8-bits wide leading to a sparse upper tree.
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
26
27
Updates to a CHKMap are done preferentially via the apply_delta method, to
28
allow optimisation of the update operation; but individual map/unmap calls are
4526.9.5 by Robert Collins
Require that added ids in inventory deltas be new.
29
possible and supported. Individual changes via map/unmap are buffered in memory
30
until the _save method is called to force serialisation of the tree.
31
apply_delta records its changes immediately by performing an implicit _save.
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
32
33
TODO:
34
-----
35
36
Densely packed upper nodes.
37
38
"""
39
40
import heapq
4797.7.1 by Robert Collins
Introduce a threading.local to isolate the chk_map page cache from other threads.
41
import threading
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
42
43
from bzrlib import lazy_import
44
lazy_import.lazy_import(globals(), """
4526.9.5 by Robert Collins
Require that added ids in inventory deltas be new.
45
from bzrlib import (
46
    errors,
47
    versionedfile,
48
    )
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
49
""")
50
from bzrlib import (
51
    lru_cache,
52
    osutils,
53
    registry,
4668.3.2 by John Arbash Meinel
Don't forget to import the library...
54
    static_tuple,
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
55
    trace,
56
    )
4679.9.4 by John Arbash Meinel
A bit broken, but getting there.
57
from bzrlib.static_tuple import StaticTuple
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
58
3735.19.1 by Ian Clatworthy
CHKMap cleanups
59
# approx 4MB
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
60
# If each line is 50 bytes, and you have 255 internal pages, with 255-way fan
61
# out, it takes 3.1MB to cache the layer.
62
_PAGE_CACHE_SIZE = 4*1024*1024
4797.7.1 by Robert Collins
Introduce a threading.local to isolate the chk_map page cache from other threads.
63
# Per thread caches for 2 reasons:
64
# - in the server we may be serving very different content, so we get less
65
#   cache thrashing.
66
# - we avoid locking on every cache lookup.
67
_thread_caches = threading.local()
68
# The page cache.
69
_thread_caches.page_cache = None
70
71
def _get_cache():
72
    """Get the per-thread page cache.
73
74
    We need a function to do this because in a new thread the _thread_caches
75
    threading.local object does not have the cache initialized yet.
76
    """
77
    page_cache = getattr(_thread_caches, 'page_cache', None)
78
    if page_cache is None:
79
        # We are caching bytes so len(value) is perfectly accurate
80
        page_cache = lru_cache.LRUSizeCache(_PAGE_CACHE_SIZE)
81
        _thread_caches.page_cache = page_cache
82
    return page_cache
83
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
84
4543.2.2 by John Arbash Meinel
work out some tests that expose that bundles don't work w/ 2a formats.
85
def clear_cache():
4797.7.1 by Robert Collins
Introduce a threading.local to isolate the chk_map page cache from other threads.
86
    _get_cache().clear()
87
4543.2.2 by John Arbash Meinel
work out some tests that expose that bundles don't work w/ 2a formats.
88
3735.2.123 by Ian Clatworthy
only check for remap if changes are interesting in size
89
# If a ChildNode falls below this many bytes, we check for a remap
90
_INTERESTING_NEW_SIZE = 50
91
# If a ChildNode shrinks by more than this amount, we check for a remap
92
_INTERESTING_SHRINKAGE_LIMIT = 20
93
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
94
95
def _search_key_plain(key):
96
    """Map the key tuple into a search string that just uses the key bytes."""
97
    return '\x00'.join(key)
98
99
100
search_key_registry = registry.Registry()
101
search_key_registry.register('plain', _search_key_plain)
102
103
104
class CHKMap(object):
105
    """A persistent map from string to string backed by a CHK store."""
106
4759.1.2 by John Arbash Meinel
Change CHKMap to use __slots__
107
    __slots__ = ('_store', '_root_node', '_search_key_func')
108
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
109
    def __init__(self, store, root_key, search_key_func=None):
110
        """Create a CHKMap object.
111
112
        :param store: The store the CHKMap is stored in.
113
        :param root_key: The root key of the map. None to create an empty
114
            CHKMap.
115
        :param search_key_func: A function mapping a key => bytes. These bytes
116
            are then used by the internal nodes to split up leaf nodes into
117
            multiple pages.
118
        """
119
        self._store = store
120
        if search_key_func is None:
121
            search_key_func = _search_key_plain
122
        self._search_key_func = search_key_func
123
        if root_key is None:
124
            self._root_node = LeafNode(search_key_func=search_key_func)
125
        else:
126
            self._root_node = self._node_key(root_key)
127
128
    def apply_delta(self, delta):
129
        """Apply a delta to the map.
130
131
        :param delta: An iterable of old_key, new_key, new_value tuples.
132
            If new_key is not None, then new_key->new_value is inserted
133
            into the map; if old_key is not None, then the old mapping
134
            of old_key is removed.
135
        """
4797.62.2 by Andrew Bennetts
Change delete_count to has_deletes bool, remove unused INTERESTING_DELETES_LIMIT.
136
        has_deletes = False
4526.9.5 by Robert Collins
Require that added ids in inventory deltas be new.
137
        # Check preconditions first.
4679.9.9 by John Arbash Meinel
Create a Barrier at the CHKMap interface.
138
        as_st = StaticTuple.from_sequence
139
        new_items = set([as_st(key) for (old, key, value) in delta
140
                         if key is not None and old is None])
4526.9.5 by Robert Collins
Require that added ids in inventory deltas be new.
141
        existing_new = list(self.iteritems(key_filter=new_items))
142
        if existing_new:
143
            raise errors.InconsistentDeltaDelta(delta,
144
                "New items are already in the map %r." % existing_new)
145
        # Now apply changes.
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
146
        for old, new, value in delta:
147
            if old is not None and old != new:
3735.2.122 by Ian Clatworthy
don't check_remap on every unmap call in CHKMap.apply_delta()
148
                self.unmap(old, check_remap=False)
4797.62.2 by Andrew Bennetts
Change delete_count to has_deletes bool, remove unused INTERESTING_DELETES_LIMIT.
149
                has_deletes = True
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
150
        for old, new, value in delta:
151
            if new is not None:
152
                self.map(new, value)
4797.62.2 by Andrew Bennetts
Change delete_count to has_deletes bool, remove unused INTERESTING_DELETES_LIMIT.
153
        if has_deletes:
3735.2.122 by Ian Clatworthy
don't check_remap on every unmap call in CHKMap.apply_delta()
154
            self._check_remap()
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
155
        return self._save()
156
157
    def _ensure_root(self):
158
        """Ensure that the root node is an object not a key."""
4679.9.4 by John Arbash Meinel
A bit broken, but getting there.
159
        if type(self._root_node) is StaticTuple:
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
160
            # Demand-load the root
161
            self._root_node = self._get_node(self._root_node)
162
163
    def _get_node(self, node):
164
        """Get a node.
165
3735.19.1 by Ian Clatworthy
CHKMap cleanups
166
        Note that this does not update the _items dict in objects containing a
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
167
        reference to this node. As such it does not prevent subsequent IO being
168
        performed.
169
170
        :param node: A tuple key or node object.
171
        :return: A node object.
172
        """
4679.9.4 by John Arbash Meinel
A bit broken, but getting there.
173
        if type(node) is StaticTuple:
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
174
            bytes = self._read_bytes(node)
175
            return _deserialise(bytes, node,
176
                search_key_func=self._search_key_func)
177
        else:
178
            return node
179
180
    def _read_bytes(self, key):
3735.2.124 by Ian Clatworthy
use the page cache in CHKMap._read_bytes()
181
        try:
4797.7.1 by Robert Collins
Introduce a threading.local to isolate the chk_map page cache from other threads.
182
            return _get_cache()[key]
3735.2.124 by Ian Clatworthy
use the page cache in CHKMap._read_bytes()
183
        except KeyError:
184
            stream = self._store.get_record_stream([key], 'unordered', True)
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
185
            bytes = stream.next().get_bytes_as('fulltext')
4797.7.1 by Robert Collins
Introduce a threading.local to isolate the chk_map page cache from other threads.
186
            _get_cache()[key] = bytes
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
187
            return bytes
188
189
    def _dump_tree(self, include_keys=False):
190
        """Return the tree in a string representation."""
191
        self._ensure_root()
192
        res = self._dump_tree_node(self._root_node, prefix='', indent='',
193
                                   include_keys=include_keys)
194
        res.append('') # Give a trailing '\n'
195
        return '\n'.join(res)
196
197
    def _dump_tree_node(self, node, prefix, indent, include_keys=True):
198
        """For this node and all children, generate a string representation."""
199
        result = []
200
        if not include_keys:
201
            key_str = ''
202
        else:
203
            node_key = node.key()
204
            if node_key is not None:
205
                key_str = ' %s' % (node_key[0],)
206
            else:
207
                key_str = ' None'
208
        result.append('%s%r %s%s' % (indent, prefix, node.__class__.__name__,
209
                                     key_str))
210
        if type(node) is InternalNode:
211
            # Trigger all child nodes to get loaded
212
            list(node._iter_nodes(self._store))
213
            for prefix, sub in sorted(node._items.iteritems()):
214
                result.extend(self._dump_tree_node(sub, prefix, indent + '  ',
215
                                                   include_keys=include_keys))
216
        else:
217
            for key, value in sorted(node._items.iteritems()):
218
                # Don't use prefix nor indent here to line up when used in
219
                # tests in conjunction with assertEqualDiff
4679.9.1 by John Arbash Meinel
Merge in the static-tuple-no-use branch, and bring back the chk_map use.
220
                result.append('      %r %r' % (tuple(key), value))
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
221
        return result
222
223
    @classmethod
3735.19.1 by Ian Clatworthy
CHKMap cleanups
224
    def from_dict(klass, store, initial_value, maximum_size=0, key_width=1,
225
        search_key_func=None):
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
226
        """Create a CHKMap in store with initial_value as the content.
227
228
        :param store: The store to record initial_value in, a VersionedFiles
229
            object with 1-tuple keys supporting CHK key generation.
230
        :param initial_value: A dict to store in store. Its keys and values
231
            must be bytestrings.
232
        :param maximum_size: The maximum_size rule to apply to nodes. This
233
            determines the size at which no new data is added to a single node.
234
        :param key_width: The number of elements in each key_tuple being stored
235
            in this map.
3735.19.1 by Ian Clatworthy
CHKMap cleanups
236
        :param search_key_func: A function mapping a key => bytes. These bytes
237
            are then used by the internal nodes to split up leaf nodes into
238
            multiple pages.
239
        :return: The root chk of the resulting CHKMap.
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
240
        """
4413.5.7 by John Arbash Meinel
Switch to using a single code path for from_dict().
241
        root_key = klass._create_directly(store, initial_value,
242
            maximum_size=maximum_size, key_width=key_width,
243
            search_key_func=search_key_func)
4679.9.15 by John Arbash Meinel
Cleanup some code paths. Make _check_key a helper that can be used
244
        if type(root_key) is not StaticTuple:
245
            raise AssertionError('we got a %s instead of a StaticTuple'
246
                                 % (type(root_key),))
4413.5.5 by John Arbash Meinel
Make it more obvious how the two creation methods are defined.
247
        return root_key
248
249
    @classmethod
250
    def _create_via_map(klass, store, initial_value, maximum_size=0,
251
                        key_width=1, search_key_func=None):
252
        result = klass(store, None, search_key_func=search_key_func)
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
253
        result._root_node.set_maximum_size(maximum_size)
254
        result._root_node._key_width = key_width
255
        delta = []
256
        for key, value in initial_value.items():
257
            delta.append((None, key, value))
4413.5.4 by John Arbash Meinel
Change CHKMap.from_dict to create a LeafNode and split it.
258
        root_key = result.apply_delta(delta)
4413.5.5 by John Arbash Meinel
Make it more obvious how the two creation methods are defined.
259
        return root_key
260
261
    @classmethod
262
    def _create_directly(klass, store, initial_value, maximum_size=0,
263
                         key_width=1, search_key_func=None):
4413.5.4 by John Arbash Meinel
Change CHKMap.from_dict to create a LeafNode and split it.
264
        node = LeafNode(search_key_func=search_key_func)
265
        node.set_maximum_size(maximum_size)
266
        node._key_width = key_width
4679.9.9 by John Arbash Meinel
Create a Barrier at the CHKMap interface.
267
        as_st = StaticTuple.from_sequence
268
        node._items = dict([(as_st(key), val) for key, val
269
                                               in initial_value.iteritems()])
4413.5.4 by John Arbash Meinel
Change CHKMap.from_dict to create a LeafNode and split it.
270
        node._raw_size = sum([node._key_value_len(key, value)
4679.9.9 by John Arbash Meinel
Create a Barrier at the CHKMap interface.
271
                              for key,value in node._items.iteritems()])
4413.5.4 by John Arbash Meinel
Change CHKMap.from_dict to create a LeafNode and split it.
272
        node._len = len(node._items)
273
        node._compute_search_prefix()
274
        node._compute_serialised_prefix()
275
        if (node._len > 1
276
            and maximum_size
277
            and node._current_size() > maximum_size):
278
            prefix, node_details = node._split(store)
4413.5.8 by John Arbash Meinel
Change some asserts into raise: calls.
279
            if len(node_details) == 1:
280
                raise AssertionError('Failed to split using node._split')
4413.5.4 by John Arbash Meinel
Change CHKMap.from_dict to create a LeafNode and split it.
281
            node = InternalNode(prefix, search_key_func=search_key_func)
282
            node.set_maximum_size(maximum_size)
283
            node._key_width = key_width
284
            for split, subnode in node_details:
285
                node.add_node(split, subnode)
286
        keys = list(node.serialise(store))
4679.9.15 by John Arbash Meinel
Cleanup some code paths. Make _check_key a helper that can be used
287
        return keys[-1]
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
288
289
    def iter_changes(self, basis):
290
        """Iterate over the changes between basis and self.
291
292
        :return: An iterator of tuples: (key, old_value, new_value). Old_value
293
            is None for keys only in self; new_value is None for keys only in
294
            basis.
295
        """
296
        # Overview:
297
        # Read both trees in lexographic, highest-first order.
298
        # Any identical nodes we skip
299
        # Any unique prefixes we output immediately.
300
        # values in a leaf node are treated as single-value nodes in the tree
301
        # which allows them to be not-special-cased. We know to output them
302
        # because their value is a string, not a key(tuple) or node.
303
        #
304
        # corner cases to beware of when considering this function:
305
        # *) common references are at different heights.
306
        #    consider two trees:
307
        #    {'a': LeafNode={'aaa':'foo', 'aab':'bar'}, 'b': LeafNode={'b'}}
308
        #    {'a': InternalNode={'aa':LeafNode={'aaa':'foo', 'aab':'bar'},
309
        #                        'ab':LeafNode={'ab':'bar'}}
310
        #     'b': LeafNode={'b'}}
311
        #    the node with aaa/aab will only be encountered in the second tree
312
        #    after reading the 'a' subtree, but it is encountered in the first
313
        #    tree immediately. Variations on this may have read internal nodes
314
        #    like this.  we want to cut the entire pending subtree when we
315
        #    realise we have a common node.  For this we use a list of keys -
316
        #    the path to a node - and check the entire path is clean as we
317
        #    process each item.
318
        if self._node_key(self._root_node) == self._node_key(basis._root_node):
319
            return
320
        self._ensure_root()
321
        basis._ensure_root()
322
        excluded_keys = set()
323
        self_node = self._root_node
324
        basis_node = basis._root_node
325
        # A heap, each element is prefix, node(tuple/NodeObject/string),
326
        # key_path (a list of tuples, tail-sharing down the tree.)
327
        self_pending = []
328
        basis_pending = []
329
        def process_node(node, path, a_map, pending):
330
            # take a node and expand it
331
            node = a_map._get_node(node)
332
            if type(node) == LeafNode:
333
                path = (node._key, path)
334
                for key, value in node._items.items():
335
                    # For a LeafNode, the key is a serialized_key, rather than
336
                    # a search_key, but the heap is using search_keys
337
                    search_key = node._search_key_func(key)
338
                    heapq.heappush(pending, (search_key, key, value, path))
339
            else:
340
                # type(node) == InternalNode
341
                path = (node._key, path)
342
                for prefix, child in node._items.items():
343
                    heapq.heappush(pending, (prefix, None, child, path))
344
        def process_common_internal_nodes(self_node, basis_node):
345
            self_items = set(self_node._items.items())
346
            basis_items = set(basis_node._items.items())
347
            path = (self_node._key, None)
348
            for prefix, child in self_items - basis_items:
349
                heapq.heappush(self_pending, (prefix, None, child, path))
350
            path = (basis_node._key, None)
351
            for prefix, child in basis_items - self_items:
352
                heapq.heappush(basis_pending, (prefix, None, child, path))
353
        def process_common_leaf_nodes(self_node, basis_node):
354
            self_items = set(self_node._items.items())
355
            basis_items = set(basis_node._items.items())
356
            path = (self_node._key, None)
357
            for key, value in self_items - basis_items:
358
                prefix = self._search_key_func(key)
359
                heapq.heappush(self_pending, (prefix, key, value, path))
360
            path = (basis_node._key, None)
361
            for key, value in basis_items - self_items:
362
                prefix = basis._search_key_func(key)
363
                heapq.heappush(basis_pending, (prefix, key, value, path))
364
        def process_common_prefix_nodes(self_node, self_path,
365
                                        basis_node, basis_path):
366
            # Would it be more efficient if we could request both at the same
367
            # time?
368
            self_node = self._get_node(self_node)
369
            basis_node = basis._get_node(basis_node)
370
            if (type(self_node) == InternalNode
371
                and type(basis_node) == InternalNode):
372
                # Matching internal nodes
373
                process_common_internal_nodes(self_node, basis_node)
374
            elif (type(self_node) == LeafNode
375
                  and type(basis_node) == LeafNode):
376
                process_common_leaf_nodes(self_node, basis_node)
377
            else:
378
                process_node(self_node, self_path, self, self_pending)
379
                process_node(basis_node, basis_path, basis, basis_pending)
380
        process_common_prefix_nodes(self_node, None, basis_node, None)
381
        self_seen = set()
382
        basis_seen = set()
383
        excluded_keys = set()
384
        def check_excluded(key_path):
385
            # Note that this is N^2, it depends on us trimming trees
386
            # aggressively to not become slow.
387
            # A better implementation would probably have a reverse map
388
            # back to the children of a node, and jump straight to it when
389
            # a common node is detected, the proceed to remove the already
390
            # pending children. bzrlib.graph has a searcher module with a
391
            # similar problem.
392
            while key_path is not None:
393
                key, key_path = key_path
394
                if key in excluded_keys:
395
                    return True
396
            return False
397
398
        loop_counter = 0
399
        while self_pending or basis_pending:
400
            loop_counter += 1
401
            if not self_pending:
402
                # self is exhausted: output remainder of basis
403
                for prefix, key, node, path in basis_pending:
404
                    if check_excluded(path):
405
                        continue
406
                    node = basis._get_node(node)
407
                    if key is not None:
408
                        # a value
409
                        yield (key, node, None)
410
                    else:
411
                        # subtree - fastpath the entire thing.
412
                        for key, value in node.iteritems(basis._store):
413
                            yield (key, value, None)
414
                return
415
            elif not basis_pending:
416
                # basis is exhausted: output remainder of self.
417
                for prefix, key, node, path in self_pending:
418
                    if check_excluded(path):
419
                        continue
420
                    node = self._get_node(node)
421
                    if key is not None:
422
                        # a value
423
                        yield (key, None, node)
424
                    else:
425
                        # subtree - fastpath the entire thing.
426
                        for key, value in node.iteritems(self._store):
427
                            yield (key, None, value)
428
                return
429
            else:
430
                # XXX: future optimisation - yield the smaller items
431
                # immediately rather than pushing everything on/off the
432
                # heaps. Applies to both internal nodes and leafnodes.
433
                if self_pending[0][0] < basis_pending[0][0]:
434
                    # expand self
435
                    prefix, key, node, path = heapq.heappop(self_pending)
436
                    if check_excluded(path):
437
                        continue
438
                    if key is not None:
439
                        # a value
440
                        yield (key, None, node)
441
                    else:
442
                        process_node(node, path, self, self_pending)
443
                        continue
444
                elif self_pending[0][0] > basis_pending[0][0]:
445
                    # expand basis
446
                    prefix, key, node, path = heapq.heappop(basis_pending)
447
                    if check_excluded(path):
448
                        continue
449
                    if key is not None:
450
                        # a value
451
                        yield (key, node, None)
452
                    else:
453
                        process_node(node, path, basis, basis_pending)
454
                        continue
455
                else:
456
                    # common prefix: possibly expand both
457
                    if self_pending[0][1] is None:
458
                        # process next self
459
                        read_self = True
460
                    else:
461
                        read_self = False
462
                    if basis_pending[0][1] is None:
463
                        # process next basis
464
                        read_basis = True
465
                    else:
466
                        read_basis = False
467
                    if not read_self and not read_basis:
468
                        # compare a common value
469
                        self_details = heapq.heappop(self_pending)
470
                        basis_details = heapq.heappop(basis_pending)
471
                        if self_details[2] != basis_details[2]:
472
                            yield (self_details[1],
473
                                basis_details[2], self_details[2])
474
                        continue
475
                    # At least one side wasn't a simple value
476
                    if (self._node_key(self_pending[0][2]) ==
477
                        self._node_key(basis_pending[0][2])):
478
                        # Identical pointers, skip (and don't bother adding to
479
                        # excluded, it won't turn up again.
480
                        heapq.heappop(self_pending)
481
                        heapq.heappop(basis_pending)
482
                        continue
483
                    # Now we need to expand this node before we can continue
484
                    if read_self and read_basis:
485
                        # Both sides start with the same prefix, so process
486
                        # them in parallel
487
                        self_prefix, _, self_node, self_path = heapq.heappop(
488
                            self_pending)
489
                        basis_prefix, _, basis_node, basis_path = heapq.heappop(
490
                            basis_pending)
491
                        if self_prefix != basis_prefix:
492
                            raise AssertionError(
493
                                '%r != %r' % (self_prefix, basis_prefix))
494
                        process_common_prefix_nodes(
495
                            self_node, self_path,
496
                            basis_node, basis_path)
497
                        continue
498
                    if read_self:
499
                        prefix, key, node, path = heapq.heappop(self_pending)
500
                        if check_excluded(path):
501
                            continue
502
                        process_node(node, path, self, self_pending)
503
                    if read_basis:
504
                        prefix, key, node, path = heapq.heappop(basis_pending)
505
                        if check_excluded(path):
506
                            continue
507
                        process_node(node, path, basis, basis_pending)
508
        # print loop_counter
509
510
    def iteritems(self, key_filter=None):
511
        """Iterate over the entire CHKMap's contents."""
512
        self._ensure_root()
4679.9.10 by John Arbash Meinel
Change the testing layer so that CHKMap is tested using tuples.
513
        if key_filter is not None:
514
            as_st = StaticTuple.from_sequence
515
            key_filter = [as_st(key) for key in key_filter]
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
516
        return self._root_node.iteritems(self._store, key_filter=key_filter)
517
518
    def key(self):
519
        """Return the key for this map."""
4679.9.4 by John Arbash Meinel
A bit broken, but getting there.
520
        if type(self._root_node) is StaticTuple:
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
521
            return self._root_node
522
        else:
523
            return self._root_node._key
524
525
    def __len__(self):
526
        self._ensure_root()
527
        return len(self._root_node)
528
529
    def map(self, key, value):
4526.9.5 by Robert Collins
Require that added ids in inventory deltas be new.
530
        """Map a key tuple to value.
531
        
532
        :param key: A key to map.
533
        :param value: The value to assign to key.
534
        """
4679.9.9 by John Arbash Meinel
Create a Barrier at the CHKMap interface.
535
        key = StaticTuple.from_sequence(key)
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
536
        # Need a root object.
537
        self._ensure_root()
538
        prefix, node_details = self._root_node.map(self._store, key, value)
539
        if len(node_details) == 1:
540
            self._root_node = node_details[0][1]
541
        else:
542
            self._root_node = InternalNode(prefix,
543
                                search_key_func=self._search_key_func)
544
            self._root_node.set_maximum_size(node_details[0][1].maximum_size)
545
            self._root_node._key_width = node_details[0][1]._key_width
546
            for split, node in node_details:
547
                self._root_node.add_node(split, node)
548
549
    def _node_key(self, node):
3735.19.1 by Ian Clatworthy
CHKMap cleanups
550
        """Get the key for a node whether it's a tuple or node."""
4679.9.9 by John Arbash Meinel
Create a Barrier at the CHKMap interface.
551
        if type(node) is tuple:
552
            node = StaticTuple.from_sequence(node)
4679.9.4 by John Arbash Meinel
A bit broken, but getting there.
553
        if type(node) is StaticTuple:
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
554
            return node
555
        else:
556
            return node._key
557
3735.2.122 by Ian Clatworthy
don't check_remap on every unmap call in CHKMap.apply_delta()
558
    def unmap(self, key, check_remap=True):
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
559
        """remove key from the map."""
4679.9.9 by John Arbash Meinel
Create a Barrier at the CHKMap interface.
560
        key = StaticTuple.from_sequence(key)
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
561
        self._ensure_root()
562
        if type(self._root_node) is InternalNode:
3735.2.122 by Ian Clatworthy
don't check_remap on every unmap call in CHKMap.apply_delta()
563
            unmapped = self._root_node.unmap(self._store, key,
564
                check_remap=check_remap)
565
        else:
566
            unmapped = self._root_node.unmap(self._store, key)
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
567
        self._root_node = unmapped
568
3735.2.122 by Ian Clatworthy
don't check_remap on every unmap call in CHKMap.apply_delta()
569
    def _check_remap(self):
570
        """Check if nodes can be collapsed."""
571
        self._ensure_root()
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
572
        if type(self._root_node) is InternalNode:
4797.62.1 by Andrew Bennetts
Fix bug in CHKMap.apply_delta that allowed it to create non-canonical trees.
573
            self._root_node = self._root_node._check_remap(self._store)
3735.2.122 by Ian Clatworthy
don't check_remap on every unmap call in CHKMap.apply_delta()
574
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
575
    def _save(self):
576
        """Save the map completely.
577
578
        :return: The key of the root node.
579
        """
4679.9.4 by John Arbash Meinel
A bit broken, but getting there.
580
        if type(self._root_node) is StaticTuple:
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
581
            # Already saved.
582
            return self._root_node
583
        keys = list(self._root_node.serialise(self._store))
584
        return keys[-1]
585
586
587
class Node(object):
588
    """Base class defining the protocol for CHK Map nodes.
589
590
    :ivar _raw_size: The total size of the serialized key:value data, before
591
        adding the header bytes, and without prefix compression.
592
    """
593
4759.1.2 by John Arbash Meinel
Change CHKMap to use __slots__
594
    __slots__ = ('_key', '_len', '_maximum_size', '_key_width',
595
                 '_raw_size', '_items', '_search_prefix', '_search_key_func'
596
                )
597
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
598
    def __init__(self, key_width=1):
599
        """Create a node.
600
601
        :param key_width: The width of keys for this node.
602
        """
603
        self._key = None
604
        # Current number of elements
605
        self._len = 0
606
        self._maximum_size = 0
3735.19.1 by Ian Clatworthy
CHKMap cleanups
607
        self._key_width = key_width
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
608
        # current size in bytes
609
        self._raw_size = 0
610
        # The pointers/values this node has - meaning defined by child classes.
611
        self._items = {}
612
        # The common search prefix
613
        self._search_prefix = None
614
615
    def __repr__(self):
616
        items_str = str(sorted(self._items))
617
        if len(items_str) > 20:
3735.2.154 by Ian Clatworthy
fix chk_map Node %r formatting
618
            items_str = items_str[:16] + '...]'
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
619
        return '%s(key:%s len:%s size:%s max:%s prefix:%s items:%s)' % (
620
            self.__class__.__name__, self._key, self._len, self._raw_size,
621
            self._maximum_size, self._search_prefix, items_str)
622
623
    def key(self):
624
        return self._key
625
626
    def __len__(self):
627
        return self._len
628
629
    @property
630
    def maximum_size(self):
631
        """What is the upper limit for adding references to a node."""
632
        return self._maximum_size
633
634
    def set_maximum_size(self, new_size):
635
        """Set the size threshold for nodes.
636
637
        :param new_size: The size at which no data is added to a node. 0 for
638
            unlimited.
639
        """
640
        self._maximum_size = new_size
641
642
    @classmethod
643
    def common_prefix(cls, prefix, key):
644
        """Given 2 strings, return the longest prefix common to both.
645
646
        :param prefix: This has been the common prefix for other keys, so it is
647
            more likely to be the common prefix in this case as well.
648
        :param key: Another string to compare to
649
        """
650
        if key.startswith(prefix):
651
            return prefix
4358.1.1 by Jelmer Vernooij
Support empty keys when looking for common prefixes in CHKMap.
652
        pos = -1
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
653
        # Is there a better way to do this?
654
        for pos, (left, right) in enumerate(zip(prefix, key)):
655
            if left != right:
656
                pos -= 1
657
                break
658
        common = prefix[:pos+1]
659
        return common
660
661
    @classmethod
662
    def common_prefix_for_keys(cls, keys):
663
        """Given a list of keys, find their common prefix.
664
665
        :param keys: An iterable of strings.
666
        :return: The longest common prefix of all keys.
667
        """
668
        common_prefix = None
669
        for key in keys:
670
            if common_prefix is None:
671
                common_prefix = key
672
                continue
673
            common_prefix = cls.common_prefix(common_prefix, key)
674
            if not common_prefix:
675
                # if common_prefix is the empty string, then we know it won't
676
                # change further
677
                return ''
678
        return common_prefix
679
680
681
# Singleton indicating we have not computed _search_prefix yet
682
_unknown = object()
683
684
class LeafNode(Node):
685
    """A node containing actual key:value pairs.
686
687
    :ivar _items: A dict of key->value items. The key is in tuple form.
688
    :ivar _size: The number of bytes that would be used by serializing all of
689
        the key/value pairs.
690
    """
691
5169.3.1 by Martin
Make LeafNode._serialise_key a static method on the class rather than the instance
692
    __slots__ = ('_common_serialised_prefix',)
4759.1.2 by John Arbash Meinel
Change CHKMap to use __slots__
693
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
694
    def __init__(self, search_key_func=None):
695
        Node.__init__(self)
696
        # All of the keys in this leaf node share this common prefix
697
        self._common_serialised_prefix = None
698
        if search_key_func is None:
699
            self._search_key_func = _search_key_plain
700
        else:
701
            self._search_key_func = search_key_func
702
703
    def __repr__(self):
3735.2.154 by Ian Clatworthy
fix chk_map Node %r formatting
704
        items_str = str(sorted(self._items))
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
705
        if len(items_str) > 20:
3735.2.154 by Ian Clatworthy
fix chk_map Node %r formatting
706
            items_str = items_str[:16] + '...]'
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
707
        return \
708
            '%s(key:%s len:%s size:%s max:%s prefix:%s keywidth:%s items:%s)' \
709
            % (self.__class__.__name__, self._key, self._len, self._raw_size,
710
            self._maximum_size, self._search_prefix, self._key_width, items_str)
711
712
    def _current_size(self):
713
        """Answer the current serialised size of this node.
714
715
        This differs from self._raw_size in that it includes the bytes used for
716
        the header.
717
        """
718
        if self._common_serialised_prefix is None:
719
            bytes_for_items = 0
720
            prefix_len = 0
721
        else:
722
            # We will store a single string with the common prefix
723
            # And then that common prefix will not be stored in any of the
724
            # entry lines
725
            prefix_len = len(self._common_serialised_prefix)
726
            bytes_for_items = (self._raw_size - (prefix_len * self._len))
727
        return (9 # 'chkleaf:\n'
728
            + len(str(self._maximum_size)) + 1
729
            + len(str(self._key_width)) + 1
730
            + len(str(self._len)) + 1
731
            + prefix_len + 1
732
            + bytes_for_items)
733
734
    @classmethod
735
    def deserialise(klass, bytes, key, search_key_func=None):
736
        """Deserialise bytes, with key key, into a LeafNode.
737
738
        :param bytes: The bytes of the node.
739
        :param key: The key that the serialised node has.
740
        """
4668.3.1 by John Arbash Meinel
Fix bug #471193, allow tuples into the CHK code.
741
        key = static_tuple.expect_static_tuple(key)
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
742
        return _deserialise_leaf_node(bytes, key,
743
                                      search_key_func=search_key_func)
744
745
    def iteritems(self, store, key_filter=None):
746
        """Iterate over items in the node.
747
748
        :param key_filter: A filter to apply to the node. It should be a
749
            list/set/dict or similar repeatedly iterable container.
750
        """
751
        if key_filter is not None:
752
            # Adjust the filter - short elements go to a prefix filter. All
753
            # other items are looked up directly.
754
            # XXX: perhaps defaultdict? Profiling<rinse and repeat>
755
            filters = {}
756
            for key in key_filter:
757
                if len(key) == self._key_width:
758
                    # This filter is meant to match exactly one key, yield it
759
                    # if we have it.
760
                    try:
761
                        yield key, self._items[key]
762
                    except KeyError:
763
                        # This key is not present in this map, continue
764
                        pass
765
                else:
766
                    # Short items, we need to match based on a prefix
767
                    length_filter = filters.setdefault(len(key), set())
768
                    length_filter.add(key)
769
            if filters:
770
                filters = filters.items()
771
                for item in self._items.iteritems():
772
                    for length, length_filter in filters:
773
                        if item[0][:length] in length_filter:
774
                            yield item
775
                            break
776
        else:
777
            for item in self._items.iteritems():
778
                yield item
779
780
    def _key_value_len(self, key, value):
781
        # TODO: Should probably be done without actually joining the key, but
782
        #       then that can be done via the C extension
783
        return (len(self._serialise_key(key)) + 1
784
                + len(str(value.count('\n'))) + 1
785
                + len(value) + 1)
786
787
    def _search_key(self, key):
788
        return self._search_key_func(key)
789
790
    def _map_no_split(self, key, value):
791
        """Map a key to a value.
792
793
        This assumes either the key does not already exist, or you have already
794
        removed its size and length from self.
795
796
        :return: True if adding this node should cause us to split.
797
        """
798
        self._items[key] = value
799
        self._raw_size += self._key_value_len(key, value)
800
        self._len += 1
801
        serialised_key = self._serialise_key(key)
802
        if self._common_serialised_prefix is None:
803
            self._common_serialised_prefix = serialised_key
804
        else:
805
            self._common_serialised_prefix = self.common_prefix(
806
                self._common_serialised_prefix, serialised_key)
807
        search_key = self._search_key(key)
808
        if self._search_prefix is _unknown:
809
            self._compute_search_prefix()
810
        if self._search_prefix is None:
811
            self._search_prefix = search_key
812
        else:
813
            self._search_prefix = self.common_prefix(
814
                self._search_prefix, search_key)
815
        if (self._len > 1
816
            and self._maximum_size
817
            and self._current_size() > self._maximum_size):
818
            # Check to see if all of the search_keys for this node are
819
            # identical. We allow the node to grow under that circumstance
820
            # (we could track this as common state, but it is infrequent)
821
            if (search_key != self._search_prefix
822
                or not self._are_search_keys_identical()):
823
                return True
824
        return False
825
826
    def _split(self, store):
827
        """We have overflowed.
828
829
        Split this node into multiple LeafNodes, return it up the stack so that
830
        the next layer creates a new InternalNode and references the new nodes.
831
832
        :return: (common_serialised_prefix, [(node_serialised_prefix, node)])
833
        """
834
        if self._search_prefix is _unknown:
835
            raise AssertionError('Search prefix must be known')
836
        common_prefix = self._search_prefix
837
        split_at = len(common_prefix) + 1
838
        result = {}
839
        for key, value in self._items.iteritems():
840
            search_key = self._search_key(key)
841
            prefix = search_key[:split_at]
842
            # TODO: Generally only 1 key can be exactly the right length,
843
            #       which means we can only have 1 key in the node pointed
844
            #       at by the 'prefix\0' key. We might want to consider
845
            #       folding it into the containing InternalNode rather than
846
            #       having a fixed length-1 node.
847
            #       Note this is probably not true for hash keys, as they
848
            #       may get a '\00' node anywhere, but won't have keys of
849
            #       different lengths.
850
            if len(prefix) < split_at:
851
                prefix += '\x00'*(split_at - len(prefix))
852
            if prefix not in result:
853
                node = LeafNode(search_key_func=self._search_key_func)
854
                node.set_maximum_size(self._maximum_size)
855
                node._key_width = self._key_width
856
                result[prefix] = node
857
            else:
858
                node = result[prefix]
4413.5.4 by John Arbash Meinel
Change CHKMap.from_dict to create a LeafNode and split it.
859
            sub_prefix, node_details = node.map(store, key, value)
860
            if len(node_details) > 1:
861
                if prefix != sub_prefix:
862
                    # This node has been split and is now found via a different
863
                    # path
864
                    result.pop(prefix)
865
                new_node = InternalNode(sub_prefix,
866
                    search_key_func=self._search_key_func)
867
                new_node.set_maximum_size(self._maximum_size)
868
                new_node._key_width = self._key_width
869
                for split, node in node_details:
870
                    new_node.add_node(split, node)
871
                result[prefix] = new_node
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
872
        return common_prefix, result.items()
873
874
    def map(self, store, key, value):
875
        """Map key to value."""
876
        if key in self._items:
877
            self._raw_size -= self._key_value_len(key, self._items[key])
878
            self._len -= 1
879
        self._key = None
880
        if self._map_no_split(key, value):
881
            return self._split(store)
882
        else:
883
            if self._search_prefix is _unknown:
884
                raise AssertionError('%r must be known' % self._search_prefix)
885
            return self._search_prefix, [("", self)]
886
5169.3.1 by Martin
Make LeafNode._serialise_key a static method on the class rather than the instance
887
    _serialise_key = '\x00'.join
888
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
889
    def serialise(self, store):
890
        """Serialise the LeafNode to store.
891
892
        :param store: A VersionedFiles honouring the CHK extensions.
893
        :return: An iterable of the keys inserted by this operation.
894
        """
895
        lines = ["chkleaf:\n"]
896
        lines.append("%d\n" % self._maximum_size)
897
        lines.append("%d\n" % self._key_width)
898
        lines.append("%d\n" % self._len)
899
        if self._common_serialised_prefix is None:
900
            lines.append('\n')
901
            if len(self._items) != 0:
902
                raise AssertionError('If _common_serialised_prefix is None'
903
                    ' we should have no items')
904
        else:
905
            lines.append('%s\n' % (self._common_serialised_prefix,))
906
            prefix_len = len(self._common_serialised_prefix)
907
        for key, value in sorted(self._items.items()):
908
            # Always add a final newline
909
            value_lines = osutils.chunks_to_lines([value + '\n'])
910
            serialized = "%s\x00%s\n" % (self._serialise_key(key),
911
                                         len(value_lines))
912
            if not serialized.startswith(self._common_serialised_prefix):
913
                raise AssertionError('We thought the common prefix was %r'
914
                    ' but entry %r does not have it in common'
915
                    % (self._common_serialised_prefix, serialized))
916
            lines.append(serialized[prefix_len:])
917
            lines.extend(value_lines)
918
        sha1, _, _ = store.add_lines((None,), (), lines)
4679.9.4 by John Arbash Meinel
A bit broken, but getting there.
919
        self._key = StaticTuple("sha1:" + sha1,).intern()
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
920
        bytes = ''.join(lines)
921
        if len(bytes) != self._current_size():
922
            raise AssertionError('Invalid _current_size')
4797.7.1 by Robert Collins
Introduce a threading.local to isolate the chk_map page cache from other threads.
923
        _get_cache().add(self._key, bytes)
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
924
        return [self._key]
925
926
    def refs(self):
927
        """Return the references to other CHK's held by this node."""
928
        return []
929
930
    def _compute_search_prefix(self):
931
        """Determine the common search prefix for all keys in this node.
932
933
        :return: A bytestring of the longest search key prefix that is
934
            unique within this node.
935
        """
936
        search_keys = [self._search_key_func(key) for key in self._items]
937
        self._search_prefix = self.common_prefix_for_keys(search_keys)
938
        return self._search_prefix
939
940
    def _are_search_keys_identical(self):
941
        """Check to see if the search keys for all entries are the same.
942
943
        When using a hash as the search_key it is possible for non-identical
944
        keys to collide. If that happens enough, we may try overflow a
945
        LeafNode, but as all are collisions, we must not split.
946
        """
947
        common_search_key = None
948
        for key in self._items:
949
            search_key = self._search_key(key)
950
            if common_search_key is None:
951
                common_search_key = search_key
952
            elif search_key != common_search_key:
953
                return False
954
        return True
955
956
    def _compute_serialised_prefix(self):
957
        """Determine the common prefix for serialised keys in this node.
958
959
        :return: A bytestring of the longest serialised key prefix that is
960
            unique within this node.
961
        """
962
        serialised_keys = [self._serialise_key(key) for key in self._items]
963
        self._common_serialised_prefix = self.common_prefix_for_keys(
964
            serialised_keys)
3735.19.1 by Ian Clatworthy
CHKMap cleanups
965
        return self._common_serialised_prefix
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
966
967
    def unmap(self, store, key):
968
        """Unmap key from the node."""
969
        try:
970
            self._raw_size -= self._key_value_len(key, self._items[key])
971
        except KeyError:
972
            trace.mutter("key %s not found in %r", key, self._items)
973
            raise
974
        self._len -= 1
975
        del self._items[key]
976
        self._key = None
977
        # Recompute from scratch
978
        self._compute_search_prefix()
979
        self._compute_serialised_prefix()
980
        return self
981
982
983
class InternalNode(Node):
984
    """A node that contains references to other nodes.
985
986
    An InternalNode is responsible for mapping search key prefixes to child
987
    nodes.
988
989
    :ivar _items: serialised_key => node dictionary. node may be a tuple,
990
        LeafNode or InternalNode.
991
    """
992
4759.1.2 by John Arbash Meinel
Change CHKMap to use __slots__
993
    __slots__ = ('_node_width',)
994
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
995
    def __init__(self, prefix='', search_key_func=None):
996
        Node.__init__(self)
997
        # The size of an internalnode with default values and no children.
998
        # How many octets key prefixes within this node are.
999
        self._node_width = 0
1000
        self._search_prefix = prefix
1001
        if search_key_func is None:
1002
            self._search_key_func = _search_key_plain
1003
        else:
1004
            self._search_key_func = search_key_func
1005
1006
    def add_node(self, prefix, node):
1007
        """Add a child node with prefix prefix, and node node.
1008
1009
        :param prefix: The search key prefix for node.
1010
        :param node: The node being added.
1011
        """
3735.2.126 by Ian Clatworthy
replace asserts in chk_map.py with AssertionErrors
1012
        if self._search_prefix is None:
1013
            raise AssertionError("_search_prefix should not be None")
1014
        if not prefix.startswith(self._search_prefix):
1015
            raise AssertionError("prefixes mismatch: %s must start with %s"
1016
                % (prefix,self._search_prefix))
1017
        if len(prefix) != len(self._search_prefix) + 1:
1018
            raise AssertionError("prefix wrong length: len(%s) is not %d" %
1019
                (prefix, len(self._search_prefix) + 1))
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
1020
        self._len += len(node)
1021
        if not len(self._items):
1022
            self._node_width = len(prefix)
3735.2.126 by Ian Clatworthy
replace asserts in chk_map.py with AssertionErrors
1023
        if self._node_width != len(self._search_prefix) + 1:
1024
            raise AssertionError("node width mismatch: %d is not %d" %
1025
                (self._node_width, len(self._search_prefix) + 1))
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
1026
        self._items[prefix] = node
1027
        self._key = None
1028
1029
    def _current_size(self):
1030
        """Answer the current serialised size of this node."""
1031
        return (self._raw_size + len(str(self._len)) + len(str(self._key_width)) +
1032
            len(str(self._maximum_size)))
1033
1034
    @classmethod
1035
    def deserialise(klass, bytes, key, search_key_func=None):
1036
        """Deserialise bytes to an InternalNode, with key key.
1037
1038
        :param bytes: The bytes of the node.
1039
        :param key: The key that the serialised node has.
1040
        :return: An InternalNode instance.
1041
        """
4668.3.1 by John Arbash Meinel
Fix bug #471193, allow tuples into the CHK code.
1042
        key = static_tuple.expect_static_tuple(key)
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
1043
        return _deserialise_internal_node(bytes, key,
1044
                                          search_key_func=search_key_func)
1045
1046
    def iteritems(self, store, key_filter=None):
1047
        for node, node_filter in self._iter_nodes(store, key_filter=key_filter):
1048
            for item in node.iteritems(store, key_filter=node_filter):
1049
                yield item
1050
1051
    def _iter_nodes(self, store, key_filter=None, batch_size=None):
1052
        """Iterate over node objects which match key_filter.
1053
1054
        :param store: A store to use for accessing content.
1055
        :param key_filter: A key filter to filter nodes. Only nodes that might
1056
            contain a key in key_filter will be returned.
1057
        :param batch_size: If not None, then we will return the nodes that had
1058
            to be read using get_record_stream in batches, rather than reading
1059
            them all at once.
1060
        :return: An iterable of nodes. This function does not have to be fully
1061
            consumed.  (There will be no pending I/O when items are being returned.)
1062
        """
1063
        # Map from chk key ('sha1:...',) to (prefix, key_filter)
1064
        # prefix is the key in self._items to use, key_filter is the key_filter
1065
        # entries that would match this node
1066
        keys = {}
4413.4.1 by John Arbash Meinel
Add a shortcut for the case when we are searching for a single full-width key.
1067
        shortcut = False
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
1068
        if key_filter is None:
4413.4.1 by John Arbash Meinel
Add a shortcut for the case when we are searching for a single full-width key.
1069
            # yielding all nodes, yield whatever we have, and queue up a read
1070
            # for whatever we are missing
1071
            shortcut = True
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
1072
            for prefix, node in self._items.iteritems():
4679.9.4 by John Arbash Meinel
A bit broken, but getting there.
1073
                if node.__class__ is StaticTuple:
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
1074
                    keys[node] = (prefix, None)
1075
                else:
1076
                    yield node, None
4413.4.1 by John Arbash Meinel
Add a shortcut for the case when we are searching for a single full-width key.
1077
        elif len(key_filter) == 1:
4413.4.2 by John Arbash Meinel
Rewrite the shortcuts.
1078
            # Technically, this path could also be handled by the first check
1079
            # in 'self._node_width' in length_filters. However, we can handle
1080
            # this case without spending any time building up the
1081
            # prefix_to_keys, etc state.
1082
1083
            # This is a bit ugly, but TIMEIT showed it to be by far the fastest
1084
            # 0.626us   list(key_filter)[0]
1085
            #       is a func() for list(), 2 mallocs, and a getitem
1086
            # 0.489us   [k for k in key_filter][0]
1087
            #       still has the mallocs, avoids the func() call
1088
            # 0.350us   iter(key_filter).next()
1089
            #       has a func() call, and mallocs an iterator
1090
            # 0.125us   for key in key_filter: pass
1091
            #       no func() overhead, might malloc an iterator
1092
            # 0.105us   for key in key_filter: break
1093
            #       no func() overhead, might malloc an iterator, probably
1094
            #       avoids checking an 'else' clause as part of the for
1095
            for key in key_filter:
1096
                break
1097
            search_prefix = self._search_prefix_filter(key)
1098
            if len(search_prefix) == self._node_width:
4413.4.1 by John Arbash Meinel
Add a shortcut for the case when we are searching for a single full-width key.
1099
                # This item will match exactly, so just do a dict lookup, and
1100
                # see what we can return
1101
                shortcut = True
1102
                try:
4413.4.2 by John Arbash Meinel
Rewrite the shortcuts.
1103
                    node = self._items[search_prefix]
4413.4.1 by John Arbash Meinel
Add a shortcut for the case when we are searching for a single full-width key.
1104
                except KeyError:
1105
                    # A given key can only match 1 child node, if it isn't
1106
                    # there, then we can just return nothing
1107
                    return
4679.9.4 by John Arbash Meinel
A bit broken, but getting there.
1108
                if node.__class__ is StaticTuple:
4413.4.2 by John Arbash Meinel
Rewrite the shortcuts.
1109
                    keys[node] = (search_prefix, [key])
4413.4.1 by John Arbash Meinel
Add a shortcut for the case when we are searching for a single full-width key.
1110
                else:
4413.4.2 by John Arbash Meinel
Rewrite the shortcuts.
1111
                    # This is loaded, and the only thing that can match,
1112
                    # return
1113
                    yield node, [key]
1114
                    return
4413.4.1 by John Arbash Meinel
Add a shortcut for the case when we are searching for a single full-width key.
1115
        if not shortcut:
4413.4.2 by John Arbash Meinel
Rewrite the shortcuts.
1116
            # First, convert all keys into a list of search prefixes
1117
            # Aggregate common prefixes, and track the keys they come from
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
1118
            prefix_to_keys = {}
1119
            length_filters = {}
1120
            for key in key_filter:
4413.4.2 by John Arbash Meinel
Rewrite the shortcuts.
1121
                search_prefix = self._search_prefix_filter(key)
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
1122
                length_filter = length_filters.setdefault(
4413.4.2 by John Arbash Meinel
Rewrite the shortcuts.
1123
                                    len(search_prefix), set())
1124
                length_filter.add(search_prefix)
1125
                prefix_to_keys.setdefault(search_prefix, []).append(key)
1126
1127
            if (self._node_width in length_filters
1128
                and len(length_filters) == 1):
1129
                # all of the search prefixes match exactly _node_width. This
1130
                # means that everything is an exact match, and we can do a
1131
                # lookup into self._items, rather than iterating over the items
1132
                # dict.
1133
                search_prefixes = length_filters[self._node_width]
1134
                for search_prefix in search_prefixes:
1135
                    try:
1136
                        node = self._items[search_prefix]
1137
                    except KeyError:
1138
                        # We can ignore this one
1139
                        continue
1140
                    node_key_filter = prefix_to_keys[search_prefix]
4679.9.4 by John Arbash Meinel
A bit broken, but getting there.
1141
                    if node.__class__ is StaticTuple:
4413.4.2 by John Arbash Meinel
Rewrite the shortcuts.
1142
                        keys[node] = (search_prefix, node_key_filter)
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
1143
                    else:
1144
                        yield node, node_key_filter
4413.4.2 by John Arbash Meinel
Rewrite the shortcuts.
1145
            else:
1146
                # The slow way. We walk every item in self._items, and check to
1147
                # see if there are any matches
1148
                length_filters = length_filters.items()
1149
                for prefix, node in self._items.iteritems():
1150
                    node_key_filter = []
1151
                    for length, length_filter in length_filters:
1152
                        sub_prefix = prefix[:length]
1153
                        if sub_prefix in length_filter:
1154
                            node_key_filter.extend(prefix_to_keys[sub_prefix])
1155
                    if node_key_filter: # this key matched something, yield it
4679.9.4 by John Arbash Meinel
A bit broken, but getting there.
1156
                        if node.__class__ is StaticTuple:
4413.4.2 by John Arbash Meinel
Rewrite the shortcuts.
1157
                            keys[node] = (prefix, node_key_filter)
1158
                        else:
1159
                            yield node, node_key_filter
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
1160
        if keys:
1161
            # Look in the page cache for some more bytes
1162
            found_keys = set()
1163
            for key in keys:
1164
                try:
4797.7.1 by Robert Collins
Introduce a threading.local to isolate the chk_map page cache from other threads.
1165
                    bytes = _get_cache()[key]
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
1166
                except KeyError:
1167
                    continue
1168
                else:
1169
                    node = _deserialise(bytes, key,
1170
                        search_key_func=self._search_key_func)
1171
                    prefix, node_key_filter = keys[key]
1172
                    self._items[prefix] = node
1173
                    found_keys.add(key)
1174
                    yield node, node_key_filter
1175
            for key in found_keys:
1176
                del keys[key]
1177
        if keys:
1178
            # demand load some pages.
1179
            if batch_size is None:
1180
                # Read all the keys in
1181
                batch_size = len(keys)
1182
            key_order = list(keys)
1183
            for batch_start in range(0, len(key_order), batch_size):
1184
                batch = key_order[batch_start:batch_start + batch_size]
1185
                # We have to fully consume the stream so there is no pending
1186
                # I/O, so we buffer the nodes for now.
1187
                stream = store.get_record_stream(batch, 'unordered', True)
1188
                node_and_filters = []
1189
                for record in stream:
1190
                    bytes = record.get_bytes_as('fulltext')
1191
                    node = _deserialise(bytes, record.key,
1192
                        search_key_func=self._search_key_func)
1193
                    prefix, node_key_filter = keys[record.key]
1194
                    node_and_filters.append((node, node_key_filter))
1195
                    self._items[prefix] = node
4797.7.1 by Robert Collins
Introduce a threading.local to isolate the chk_map page cache from other threads.
1196
                    _get_cache().add(record.key, bytes)
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
1197
                for info in node_and_filters:
1198
                    yield info
1199
1200
    def map(self, store, key, value):
1201
        """Map key to value."""
1202
        if not len(self._items):
3735.2.122 by Ian Clatworthy
don't check_remap on every unmap call in CHKMap.apply_delta()
1203
            raise AssertionError("can't map in an empty InternalNode.")
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
1204
        search_key = self._search_key(key)
3735.2.126 by Ian Clatworthy
replace asserts in chk_map.py with AssertionErrors
1205
        if self._node_width != len(self._search_prefix) + 1:
1206
            raise AssertionError("node width mismatch: %d is not %d" %
1207
                (self._node_width, len(self._search_prefix) + 1))
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
1208
        if not search_key.startswith(self._search_prefix):
1209
            # This key doesn't fit in this index, so we need to split at the
1210
            # point where it would fit, insert self into that internal node,
1211
            # and then map this key into that node.
1212
            new_prefix = self.common_prefix(self._search_prefix,
1213
                                            search_key)
1214
            new_parent = InternalNode(new_prefix,
1215
                search_key_func=self._search_key_func)
1216
            new_parent.set_maximum_size(self._maximum_size)
1217
            new_parent._key_width = self._key_width
1218
            new_parent.add_node(self._search_prefix[:len(new_prefix)+1],
1219
                                self)
1220
            return new_parent.map(store, key, value)
1221
        children = [node for node, _
1222
                          in self._iter_nodes(store, key_filter=[key])]
1223
        if children:
1224
            child = children[0]
1225
        else:
1226
            # new child needed:
1227
            child = self._new_child(search_key, LeafNode)
1228
        old_len = len(child)
1229
        if type(child) is LeafNode:
1230
            old_size = child._current_size()
1231
        else:
1232
            old_size = None
1233
        prefix, node_details = child.map(store, key, value)
1234
        if len(node_details) == 1:
1235
            # child may have shrunk, or might be a new node
1236
            child = node_details[0][1]
1237
            self._len = self._len - old_len + len(child)
1238
            self._items[search_key] = child
1239
            self._key = None
1240
            new_node = self
1241
            if type(child) is LeafNode:
3735.2.123 by Ian Clatworthy
only check for remap if changes are interesting in size
1242
                if old_size is None:
1243
                    # The old node was an InternalNode which means it has now
1244
                    # collapsed, so we need to check if it will chain to a
1245
                    # collapse at this level.
1246
                    trace.mutter("checking remap as InternalNode -> LeafNode")
1247
                    new_node = self._check_remap(store)
1248
                else:
1249
                    # If the LeafNode has shrunk in size, we may want to run
1250
                    # a remap check. Checking for a remap is expensive though
1251
                    # and the frequency of a successful remap is very low.
1252
                    # Shrinkage by small amounts is common, so we only do the
1253
                    # remap check if the new_size is low or the shrinkage
1254
                    # amount is over a configurable limit.
1255
                    new_size = child._current_size()
1256
                    shrinkage = old_size - new_size
1257
                    if (shrinkage > 0 and new_size < _INTERESTING_NEW_SIZE
1258
                        or shrinkage > _INTERESTING_SHRINKAGE_LIMIT):
1259
                        trace.mutter(
1260
                            "checking remap as size shrunk by %d to be %d",
1261
                            shrinkage, new_size)
1262
                        new_node = self._check_remap(store)
3735.2.126 by Ian Clatworthy
replace asserts in chk_map.py with AssertionErrors
1263
            if new_node._search_prefix is None:
1264
                raise AssertionError("_search_prefix should not be None")
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
1265
            return new_node._search_prefix, [('', new_node)]
1266
        # child has overflown - create a new intermediate node.
1267
        # XXX: This is where we might want to try and expand our depth
1268
        # to refer to more bytes of every child (which would give us
1269
        # multiple pointers to child nodes, but less intermediate nodes)
1270
        child = self._new_child(search_key, InternalNode)
1271
        child._search_prefix = prefix
1272
        for split, node in node_details:
1273
            child.add_node(split, node)
1274
        self._len = self._len - old_len + len(child)
1275
        self._key = None
1276
        return self._search_prefix, [("", self)]
1277
1278
    def _new_child(self, search_key, klass):
1279
        """Create a new child node of type klass."""
1280
        child = klass()
1281
        child.set_maximum_size(self._maximum_size)
1282
        child._key_width = self._key_width
1283
        child._search_key_func = self._search_key_func
1284
        self._items[search_key] = child
1285
        return child
1286
1287
    def serialise(self, store):
1288
        """Serialise the node to store.
1289
1290
        :param store: A VersionedFiles honouring the CHK extensions.
1291
        :return: An iterable of the keys inserted by this operation.
1292
        """
1293
        for node in self._items.itervalues():
4679.9.4 by John Arbash Meinel
A bit broken, but getting there.
1294
            if type(node) is StaticTuple:
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
1295
                # Never deserialised.
1296
                continue
1297
            if node._key is not None:
1298
                # Never altered
1299
                continue
1300
            for key in node.serialise(store):
1301
                yield key
1302
        lines = ["chknode:\n"]
1303
        lines.append("%d\n" % self._maximum_size)
1304
        lines.append("%d\n" % self._key_width)
1305
        lines.append("%d\n" % self._len)
3735.2.126 by Ian Clatworthy
replace asserts in chk_map.py with AssertionErrors
1306
        if self._search_prefix is None:
1307
            raise AssertionError("_search_prefix should not be None")
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
1308
        lines.append('%s\n' % (self._search_prefix,))
1309
        prefix_len = len(self._search_prefix)
1310
        for prefix, node in sorted(self._items.items()):
4679.9.4 by John Arbash Meinel
A bit broken, but getting there.
1311
            if type(node) is StaticTuple:
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
1312
                key = node[0]
1313
            else:
1314
                key = node._key[0]
1315
            serialised = "%s\x00%s\n" % (prefix, key)
3735.2.126 by Ian Clatworthy
replace asserts in chk_map.py with AssertionErrors
1316
            if not serialised.startswith(self._search_prefix):
1317
                raise AssertionError("prefixes mismatch: %s must start with %s"
1318
                    % (serialised, self._search_prefix))
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
1319
            lines.append(serialised[prefix_len:])
1320
        sha1, _, _ = store.add_lines((None,), (), lines)
4679.9.4 by John Arbash Meinel
A bit broken, but getting there.
1321
        self._key = StaticTuple("sha1:" + sha1,).intern()
4797.7.1 by Robert Collins
Introduce a threading.local to isolate the chk_map page cache from other threads.
1322
        _get_cache().add(self._key, ''.join(lines))
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
1323
        yield self._key
1324
1325
    def _search_key(self, key):
1326
        """Return the serialised key for key in this node."""
1327
        # search keys are fixed width. All will be self._node_width wide, so we
1328
        # pad as necessary.
1329
        return (self._search_key_func(key) + '\x00'*self._node_width)[:self._node_width]
1330
1331
    def _search_prefix_filter(self, key):
1332
        """Serialise key for use as a prefix filter in iteritems."""
1333
        return self._search_key_func(key)[:self._node_width]
1334
1335
    def _split(self, offset):
1336
        """Split this node into smaller nodes starting at offset.
1337
1338
        :param offset: The offset to start the new child nodes at.
1339
        :return: An iterable of (prefix, node) tuples. prefix is a byte
1340
            prefix for reaching node.
1341
        """
1342
        if offset >= self._node_width:
1343
            for node in self._items.values():
1344
                for result in node._split(offset):
1345
                    yield result
1346
            return
1347
        for key, node in self._items.items():
1348
            pass
1349
1350
    def refs(self):
1351
        """Return the references to other CHK's held by this node."""
1352
        if self._key is None:
1353
            raise AssertionError("unserialised nodes have no refs.")
1354
        refs = []
1355
        for value in self._items.itervalues():
4679.9.4 by John Arbash Meinel
A bit broken, but getting there.
1356
            if type(value) is StaticTuple:
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
1357
                refs.append(value)
1358
            else:
1359
                refs.append(value.key())
1360
        return refs
1361
1362
    def _compute_search_prefix(self, extra_key=None):
1363
        """Return the unique key prefix for this node.
1364
1365
        :return: A bytestring of the longest search key prefix that is
1366
            unique within this node.
1367
        """
1368
        self._search_prefix = self.common_prefix_for_keys(self._items)
1369
        return self._search_prefix
1370
3735.2.122 by Ian Clatworthy
don't check_remap on every unmap call in CHKMap.apply_delta()
1371
    def unmap(self, store, key, check_remap=True):
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
1372
        """Remove key from this node and it's children."""
1373
        if not len(self._items):
3735.2.126 by Ian Clatworthy
replace asserts in chk_map.py with AssertionErrors
1374
            raise AssertionError("can't unmap in an empty InternalNode.")
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
1375
        children = [node for node, _
1376
                          in self._iter_nodes(store, key_filter=[key])]
1377
        if children:
1378
            child = children[0]
1379
        else:
1380
            raise KeyError(key)
1381
        self._len -= 1
1382
        unmapped = child.unmap(store, key)
1383
        self._key = None
1384
        search_key = self._search_key(key)
1385
        if len(unmapped) == 0:
1386
            # All child nodes are gone, remove the child:
1387
            del self._items[search_key]
1388
            unmapped = None
1389
        else:
1390
            # Stash the returned node
1391
            self._items[search_key] = unmapped
1392
        if len(self._items) == 1:
1393
            # this node is no longer needed:
1394
            return self._items.values()[0]
1395
        if type(unmapped) is InternalNode:
1396
            return self
3735.2.122 by Ian Clatworthy
don't check_remap on every unmap call in CHKMap.apply_delta()
1397
        if check_remap:
1398
            return self._check_remap(store)
1399
        else:
1400
            return self
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
1401
1402
    def _check_remap(self, store):
1403
        """Check if all keys contained by children fit in a single LeafNode.
1404
1405
        :param store: A store to use for reading more nodes
1406
        :return: Either self, or a new LeafNode which should replace self.
1407
        """
1408
        # Logic for how we determine when we need to rebuild
1409
        # 1) Implicitly unmap() is removing a key which means that the child
1410
        #    nodes are going to be shrinking by some extent.
1411
        # 2) If all children are LeafNodes, it is possible that they could be
1412
        #    combined into a single LeafNode, which can then completely replace
1413
        #    this internal node with a single LeafNode
1414
        # 3) If *one* child is an InternalNode, we assume it has already done
1415
        #    all the work to determine that its children cannot collapse, and
1416
        #    we can then assume that those nodes *plus* the current nodes don't
1417
        #    have a chance of collapsing either.
1418
        #    So a very cheap check is to just say if 'unmapped' is an
1419
        #    InternalNode, we don't have to check further.
1420
1421
        # TODO: Another alternative is to check the total size of all known
1422
        #       LeafNodes. If there is some formula we can use to determine the
1423
        #       final size without actually having to read in any more
1424
        #       children, it would be nice to have. However, we have to be
1425
        #       careful with stuff like nodes that pull out the common prefix
1426
        #       of each key, as adding a new key can change the common prefix
1427
        #       and cause size changes greater than the length of one key.
1428
        #       So for now, we just add everything to a new Leaf until it
1429
        #       splits, as we know that will give the right answer
1430
        new_leaf = LeafNode(search_key_func=self._search_key_func)
1431
        new_leaf.set_maximum_size(self._maximum_size)
1432
        new_leaf._key_width = self._key_width
1433
        # A batch_size of 16 was chosen because:
1434
        #   a) In testing, a 4k page held 14 times. So if we have more than 16
1435
        #      leaf nodes we are unlikely to hold them in a single new leaf
1436
        #      node. This still allows for 1 round trip
1437
        #   b) With 16-way fan out, we can still do a single round trip
1438
        #   c) With 255-way fan out, we don't want to read all 255 and destroy
1439
        #      the page cache, just to determine that we really don't need it.
1440
        for node, _ in self._iter_nodes(store, batch_size=16):
1441
            if type(node) is InternalNode:
1442
                # Without looking at any leaf nodes, we are sure
1443
                return self
1444
            for key, value in node._items.iteritems():
1445
                if new_leaf._map_no_split(key, value):
1446
                    return self
3735.2.123 by Ian Clatworthy
only check for remap if changes are interesting in size
1447
        trace.mutter("remap generated a new LeafNode")
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
1448
        return new_leaf
1449
1450
1451
def _deserialise(bytes, key, search_key_func):
1452
    """Helper for repositorydetails - convert bytes to a node."""
1453
    if bytes.startswith("chkleaf:\n"):
1454
        node = LeafNode.deserialise(bytes, key, search_key_func=search_key_func)
1455
    elif bytes.startswith("chknode:\n"):
1456
        node = InternalNode.deserialise(bytes, key,
1457
            search_key_func=search_key_func)
1458
    else:
1459
        raise AssertionError("Unknown node type.")
1460
    return node
1461
1462
4476.1.38 by John Arbash Meinel
Rename InterestingNodeIterator => CHKMapDifference, update tests.
1463
class CHKMapDifference(object):
1464
    """Iterate the stored pages and key,value pairs for (new - old).
1465
1466
    This class provides a generator over the stored CHK pages and the
1467
    (key, value) pairs that are in any of the new maps and not in any of the
1468
    old maps.
1469
1470
    Note that it may yield chk pages that are common (especially root nodes),
1471
    but it won't yield (key,value) pairs that are common.
4476.1.5 by John Arbash Meinel
Start working on a new InterestingNodeIterator class.
1472
    """
1473
4476.1.39 by John Arbash Meinel
Rename interesting => new, uninteresting => old
1474
    def __init__(self, store, new_root_keys, old_root_keys,
4476.1.5 by John Arbash Meinel
Start working on a new InterestingNodeIterator class.
1475
                 search_key_func, pb=None):
4679.9.15 by John Arbash Meinel
Cleanup some code paths. Make _check_key a helper that can be used
1476
        # TODO: Should we add a StaticTuple barrier here? It would be nice to
1477
        #       force callers to use StaticTuple, because there will often be
1478
        #       lots of keys passed in here. And even if we cast it locally,
1479
        #       that just meanst that we will have *both* a StaticTuple and a
1480
        #       tuple() in memory, referring to the same object. (so a net
1481
        #       increase in memory, not a decrease.)
4476.1.5 by John Arbash Meinel
Start working on a new InterestingNodeIterator class.
1482
        self._store = store
4476.1.39 by John Arbash Meinel
Rename interesting => new, uninteresting => old
1483
        self._new_root_keys = new_root_keys
1484
        self._old_root_keys = old_root_keys
4476.1.5 by John Arbash Meinel
Start working on a new InterestingNodeIterator class.
1485
        self._pb = pb
4476.1.37 by John Arbash Meinel
Some small code cleanup passes
1486
        # All uninteresting chks that we have seen. By the time they are added
1487
        # here, they should be either fully ignored, or queued up for
1488
        # processing
4679.9.23 by John Arbash Meinel
Mostly TODO entries.
1489
        # TODO: This might grow to a large size if there are lots of merge
1490
        #       parents, etc. However, it probably doesn't scale to O(history)
1491
        #       like _processed_new_refs does.
4476.1.39 by John Arbash Meinel
Rename interesting => new, uninteresting => old
1492
        self._all_old_chks = set(self._old_root_keys)
1493
        # All items that we have seen from the old_root_keys
1494
        self._all_old_items = set()
4476.1.32 by John Arbash Meinel
A few more updates.
1495
        # These are interesting items which were either read, or already in the
4476.1.37 by John Arbash Meinel
Some small code cleanup passes
1496
        # interesting queue (so we don't need to walk them again)
4679.9.23 by John Arbash Meinel
Mostly TODO entries.
1497
        # TODO: processed_new_refs becomes O(all_chks), consider switching to
1498
        #       SimpleSet here.
4476.1.39 by John Arbash Meinel
Rename interesting => new, uninteresting => old
1499
        self._processed_new_refs = set()
4476.1.5 by John Arbash Meinel
Start working on a new InterestingNodeIterator class.
1500
        self._search_key_func = search_key_func
1501
4476.1.33 by John Arbash Meinel
Simpify the code a lot by ignoring the heapq stuff.
1502
        # The uninteresting and interesting nodes to be searched
4476.1.39 by John Arbash Meinel
Rename interesting => new, uninteresting => old
1503
        self._old_queue = []
1504
        self._new_queue = []
4476.1.34 by John Arbash Meinel
Major rework, simplify what is put into the queues.
1505
        # Holds the (key, value) items found when processing the root nodes,
1506
        # waiting for the uninteresting nodes to be walked
4476.1.39 by John Arbash Meinel
Rename interesting => new, uninteresting => old
1507
        self._new_item_queue = []
4476.1.17 by John Arbash Meinel
Start running all of the iter_interesting_nodes tests
1508
        self._state = None
4476.1.5 by John Arbash Meinel
Start working on a new InterestingNodeIterator class.
1509
1510
    def _read_nodes_from_store(self, keys):
4797.7.1 by Robert Collins
Introduce a threading.local to isolate the chk_map page cache from other threads.
1511
        # We chose not to use _get_cache(), because we think in
1512
        # terms of records to be yielded. Also, we expect to touch each page
1513
        # only 1 time during this code. (We may want to evaluate saving the
1514
        # raw bytes into the page cache, which would allow a working tree
1515
        # update after the fetch to not have to read the bytes again.)
4679.9.20 by John Arbash Meinel
as_st(items) saves about 800kB peak memory.
1516
        as_st = StaticTuple.from_sequence
4476.1.12 by John Arbash Meinel
Start testing the new class.
1517
        stream = self._store.get_record_stream(keys, 'unordered', True)
4476.1.5 by John Arbash Meinel
Start working on a new InterestingNodeIterator class.
1518
        for record in stream:
1519
            if self._pb is not None:
1520
                self._pb.tick()
1521
            if record.storage_kind == 'absent':
4476.1.17 by John Arbash Meinel
Start running all of the iter_interesting_nodes tests
1522
                raise errors.NoSuchRevision(self._store, record.key)
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
1523
            bytes = record.get_bytes_as('fulltext')
4476.1.5 by John Arbash Meinel
Start working on a new InterestingNodeIterator class.
1524
            node = _deserialise(bytes, record.key,
1525
                                search_key_func=self._search_key_func)
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
1526
            if type(node) is InternalNode:
4476.1.5 by John Arbash Meinel
Start working on a new InterestingNodeIterator class.
1527
                # Note we don't have to do node.refs() because we know that
1528
                # there are no children that have been pushed into this node
4679.9.23 by John Arbash Meinel
Mostly TODO entries.
1529
                # Note: Using as_st() here seemed to save 1.2MB, which would
1530
                #       indicate that we keep 100k prefix_refs around while
1531
                #       processing. They *should* be shorter lived than that...
1532
                #       It does cost us ~10s of processing time
1533
                #prefix_refs = [as_st(item) for item in node._items.iteritems()]
1534
                prefix_refs = node._items.items()
4476.1.5 by John Arbash Meinel
Start working on a new InterestingNodeIterator class.
1535
                items = []
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
1536
            else:
4476.1.5 by John Arbash Meinel
Start working on a new InterestingNodeIterator class.
1537
                prefix_refs = []
4679.9.23 by John Arbash Meinel
Mostly TODO entries.
1538
                # Note: We don't use a StaticTuple here. Profiling showed a
1539
                #       minor memory improvement (0.8MB out of 335MB peak 0.2%)
1540
                #       But a significant slowdown (15s / 145s, or 10%)
1541
                items = node._items.items()
4476.1.5 by John Arbash Meinel
Start working on a new InterestingNodeIterator class.
1542
            yield record, node, prefix_refs, items
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
1543
4476.1.39 by John Arbash Meinel
Rename interesting => new, uninteresting => old
1544
    def _read_old_roots(self):
1545
        old_chks_to_enqueue = []
1546
        all_old_chks = self._all_old_chks
4476.1.5 by John Arbash Meinel
Start working on a new InterestingNodeIterator class.
1547
        for record, node, prefix_refs, items in \
4476.1.39 by John Arbash Meinel
Rename interesting => new, uninteresting => old
1548
                self._read_nodes_from_store(self._old_root_keys):
4476.1.5 by John Arbash Meinel
Start working on a new InterestingNodeIterator class.
1549
            # Uninteresting node
4476.1.34 by John Arbash Meinel
Major rework, simplify what is put into the queues.
1550
            prefix_refs = [p_r for p_r in prefix_refs
4476.1.39 by John Arbash Meinel
Rename interesting => new, uninteresting => old
1551
                                if p_r[1] not in all_old_chks]
4476.1.34 by John Arbash Meinel
Major rework, simplify what is put into the queues.
1552
            new_refs = [p_r[1] for p_r in prefix_refs]
4476.1.39 by John Arbash Meinel
Rename interesting => new, uninteresting => old
1553
            all_old_chks.update(new_refs)
4679.9.23 by John Arbash Meinel
Mostly TODO entries.
1554
            # TODO: This might be a good time to turn items into StaticTuple
1555
            #       instances and possibly intern them. However, this does not
1556
            #       impact 'initial branch' performance, so I'm not worrying
1557
            #       about this yet
4476.1.39 by John Arbash Meinel
Rename interesting => new, uninteresting => old
1558
            self._all_old_items.update(items)
4476.1.5 by John Arbash Meinel
Start working on a new InterestingNodeIterator class.
1559
            # Queue up the uninteresting references
1560
            # Don't actually put them in the 'to-read' queue until we have
1561
            # finished checking the interesting references
4476.1.39 by John Arbash Meinel
Rename interesting => new, uninteresting => old
1562
            old_chks_to_enqueue.extend(prefix_refs)
1563
        return old_chks_to_enqueue
4476.1.37 by John Arbash Meinel
Some small code cleanup passes
1564
4476.1.40 by John Arbash Meinel
cleanup indentation.
1565
    def _enqueue_old(self, new_prefixes, old_chks_to_enqueue):
4476.1.37 by John Arbash Meinel
Some small code cleanup passes
1566
        # At this point, we have read all the uninteresting and interesting
1567
        # items, so we can queue up the uninteresting stuff, knowing that we've
1568
        # handled the interesting ones
4476.1.39 by John Arbash Meinel
Rename interesting => new, uninteresting => old
1569
        for prefix, ref in old_chks_to_enqueue:
4476.1.37 by John Arbash Meinel
Some small code cleanup passes
1570
            not_interesting = True
1571
            for i in xrange(len(prefix), 0, -1):
4476.1.39 by John Arbash Meinel
Rename interesting => new, uninteresting => old
1572
                if prefix[:i] in new_prefixes:
4476.1.37 by John Arbash Meinel
Some small code cleanup passes
1573
                    not_interesting = False
1574
                    break
1575
            if not_interesting:
1576
                # This prefix is not part of the remaining 'interesting set'
1577
                continue
4476.1.39 by John Arbash Meinel
Rename interesting => new, uninteresting => old
1578
            self._old_queue.append(ref)
4476.1.37 by John Arbash Meinel
Some small code cleanup passes
1579
1580
    def _read_all_roots(self):
1581
        """Read the root pages.
1582
1583
        This is structured as a generator, so that the root records can be
1584
        yielded up to whoever needs them without any buffering.
1585
        """
1586
        # This is the bootstrap phase
4476.1.39 by John Arbash Meinel
Rename interesting => new, uninteresting => old
1587
        if not self._old_root_keys:
1588
            # With no old_root_keys we can just shortcut and be ready
1589
            # for _flush_new_queue
1590
            self._new_queue = list(self._new_root_keys)
4476.1.37 by John Arbash Meinel
Some small code cleanup passes
1591
            return
4476.1.39 by John Arbash Meinel
Rename interesting => new, uninteresting => old
1592
        old_chks_to_enqueue = self._read_old_roots()
4476.1.12 by John Arbash Meinel
Start testing the new class.
1593
        # filter out any root keys that are already known to be uninteresting
4476.1.40 by John Arbash Meinel
cleanup indentation.
1594
        new_keys = set(self._new_root_keys).difference(self._all_old_chks)
4476.1.39 by John Arbash Meinel
Rename interesting => new, uninteresting => old
1595
        # These are prefixes that are present in new_keys that we are
4476.1.37 by John Arbash Meinel
Some small code cleanup passes
1596
        # thinking to yield
4476.1.39 by John Arbash Meinel
Rename interesting => new, uninteresting => old
1597
        new_prefixes = set()
4476.1.18 by John Arbash Meinel
Tracked it down.
1598
        # We are about to yield all of these, so we don't want them getting
1599
        # added a second time
4476.1.39 by John Arbash Meinel
Rename interesting => new, uninteresting => old
1600
        processed_new_refs = self._processed_new_refs
1601
        processed_new_refs.update(new_keys)
4476.1.5 by John Arbash Meinel
Start working on a new InterestingNodeIterator class.
1602
        for record, node, prefix_refs, items in \
4476.1.39 by John Arbash Meinel
Rename interesting => new, uninteresting => old
1603
                self._read_nodes_from_store(new_keys):
4476.1.5 by John Arbash Meinel
Start working on a new InterestingNodeIterator class.
1604
            # At this level, we now know all the uninteresting references
4476.1.35 by John Arbash Meinel
Change some of the inner loop workings into list comprehensions.
1605
            # So we filter and queue up whatever is remaining
1606
            prefix_refs = [p_r for p_r in prefix_refs
4476.1.39 by John Arbash Meinel
Rename interesting => new, uninteresting => old
1607
                           if p_r[1] not in self._all_old_chks
1608
                              and p_r[1] not in processed_new_refs]
4476.1.35 by John Arbash Meinel
Change some of the inner loop workings into list comprehensions.
1609
            refs = [p_r[1] for p_r in prefix_refs]
4476.1.39 by John Arbash Meinel
Rename interesting => new, uninteresting => old
1610
            new_prefixes.update([p_r[0] for p_r in prefix_refs])
1611
            self._new_queue.extend(refs)
4476.1.34 by John Arbash Meinel
Major rework, simplify what is put into the queues.
1612
            # TODO: We can potentially get multiple items here, however the
1613
            #       current design allows for this, as callers will do the work
1614
            #       to make the results unique. We might profile whether we
1615
            #       gain anything by ensuring unique return values for items
4679.9.23 by John Arbash Meinel
Mostly TODO entries.
1616
            # TODO: This might be a good time to cast to StaticTuple, as
1617
            #       self._new_item_queue will hold the contents of multiple
1618
            #       records for an extended lifetime
4476.1.39 by John Arbash Meinel
Rename interesting => new, uninteresting => old
1619
            new_items = [item for item in items
4476.1.40 by John Arbash Meinel
cleanup indentation.
1620
                               if item not in self._all_old_items]
4476.1.39 by John Arbash Meinel
Rename interesting => new, uninteresting => old
1621
            self._new_item_queue.extend(new_items)
1622
            new_prefixes.update([self._search_key_func(item[0])
4476.1.40 by John Arbash Meinel
cleanup indentation.
1623
                                 for item in new_items])
4476.1.39 by John Arbash Meinel
Rename interesting => new, uninteresting => old
1624
            processed_new_refs.update(refs)
4476.1.13 by John Arbash Meinel
Test that _read_all_roots does what is expected
1625
            yield record
4476.1.39 by John Arbash Meinel
Rename interesting => new, uninteresting => old
1626
        # For new_prefixes we have the full length prefixes queued up.
4476.1.35 by John Arbash Meinel
Change some of the inner loop workings into list comprehensions.
1627
        # However, we also need possible prefixes. (If we have a known ref to
1628
        # 'ab', then we also need to include 'a'.) So expand the
4476.1.39 by John Arbash Meinel
Rename interesting => new, uninteresting => old
1629
        # new_prefixes to include all shorter prefixes
1630
        for prefix in list(new_prefixes):
4476.1.40 by John Arbash Meinel
cleanup indentation.
1631
            new_prefixes.update([prefix[:i] for i in xrange(1, len(prefix))])
1632
        self._enqueue_old(new_prefixes, old_chks_to_enqueue)
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
1633
4476.1.39 by John Arbash Meinel
Rename interesting => new, uninteresting => old
1634
    def _flush_new_queue(self):
4476.1.27 by John Arbash Meinel
Rewrite of _flush_interesting_queue
1635
        # No need to maintain the heap invariant anymore, just pull things out
1636
        # and process them
4476.1.39 by John Arbash Meinel
Rename interesting => new, uninteresting => old
1637
        refs = set(self._new_queue)
1638
        self._new_queue = []
4476.1.31 by John Arbash Meinel
streamline the _flush_interesting_queue a bit.
1639
        # First pass, flush all interesting items and convert to using direct refs
4476.1.39 by John Arbash Meinel
Rename interesting => new, uninteresting => old
1640
        all_old_chks = self._all_old_chks
1641
        processed_new_refs = self._processed_new_refs
1642
        all_old_items = self._all_old_items
1643
        new_items = [item for item in self._new_item_queue
4476.1.40 by John Arbash Meinel
cleanup indentation.
1644
                           if item not in all_old_items]
4476.1.39 by John Arbash Meinel
Rename interesting => new, uninteresting => old
1645
        self._new_item_queue = []
1646
        if new_items:
1647
            yield None, new_items
1648
        refs = refs.difference(all_old_chks)
4679.9.23 by John Arbash Meinel
Mostly TODO entries.
1649
        processed_new_refs.update(refs)
4476.1.31 by John Arbash Meinel
streamline the _flush_interesting_queue a bit.
1650
        while refs:
4679.9.24 by John Arbash Meinel
Note a memory savings with a special set
1651
            # TODO: Using a SimpleSet for self._processed_new_refs and
1652
            #       saved as much as 10MB of peak memory. However, it requires
1653
            #       implementing a non-pyrex version.
4476.1.31 by John Arbash Meinel
streamline the _flush_interesting_queue a bit.
1654
            next_refs = set()
1655
            next_refs_update = next_refs.update
1656
            # Inlining _read_nodes_from_store improves 'bzr branch bzr.dev'
1657
            # from 1m54s to 1m51s. Consider it.
4476.1.37 by John Arbash Meinel
Some small code cleanup passes
1658
            for record, _, p_refs, items in self._read_nodes_from_store(refs):
4679.9.23 by John Arbash Meinel
Mostly TODO entries.
1659
                if all_old_items:
1660
                    # using the 'if' check saves about 145s => 141s, when
1661
                    # streaming initial branch of Launchpad data.
1662
                    items = [item for item in items
1663
                             if item not in all_old_items]
4476.1.27 by John Arbash Meinel
Rewrite of _flush_interesting_queue
1664
                yield record, items
4476.1.37 by John Arbash Meinel
Some small code cleanup passes
1665
                next_refs_update([p_r[1] for p_r in p_refs])
4679.9.23 by John Arbash Meinel
Mostly TODO entries.
1666
                del p_refs
1667
            # set1.difference(set/dict) walks all of set1, and checks if it
1668
            # exists in 'other'.
1669
            # set1.difference(iterable) walks all of iterable, and does a
1670
            # 'difference_update' on a clone of set1. Pick wisely based on the
1671
            # expected sizes of objects.
1672
            # in our case it is expected that 'new_refs' will always be quite
1673
            # small.
4476.1.39 by John Arbash Meinel
Rename interesting => new, uninteresting => old
1674
            next_refs = next_refs.difference(all_old_chks)
1675
            next_refs = next_refs.difference(processed_new_refs)
1676
            processed_new_refs.update(next_refs)
4476.1.31 by John Arbash Meinel
streamline the _flush_interesting_queue a bit.
1677
            refs = next_refs
4476.1.17 by John Arbash Meinel
Start running all of the iter_interesting_nodes tests
1678
4476.1.39 by John Arbash Meinel
Rename interesting => new, uninteresting => old
1679
    def _process_next_old(self):
4476.1.37 by John Arbash Meinel
Some small code cleanup passes
1680
        # Since we don't filter uninteresting any further than during
1681
        # _read_all_roots, process the whole queue in a single pass.
4476.1.39 by John Arbash Meinel
Rename interesting => new, uninteresting => old
1682
        refs = self._old_queue
1683
        self._old_queue = []
1684
        all_old_chks = self._all_old_chks
4476.1.32 by John Arbash Meinel
A few more updates.
1685
        for record, _, prefix_refs, items in self._read_nodes_from_store(refs):
4679.9.23 by John Arbash Meinel
Mostly TODO entries.
1686
            # TODO: Use StaticTuple here?
4476.1.39 by John Arbash Meinel
Rename interesting => new, uninteresting => old
1687
            self._all_old_items.update(items)
1688
            refs = [r for _,r in prefix_refs if r not in all_old_chks]
1689
            self._old_queue.extend(refs)
1690
            all_old_chks.update(refs)
4476.1.17 by John Arbash Meinel
Start running all of the iter_interesting_nodes tests
1691
1692
    def _process_queues(self):
4476.1.39 by John Arbash Meinel
Rename interesting => new, uninteresting => old
1693
        while self._old_queue:
1694
            self._process_next_old()
1695
        return self._flush_new_queue()
4476.1.17 by John Arbash Meinel
Start running all of the iter_interesting_nodes tests
1696
4476.1.37 by John Arbash Meinel
Some small code cleanup passes
1697
    def process(self):
1698
        for record in self._read_all_roots():
1699
            yield record, []
1700
        for record, items in self._process_queues():
1701
            yield record, items
1702
4476.1.25 by John Arbash Meinel
A bit more testing.
1703
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
1704
def iter_interesting_nodes(store, interesting_root_keys,
1705
                           uninteresting_root_keys, pb=None):
1706
    """Given root keys, find interesting nodes.
1707
1708
    Evaluate nodes referenced by interesting_root_keys. Ones that are also
1709
    referenced from uninteresting_root_keys are not considered interesting.
1710
1711
    :param interesting_root_keys: keys which should be part of the
1712
        "interesting" nodes (which will be yielded)
1713
    :param uninteresting_root_keys: keys which should be filtered out of the
1714
        result set.
1715
    :return: Yield
1716
        (interesting record, {interesting key:values})
1717
    """
4476.1.38 by John Arbash Meinel
Rename InterestingNodeIterator => CHKMapDifference, update tests.
1718
    iterator = CHKMapDifference(store, interesting_root_keys,
1719
                                uninteresting_root_keys,
1720
                                search_key_func=store._search_key_func,
1721
                                pb=pb)
4476.1.37 by John Arbash Meinel
Some small code cleanup passes
1722
    return iterator.process()
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
1723
1724
1725
try:
1726
    from bzrlib._chk_map_pyx import (
5218.2.1 by John Arbash Meinel
Implement a compiled extension for parsing the text key out of a CHKInventory value.
1727
        _bytes_to_text_key,
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
1728
        _search_key_16,
1729
        _search_key_255,
1730
        _deserialise_leaf_node,
1731
        _deserialise_internal_node,
1732
        )
4574.3.6 by Martin Pool
More warnings when failing to load extensions
1733
except ImportError, e:
4574.3.8 by Martin Pool
Only mutter extension load errors when they occur, and record for later
1734
    osutils.failed_to_load_extension(e)
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
1735
    from bzrlib._chk_map_py import (
5218.2.1 by John Arbash Meinel
Implement a compiled extension for parsing the text key out of a CHKInventory value.
1736
        _bytes_to_text_key,
4241.6.1 by Ian Clatworthy
chk_map code from brisbane-core
1737
        _search_key_16,
1738
        _search_key_255,
1739
        _deserialise_leaf_node,
1740
        _deserialise_internal_node,
1741
        )
1742
search_key_registry.register('hash-16-way', _search_key_16)
1743
search_key_registry.register('hash-255-way', _search_key_255)
4679.9.4 by John Arbash Meinel
A bit broken, but getting there.
1744
4679.9.15 by John Arbash Meinel
Cleanup some code paths. Make _check_key a helper that can be used
1745
4679.9.4 by John Arbash Meinel
A bit broken, but getting there.
1746
def _check_key(key):
4679.9.15 by John Arbash Meinel
Cleanup some code paths. Make _check_key a helper that can be used
1747
    """Helper function to assert that a key is properly formatted.
1748
1749
    This generally shouldn't be used in production code, but it can be helpful
1750
    to debug problems.
1751
    """
4679.9.4 by John Arbash Meinel
A bit broken, but getting there.
1752
    if type(key) is not StaticTuple:
1753
        raise TypeError('key %r is not StaticTuple but %s' % (key, type(key)))
1754
    if len(key) != 1:
1755
        raise ValueError('key %r should have length 1, not %d' % (key, len(key),))
1756
    if type(key[0]) is not str:
1757
        raise TypeError('key %r should hold a str, not %r'
1758
                        % (key, type(key[0])))
1759
    if not key[0].startswith('sha1:'):
1760
        raise ValueError('key %r should point to a sha1:' % (key,))
1761
1762