paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Occlum

Occlum
ASPLOS Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems2020匹配度 0/10 · 该论文研究 Intel SGX 上的库操作系统多任务支持,属于系统安全与操作系统方向,与用户关注的静态分析、LLM/Agent、浮点程序分析及贝叶斯程序分析均无直接交集。引用 145 inbox
Youren Shen, Hongliang Tian, Yu Chen, Kang Chen, Runji Wang, Yi Xu, Yubin Xia, Shoumeng Yan
crossref: 2026-09-12

AI 速览

一句话:提出 Occlum,使 Intel SGX 上的库操作系统能够安全且高效地支持多任务。

Intel SGX 允许用户级代码创建受 CPU 保护的私有内存区域 enclave,使其代码和数据免受 enclave 外的软硬件攻击。近期工作引入库操作系统(LibOS),让遗留应用几乎无需修改即可运行在 enclave 内。然而,几乎所有非平凡应用都需要多进程支持,因此 LibOS 必须支持多任务;但现有 SGX LibOS 均未能同时安全且高效地支持多任务。Occlum 针对这一问题,旨在为 SGX 环境提供安全、高效的多任务 LibOS 支持。摘要未给出具体实现机制与量化评估结果。

问题
现有 SGX LibOS 无法安全且高效地支持多任务,导致需要多进程的非平凡遗留应用难以在 enclave 中运行。
方法
Occlum 是一个面向 Intel SGX 的 LibOS,目标是同时保证多任务支持的安全性与效率;摘要未展开其具体设计机制。
评估
摘要未描述评估方式与实验细节。
原文摘要(Abstract)

Intel Software Guard Extensions (SGX) enables user-level code to create private memory regions called enclaves, whose code and data are protected by the CPU from software and hardware attacks outside the enclaves. Recent work introduces library operating systems (LibOSes) to SGX so that legacy applications can run inside enclaves with few or even no modifications. As virtually any non-trivial application demands multiple processes, it is essential for LibOSes to support multitasking. However, none of the existing SGX LibOSes support multitasking both securely and efficiently.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot5451,
  title = {Occlum},
  author = {Youren Shen and Hongliang Tian and Yu Chen and Kang Chen and Runji Wang and Yi Xu and Yubin Xia and Shoumeng Yan},
  booktitle = {ASPLOS},
  year = {2020},
  doi = {10.1145/3373376.3378469}
}