Open Access
L4 - Virtualization and Beyond
Hermann Härtig,Michael Roitzsch,Alexander Böttcher,Adam Lackorzynski,Björn Döbel +4 more
- 01 Oct 2008
Vol. 26, Iss: 10, pp 28-40
TL;DR: Using L4 as the basis for virtualization and as an advanced microkernel provides a best-of-both-worlds combination, and several case studies where microkernels provide added value are presented.
read more
Abstract: After being introduced by IBM in the 1960s, virtualization has experienced a renaissance in recent years. It has become a major industry trend in the server context and is also popular on consumer desktops. In addition to the well-known benefits of server consolidation and legacy preservation, virtualization is now considered in embedded systems. In this paper, we want to look beyond the term to evaluate advantages and downsides of various virtualization approaches. We s h o w h o w v i r t u a l i z a t i o n c a n b e complemented or even superseded by modern operating system paradigms. Using L4 as the basis for virtualization and as an advanced microkernel provides a best-of-both-worlds combination. Microkernels can contribute proven real-time capabilities and small trusted computing bases for security-sensitive applications. We discuss L4Linux and Symbian on L4 as virtualization examples and present several case studies where microkernels provide added value.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
The ANDIX research OS — ARM TrustZone meets industrial control systems security
Andreas Fitzek,Florian Achleitner,Johannes Winter,Daniel Hein +3 more
- 22 Jul 2015
TL;DR: This work introduces ANDIX OS, a security Operating System using the ARM TrustZone architecture to create a Trusted Execution Environment, and provides a suitable tool to provide research of its applicability, and hopes that actively encouraging researching the usefuleness and applicability of ARM Trust Zone in an Industrial Control System context will create more secure Industrial Control Systems in the future.
28
Dynamic Security Properties Monitoring Architecture for Cloud Computing
Antonio Muñoz,Antonio Maña,Javier Gonzalez +2 more
- 01 Jan 2013
TL;DR: The monitoring model presented in this chapter focuses on runtime supervision of applications, allowing the detection of problems in the operation of individual instances of applications and supporting the automated reconfiguration of these applications.
16
A security framework for virtualization based computing environment
Sarada Prasanna
- 01 Jan 2011
TL;DR: This paper has proposed a model for a security framework to deal with the security issues of virtualization and how it deals with in relation to the network security issues.
Energy Efficiency Measurements of Mobile Virtualization Systems
Marius Marcu,Dacian Tudor +1 more
- 17 May 2011
TL;DR: This paper explores how virtualization influences the power consumption of both physical systems and virtual systems and which is the most efficient way to implement virtualized applications.
FLoW-Linux: Virtualization distribution scheme for fault tolerant and system enhancement
Imaduddin Mukhtar,Adhe Widianjaya,J. Michael Saputra,Tito Pramudana,A. Subhan Khalilullah,Dadet Pramadihanto +5 more
- 01 Sep 2016
TL;DR: This paper described about the achievement in developing virtualized Linux on top of the authors' FLoW microkernel, a unique design about virtualizing more than one Linux to handle the requests made by user application about Linux system call.
References
Xen and the art of virtualization
Paul Barham,Boris Dragovic,Keir Fraser,Steven Hand,Tim Harris,Alex Ho,Rolf Neugebauer,Ian Pratt,Andrew Warfield +8 more
- 19 Oct 2003
TL;DR: Xen, an x86 virtual machine monitor which allows multiple commodity operating systems to share conventional hardware in a safe and resource managed fashion, but without sacrificing either performance or functionality, considerably outperform competing commercial and freely available solutions.
LLVM: a compilation framework for lifelong program analysis & transformation
Chris Lattner,Vikram Adve +1 more
- 20 Mar 2004
TL;DR: The design of the LLVM representation and compiler framework is evaluated in three ways: the size and effectiveness of the representation, including the type information it provides; compiler performance for several interprocedural problems; and illustrative examples of the benefits LLVM provides for several challenging compiler problems.
Formal requirements for virtualizable third generation architectures
TL;DR: A model of a third-generation-like computer system is developed and formal techniques are used to derive precise sufficient conditions to test whether such an architecture can support virtual machines.
1.1K
Mach: A New Kernel Foundation for UNIX Development.
Michael J. Accetta,Robert V. Baron,William J. Bolosky,David B. Golub,Richard F. Rashid,Avadis Tevanian,Michael Young +6 more
- 01 Jan 1986
TL;DR: Mach as mentioned in this paper is a multiprocessor operating system kernel and environment under development at Carnegie Mellon University, which provides a new foundation for UNIX development that spans networks of uniprocessors and multi-processors.
•Proceedings Article
Virtualizing I/O Devices on VMware Workstation's Hosted Virtual Machine Monitor
Jeremy Sugerman,Ganesh Venkitachalam,Beng-Hong Lim +2 more
- 25 Jun 2001
TL;DR: Results indicate that with optimizations, VMware Workstation’s hosted virtualization architecture can match native I/O throughput on standard PCs.