Patents by Inventor Alex Lee Williamson

Alex Lee Williamson has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Patent number: 9697154
    Abstract: Systems and methods for managing message signaled interrupts in virtualized computer systems. An example method may comprise: intercepting, by a hypervisor running on a host computer system, a memory read operation initiated by a virtual machine with respect to a first interrupt mapping table, the first interrupt mapping table stored by a physical device associated with the virtual machine, the memory read operation specifying an offset relative to a base address of the first interrupt mapping table; reading at least part of the first interrupt mapping table; and returning, to the virtual machine, a value referenced by the offset within a second interrupt mapping table, the second interrupt mapping table residing in a memory of the host computer system.
    Type: Grant
    Filed: August 20, 2014
    Date of Patent: July 4, 2017
    Assignee: Red Hat Israel, Ltd.
    Inventors: Alex Lee Williamson, Michael Tsirkin
  • Publication number: 20160055108
    Abstract: Systems and methods for managing message signaled interrupts in virtualized computer systems. An example method may comprise: intercepting, by a hypervisor running on a host computer system, a memory read operation initiated by a virtual machine with respect to a first interrupt mapping table, the first interrupt mapping table stored by a physical device associated with the virtual machine, the memory read operation specifying an offset relative to a base address of the first interrupt mapping table; reading at least part of the first interrupt mapping table; and returning, to the virtual machine, a value referenced by the offset within a second interrupt mapping table, the second interrupt mapping table residing in a memory of the host computer system.
    Type: Application
    Filed: August 20, 2014
    Publication date: February 25, 2016
    Inventors: Alex Lee Williamson, Michael Tsirkin
  • Patent number: 9043789
    Abstract: Methods and systems for managing a removal of a passthrough device from a guest managed by a hypervisor in virtualized computing environment. A hypervisor receives a request from the guest for access to a passthrough device. The hypervisor sets, in a memory, a last accessed state associated with a virtual machine executing the guest. The hypervisor forwards the request to the passthrough device and configures the host CPU to send a subsequent access request directly to the passthrough device. In response to a virtual machine reset, the hypervisor clears the last accessed state and instructs the host CPU to send a post-reset access request to the hypervisor.
    Type: Grant
    Filed: September 5, 2012
    Date of Patent: May 26, 2015
    Assignee: Red Hat Israel, Ltd.
    Inventors: Michael Tsirkin, Alex Lee Williamson
  • Patent number: 8856788
    Abstract: Methods and systems for managing a removal of a device from a guest managed by a hypervisor in virtualized computing environment. A hypervisor maintains in a memory a last accessed state associated with a virtual machine executing a guest. The last accessed state is cleared by the hypervisor when the virtual machine is reset and the last accessed state is set when the hypervisor receives a request from the guest to access a device. The hypervisor receives a request to remove the device from the guest of the virtual machine and remove the device from the guest when the last accessed state is clear.
    Type: Grant
    Filed: September 5, 2012
    Date of Patent: October 7, 2014
    Assignee: Red Hat Israel, Ltd.
    Inventors: Michael Tsirkin, Alex Lee Williamson
  • Publication number: 20140068607
    Abstract: Methods and systems for managing a removal of a passthrough device from a guest managed by a hypervisor in virtualized computing environment. A hypervisor receives a request from the guest for access to a passthrough device. The hypervisor sets, in a memory, a last accessed state associated with a virtual machine executing the guest. The hypervisor forwards the request to the passthrough device and configures the host CPU to send a subsequent access request directly to the passthrough device. In response to a virtual machine reset, the hypervisor clears the last accessed state and instructs the host CPU to send a post-reset access request to the hypervisor.
    Type: Application
    Filed: September 5, 2012
    Publication date: March 6, 2014
    Inventors: Michael Tsirkin, Alex Lee Williamson
  • Publication number: 20140068606
    Abstract: Methods and systems for managing a removal of a device from a guest managed by a hypervisor in virtualized computing environment. A hypervisor maintains in a memory a last accessed state associated with a virtual machine executing a guest. The last accessed state is cleared by the hypervisor when the virtual machine is reset and the last accessed state is set when the hypervisor receives a request from the guest to access a device. The hypervisor receives a request to remove the device from the guest of the virtual machine and remove the device from the guest when the last accessed state is clear.
    Type: Application
    Filed: September 5, 2012
    Publication date: March 6, 2014
    Inventors: Michael Tsirkin, Alex Lee Williamson