Patents by Inventor Marcelo Tosatti

Marcelo Tosatti 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: 10599468
    Abstract: A system includes a hypervisor, virtual machine(s), and virtual processor(s). The virtual processor(s) includes a real time virtual processor and a housekeeping virtual processor. The housekeeping virtual processor is configured to initiate a non-preemptible task and responsive to initiating the non-preemptible task, increment a counter value from an initial counter value. The housekeeping virtual processor is also configured to complete the non-preemptible task and responsive to completing the non-preemptible task, decrement the counter value towards the initial counter value. Responsive to the counter value reaching the initial counter value, the virtual housekeeping processor is configured to check a flag set by the hypervisor. Responsive to checking the flag, the housekeeping process is configured to execute a hypercall to yield a processor associated with the housekeeping virtual processor.
    Type: Grant
    Filed: October 25, 2017
    Date of Patent: March 24, 2020
    Assignee: Red Hat, Inc.
    Inventors: Henri van Riel, Luiz Capitulino, Marcelo Tosatti
  • Publication number: 20190121659
    Abstract: A system includes a hypervisor, virtual machine(s), and virtual processor(s). The virtual processor(s) includes a real time virtual processor and a housekeeping virtual processor. The housekeeping virtual processor is configured to initiate a non-preemptible task and responsive to initiating the non-preemptible task, increment a counter value from an initial counter value. The housekeeping virtual processor is also configured to complete the non-preemptible task and responsive to completing the non-preemptible task, decrement the counter value towards the initial counter value. Responsive to the counter value reaching the initial counter value, the virtual housekeeping processor is configured to check a flag set by the hypervisor. Responsive to checking the flag, the housekeeping process is configured to execute a hypercall to yield a processor associated with the housekeeping virtual processor.
    Type: Application
    Filed: October 25, 2017
    Publication date: April 25, 2019
    Inventors: Henri van Riel, Luiz Capitulino, Marcelo Tosatti
  • Patent number: 10002016
    Abstract: A system and methods are disclosed for configuring a virtualized system for real-time response from virtual machines (VMs). In accordance with one embodiment, a VM request is received, where the request specifies a number N of virtual processors for executing real-time tasks, and where N is a positive integer. In response to the VM request, a plurality of physical processors are partitioned into a first subset dedicated to real-time tasks and a second subset dedicated to non-real-time tasks, the first subset having at least N physical processors, and one or more commands are submitted to one or both of a hypervisor and a guest OS of a first VM to configure the first VM to have N virtual processors dedicated to real-time tasks and a set of additional virtual processors dedicated to non-real-time tasks.
    Type: Grant
    Filed: July 23, 2015
    Date of Patent: June 19, 2018
    Assignee: Red Hat, Inc.
    Inventors: Henri Van Riel, Luiz Capitulino, Marcelo Tosatti
  • Patent number: 9715403
    Abstract: Optimized extended context management for virtual machines is disclosed. An example system includes a memory, processor, VM, and kernel, which executes the VM using guest space, stores a guest state in an extended state register, which the VM has access to, receives an instruction, saves the guest state, and determines whether the kernel is configured to handle the process using kernel space. If so, the process is handled using kernel space without using user space, and if not, a user state in the extended state register is restored, the process is handled using user space, an updated user state is stored in the extended state register, the updated user state is saved, and the guest state is restored in the extended state register. Finally, execution of the VM using the guest space is resumed.
    Type: Grant
    Filed: February 27, 2015
    Date of Patent: July 25, 2017
    Assignee: Red Hat, Inc.
    Inventors: Henri van Riel, Marcelo Tosatti
  • Publication number: 20170024231
    Abstract: A system and methods are disclosed for configuring a virtualized system for real-time response from virtual machines (VMs). In accordance with one embodiment, a VM request is received, where the request specifies a number N of virtual processors for executing real-time tasks, and where N is a positive integer. In response to the VM request, a plurality of physical processors are partitioned into a first subset dedicated to real-time tasks and a second subset dedicated to non-real-time tasks, the first subset having at least N physical processors, and one or more commands are submitted to one or both of a hypervisor and a guest OS of a first VM to configure the first VM to have N virtual processors dedicated to real-time tasks and a set of additional virtual processors dedicated to non-real-time tasks.
    Type: Application
    Filed: July 23, 2015
    Publication date: January 26, 2017
    Inventors: Henri Van Riel, Luiz Capitulino, Marcelo Tosatti
  • Publication number: 20160253196
    Abstract: Optimized extended context management for virtual machines is disclosed. An example system includes a memory, processor, VM, and kernel, which executes the VM using guest space, stores a guest state in an extended state register, which the VM has access to, receives an instruction, saves the guest state, and determines whether the kernel is configured to handle the process using kernel space. If so, the process is handled using kernel space without using user space, and if not, a user state in the extended state register is restored, the process is handled using user space, an updated user state is stored in the extended state register, the updated user state is saved, and the guest state is restored in the extended state register. Finally, execution of the VM using the guest space is resumed.
    Type: Application
    Filed: February 27, 2015
    Publication date: September 1, 2016
    Inventors: Henri van Riel, Marcelo Tosatti
  • Patent number: 9389910
    Abstract: An application associated with a virtual processor running on a physical processor reads a first value of a counter and a second value of the counter. The counter is indicative of a migration status of the virtual processor with respect to the physical processor. Responsive to determining that the first value of the counter does not equal the second value of the counter, the application ascertains whether a value of a hardware parameter associated with the physical processor has changed during a time interval. The migration status indicates a count of the number of times the virtual processor has migrated a first physical processor to a second physical processor. The application determines the validity of a value of a performance monitoring unit derived from the hardware parameter in view of the application ascertaining whether the value of the hardware parameter has changed during the time interval.
    Type: Grant
    Filed: June 2, 2014
    Date of Patent: July 12, 2016
    Assignee: Red Hat Israel, Ltd.
    Inventors: Karen Noel, Paolo Bonzini, Ronen Hod, Marcelo Tosatti
  • Patent number: 9378057
    Abstract: An application associated with a processor reads a first value of a counter and a second value of the counter. The counter is indicative of a migration status of the application with respect to the processor. Responsive to determining that the first value of the counter does not equal the second value of the counter, the application ascertains whether a value of a hardware parameter associated with the processor has changed during a time interval. The migration status indicates a count of the number of times the application has migrated from one processor to another processor. The application determines the validity of a value of a performance monitoring unit derived from the hardware parameter in view of the application ascertaining whether the value of the hardware parameter has changed during the time interval.
    Type: Grant
    Filed: February 28, 2014
    Date of Patent: June 28, 2016
    Assignee: Red Hat Israel, Ltd.
    Inventors: Karen Noel, Paolo Bonzini, Ronen Hod, Marcelo Tosatti
  • Patent number: 9354916
    Abstract: A virtual machine disk page detector running on a computing device detects guest disk cache usage. The detector detects a request from a virtual operating system to read an object into a virtual memory page from a virtual disk, maintains a record of a page identifier and a corresponding virtual disk address in a guest cache data structure, and modifies a protection identifier of the virtual memory page to indicate that the virtual memory page is protected.
    Type: Grant
    Filed: November 29, 2012
    Date of Patent: May 31, 2016
    Assignee: Red Hat Israel, Ltd.
    Inventors: Marcelo Tosatti, Avi Kivity, Henri Han Van Riel
  • Publication number: 20150347166
    Abstract: An application associated with a virtual processor running on a physical processor reads a first value of a counter and a second value of the counter. The counter is indicative of a migration status of the virtual processor with respect to the physical processor. Responsive to determining that the first value of the counter does not equal the second value of the counter, the application ascertains whether a value of a hardware parameter associated with the physical processor has changed during a time interval. The migration status indicates a count of the number of times the virtual processor has migrated a first physical processor to a second physical processor. The application determines the validity of a value of a performance monitoring unit derived from the hardware parameter in view of the application ascertaining whether the value of the hardware parameter has changed during the time interval.
    Type: Application
    Filed: June 2, 2014
    Publication date: December 3, 2015
    Applicant: Red Hat Israel, Ltd.
    Inventors: Karen Noel, Paolo Bonzini, Ronen Hod, Marcelo Tosatti
  • Publication number: 20150248303
    Abstract: An application associated with a processor reads a first value of a counter and a second value of the counter. The counter is indicative of a migration status of the application with respect to the processor. Responsive to determining that the first value of the counter does not equal the second value of the counter, the application ascertains whether a value of a hardware parameter associated with the processor has changed during a time interval. The migration status indicates a count of the number of times the application has migrated from one processor to another processor. The application determines the validity of a value of a performance monitoring unit derived from the hardware parameter in view of the application ascertaining whether the value of the hardware parameter has changed during the time interval.
    Type: Application
    Filed: February 28, 2014
    Publication date: September 3, 2015
    Applicant: Red Hat Israel, Ltd.
    Inventors: Karen Noel, Paolo Bonzini, Ronen Hod, Marcelo Tosatti
  • Publication number: 20140149634
    Abstract: A virtual machine disk page detector running on a computing device detects guest disk cache usage. The detector detects a request from a virtual operating system to read an object into a virtual memory page from a virtual disk, maintains a record of a page identifier and a corresponding virtual disk address in a guest cache data structure, and modifies a protection identifier of the virtual memory page to indicate that the virtual memory page is protected.
    Type: Application
    Filed: November 29, 2012
    Publication date: May 29, 2014
    Applicant: Red Hat, Inc.
    Inventors: Marcelo Tosatti, Avi Kivity, Henri Han Van Riel
  • Patent number: 8560758
    Abstract: In one embodiment, a mechanism for out-of-synch virtual machine memory management optimization is disclosed. In one embodiment, a method for out-of-synch virtual machine memory management optimization includes receiving a memory management unit (MMU) synchronization event issued from a VM virtualized by a VM monitor (VMM) of a host server device, and synchronizing one or more unsynchronized page tables (PTs) of a shadow PT hierarchy maintained by the VMM with one or more corresponding guest PTs of a guest PT hierarchy maintained by the VM, wherein the one or more unsynchronized PTs include an unlimited number of unsynchronized PTs in a visible address space of the shadow PT hierarchy that is determined by a current CR3 register address of the shadow PT hierarchy.
    Type: Grant
    Filed: August 24, 2009
    Date of Patent: October 15, 2013
    Assignee: Red Hat Israel, Ltd.
    Inventors: Avi Kivity, Marcelo Tosatti
  • Publication number: 20110047546
    Abstract: In one embodiment, a mechanism for out-of-synch virtual machine memory management optimization is disclosed. In one embodiment, a method for out-of-synch virtual machine memory management optimization includes receiving a memory management unit (MMU) synchronization event issued from a VM virtualized by a VM monitor (VMM) of a host server device, and synchronizing one or more unsynchronized page tables (PTs) of a shadow PT hierarchy maintained by the VMM with one or more corresponding guest PTs of a guest PT hierarchy maintained by the VM, wherein the one or more unsynchronized PTs include an unlimited number of unsynchronized PTs in a visible address space of the shadow PT hierarchy that is determined by a current CR3 register address of the shadow PT hierarchy.
    Type: Application
    Filed: August 24, 2009
    Publication date: February 24, 2011
    Inventors: Avi Kivity, Marcelo Tosatti