Henri Han van Riel

Person

Merrimack, NH, US

People

Patents Grantslast 30 patents

Information Patent Grant
Re-duplication of de-duplicated encrypted memory
- Patent number 11,354,420
- Issue date Jun 7, 2022
- Red Hat, Inc.
- Henri Han Van Riel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
CPU overcommit with guest idle polling
- Patent number 11,243,795
- Issue date Feb 8, 2022
- Red Hat, Inc.
- Michael Tsirkin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Batched storage hinting with fast guest storage allocation
- Patent number 11,237,879
- Issue date Feb 1, 2022
- Red Hat, Inc.
- Henri Han van Riel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Memory overcommit by speculative fault
- Patent number 11,188,365
- Issue date Nov 30, 2021
- Red Hat, Inc.
- Michael Tsirkin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Idle processor management in virtualized systems via paravirtualiza...
- Patent number 11,157,302
- Issue date Oct 26, 2021
- Red Hat, Inc.
- Henri Han van Riel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Virtual machine page movement for encrypted memory
- Patent number 11,144,216
- Issue date Oct 12, 2021
- Red Hat, Inc.
- Michael Tsirkin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Hypervisor deduplication page comparison speedup
- Patent number 11,016,668
- Issue date May 25, 2021
- Red Hat, Inc.
- Henri van Riel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Web-based support subscriptions
- Patent number 11,017,333
- Issue date May 25, 2021
- Red Hat, Inc.
- Henri Han Van Riel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Fast virtual machine storage allocation with encrypted storage
- Patent number 10,969,976
- Issue date Apr 6, 2021
- Red Hat, Inc.
- Henri Han Van Riel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Free page hinting with multiple page sizes
- Patent number 10,956,216
- Issue date Mar 23, 2021
- Red Hat, Inc.
- Henri Han van Riel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Generation of a random value for a child process
- Patent number 10,943,010
- Issue date Mar 9, 2021
- Red Hat, Inc.
- Henri Han van Riel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Virtual machine security through guest-side emulation
- Patent number 10,942,757
- Issue date Mar 9, 2021
- Red Hat, Inc.
- Henri Han van Riel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Physical memory migration for secure encrypted virtual machines
- Patent number 10,719,255
- Issue date Jul 21, 2020
- Red Hat, Inc.
- Henri Han van Riel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Housekeeping virtual processor overcommit for real time virtualization
- Patent number 10,599,468
- Issue date Mar 24, 2020
- Red Hat, Inc.
- Henri van Riel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Batched storage hinting with fast guest storage allocation
- Patent number 10,579,439
- Issue date Mar 3, 2020
- Red Hat, Inc.
- Henri Han van Riel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Hypervisor deduplication page comparison speedup
- Patent number 10,545,673
- Issue date Jan 28, 2020
- Red Hat, Inc.
- Henri van Riel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Copy and decrypt support for encrypted virtual machines
- Patent number 10,534,921
- Issue date Jan 14, 2020
- Red Hat, Inc.
- Michael Tsirkin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Kernel same-page merging for encrypted memory
- Patent number 10,509,733
- Issue date Dec 17, 2019
- Red Hat, Inc.
- Michael Tsirkin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Implementing per-thread memory access permissions
- Patent number 10,496,555
- Issue date Dec 3, 2019
- Red Hat, Inc.
- Henri van Riel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Generation of a random value for a child process
- Patent number 10,489,585
- Issue date Nov 26, 2019
- Red Hat, Inc.
- Henri Han van Riel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Fast virtual machine storage allocation with encrypted storage
- Patent number 10,474,382
- Issue date Nov 12, 2019
- Red Hat, Inc.
- Henri Han Van Riel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Determining task scores reflective of memory access statistics in N...
- Patent number 10,452,538
- Issue date Oct 22, 2019
- Red Hat, Inc.
- Henri Han van Riel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Tracking of memory pages by a hypervisor
- Patent number 10,394,596
- Issue date Aug 27, 2019
- Red Hat, Inc.
- Michael Tsirkin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Virtual machine page movement for encrypted memory
- Patent number 10,379,764
- Issue date Aug 13, 2019
- Red Hat, Inc.
- Michael Tsirkin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Idle processor management by guest in virtualized systems
- Patent number 10,365,936
- Issue date Jul 30, 2019
- Red Hat Israel, Ltd.
- Henri Han van Riel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Updating virtual machine memory by interrupt handler
- Patent number 10,346,330
- Issue date Jul 9, 2019
- Red Hat Israel, Ltd.
- Michael Tsirkin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
CPU overcommit with guest idle polling
- Patent number 10,310,887
- Issue date Jun 4, 2019
- Red Hat, Inc.
- Michael Tsirkin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Idle processor management in virtualized systems via paravirtualiza...
- Patent number 10,289,437
- Issue date May 14, 2019
- Red Hat Israel, Ltd.
- Henri Han van Riel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Physical memory migration for secure encrypted virtual machines
- Patent number 10,209,917
- Issue date Feb 19, 2019
- Red Hat, Inc.
- Henri Han van Riel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Memory distribution across multiple non-uniform memory access nodes
- Patent number 10,198,370
- Issue date Feb 5, 2019
- Red Hat, Inc.
- Henri van Riel
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
RE-DUPLICATION OF DE-DUPLICATED ENCRYPTED MEMORY
- Publication number 20220382686
- Publication date Dec 1, 2022
- Red Hat, Inc.
- Henri Han Van Riel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
BATCHED STORAGE HINTING WITH FAST GUEST STORAGE ALLOCATION
- Publication number 20200201685
- Publication date Jun 25, 2020
- Red Hat, Inc.
- Henri Han van Riel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
HYPERVISOR DEDUPLICATION PAGE COMPARISON SPEEDUP
- Publication number 20200159417
- Publication date May 21, 2020
- Red Hat, Inc.
- Henri van Riel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
GENERATION OF A RANDOM VALUE FOR A CHILD PROCESS
- Publication number 20200097652
- Publication date Mar 26, 2020
- Red Hat, Inc.
- Henri Han van Riel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FAST VIRTUAL MACHINE STORAGE ALLOCATION WITH ENCRYPTED STORAGE
- Publication number 20200081639
- Publication date Mar 12, 2020
- Red Hat, Inc.
- Henri Han Van Riel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VIRTUAL MACHINE PAGE MOVEMENT FOR ENCRYPTED MEMORY
- Publication number 20190369886
- Publication date Dec 5, 2019
- Red Hat, Inc.
- Michael Tsirkin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
IDLE PROCESSOR MANAGEMENT IN VIRTUALIZED SYSTEMS VIA PARAVIRTUALIZA...
- Publication number 20190266008
- Publication date Aug 29, 2019
- Red Hat Israel, Ltd.
- Henri Han van Riel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CPU OVERCOMMIT WITH GUEST IDLE POLLING
- Publication number 20190266009
- Publication date Aug 29, 2019
- Red Hat, Inc.
- Michael Tsirkin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TRACKING OF MEMORY PAGES BY A HYPERVISOR
- Publication number 20190179657
- Publication date Jun 13, 2019
- Red Hat, Inc.
- Michael Tsirkin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PHYSICAL MEMORY MIGRATION FOR SECURE ENCRYPTED VIRTUAL MACHINES
- Publication number 20190179558
- Publication date Jun 13, 2019
- Red Hat, Inc.
- Henri Han van Riel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
HYPERVISOR DEDUPLICATION PAGE COMPARISON SPEEDUP
- Publication number 20190179538
- Publication date Jun 13, 2019
- Red Hat, Inc.
- Henri van Riel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
HOUSEKEEPING VIRTUAL PROCESSOR OVERCOMMIT FOR REAL TIME VIRTUALIZATION
- Publication number 20190121659
- Publication date Apr 25, 2019
- Red Hat, Inc.
- Henri van Riel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COPY AND DECRYPT SUPPORT FOR ENCRYPTED VIRTUAL MACHINES
- Publication number 20190065756
- Publication date Feb 28, 2019
- Red Hat, Inc.
- Michael Tsirkin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
GENERATION OF A RANDOM VALUE FOR A CHILD PROCESS
- Publication number 20190065740
- Publication date Feb 28, 2019
- Red Hat, Inc.
- Henri Han van Riel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FREE PAGE HINTING WITH MULTIPLE PAGE SIZES
- Publication number 20190065267
- Publication date Feb 28, 2019
- Red Hat, Inc.
- Henri Han van Riel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
BATCHED STORAGE HINTING WITH FAST GUEST STORAGE ALLOCATION
- Publication number 20190065276
- Publication date Feb 28, 2019
- Red Hat, Inc.
- Henri Han van Riel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
RE-DUPLICATION OF DE-DUPLICATED ENCRYPTED MEMORY
- Publication number 20190026476
- Publication date Jan 24, 2019
- Red Hat, Inc.
- Henri Han Van Riel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
IMPLEMENTING PER-THREAD MEMORY ACCESS PERMISSIONS
- Publication number 20180329835
- Publication date Nov 15, 2018
- Red Hat, Inc.
- Henri van Riel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VIRTUAL MACHINE PAGE MOVEMENT FOR ENCRYPTED MEMORY
- Publication number 20180329638
- Publication date Nov 15, 2018
- Red Hat, Inc.
- Michael Tsirkin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PHYSICAL MEMORY MIGRATION FOR SECURE ENCRYPTED VIRTUAL MACHINES
- Publication number 20180307435
- Publication date Oct 25, 2018
- Red Hat, Inc.
- Henri Han van Riel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
KERNEL SAME-PAGE MERGING FOR ENCRYPTED MEMORY
- Publication number 20180276145
- Publication date Sep 27, 2018
- Red Hat, Inc.
- Michael Tsirkin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VIRTUAL MACHINE SECURITY THROUGH GUEST-SIDE EMULATION
- Publication number 20180246749
- Publication date Aug 30, 2018
- Red Hat, Inc.
- Henri Han van Riel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
WEB-BASED SUPPORT SUBSCRIPTIONS
- Publication number 20180240056
- Publication date Aug 23, 2018
- Red Hat, Inc.
- Henri Han Van Riel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CPU OVERCOMMIT WITH GUEST IDLE POLLING
- Publication number 20180239625
- Publication date Aug 23, 2018
- Red Hat, Inc.
- Michael Tsirkin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
BATCHED MEMORY PAGE HINTING
- Publication number 20180157518
- Publication date Jun 7, 2018
- Red Hat, Inc.
- Michael Tsirkin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MEMORY OVERCOMMIT BY SPECULATIVE FAULT
- Publication number 20180150232
- Publication date May 31, 2018
- Red Hat, Inc.
- Michael Tsirkin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MEMORY DISTRIBUTION ACROSS MULTIPLE NON-UNIFORM MEMORY ACCESS NODES
- Publication number 20180032452
- Publication date Feb 1, 2018
- Red Hat, Inc.
- Henri van Riel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DELAYED ALLOCATION FOR DATA OBJECT CREATION
- Publication number 20180025022
- Publication date Jan 25, 2018
- Red Hat, Inc.
- Henri van Riel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
OPTIMIZED EXTENDED CONTEXT MANAGEMENT FOR VIRTUAL MACHINES
- Publication number 20160253196
- Publication date Sep 1, 2016
- Red Hat, Inc.
- Henri van Riel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DETERMINING TASK SCORES REFLECTIVE OF MEMORY ACCESS STATISTICS IN N...
- Publication number 20160210049
- Publication date Jul 21, 2016
- Red Hat, Inc.
- Henri Han van Riel
- G06 - COMPUTING CALCULATING COUNTING

