Microsoft Technology Licensing, LLC

Moka5, Inc.

Michael Carbin

Galen Clyde Hunt

James R Larus

Steven P Levi

Thomas Joseph Purtell, Ii

David R Tarditi

Won S Chun

Orion Hodson

Michael F Spear

Manuel A Fähndrich

Bjame Steensgaard

In some implementations, the operations of a software system may include the execution of untrusted device drivers. The execution of an untrusted device driver may be initiated when an untrusted device driver that is a set of executable instructions is obtained. A computing resource for the execution of the device driver may be further determined from a device-driver manifest of the untrusted device driver. Computing resources may include one or more of a hardware resource, a memory, an input/output port, an interrupt request line, and an inter-process communication channel. Trusted local access objects may be used by the untrusted device driver to access the computing resources.

Configuration of isolated extensions and device drivers

Embodiments of the present invention comprise methods and systems for augmenting machine virtualization by entirely bypassing resource emulation for performance-critical features, such as 3D graphics acceleration, through the use of high-performance interfaces between the guest OS and the host OS. Embodiments of the present invention also comprise methods and systems for ameliorating the performance penalties and functionality restrictions of conventional resource emulation.

Bypass virtualization

Growing community of inventors

Fremont, CA, United States of America

Michael Carbin