Nanvix: A Multikernel OS Design for High-Density Serverless Deployments

handfuloflight1 pts0 comments

[2604.11669] Nanvix: A Multikernel OS Design for High-Density Serverless Deployments

Skip to main content

Search arXiv

Press Enter to search · Advanced search

-->

Computer Science > Operating Systems

arXiv:2604.11669 (cs)

[Submitted on 13 Apr 2026]

Title:Nanvix: A Multikernel OS Design for High-Density Serverless Deployments

Authors:Carlos Segarra, Pedro Henrique Penna, Enrique Saurez, Íñigo Goiri, Peter Pietzuch, Shan Lu, Rodrigo Fonseca<br>View a PDF of the paper titled Nanvix: A Multikernel OS Design for High-Density Serverless Deployments, by Carlos Segarra and 6 other authors

View PDF<br>HTML (experimental)

Abstract:Serverless providers strive for high resource utilization by optimizing deployment density: how many applications can be deployed per host server. However, achieving high deployment density without compromising application performance or isolation remains an open challenge. High density can be achieved by sharing components across applications, yet applications from different tenants must be strongly isolated from each other due to the risk of side-channel attacks. Sharing components across applications from the same tenant, if done naively, can introduce contention on host resources thus negatively affecting application performance.

We describe Nanvix, a new multikernel OS that disaggregates ephemeral execution state, unique per application invocation, from long-lived persistent state, shared among invocations from the same tenant. Applications in Nanvix execute inside a lightweight user VM running a micro-kernel that implements threads and memory, and forwards all I/O requests to a system VM. The system VM runs a macro-kernel with a rich set of device drivers and is shared among all invocations from the same tenant. Nanvix' split design achieves strong hypervisor isolation across tenants without sacrificing application performance, and reduces same-tenant contention by multiplexing all I/O requests to the system VM. Thanks to a system-wide co-design, Nanvix achieves order-of-magnitude lower application start up times with moderate I/O overheads. When replaying a production trace, Nanvix needs 20-100x fewer host servers compared to state-of-the-art systems, improving deployment density

Comments:<br>12 pages

Subjects:

Operating Systems (cs.OS); Distributed, Parallel, and Cluster Computing (cs.DC)

ACM classes:<br>D.4

Cite as:<br>arXiv:2604.11669 [cs.OS]

(or<br>arXiv:2604.11669v1 [cs.OS] for this version)

https://doi.org/10.48550/arXiv.2604.11669

Focus to learn more

arXiv-issued DOI via DataCite

Submission history<br>From: Carlos Segarra [view email]<br>[v1]<br>Mon, 13 Apr 2026 16:15:08 UTC (504 KB)

Full-text links:<br>Access Paper:

View a PDF of the paper titled Nanvix: A Multikernel OS Design for High-Density Serverless Deployments, by Carlos Segarra and 6 other authors<br>View PDF<br>HTML (experimental)<br>TeX Source

view license

Current browse context:

cs.OS

next >

new<br>recent<br>| 2026-04

Change to browse by:

cs<br>cs.DC

References & Citations

NASA ADS<br>Google Scholar

Semantic Scholar

export BibTeX citation<br>Loading...

BibTeX formatted citation

&times;

loading...

Data provided by:

Bookmark

Bibliographic Tools

Bibliographic and Citation Tools

Bibliographic Explorer Toggle

Bibliographic Explorer (What is the Explorer?)

Connected Papers Toggle

Connected Papers (What is Connected Papers?)

Litmaps Toggle

Litmaps (What is Litmaps?)

scite.ai Toggle

scite Smart Citations (What are Smart Citations?)

Code, Data, Media

Code, Data and Media Associated with this Article

alphaXiv Toggle

alphaXiv (What is alphaXiv?)

Links to Code Toggle

CatalyzeX Code Finder for Papers (What is CatalyzeX?)

DagsHub Toggle

DagsHub (What is DagsHub?)

GotitPub Toggle

Gotit.pub (What is GotitPub?)

Huggingface Toggle

Hugging Face (What is Huggingface?)

ScienceCast Toggle

ScienceCast (What is ScienceCast?)

Demos

Demos

Replicate Toggle

Replicate (What is Replicate?)

Spaces Toggle

Hugging Face Spaces (What is Spaces?)

Spaces Toggle

TXYZ.AI (What is TXYZ.AI?)

Related Papers

Recommenders and Search Tools

Link to Influence Flower

Influence Flower (What are Influence Flowers?)

Core recommender toggle

CORE Recommender (What is CORE?)

Author

Venue

Institution

Topic

About arXivLabs

arXivLabs: experimental projects with community collaborators

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs .

Which authors of this paper are endorsers? |<br>Disable MathJax (What is MathJax?)

Major funding support from

toggle nanvix density arxiv high from

Related Articles