A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
Dynamic Translator-Based Virtualization
[chapter]
2007
Lecture Notes in Computer Science
Preserved Fulltext
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
1999
Communications of the ACM
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
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
2010
Proceedings of the first ACM asia-pacific workshop on Workshop on systems - APSys '10
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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
2015
International Journal of Distributed Sensor Networks
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
DESIGN & DEVELOPMENT OF REAL-TIME MULTITASKING MICROKERNEL BASED ON ARM7TDMI FOR INDUSTRIAL AUTOMATION
2012
International Journal of Instrumentation Control and Automation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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?
2015
Proceedings of the 5th International Workshop on Runtime and Operating Systems for Supercomputers - ROSS '15
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2008
2008 13th Asia-Pacific Computer Systems Architecture Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
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
2010
Software, Practice & Experience
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2010
Proceedings of the fifth ACM workshop on Scalable trusted computing - STC '10
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
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
2006
Proceedings of the 2006 ACM SIGPLAN workshop on Haskell - Haskell '06
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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
2002
ACM Computing Surveys
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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
1991
Computer Communications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2018
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
1994
Software, Practice & Experience
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
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
2005
Computer
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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