Virtual machines offer a fair degree of system state encapsulation, which promotes practical advances in fault tolerance, system debugging, profiling and security applications. This work investigates deterministic replay and semi-active replication for system paravirtualization, a software discipline trading guest kernel binar compatibility for reduced dependency on costly trap-and-emulate techniques. A primary contribution is evidence that trace capturing under a piecewise deterministic execution model can be added to an abstract but inherently asynchronous, split I/O model for virtual machines without compromising the run-time overhead typically reported with monolithic systems.     «

Virtual machines offer a fair degree of system state encapsulation, which promotes practical advances in fault tolerance, system debugging, profiling and security applications. This work investigates deterministic replay and semi-active replication for system paravirtualization, a software discipline trading guest kernel binar compatibility for reduced dependency on costly trap-and-emulate techniques. A primary contribution is evidence that trace capturing under a piecewise deterministic executi...     »

Systemvirtualisierung bietet durch Kapselung vollständiger Gastsystemzustände in Zukunft neue, innovative Anwendungen in Fehlertoleranz, Systemanalyse und Netzwerksicherheit. Einige davon werden dabei durch detaillierte Replikation von Systemabläufen in zeitlicher oder räumlicher Redundanz ermöglicht. Die Arbeit demonstriert, dass sich dies mit einer speziellen Form sogenannter Paravirtualisierung sehr effizient realisieren lässt. Sie belegt dabei, dass hier offene Architekturen aus über mehrere Adressräume verteilten, asynchron kommunizierenden Komponenten den Vergleich mit klassischen, monolithischen Systemen nicht zu scheuen brauchen.     «

Systemvirtualisierung bietet durch Kapselung vollständiger Gastsystemzustände in Zukunft neue, innovative Anwendungen in Fehlertoleranz, Systemanalyse und Netzwerksicherheit. Einige davon werden dabei durch detaillierte Replikation von Systemabläufen in zeitlicher oder räumlicher Redundanz ermöglicht. Die Arbeit demonstriert, dass sich dies mit einer speziellen Form sogenannter Paravirtualisierung sehr effizient realisieren lässt. Sie belegt dabei, dass hier offene Architekturen aus über mehrere...     »