Declarative Concurrent Data Structures
arxiv(2024)
摘要
Implementing concurrent data structures is challenging and requires a deep
understanding of concurrency concepts and careful design to ensure correctness,
performance, and scalability. Further, composing operations on two or more
concurrent data structures often requires a synchronization wrapper to ensure
the operations are applied together atomically, resulting in serialization and,
thereby, giving up the performance benefit of the individual data structures.
DBMS provides generalized concurrency control (CC) and is a good fit for
implementing concurrent data structures. However, DBMSs are over-generalized
for this use case, which fails to match the performance of specialized
implementations.
This paper makes the case for the Declarative Concurrent Data Structures
(DCDS) framework for automatically generating concurrent data structures from a
serial specification. In DCDS, users declare the attributes and methods needed
for their desired data structure through an embedded DSL at design time. DCDS
automatically injects CC at build-time, generating a concurrent intermediate
representation (IR) compiled into machine code. A declarative interface for
designing data structure enables efficient composability through co-optimizing
component structures; optimizations are applied to both the composed serial
specification and the generated concurrent IR. We realize the DCDS framework in
our prototype system Rosti and experimentally show that data structures
declared in Rosti can be efficiently composed by co-optimizing their logical
functionality and the generated CC protocol. Our evaluation shows that
composing a map and a list to create an LRU container can benefit up to 2X
performance scalability in Rosti compared to an open-source library. We
demonstrate the applicability of DCDS as an in-process OLTP by comparing it
with in-memory DBMS, Proteus, and showing up to 2X performance gains.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要