David L Durham

Address:

1157 Hackberry Dr, Orlando, FL 32825

VIN:

3A4FY58B67T613981

Make:

CHRYSLER

Model:

PT CRUISER TOURING 4-DOO

Year:

2007

US Patent:

20220214881, Jul 7, 2022

Filed:

Mar 16, 2022

Appl. No.:

17/696330

Inventors:

- Santa Clara CA, US
Hans Goran Liljestrand - Helsinki, FI
Peiming Liu - Dallas TX, US
David M. Durham - Beaverton OR, US
Scott Constable - Portland OR, US

Assignee:

Intel Corporation - Santa Clara CA

International Classification:

G06F 9/30
G06F 9/38

Abstract:

Techniques for ratchet pointers in computing hardware are described. The technology includes a memory to store an object referenced by a ratchet pointer, and a processor to provide access to a slice of the object by decrypting a base address and a limit of the ratchet pointer, generating a cryptographic address in an encrypted format bound to an identity of the object and not the slice; and performing effective address generation for the cryptographic address based at least in part on the base address and the limit.

US Patent:

20220206814, Jun 30, 2022

Filed:

Mar 16, 2022

Appl. No.:

17/696153

Inventors:

- Santa Clara CA, US
Peiming Liu - Dallas TX, US
David M. Durham - Beaverton OR, US
Scott Constable - Portland OR, US
Kshitij Arun Doshi - Tempe AZ, US

Assignee:

Intel Corporation - Santa Clara CA

International Classification:

G06F 9/30
G06F 9/50
G06F 21/60
G06F 21/79

Abstract:

Techniques for borrow checking in hardware are described. The technology includes allocating an object in a memory and setting an ownership identifier (ID) in the allocated object, the allocated object being associated with a first variable in a program and setting a matching ownership ID in a pointer to the allocated object. When the allocated object is accessed during execution of the program by a processor, an exception is generated when the ownership ID in the allocated object does not match the ownership ID in the pointer, and execution of the program is continued when the ownership ID in the allocated object does match the ownership ID in the pointer.