paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Black-box Concurrent Data Structures for NUMA Architectures

面向 NUMA 架构的黑盒并发数据结构
ASPLOS Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems2017匹配度 1/10 · 该论文研究 NUMA 架构下的黑盒并发数据结构转换与线性一致性实现,属于并发/体系结构方向,与用户关注的 AI 与程序分析、LLM 辅助静态分析/形式化验证、浮点或贝叶斯程序分析等核心方向几乎无交集。引用 93 inbox
Irina Calciu, Siddhartha Sen, Mahesh Balakrishnan, Marcos K. Aguilera
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话:提出 Node Replication,将任意顺序数据结构自动转换为 NUMA 感知的线性一致并发数据结构。

高性能服务器多为 NUMA 架构,需要 NUMA 感知的高效并发数据结构,但手工设计困难且易引入并发缺陷。论文提出 Node Replication(NR),一种黑盒方法:将任意顺序数据结构自动转换为满足线性一致性的 NUMA 感知并发数据结构。NR 借鉴共享内存算法与分布式系统思想,实现 NUMA 感知的共享日志,并用日志在 NUMA 节点间一致地复制数据结构。评估表明,在高竞争下 NR 比无锁算法快 3.1 倍、比基于锁方案快 30 倍;用于 Redis 数据结构时性能最高提升 14 倍;代价是日志与副本的额外内存。

问题
高性能服务器采用 NUMA 架构,程序员需要 NUMA 感知的高效并发数据结构,但手工设计这类结构困难且容易引入并发缺陷。
方法
NR 是一种黑盒转换方法:把任意顺序数据结构自动转换为线性一致的 NUMA 感知并发数据结构,核心是实现 NUMA 感知共享日志并用日志在节点间一致复制数据。
评估
在高竞争型数据结构上,NR 比无锁算法快 3.1 倍、比基于锁方案快 30 倍;应用于 Redis 数据结构时性能最高提升 14 倍,代价是日志与副本的额外内存。
原文摘要(Abstract)

High-performance servers are Non-Uniform Memory Access (NUMA) machines. To fully leverage these machines, programmers need efficient concurrent data structures that are aware of the NUMA performance artifacts. We propose Node Replication (NR), a black-box approach to obtaining such data structures. NR takes an arbitrary sequential data structure and automatically transforms it into a NUMA-aware concurrent data structure satisfying linearizability. Using NR requires no expertise in concurrent data structure design, and the result is free of concurrency bugs. NR draws ideas from two disciplines: shared-memory algorithms and distributed systems. Briefly, NR implements a NUMA-aware shared log, and then uses the log to replicate data structures consistently across NUMA nodes. NR is best suited for contended data structures, where it can outperform lock-free algorithms by 3.1x, and lock-based solutions by 30x. To show the benefits of NR to a real application, we apply NR to the data structures of Redis, an in-memory storage system. The result outperforms other methods by up to 14x. The cost of NR is additional memory for its log and replicas.

链接与引用

DOI 原文 · DBLP

BibTeX
@inproceedings{CalciuSBA17,
  title = {Black-box Concurrent Data Structures for NUMA Architectures},
  author = {Irina Calciu and Siddhartha Sen and Mahesh Balakrishnan and Marcos K. Aguilera},
  booktitle = {ASPLOS},
  year = {2017},
  doi = {10.1145/3037697.3037721}
}