Brief Announcement: SCOT: Fix non-blocking data structures, not memory reclamation

Md Amit Hasan Arovi, Ruslan Nikolaev

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

We present Safe Concurrent Optimistic Traversals (SCOT), to address a well-known problem related to optimistic traversals with both classical and more recent memory reclamation schemes, such as Hazard Pointers (HP), Hazard Eras (HE), Interval-Based Reclamation (IBR), and Hyaline. For these schemes, unlike for Epoch-Based Reclamation (EBR), existing data structure implementations are either buggy (e.g., Natarajan-Mittal tree) or come with performance trade-offs (e.g., Harris-Michael modified list). Unlike past approaches, our method keeps the memory reclamation scheme intact but requires data structure adaptations. SCOT enables the first correct implementations of Harris' list and Natarajan-Mittal tree with optimistic traversals for HP, HE, IBR, and Hyaline. Our evaluation shows that our technique enables high throughput, comparable to EBR, especially when used with IBR and Hyaline.

Original languageEnglish (US)
Title of host publicationSPAA 2025 - Proceedings of the 2025 37th ACM Symposium on Parallelism in Algorithms and Architectures
PublisherAssociation for Computing Machinery
Pages603-607
Number of pages5
ISBN (Electronic)9798400712586
DOIs
StatePublished - Jul 16 2025
Event37th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2025 - Portland, United States
Duration: Jul 28 2025Aug 1 2025

Publication series

NameAnnual ACM Symposium on Parallelism in Algorithms and Architectures
ISSN (Print)1548-6109

Conference

Conference37th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2025
Country/TerritoryUnited States
CityPortland
Period7/28/258/1/25

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Software
  • Hardware and Architecture

Fingerprint

Dive into the research topics of 'Brief Announcement: SCOT: Fix non-blocking data structures, not memory reclamation'. Together they form a unique fingerprint.

Cite this