UMLinux - A Versatile SWIFI Tool

Sieh, Volkmar; Buchacker, K.

doi:10.1007/3-540-36080-8_16

Cited by 8 publications

(4 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…User-Mode Linux [Dike 2001] and UMLinux [Sieh and Buchacker 2002] each run a guest Linux operating system kernel directly on the CPU in user space. This requires adding special signal handling to support virtual interrupts, relinking the 12:46 E. Bugnion et al guest kernel into a different range of addresses, and paravirtualizing the interrupt flag.…”

Section: Hosted Architecturesmentioning

confidence: 99%

Bringing Virtualization to the x86 Architecture with the Original VMware Workstation

Bugnion

Devine

Rosenblum

et al. 2012

ACM Trans. Comput. Syst.

View full text Add to dashboard Cite

This article describes the historical context, technical challenges, and main implementation techniques used by VMware Workstation to bring virtualization to the x86 architecture in 1999. Although virtual machine monitors (VMMs) had been around for decades, they were traditionally designed as part of monolithic, single-vendor architectures with explicit support for virtualization. In contrast, the x86 architecture lacked virtualization support, and the industry around it had disaggregated into an ecosystem, with different vendors controlling the computers, CPUs, peripherals, operating systems, and applications, none of them asking for virtualization. We chose to build our solution independently of these vendors.As a result, VMware Workstation had to deal with new challenges associated with (i) the lack of virtualization support in the x86 architecture, (ii) the daunting complexity of the architecture itself, (iii) the need to support a broad combination of peripherals, and (iv) the need to offer a simple user experience within existing environments. These new challenges led us to a novel combination of well-known virtualization techniques, techniques from other domains, and new techniques.VMware Workstation combined a hosted architecture with a VMM. The hosted architecture enabled a simple user experience and offered broad hardware compatibility. Rather than exposing I/O diversity to the virtual machines, VMware Workstation also relied on software emulation of I/O devices. The VMM combined a trap-and-emulate direct execution engine with a system-level dynamic binary translator to efficiently virtualize the x86 architecture and support most commodity operating systems. By relying on x86 hardware segmentation as a protection mechanism, the binary translator could execute translated code at near hardware speeds. The binary translator also relied on partial evaluation and adaptive retranslation to reduce the overall overheads of virtualization.Written with the benefit of hindsight, this article shares the key lessons we learned from building the original system and from its later evolution.

show abstract

Section: Hosted Architecturesmentioning

confidence: 99%

Bringing Virtualization to the x86 Architecture with the Original VMware Workstation

Bugnion

Devine

Rosenblum

et al. 2012

ACM Trans. Comput. Syst.

View full text Add to dashboard Cite

show abstract

“…Thus, fault injection into registers resulted in accelerated stressing of Ghidrah 's fault tolerance mechanisms. Fault injection into memory wasn ot performed because memory corruption has been shown to have a low error manifestation rate [12,18].…”

Section: Fault Injection Campaign Designmentioning

confidence: 99%

“…This includes tools for single-node systems, where the Linux kernel and applications run inside a single user-levelLinux process [2,3,18]. In [16], fault injection is performed using a software-implemented emulator of PC hardware.…”

Section: Related Workmentioning

confidence: 99%

“…The use of fault injection to test distributed systems [19,7,8,6] and leveraging virtualization for fault injection [2,3,18,16,9,12] have been presented in previous works. However, unique features of our work include: A) a comprehensive presentation of all aspects of a practical testing infrastructure, and B) ad etailed case study of the use of the infrastructure to validate a system with multiple advanced fault tolerance features.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Using Virtualization to Validate Fault-Tolerant Distributed Systems

Hsu

Gallagher

et al. 2010

Informatics

View full text Add to dashboard Cite

Asynchronous events and complexs ystem state distributed across independent nodes makee xposure and diagnosis of flaws in distributed systems a challenge. The difficulties are exacerbated when the goal is to validate fault tolerance mechanisms that are activated only by the occurrence of errors, which are, by nature, rare. Va lidation of fault tolerance mechanisms is often done by injecting faults that emulate the actual faults and ''stress''t he functionality of the resilience mechanisms. Va lidation campaigns lasting days and involving thousands of fault injections are often necessary.W ep resent an infrastructure that combines virtualization and software-implemented fault injection to automate validation campaigns and support the analysis of the behavior of a distributed system under test. Virtualization enables: 1) aflexible fault injector capable of emulating a wide variety of faults, and 2) am echanism for autonomously recovering faulty nodes so that the campaign can continue running on a target system that is fully functional. As ac ase study we use this infrastructure to validate a Byzantine-fault-tolerant cluster manager.O ver 1280 hours of fault injections yielded the exposure of 11 unique flaws in the cluster manager.

show abstract

Simulation-based Fault Injection with QEMU for Speeding-up Dependability Analysis of Embedded Software

Ferraretto

Pravadelli

2016

J Electron Test

View full text Add to dashboard Cite

UMLinux - A Versatile SWIFI Tool

Cited by 8 publications

References 8 publications

Bringing Virtualization to the x86 Architecture with the Original VMware Workstation

Bringing Virtualization to the x86 Architecture with the Original VMware Workstation

Using Virtualization to Validate Fault-Tolerant Distributed Systems

Simulation-based Fault Injection with QEMU for Speeding-up Dependability Analysis of Embedded Software

Contact Info

Product

Resources

About