paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Toleo: Scaling Freshness to Tera-scale Memory Using CXL and PIM

Toleo:利用 CXL 与 PIM 将新鲜性扩展至太字节级内存
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 42024匹配度 0/10 · 论文聚焦于硬件安全与内存新鲜性保护,涉及 CXL、PIM 和 Merkle 树替代方案,与用户关注的 PL、静态分析、LLM/Agent、浮点程序分析、贝叶斯程序分析等方向均无直接关联。引用 10 inbox
Juechu Dong, Jonah Rosenblum, Satish Narayanasamy
crossref: 2026-09-12dblp: 2026-09-12arxiv: 2026-09-12

AI 速览

一句话:提出 Toleo,用 CXL 连接的可信智能内存替代 Merkle 树,实现 TB 级内存的新鲜性保护。

可信硬件的新鲜性保证可防止敌手重放旧值,但现有方案需为每个缓存块维护版本号并用 Merkle 树保证完整性,其额外访存随保护内存增大而不可扩展,通常只能保护数 MB 内存。Toleo 通过安全 CXL IDE 网络连接可信智能内存来存储版本号,以智能内存作为信任根,从而消除 Merkle 树;同时保证版本机密性,用隐蔽版本将版本存储开销减半,并利用页粒度版本局部性将版本号压缩 240 倍。由此,单个 168 GB Toleo 智能内存设备可为机架服务器中 28 TB 的 CXL 扩展内存池提供低开销新鲜性保护,并在基因组、图、生成式 AI 和数据库等隐私敏感负载上分析收益。

问题
现有可信硬件内存新鲜性方案依赖每缓存块版本号和 Merkle 树,随保护内存增大而引入不可扩展的额外访存,仅能覆盖数 MB 主存。
方法
Toleo 将版本号存放在通过安全 CXL IDE 网络连接的可信智能内存中,以智能内存为信任根消除 Merkle 树,并通过版本机密性、隐蔽版本及页粒度局部性压缩版本存储。
评估
使用单台 168 GB 智能内存设备为 28 TB CXL 扩展内存池提供新鲜性,报告可忽略的性能开销,并在基因组、图、生成式 AI 与数据库等隐私敏感负载上分析收益。
原文摘要(Abstract)

Trusted hardware's freshness guarantee ensures that an adversary cannot replay an old value in response to a memory read request. They rely on maintaining a version number for each cache block and ensuring their integrity using a Merkle tree. However, these existing solutions protect only a small amount of main memory (few MBs), as the extraneous memory accesses to the Merkle tree increase prohibitively with the protected memory size. We present Toleo, which uses trusted smart memory connected through a secure CXL IDE network to safely store version numbers. Toleo eliminates the need for an unscalable Merkle tree to protect the integrity of version numbers by instead using smart memory as the root of trust. Additionally, Toleo ensures version confidentiality which enables stealth versions that reduce the version storage overhead in half. Furthermore, in the absence of Merkle tree imposed constraints, we effectively exploit version locality at page granularity to compress version number by a factor of 240. These space optimizations make it feasible for one 168 GB Toleo smart memory device to provide freshness to a 28 TB CXL-expanded main memory pool in a rack server for a negligible performance overhead. We analyze the benefits of Toleo using several privacy-sensitive genomics, graph, generative AI, and database workloads.

链接与引用

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

BibTeX
@inproceedings{DongRN24,
  title = {Toleo: Scaling Freshness to Tera-scale Memory Using CXL and PIM},
  author = {Juechu Dong and Jonah Rosenblum and Satish Narayanasamy},
  booktitle = {ASPLOS},
  year = {2024},
  doi = {10.1145/3622781.3674180}
}