Henri Han van Riel

Person

Patents Grantslast 30 patents

Re-duplication of de-duplicated encrypted memory

CPU overcommit with guest idle polling

Batched storage hinting with fast guest storage allocation

Memory overcommit by speculative fault

Idle processor management in virtualized systems via paravirtualiza...

Virtual machine page movement for encrypted memory

Hypervisor deduplication page comparison speedup

Web-based support subscriptions

Fast virtual machine storage allocation with encrypted storage

Free page hinting with multiple page sizes

Generation of a random value for a child process

Virtual machine security through guest-side emulation

Physical memory migration for secure encrypted virtual machines

Housekeeping virtual processor overcommit for real time virtualization

Batched storage hinting with fast guest storage allocation

Hypervisor deduplication page comparison speedup

Copy and decrypt support for encrypted virtual machines

Kernel same-page merging for encrypted memory

Implementing per-thread memory access permissions

Generation of a random value for a child process

Fast virtual machine storage allocation with encrypted storage

Determining task scores reflective of memory access statistics in N...

Tracking of memory pages by a hypervisor

Virtual machine page movement for encrypted memory

Idle processor management by guest in virtualized systems

Updating virtual machine memory by interrupt handler

CPU overcommit with guest idle polling

Idle processor management in virtualized systems via paravirtualiza...

