计算基础 · 论文

论文总览 · 基础笔记

体系结构、编译原理、操作系统、虚拟化、网络与编程语言。

共 18 个清单条目；已读 14，待读 4。保留原有跨分类重复条目与阅读状态。

• 已下载 PDF 与标签目录

本地笔记

• The Deminkernel Datapath OS Architecture for Microsecond-scale Datacenter Systems

• RedLeaf: Isolation and Communication in a Safe Operating System

• HyperBench: A Benchmark Suite for Virtualization Capabilities

• Security and Performance in the Delegated User-level Virtualization

• Honeycomb: Secure and Efficient GPU Executions via Static Validation

• Nephele: Extending Virtualization Environments for Cloning Unikernel-based VMs

• Unikraft: Fast, Specialized Unikernels the Easy Way：历史来源

• A Loop Transformation Theory and an Algorithm to Maximize Parallelism：未完成摘记

• Unikraft：模块化 library OS 与专用内核

Compiler

Status	Paper	Venue	Why It Matters	Links
✅	Honeycomb: Secure and Efficient GPU Executions via Static Validation	OSDI'23	在加载时静态验证 GPU 程序，结合 CPU TEE 将 OS 与驱动移出可信计算基	Paper / Note / 归档标签
⬜	A Survey on Register Allocation	来源待补全	标签：计算机系统与并行基础 / 编译原理	PDF / Zotero / 归档标签

Operating Systems

Status	Paper	Venue	Why It Matters	Links
✅	RedLeaf: Isolation and Communication in a Safe Operating System	OSDI'20	利用 Rust 类型与内存安全实现轻量隔离域、跨域零拷贝和驱动故障恢复	Paper / Note
✅	Theseus: an Experiment in Operating System Structure and State Management	OSDI'20	减少组件间状态耦合并用 Rust 编译器约束系统语义，支持 OS 在线演化与故障恢复	Paper
✅	Unikraft: Fast, Specialized Unikernels the Easy Way	EuroSys'21	以可组合微型库按应用裁剪 OS，降低构建高性能 unikernel 的移植和优化成本	Paper / Note / Source
✅	The Demikernel Datapath OS Architecture for Microsecond-scale Datacenter Systems	SOSP'21	为 RDMA、DPDK 等异构 kernel-bypass 设备提供统一异步 API，降低微秒级数据中心 I/O 开销	Paper / Note

Hypervisor & Virtualization

Status	Paper	Venue	Why It Matters	Links
✅	HyperBench: A Benchmark Suite for Virtualization Capabilities	SIGMETRICS / POMACS'19	用独立于特定 hypervisor 的微基准测量 VM 切换、地址转换等关键虚拟化能力	Paper / Note
✅	DuVisor: a User-level Hypervisor Through Delegated Virtualization	arXiv'22	通过硬件授权把 VM 退出等运行时操作下放用户态，减少内核攻击面与特权切换成本	Paper
✅	AvA: Accelerated Virtualization of Accelerators	ASPLOS'20	以 API 描述生成加速器虚拟化与远程调用支持，兼顾多种加速器的兼容性和性能	Paper
✅	Security and Performance in the Delegated User-level Virtualization	OSDI'23	分离 hypervisor 控制面与用户态 VM 处理面，用硬件授权同时降低攻击面和运行时开销	Paper / Note / 归档标签
✅	System Virtualization for Neural Processing Units	HotOS'23	提出 vNPU 抽象及分配、映射、调度机制，探索 NPU 多租户利用率与隔离的协同设计	Paper
✅	Nephele: Extending Virtualization Environments for Cloning Unikernel-based VMs	EuroSys'23	扩展虚拟化环境支持低开销克隆 unikernel VM，复用初始化状态并降低实例创建成本	Paper / Note / 归档标签
✅	Honeycomb: Secure and Efficient GPU Executions via Static Validation	OSDI'23	在加载时静态验证 GPU 程序，结合 CPU TEE 将 OS 与驱动移出可信计算基	Paper / Note / 归档标签

RISC-V

Status	Paper	Venue	Why It Matters	Links
✅	A First Look at RISC-V Virtualization from an Embedded Systems Perspective	IEEE TC'22 (online'21)	在 Rocket 上实现并评估 RISC-V H 扩展，分析嵌入式虚拟化中的中断、计时器与隔离开销	Paper
✅	CVA6 RISC-V Virtualization: Architecture, Microarchitecture, and Design Space Exploration	IEEE TVLSI'23	为 CVA6 实现硬件虚拟化并探索 GTLB、L2 TLB 等设计的性能、功耗和面积权衡	Paper

计算机系统与并行基础 / 并行计算与体系结构

Status	Paper	Venue	Why It Matters	Links
⬜ 📝	A loop transformation theory and an algorithm to maximize parallelism	IEEE Transactions on Parallel and Distributed Systems · 1991	开篇摘记，未完成；标签：计算机系统与并行基础 / 并行计算与体系结构	Paper / PDF / PDF2 / Zotero / Note / 归档标签
⬜	Exploiting Memory Access Patterns to Improve Memory Performance in Data-Parallel Architectures	IEEE Transactions on Parallel and Distributed Systems · 2011	标签：计算机系统与并行基础 / 并行计算与体系结构	Paper / PDF / Zotero / 归档标签

计算机系统与并行基础 / 网络与 SmartNIC

Status	Paper	Venue	Why It Matters	Links
⬜	Characterizing Off-path SmartNIC for Accelerating Distributed Systems	来源待补全	标签：计算机系统与并行基础 / 网络与 SmartNIC	PDF / Zotero / 归档标签