A Speculation-Friendly Binary Search Tree
type: Dataset
description: We introduce the first binary search tree algorithm designed for speculative executions. Prior to this work, tree structures were mainly designed for their pessimistic (non-speculative) accesses to have a bounded complexity. Researchers tried to evaluate transactional memory using such tree structures whose prominent example is the red-black tree library developed by Oracle Labs that is part of multiple benchmark distributions. Although well-engineered, such structures remain badly suited for speculative accesses, whose step complexity might raise dramatically with contention. We show that our speculation-friendly tree outperforms the existing transaction-based version of the AVL and the red-black trees. Its key novelty stems from the decoupling of update operations: they are split into one transaction that modifies the abstraction state and multiple ones that restructure its tree implementation in the background. In particular, the speculation-friendly tree is shown correct, reusable and it speeds up a transaction-based travel reservation application by up to 3:5 .
landing page: https://inria.hal.science/inria-00618995
identifier: Report N°: PI-1984
keyword: balanced-binary-trees
keyword: concurrent-data-structures
keyword: infoeu-reposemanticsreport
keyword: infoinfo-ohcomputer-science-csother-csoh
keyword: reports
keyword: transactional-memory
issued: 2026-05-25T20:16:29.376055
modified: 2026-05-25T20:16:29.376060
language: en
contact point: Organization
  fn: CCSD

test_moissonnage_selune
type: Agent

A Speculation-Friendly Binary Search Tree
type: Distribution
format: HTML
access URL: https://inria.hal.science/inria-00618995
issued: 2026-05-25T20:16:29.443293
modified: 2026-05-25T20:16:29.354413