Physical memory migration for secure encrypted virtual machines

Memory distribution across multiple non-uniform memory access nodes

Patents Applicationslast 30 patents

RE-DUPLICATION OF DE-DUPLICATED ENCRYPTED MEMORY

BATCHED STORAGE HINTING WITH FAST GUEST STORAGE ALLOCATION

HYPERVISOR DEDUPLICATION PAGE COMPARISON SPEEDUP

GENERATION OF A RANDOM VALUE FOR A CHILD PROCESS

FAST VIRTUAL MACHINE STORAGE ALLOCATION WITH ENCRYPTED STORAGE

VIRTUAL MACHINE PAGE MOVEMENT FOR ENCRYPTED MEMORY

IDLE PROCESSOR MANAGEMENT IN VIRTUALIZED SYSTEMS VIA PARAVIRTUALIZA...

CPU OVERCOMMIT WITH GUEST IDLE POLLING

TRACKING OF MEMORY PAGES BY A HYPERVISOR

PHYSICAL MEMORY MIGRATION FOR SECURE ENCRYPTED VIRTUAL MACHINES

HYPERVISOR DEDUPLICATION PAGE COMPARISON SPEEDUP

HOUSEKEEPING VIRTUAL PROCESSOR OVERCOMMIT FOR REAL TIME VIRTUALIZATION

