paperbot · PL 论文追踪

全部论文 待读 收藏

P2 DLibOS

DLibOS
ASPLOS Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems2018匹配度 1/10 · 论文属于操作系统/体系结构方向,研究库操作系统、专用核心与片上网络硬件消息传递实现的用户级受保护 IO,与静态分析、程序分析、LLM/Agent、浮点程序分析或贝叶斯程序分析均无直接关系。引用 5 inbox
Stephen Mallon, Vincent Gramoli, Guillaume Jourjon
crossref: 2026-09-12

AI 速览

一句话:提出 DLibOS,将库操作系统分布到专用核心,用片上网络硬件消息传递实现用户级高效且受保护的 IO。

长期以来,研究界猜测用户级高效 IO 处理必然破坏保护。本文提出 DLibOS,一种将库操作系统分布到专用核心的新范式,以在用户级同时获得性能与保护。其核心创新是利用片上网络(NoC)实现硬件消息传递,用其替代上下文切换完成不同地址空间间的通信。为验证可行性,作者在 Tilera 多核机器上实现了用户级驱动与网络栈,定义新的异步 socket 接口,并划分内存使接收、发送和应用只修改相互隔离的区域。评估表明,在 Web 服务器和 Memcached 上分别达到每秒 4.2M 与 3.1M 请求;与无保护的用户级网络栈相比,保护带来的开销可忽略。

问题
用户级 IO 长期被认为无法兼顾高性能与内存保护;论文试图检验这一论断是否成立。
方法
将库 OS 分布到专用核心,利用 NoC 硬件消息传递替代上下文切换,并在 Tilera 多核上实现用户级驱动、网络栈、异步 socket 接口和隔离内存分区。
评估
在 Web 服务器与 Memcached 上分别达到 4.2M 和 3.1M req/s,并与无保护用户级网络栈对比,显示保护开销可忽略。
原文摘要(Abstract)

A long body of research work has led to the conjecture that highly efficient IO processing at user-level would necessarily violate protection. In this paper, we debunk this myth by introducing DLibOS a new paradigm that consists of distributing a library OS on specialized cores to achieve performance and protection at the user-level. Its main novelty consists of leveraging network-on-chip to allow hardware message passing, rather than context switches, for communication between different address spaces. To demonstrate the feasibility of our approach, we implement a driver and a network stack at user-level on a Tilera many-core machine. We define a novel asynchronous socket interface and partition the memory such that the reception, the transmission and the application modify isolated regions. Our high performance results of 4.2 and 3.1 million requests per second obtained on a webserver and the Memcached applications, respectively, confirms the relevance of our design decisions. Finally, we compare DLibOS against a non-protected user-level network stack and show that protection comes at a negligible cost.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot4298,
  title = {DLibOS},
  author = {Stephen Mallon and Vincent Gramoli and Guillaume Jourjon},
  booktitle = {ASPLOS},
  year = {2018},
  doi = {10.1145/3173162.3173209}
}