TenonOS: A Self-Generating LibOS-on-LibOS Framework for Time-Critical Embedded Operating Systems

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Zhao, Xinkui, Zhang, Yifan, Zhao, Haidan, Zhang, Hao, Ma, Qingyu, Zhang, Lufei, Cheng, Guanjie, Deng, Shuiguang, Yin, Jianwei, Chen, Zuoning
Format: Preprint
Published: 2025
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866918239556075520
author Zhao, Xinkui
Zhang, Yifan
Zhao, Haidan
Zhang, Hao
Ma, Qingyu
Zhang, Lufei
Cheng, Guanjie
Deng, Shuiguang
Yin, Jianwei
Chen, Zuoning
author_facet Zhao, Xinkui
Zhang, Yifan
Zhao, Haidan
Zhang, Hao
Ma, Qingyu
Zhang, Lufei
Cheng, Guanjie
Deng, Shuiguang
Yin, Jianwei
Chen, Zuoning
contents The growing complexity of embedded systems creates tension between rich functionality and strict resource and real-time constraints. Traditional monolithic operating system and hypervisor designs suffer from resource bloat and unpredictable scheduling, making them unsuitable for time-critical workloads where low latency and low jitter are essential. We propose TenonOS, a demand-driven, self-generating, lightweight operating system framework for time-critical embedded systems that rethinks both hypervisor and operating system architectures. TenonOS introduces a LibOS-on-LibOS model that decomposes hypervisor and operating system functionality into fine-grained, reusable micro-libraries. A generative orchestration engine dynamically composes these libraries to synthesize a customized runtime tailored to each application's criticality, timing requirements, and resource profile. TenonOS consists of two core components: Mortise, a minimalist micro-hypervisor, and Tenon, a real-time library operating system. Mortise provides lightweight isolation and removes the usual double-scheduler overhead in virtualized setups, while Tenon provides precise and deterministic task management. By generating only the necessary software stack per workload, TenonOS removes redundant layers, minimizes the trusted computing base, and maximizes responsiveness. Experiments show a 40.28 percent reduction in scheduling latency, an ultra-compact 361 KiB memory footprint, and strong adaptability.
format Preprint
id arxiv_https___arxiv_org_abs_2512_00400
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle TenonOS: A Self-Generating LibOS-on-LibOS Framework for Time-Critical Embedded Operating Systems
Zhao, Xinkui
Zhang, Yifan
Zhao, Haidan
Zhang, Hao
Ma, Qingyu
Zhang, Lufei
Cheng, Guanjie
Deng, Shuiguang
Yin, Jianwei
Chen, Zuoning
Operating Systems
Systems and Control
The growing complexity of embedded systems creates tension between rich functionality and strict resource and real-time constraints. Traditional monolithic operating system and hypervisor designs suffer from resource bloat and unpredictable scheduling, making them unsuitable for time-critical workloads where low latency and low jitter are essential. We propose TenonOS, a demand-driven, self-generating, lightweight operating system framework for time-critical embedded systems that rethinks both hypervisor and operating system architectures. TenonOS introduces a LibOS-on-LibOS model that decomposes hypervisor and operating system functionality into fine-grained, reusable micro-libraries. A generative orchestration engine dynamically composes these libraries to synthesize a customized runtime tailored to each application's criticality, timing requirements, and resource profile. TenonOS consists of two core components: Mortise, a minimalist micro-hypervisor, and Tenon, a real-time library operating system. Mortise provides lightweight isolation and removes the usual double-scheduler overhead in virtualized setups, while Tenon provides precise and deterministic task management. By generating only the necessary software stack per workload, TenonOS removes redundant layers, minimizes the trusted computing base, and maximizes responsiveness. Experiments show a 40.28 percent reduction in scheduling latency, an ultra-compact 361 KiB memory footprint, and strong adaptability.
title TenonOS: A Self-Generating LibOS-on-LibOS Framework for Time-Critical Embedded Operating Systems
topic Operating Systems
Systems and Control
url https://arxiv.org/abs/2512.00400