A study of data structures with a deep heap shape

Haggai Eran, Erez Petrank

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Computing environments become increasingly parallel, and it seems likely that we will see more cores on tomorrow's desktops and server platforms. In a highly parallel system, tracing garbage collectors may not scale well due to deep heap structures that hinder parallel tracing. Previous work has discovered vulnerabilities within standard Java benchmarks. In this work we examine these standard benchmarks and analyze them to expose the data structures that make current Java benchmarks create deep heap shapes. It turns out that the problem is manifested mostly with benchmarks that employ queues and linked-lists. We then propose a new construction of a lock-free queue data structure with extra references that enables better garbage collector parallelism at a low overhead.

Original languageEnglish
Title of host publicationProceedings of the ACM SIGPLAN Workshop on Memory Systems Performance and Correctness, MSPC 2013
DOIs
StatePublished - 2013
EventACM SIGPLAN Workshop on Memory Systems Performance and Correctness, MSPC 2013, co-located with the 34th annual ACM SIGPLAN conference on Programming Language Design and Implementation, PLDI - Seattle, WA, United States
Duration: 16 Jun 201319 Jun 2013

Publication series

NameProceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Conference

ConferenceACM SIGPLAN Workshop on Memory Systems Performance and Correctness, MSPC 2013, co-located with the 34th annual ACM SIGPLAN conference on Programming Language Design and Implementation, PLDI
Country/TerritoryUnited States
CitySeattle, WA
Period16/06/1319/06/13

Keywords

  • concurrent data structures
  • linked-lists
  • parallel garbage collection

All Science Journal Classification (ASJC) codes

  • Software

Fingerprint

Dive into the research topics of 'A study of data structures with a deep heap shape'. Together they form a unique fingerprint.

Cite this