Copertina

Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Peng, Yuke, Tian, Hongliang, Junyang, Zhang, Li, Ruihan, Chen, Chengjun, Jiang, Jianfeng, Xian, Jinyi, Wang, Xiaolin, Xu, Chenren, Zhou, Diyu, Luo, Yingwei, Yan, Shoumeng, Zhang, Yinqian
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Operating Systems
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Rusty Linux: Advances in Rust for Linux Kernel Development
di: Panter, Shane K., et al.
Pubblicazione: (2024)

XBOF: A Cost-Efficient CXL JBOF with Inter-SSD Compute Resource Sharing
di: Yi, Shushu, et al.
Pubblicazione: (2025)

Towards Agentic OS: An LLM Agent Framework for Linux Schedulers
di: Zheng, Yusheng, et al.
Pubblicazione: (2025)

Ariel OS: An Embedded Rust Operating System for Networked Sensors & Multi-Core Microcontrollers
di: Frank, Elena, et al.
Pubblicazione: (2025)

Embedded Rust or C Firmware? Lessons from an Industrial Microcontroller Use Case with Ariel OS
di: Thapa, Bipin, et al.
Pubblicazione: (2026)

Linux for Everyone: Can Standardization Drive Mainstream Adoption?
di: Nandha, Rohit J, et al.
Pubblicazione: (2025)

Concurrency Testing in the Linux Kernel via eBPF
di: Xu, Jiacheng, et al.
Pubblicazione: (2025)

A note on the orbit equivalence of injective actions
di: Qiang, Xiangqi, et al.
Pubblicazione: (2024)

Interference-free Operating System: A 6 Years' Experience in Mitigating Cross-Core Interference in Linux
di: Deng, Zhaomeng, et al.
Pubblicazione: (2024)

Joyride: Rethinking Linux's network stack design for better performance, security, and reliability
di: Du, Yanlin, et al.
Pubblicazione: (2025)

Machine Learning (ML) library in Linux kernel
di: Dubeyko, Viacheslav
Pubblicazione: (2026)

On Diagonal bimodules of étale groupoid $C^*$-algebras
di: Liu, Rui, et al.
Pubblicazione: (2025)

Maratona Linux a tale of upgrading from Ubuntu 20.04 to 22.04
di: Santos, Davi Antônio da Silva, et al.
Pubblicazione: (2025)

SquirrelFS: using the Rust compiler to check file-system crash consistency
di: LeBlanc, Hayley, et al.
Pubblicazione: (2024)

Rethinking Provenance Completeness with a Learning-Based Linux Scheduler
di: Mao, Jinsong, et al.
Pubblicazione: (2025)

Case Study: Securing MMU-less Linux Using CHERI
di: Almatary, Hesham, et al.
Pubblicazione: (2023)

Sandlock: Confining AI Agent Code with Unprivileged Linux Primitives
di: Wang, Cong, et al.
Pubblicazione: (2026)

Design and Reliability of a User Space Write-Ahead Log in Rust
di: Pellegatti, Vitor K. F., et al.
Pubblicazione: (2025)

The eBPF Runtime in the Linux Kernel
di: Gbadamosi, Bolaji, et al.
Pubblicazione: (2024)

treVM: Tiny Rust Embedded Virtual Machines with WASM on Variable Resource-Constrained Hardware
di: Lavandier, Antoine, et al.
Pubblicazione: (2026)

Trust Nothing: RTOS Security without Run-Time Software TCB (Extended Version)
di: Ackermann, Eric, et al.
Pubblicazione: (2026)

eBPF-mm: Userspace-guided memory management in Linux with eBPF
di: Mores, Konstantinos, et al.
Pubblicazione: (2024)

TenonOS: A Self-Generating LibOS-on-LibOS Framework for Time-Critical Embedded Operating Systems
di: Zhao, Xinkui, et al.
Pubblicazione: (2025)

Beyond Control: Exploring Novel File System Objects for Data-Only Attacks on Linux Systems
di: Zhou, Jinmeng, et al.
Pubblicazione: (2024)

Understanding and Enhancing Linux Kernel-based Packet Switching on WiFi Access Points
di: Zhang, Shiqi, et al.
Pubblicazione: (2024)

CrashFixer: A crash resolution agent for the Linux kernel
di: Mathai, Alex, et al.
Pubblicazione: (2025)

gpu_ext: Extensible OS Policies for GPUs via eBPF
di: Zheng, Yusheng, et al.
Pubblicazione: (2025)

ZeroOS: A Universal Modular Library OS for zkVMs
di: Zou, Guangxian, et al.
Pubblicazione: (2025)

Towards Deterministic Sub-0.5 us Response on Linux through Interrupt Isolation
di: Zhou, Zhouyi, et al.
Pubblicazione: (2025)

Mitigating context switching in densely packed Linux clusters with Latency-Aware Group Scheduling
di: Isstaif, Al Amjad Tawfiq, et al.
Pubblicazione: (2025)

Where Linux Breaks Under Radiation: A Cross-Architecture Kernel-Level Characterization of Proton-Induced Failures in COTS SoCs
di: Memon, Saad, et al.
Pubblicazione: (2025)

Alliance formation in a coproduct supply chain
di: Yangyang Peng, et al.
Pubblicazione: (2026)

Scheduling Analysis of UAV Flight Control Workloads using Raspberry Pi 5 Using PREEMPT_RT Linux
di: Giacomossi, Luiz, et al.
Pubblicazione: (2026)

Exploiting Application-to-Architecture Dependencies for Designing Scalable OS
di: Xiao, Yao, et al.
Pubblicazione: (2025)

Leveraging OS-Level Primitives for Robotic Action Management
di: Zheng, Wenxin, et al.
Pubblicazione: (2025)

AgentCgroup: Understanding and Controlling OS Resources of AI Agents
di: Zheng, Yusheng, et al.
Pubblicazione: (2026)

Combining Type Checking and Formal Verification for Lightweight OS Correctness
di: Ijaz, Ramla, et al.
Pubblicazione: (2024)

AgentRM: An OS-Inspired Resource Manager for LLM Agent Systems
di: She, Jianshu
Pubblicazione: (2026)

MigGPT: Harnessing Large Language Models for Automated Migration of Out-of-Tree Linux Kernel Patches Across Versions
di: Dang, Pucheng, et al.
Pubblicazione: (2025)

LithOS: An Operating System for Efficient Machine Learning on GPUs
di: Coppock, Patrick H., et al.
Pubblicazione: (2025)