Patents by Inventor Martijn de Kort
Martijn de Kort 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: 11977785Abstract: The disclosed technologies provide functionality for non-volatile memory device-assisted live migration of virtual machine (“VM”) data. A host computing device (the “host”) requests that a source non-volatile memory device track changes to a namespace by a VM. In response thereto, the source device tracks changes made by the VM to the namespace and stores one or more data structures that identify the changed portions of the namespace. The host requests the data structures from the source device and requests the contents of the changed portions from the source device. The host then causes the data changed by the VM in the namespace to be written to a namespace on a target non-volatile memory device. The host can also retrieve the device internal state of a child physical function on the source device. The host migrates the retrieved device internal state to a child physical function on the target device.Type: GrantFiled: February 8, 2022Date of Patent: May 7, 2024Assignee: MICROSOFT TECHNOLOGY LICENSING, LLCInventors: Scott Chao-Chueh Lee, Lei Kou, Monish Shantilal Shah, Liang Yang, Yimin Deng, Martijn De Kort
-
Patent number: 11941260Abstract: Techniques of implementing software filtered non-volatile memory in a computing device are disclosed herein. In one embodiment, a method includes detecting an entry being written to a guest admin submission queue (gASQ) by a memory driver of a virtual machine hosted on the computing device. Upon detecting the entry written to the gASQ by the memory driver, the command in the entry is analyzed to determine whether the command is allowed based on a list of allowed or disallowed commands. In response to determining that the command in the entry is not allowed, without sending the command to the non-volatile memory, generating an execution result of the command in response to the entry being written to the gASQ by the memory driver. As such, potentially harmful commands from the memory driver are prevented from being executed by the non-volatile memory.Type: GrantFiled: June 6, 2022Date of Patent: March 26, 2024Assignee: MICROSOFT TECHNOLOGY LICENSING, LLCInventors: Martijn de Kort, David Hepkin, Murtaza Ghiya, Liang Yang, Matthew David Kurjanowicz
-
Publication number: 20230251799Abstract: The disclosed technologies provide functionality for non-volatile memory device-assisted live migration of virtual machine (“VM”) data. A host computing device (the “host”) requests that a source non-volatile memory device track changes to a namespace by a VM. In response thereto, the source device tracks changes made by the VM to the namespace and stores one or more data structures that identify the changed portions of the namespace. The host requests the data structures from the source device and requests the contents of the changed portions from the source device. The host then causes the data changed by the VM in the namespace to be written to a namespace on a target non-volatile memory device. The host can also retrieve the device internal state of a child physical function on the source device. The host migrates the retrieved device internal state to a child physical function on the target device.Type: ApplicationFiled: February 8, 2022Publication date: August 10, 2023Inventors: Scott Chao-Chueh LEE, Lei KOU, Monish Shantilal SHAH, Liang YANG, Yimin DENG, Martijn DE KORT
-
Publication number: 20220413717Abstract: Techniques of implementing software filtered non-volatile memory in a computing device are disclosed herein. In one embodiment, a method includes detecting an entry being written to a guest admin submission queue (gASQ) by a memory driver of a virtual machine hosted on the computing device. Upon detecting the entry written to the gASQ by the memory driver, the command in the entry is analyzed to determine whether the command is allowed based on a list of allowed or disallowed commands. In response to determining that the command in the entry is not allowed, without sending the command to the non-volatile memory, generating an execution result of the command in response to the entry being written to the gASQ by the memory driver. As such, potentially harmful commands from the memory driver are prevented from being executed by the non-volatile memory.Type: ApplicationFiled: June 6, 2022Publication date: December 29, 2022Inventors: Martijn de Kort, David Hepkin, Murtaza Ghiya, Liang Yang, Matthew David Kurjanowicz
-
Patent number: 11385809Abstract: Techniques of implementing software filtered non-volatile memory in a computing device are disclosed herein. In one embodiment, a method includes detecting an entry being written to a guest admin submission queue (gASQ) by a memory driver of a virtual machine hosted on the computing device. Upon detecting the entry written to the gASQ by the memory driver, the command in the entry is analyzed to determine whether the command is allowed based on a list of allowed or disallowed commands. In response to determining that the command in the entry is not allowed, without sending the command to the non-volatile memory, generating an execution result of the command in response to the entry being written to the gASQ by the memory driver. As such, potentially harmful commands from the memory driver are prevented from being executed by the non-volatile memory.Type: GrantFiled: March 1, 2021Date of Patent: July 12, 2022Assignee: Microsoft Technology Licensing, LLCInventors: Martijn de Kort, David Hepkin, Murtaza Ghiya, Liang Yang, Matthew David Kurjanowicz
-
Publication number: 20210181956Abstract: Techniques of implementing software filtered non-volatile memory in a computing device are disclosed herein. In one embodiment, a method includes detecting an entry being written to a guest admin submission queue (gASQ) by a memory driver of a virtual machine hosted on the computing device. Upon detecting the entry written to the gASQ by the memory driver, the command in the entry is analyzed to determine whether the command is allowed based on a list of allowed or disallowed commands. In response to determining that the command in the entry is not allowed, without sending the command to the non-volatile memory, generating an execution result of the command in response to the entry being written to the gASQ by the memory driver. As such, potentially harmful commands from the memory driver are prevented from being executed by the non-volatile memory.Type: ApplicationFiled: March 1, 2021Publication date: June 17, 2021Inventors: Martijn de Kort, David Hepkin, Murtaza Ghiya, Liang Yang, Matthew David Kurjanowicz
-
Patent number: 10969973Abstract: Techniques of implementing software filtered non-volatile memory in a computing device are disclosed herein. In one embodiment, a method includes detecting an entry being written to a guest admin submission queue (gASQ) by a memory driver of a virtual machine hosted on the computing device. Upon detecting the entry written to the gASQ by the memory driver, the command in the entry is analyzed to determine whether the command is allowed based on a list of allowed or disallowed commands. In response to determining that the command in the entry is not allowed, without sending the command to the non-volatile memory, generating an execution result of the command in response to the entry being written to the gASQ by the memory driver. As such, potentially harmful commands from the memory driver are prevented from being executed by the non-volatile memory.Type: GrantFiled: September 20, 2018Date of Patent: April 6, 2021Assignee: Microsoft Technology Licensing, LLCInventors: Martijn de Kort, David Hepkin, Murtaza Ghiya, Liang Yang, Matthew David Kurjanowicz
-
Publication number: 20200097192Abstract: Techniques of implementing software filtered non-volatile memory in a computing device are disclosed herein. In one embodiment, a method includes detecting an entry being written to a guest admin submission queue (gASQ) by a memory driver of a virtual machine hosted on the computing device. Upon detecting the entry written to the gASQ by the memory driver, the command in the entry is analyzed to determine whether the command is allowed based on a list of allowed or disallowed commands. In response to determining that the command in the entry is not allowed, without sending the command to the non-volatile memory, generating an execution result of the command in response to the entry being written to the gASQ by the memory driver. As such, potentially harmful commands from the memory driver are prevented from being executed by the non-volatile memory.Type: ApplicationFiled: September 20, 2018Publication date: March 26, 2020Inventors: Martijn de Kort, David Hepkin, Murtaza Ghiya, Liang Yang, Matthew David Kurjanowicz
-
Publication number: 20180165133Abstract: A computing device runs a host on which multiple guests (e.g., virtual machines run via a virtual machine monitor such as a hypervisor) can run. The guest is used for isolation as well as hardware resource partitioning. The guest and the host agree on a name and a size for shared memory. Both the guest and the host map to the shared memory, and both the guest and the host to access the shared memory. The access allowed to the shared memory can be the same for both the host and the guest (e.g., both may be allowed read/write access) or different (e.g., the guest may be allowed write only access and the host may be allowed read only access).Type: ApplicationFiled: June 30, 2017Publication date: June 14, 2018Applicant: Microsoft Technology Licensing, LLCInventors: Mehmet Iyigun, Matthew David Kurjanowicz, Martijn de Kort, Kevin M. Broas, Yevgeniy M. Bak
-
Patent number: 8103823Abstract: A method and a host processing device are provided for background formatting, or de-icing, an optical medium with no de-icing assistance from an optical drive upon which the optical medium is mounted. In a foreground mode, an optical medium may be initially formatted, volume structures may be recorded on the optical medium, file system information may be written thereto, and quick grow formatting may be performed to make the optical medium writable, at least sequentially. Under initiation and control of a file system, executing on a host processing device, the optical medium may be formatted, or de-iced, in a background mode with no assistance from an optical drive, upon which the optical medium is mounted. Under control of the file system, blocked input or output activity, may be allowed to access the optical medium upon pausing the formatting, or de-icing.Type: GrantFiled: August 14, 2008Date of Patent: January 24, 2012Assignee: Microsoft CorporationInventors: Ravinder Singh Thind, Martijn de Kort, Darren Glen Moss
-
Publication number: 20100039909Abstract: A method and a host processing device are provided for background formatting, or de-icing, an optical medium with no de-icing assistance from an optical drive upon which the optical medium is mounted. In a foreground mode, an optical medium may be initially formatted, volume structures may be recorded on the optical medium, file system information may be written thereto, and quick grow formatting may be performed to make the optical medium writable, at least sequentially. Under initiation and control of a file system, executing on a host processing device, the optical medium may be formatted, or de-iced, in a background mode with no assistance from an optical drive, upon which the optical medium is mounted. Under control of the file system, blocked input or output activity, may be allowed to access the optical medium upon pausing the formatting, or de-icing.Type: ApplicationFiled: August 14, 2008Publication date: February 18, 2010Applicant: Microsoft CorporationInventors: Ravinder Singh Thind, Martijn de Kort, Darren Glen Moss