Abstract:Write-optimized dictionaries are a class of cache-efficient data structures that buffer updates and apply them in batches to optimize the amortized cache misses per update. For example, a B^epsilon tree inserts updates as messages at the root. B^epsilon trees only move ("flush") messages when they have total size close to a cache line, optimizing the amount of work done per cache line written. Thus, recently-inserted messages reside at or near the root and are only flushed down the tree after a sufficient number of new messages arrive. Although this lazy approach works well for many operations, some types of updates do not complete until the update message reaches a leaf. For example, deferred queries and secure deletes must flush through all nodes along their root-to-leaf path before taking effect. What happens when we want to service a large number of (say) secure deletes as quickly as possible? Classic techniques leave us with an unsavory choice. On the one hand, we can group the delete messages using a write-optimized approach and move them down the tree lazily. But then many individual deletes may be left incomplete for an extended period of time, as their messages wait to be grouped with a sufficiently large number of related messages. On the other hand, we can ignore cache efficiency and perform a root-to-leaf flush for each delete. This begins work on individual deletes immediately, but harms system throughput. This paper investigates a new framework for efficiently flushing collections of messages from the root to their leaves in a write-optimized data structure. Our goal is to minimize the average time that messages reach the leaves. We give an algorithm that O(1)-approximates the optimal average completion time in this model. Along the way, we give a new 4-approximation algorithm for scheduling parallel tasks for weighted completion time with tree precedence constraints.

Optimized Deletion From an AVL Tree

Efficient top-down updates in AVL trees

A practical concurrent binary search tree

Revisiting 2–3 red–black trees with a pedagogically sound yet efficient deletion algorithm: parity-seeking

Enumeration and Succinct Encoding of AVL Trees

Efficient Hash Chain Traversal Based on Binary Tree Inorder Traversal

Optimal Binary Search Trees with Near Minimal Height

NodeLeaper: Lower Overhead Oblivious AVL Tree

Optimal Key Tree Structure for Deleting Two or More Leaves

De-amortizing Binary Search Trees

Greedy Is an Almost Optimal Deque

Arithmetic Binary Search Trees: Static Optimality in the Matching Model

Root-to-Leaf Scheduling in Write-Optimized Trees

Succinct data structure for dynamic trees with faster queries

A rearrangement step with potential uses in priority queues

An Exact Quadratic Algorithm for the Shortest Tree Transformation

Optimal Tree Decompositions Revisited: A Simpler Linear-Time FPT Algorithm

DeltaTree: A Practical Locality-aware Concurrent Search Tree

On Dynamic Optimality for Binary Search Trees

Efficiency of Self-Adjusting Heaps

Weighted dynamic finger in binary search trees