COPY AND DECRYPT SUPPORT FOR ENCRYPTED VIRTUAL MACHINES

GENERATION OF A RANDOM VALUE FOR A CHILD PROCESS

FREE PAGE HINTING WITH MULTIPLE PAGE SIZES

BATCHED STORAGE HINTING WITH FAST GUEST STORAGE ALLOCATION

RE-DUPLICATION OF DE-DUPLICATED ENCRYPTED MEMORY

IMPLEMENTING PER-THREAD MEMORY ACCESS PERMISSIONS

VIRTUAL MACHINE PAGE MOVEMENT FOR ENCRYPTED MEMORY

PHYSICAL MEMORY MIGRATION FOR SECURE ENCRYPTED VIRTUAL MACHINES

KERNEL SAME-PAGE MERGING FOR ENCRYPTED MEMORY

VIRTUAL MACHINE SECURITY THROUGH GUEST-SIDE EMULATION

WEB-BASED SUPPORT SUBSCRIPTIONS

CPU OVERCOMMIT WITH GUEST IDLE POLLING

BATCHED MEMORY PAGE HINTING

MEMORY OVERCOMMIT BY SPECULATIVE FAULT

MEMORY DISTRIBUTION ACROSS MULTIPLE NON-UNIFORM MEMORY ACCESS NODES

DELAYED ALLOCATION FOR DATA OBJECT CREATION

OPTIMIZED EXTENDED CONTEXT MANAGEMENT FOR VIRTUAL MACHINES

DETERMINING TASK SCORES REFLECTIVE OF MEMORY ACCESS STATISTICS IN N...