The Serverkernel Operating System

Jon Larrea, Antonio Barbalace

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

With the idea of exploiting all the computational resources that an IoT environment with multiple interconnected devices offers, serverkernel is presented as a new operating system architecture that blends ideas from distributed operating systems, Unikernel, and LWK. These concepts are mixed with a server in which a user can remotely offload computations and get the result. This single space-address operating system (OS) can be interpreted as a bare-metal OS in which only drivers for CPU, network, and accelerators are required in order to provide service.

To demonstrate the advantages of serverkernel, jonOS, an open-source C implementation of this architecture for Raspberry Pi, is provided. Compared with commercial architectures used in IoT devices, serverkernel achieves an improvement ratio of 1.5 in CPU time, 2.5 in real-time, and around 9 times better in network speed.
Original languageEnglish
Title of host publicationProceedings of the Third ACM International Workshop on Edge Systems, Analytics and Networking
Place of PublicationNew York, NY, USA
PublisherACM Association for Computing Machinery
Pages13–18
Number of pages6
ISBN (Print)9781450371322
DOIs
Publication statusPublished - 27 Apr 2020
Event3rd International Workshop on Edge Systems, Analytics and Networking - Heraklion, Crete, Greece
Duration: 27 Apr 202027 Apr 2020

Conference

Conference3rd International Workshop on Edge Systems, Analytics and Networking
Abbreviated titleEdgeSys 2020
Country/TerritoryGreece
CityHeraklion, Crete
Period27/04/2027/04/20

Keywords

  • operating systems
  • IoT
  • unikernel
  • FaaS
  • serverkernel

Fingerprint

Dive into the research topics of 'The Serverkernel Operating System'. Together they form a unique fingerprint.

Cite this