Implementation Details ====================== The :doc:`Sorted Containers` internal implementation is based on a couple observations. The first is that Python's `list` is fast, *really fast*. Lists have great characteristics for memory management and random access. The second is that `bisect.insort` is fast. This is somewhat counter-intuitive since it involves shifting a series of items in a list. But modern processors do this really well. A lot of time has been spent optimizing mem-copy/mem-move-like operations both in hardware and software. But using only one list and `bisect.insort` would produce sluggish behavior for lengths exceeding ten thousand. So the implementation of :doc:`sortedlist` uses a list of lists to store elements. In this way, inserting or deleting is most often performed on a short list. Only rarely does a new list need to be added or deleted. :doc:`sortedlist` maintains three internal variables: `_lists`, `_maxes`, and `_index`. The first is simply the list of lists, each member is a sorted sublist of elements. The second contains the maximum element in each of the sublists. This is used for fast binary-search. The last maintains a tree of pair-wise sums of the lengths of the lists. Lists are kept balanced using the load factor. If a sublist's length exceeds double the load then it is split in two. Likewise at half the load it is combined with its neighbor. By default this factor is 1,000 which seems to work well for lengths up to ten million. Lengths above that are recommended a load factor that is the square root to cube root of the average length. (Although you will probably exhaust the memory of your machine before that point.) Experimentation is also recommended. A :doc:`load factor performance comparison` is also provided. For more in-depth analysis, read :doc:`performance-scale` which benchmarks :doc:`Sorted Containers` with ten billion elements. Finding an element is a two step process. First the `_maxes` list, also known as the "maxes" index, is bisected which yields the position of a sorted sublist. Then that sublist is bisected for the location of the element. Compared to tree-based implementations, using lists of lists has a few advantages based on memory usage. 1. Most insertion/deletion doesn't require allocating or freeing memory. This can be a big win as it takes a lot of strain off the garbage collector and memory system. 2. Pointers to elements are packed densely. A traditional tree-based implementation would require two pointers (left/right) to child nodes. Lists have no such overhead. This benefits the hardware's memory architecture and more efficiently utilizies caches. 3. The memory overhead per item is effectively a pointer to the item. Binary tree implementations must add at least two more pointers per item. 4. Iteration is extremely fast as sequentially indexing lists is a strength of modern processors. Traditional tree-based designs have better big-O notation but that ignores the realities of today's software and hardware. For a more in-depth analysis, read :doc:`Performance at Scale`. Indexing uses the `_index` list which operates as a tree of pair-wise sums of the lengths of the lists. The tree is maintained as a dense binary tree. It's easiest to explain with an example. Suppose `_lists` contains sublists with these lengths (in this example, we assume the load factor is 4):: list(map(len, _lists)) -> [3, 5, 4, 5, 6] Given these lengths, the first row in the index is the pair-wise sums:: [8, 9, 6, 0] We pad the first row with zeros to make its length a power of 2. The next rows of sums work similarly:: [17, 6] [23] Then all the rows are concatenated in reverse order so that the index is finally:: [23, 17, 6, 8, 9, 6, 0, 3, 5, 4, 5, 6] With this list, we can efficiently compute the index of an item in a sublist and, vice-versa, find an item given an index. Details of the algorithms to do so are contained in the docstring for `SortedList._loc` and `SortedList._pos`. For example, indexing requires traversing the tree to a leaf node. Each node has two children which are easily computable. Given an index, `pos`, the left-child is at ``pos * 2 + 1`` and the right-child is at ``pos * 2 + 2``. When the index is less than the left-child, traversal moves to the left sub-tree. Otherwise, the index is decremented by the left-child and traversal moves to the right sub-tree. At a leaf node, the indexing pair is computed from the relative position of the node as compared with the offset and the remaining index. For example, given the following index:: _index = 14 5 9 3 2 4 5 _offset = 3 Tree: 14 5 9 3 2 4 5 Indexing position 8 involves iterating like so: 1. Starting at the root, position 0, 8 is compared with the left-child node (5) which it is greater than. When greater, the index is decremented and the position is updated to the right child node. 2. At node 9 with index 3, we again compare the index to the left-child node with value 4. Because the index is the less than the left-child node, we simply traverse to the left. 3. At node 4 with index 3, we recognize that we are at a leaf node and stop iterating. 4. To compute the sublist index, we subtract the offset from the index of the leaf node: ``5 - 3 = 2``. To compute the index in the sublist, we simply use the index remaining from iteration. In this case, 3. The final index pair from our example is (2, 3) which corresponds to index 8 in the sorted list. Maintaining the position index in this way has several advantages: * It's easy to traverse to children/parent. The children of a position in the `_index` are at ``(pos * 2) + 1`` and ``(pos * 2) + 2``. The parent is at ``(pos - 1) // 2``. We can even identify left/right-children easily. Each left-child is at an odd index and each right-child is at an even index. * It's not built unless needed. If no indexing occurs, the memory and time accounting for position is skipped. * It's fast to build. Calculating sums pair-wise and concatenating lists can all be done within C-routines in the Python interpreter. * It's space efficient. The whole index is no more than twice the size of the length of the `_lists` and contains only integers. * It's easy to update. Adding or removing an item involves incrementing or decrementing only ``log2(len(_index))`` items in the index. The only caveat to this is when a new sublist is created/deleted. In those scenarios the entire index is deleted and not rebuilt until needed. The construction and maintenance of the positional index is unusual compared to other traditional designs. Whether the design is novel, I (Grant Jenks) do not know. Until shown otherwise, I would like to refer to it as the "Jenks" index. Each sorted container has a function named `_check` for verifying consistency. This function details the data-type invariants.