219 Hits in 2.3 sec

Dynamic Translator-Based Virtualization [chapter]

Yuki Kinebuchi, Hidenari Koshimae, Shuichi Oikawa, Tatsuo Nakajima
2007 Lecture Notes in Computer Science  
In this paper, we present a new model of virtual machine monitor, a flexible dynamic translator constructed on a portable microkernel. Our model offers both high portability and compatibility.  ...  Microkernels and virtual machine monitors are both utilized as platforms for running operating systems.  ...  Constructing Machine Emulator on Microkernel Overview We implemented a prototype system of our proposed model by porting the QEMU machine emulator [2] to the L4Ka::Pistachio microkernel [9] (L4 for  ... 
doi:10.1007/978-3-540-75664-4_51 fatcat:q6zo7ixmbbfl3mslqq2f2yg3mu

The Linux edge

Linus Torvalds
1999 Communications of the ACM  
It is used in embedded systems; it is used to control robotic devices; it has flown on the space shuttle. I'd like to say that I knew this would happen, that  ...  If you write a program to run on Linux, then, for a wide range of machines, that program can be "write once, run anywhere."  ...  By constructing a general kernel model drawn from elements common to all typical architectures, the Linux kernel gets many of the portability benefits that otherwise require an abstraction layer, without  ... 
doi:10.1145/299157.299165 fatcat:42i322ssdzhoxffnfvkrupsofm

The OKL4 microvisor

Gernot Heiser, Ben Leslie
2010 Proceedings of the first ACM asia-pacific workshop on Workshop on systems - APSys '10  
It is also a third-generation microkernel that aims to support the construction of similarly componentised systems as classical microkernels.  ...  We argue that recent hypervisor-vs-microkernel discussions completely miss the point. Fundamentally, the two classes of systems have much in common, and provide similar abstractions.  ...  The microkernel is supposed to be general enough to support the construction of arbitrary systems on top.  ... 
doi:10.1145/1851276.1851282 dblp:conf/sigcomm/HeiserL10 fatcat:7nvoytnyvje7lpuovswpbdjpmi

The Study and Evaluation of ARM-Based Mobile Virtualization

Lei Xu, Zonghui Wang, Wenzhi Chen
2015 International Journal of Distributed Sensor Networks  
virtualization addresses these challenges and then present a detail analysis of four mainstream mobile virtualization solutions: containers, paravirtualization, hardware-assisted full virtualization, and microkernel  ...  There are some drawbacks to microkernel. (i) Device Emulation.  ...  With virtual machine based on microkernel architecture, we can convert hardware resources to various real-time system services and deliver to client operating systems which run on virtual machine by mode  ... 
doi:10.1155/2015/310308 fatcat:zejy6vjqazg4ncqpn7cdjd4elu


2012 International Journal of Instrumentation Control and Automation  
In our research a 32-task Real Time Microkernel is designed using which multi tasking can be done on the targeted processor ARM7TDMI. Two sets of functions are developed in this research work.  ...  First one is Operating System functions and second is application functions.  ...  of Real-time multitasking Microkernel based on ARM7TDMI for Industrial Automation.  ... 
doi:10.47893/ijica.2012.1071 fatcat:yidjnzcvyjdixjojvcsuhx6oay

What is a Lightweight Kernel?

Rolf Riesen, Robert W. Wisniewski, Ron Brightwell, Todd Inglett, Yoonho Park, Yutaka Ishikawa, Arthur Barney Maccabe, Balazs Gerofi, David N. Lombard, John Jack Lange, Kevin Pedretti, Kurt Ferreira (+2 others)
2015 Proceedings of the 5th International Workshop on Runtime and Operating Systems for Supercomputers - ROSS '15  
Lightweight kernels (LWK) have been in use on the compute nodes of supercomputers for decades.  ...  Direct access to new and unique hardware features is more important than portability 2.1.6 Linux/POSIX emulation and virtual file system Because most LWKs attempt to be at least somewhat Linux and Portable  ...  We already mentioned in Section 2.2 one contrast between LWKs and microkernels.  ... 
doi:10.1145/2768405.2768414 dblp:conf/hpdc/RiesenMGLLPFLKW15 fatcat:tv4tul2ddrcpzmwlo42tus2huq

Pre-virtualization: Soft layering for virtual machines

Joshua LeVasseur, Volkmar Uhlig, Yaowei Yang, Matthew Chapman, Peter Chubb, Ben Leslie, Gernot Heiser
2008 2008 13th Asia-Pacific Computer Systems Architecture Conference  
We demonstrate soft layering on x86 and Itanium: we can load a single Linux binary on a variety of hypervisors (and thus substitute virtual machine environments and their enhancements), while achieving  ...  These limitations are accepted as inevitable for significantly better performance, and for the ability to provide virtualization-like behavior on non-virtualizable hardware such as x86.  ...  L4 microkernel back-end: The L4 API is a set of portable microkernel abstractions, and is thus high-level.  ... 
doi:10.1109/apcsac.2008.4625458 dblp:conf/aPcsac/LeVasseurUYCCLH08 fatcat:s2xp2kqnfjhptkyvfg5izdfoli

Portability in MAC protocol and transceiver software implementations for LR-WPAN platforms

Anthony Schoofs, Phillip Stanley-Marbell
2010 Software, Practice & Experience  
Pitfalls are pointed out, and guidelines are provided for ensuring that new MAC implementations are easily portable across processor architectures and transceiver hardware. key words: Portability, medium  ...  This article studies the challenges facing software implementations of MAC protocols running on embedded microcontrollers, and interfacing with radio transceiver hardware.  ...  On other platforms, prioritization may either not be possible, or may need to be emulated in software.  ... 
doi:10.1002/spe.1008 fatcat:5plii6dotfgonovh3mhhaz3mf4

The road to trustworthy systems

Gernot Heiser, June Andronick, Kevin Elphinstone, Gerwin Klein, Ihor Kuz, Leonid Ryzhyk
2010 Proceedings of the fifth ACM workshop on Scalable trusted computing - STC '10  
We report on what has been achieved to date, and what our plans are for the next 3-5 years.  ...  We believe that this is highly unsatisfactory, and have embarked on a large research program aimed at bringing reality in line with expectations.  ...  This material is in part based on research sponsored by the Air Force Research Laboratory, under agreement number FA2386-09-1-4160. The U.S.  ... 
doi:10.1145/1867635.1867638 fatcat:2c4qtcehivb7jgi3aj5s2k2v7a

Running the manual

Philip Derrin, Kevin Elphinstone, Gerwin Klein, David Cock, Manuel M. T. Chakravarty
2006 Proceedings of the 2006 ACM SIGPLAN workshop on Haskell - Haskell '06  
The methodology is based on rapid prototyping and iterative refinement of the microkernel in a functional programming language.  ...  feedback on the suitability of the kernel API during development phases.  ...  Acknowledgements We thank Simon Winwood, Gernot Heiser and the anonymous reviewers for feedback on earlier drafts of this paper.  ... 
doi:10.1145/1159842.1159850 dblp:conf/haskell/DerrinEKCC06 fatcat:nh5qqsypond4pdp4du3bvolvxi

A survey of customizability in operating systems research

G. Denys, F. Piessens, F. Matthijs
2002 ACM Computing Surveys  
An important goal of an operating system is to make computing and communication resources available in a fair and efficient way to the applications that will run on top of it.  ...  The design of the library is unrestricted; the microkernel does not impose any paradigm at all for the construction of services on a higher level.  ...  Two systems, Fluke and EROS, are capability systems structured around a microkernel. Fluke's architecture combines a microkernel with virtual machines.  ... 
doi:10.1145/592642.592644 fatcat:yqrqwbuy5raghm5vqyudxzhgjm

The Amoeba distributed operating system — A status report

Andrew S Tanenbaum, M Frans Kaashoek, Robbert van Renesse, Henri E Bal
1991 Computer Communications  
In Sec. 3 we will begin our discussion of Amoeba itself, starting with the microkernel.  ...  However, some users will want to run massively parallel programs, and will not be able to harness all the idle CPU cycles because they are in other users' personal machines.  ...  In this section we will describe the microkernel. In the next one we will describe some servers. The Amoeba microkernel runs on all machines in the system. It has four primary functions: 1.  ... 
doi:10.1016/0140-3664(91)90058-9 fatcat:4xsejwxxvrdhphbjaw6gmzifom

T-Visor: A Hypervisor for Mixed Criticality Embedded Real-time System with Hardware Virtualization Support [article]

Takumi Shimada, Takeshi Yashiro, Ken Sakamura
2018 arXiv   pre-print
However, as most of existing hypervisors are designed for general-purpose information processing systems, they rely on large system stacks, so that they are not suitable for mixed criticality embedded  ...  DOI: 10.1145/1235 Basically, these are used for running multiple virtual machines (VMs) on one physical machine. In the cloud systems, providers lend their VMs to multiple tenants.  ...  Unikernels are designed to run on hypervisors, so that they employ virtual devices. This makes unikernels portable between different hardwares.  ... 
arXiv:1810.05068v1 fatcat:gx3ftsrmavefflzqtcajq3ry7e

A message-driven programming system for fine-grain multicomputers

Daniel Maskit, Stephen Taylor
1994 Software, Practice & Experience  
This machine combines a unique collection of architectural features that include fine-grain processes, on-chip associative memory; and hardware support for process synchronization.  ...  These tools operate in conjunction with a run-time microkernel. The microkernel uses the hardware associative cache to keep track of what code is present at a single computer.  ...  Although some aspects of these concepts have been found awkward to implement on the J-machine, these issues have been resolved in designs currently under construction at MIT.  ... 
doi:10.1002/spe.4380241005 fatcat:ry3giwsbl5aprim4ft6lkywdve

Rethinking the design of virtual machine monitors

A. Whitaker, R.S. Cox, M. Shaw, S.D. Gribble
2005 Computer  
Through faithful emulation, VMMs support the execution of legacy guest operating systems such as Windows or Linux without modifications.  ...  A virtual machine monitor is a software system that partitions a single physical machine into multiple virtual machines.  ...  A primary purpose of the HAL is to ensure portability across a set of physical hardware architectures.  ... 
doi:10.1109/mc.2005.169 fatcat:7gahtbnqzbcezlxdhplbqb2vse
« Previous Showing results 1 — 15 out of 219 results