公开(公告)号：US20220214881A1

公开(公告)日：2022-07-07

申请号：US17696330

申请日：2022-03-16

Applicant: Intel Corporation

Inventor： Michael LeMay ,  Hans Goran Liljestrand ,  Peiming Liu ,  David M. Durham ,  Scott Constable

IPC: G06F9/30 ,  G06F9/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.

公开(公告)号：US12008374B2

公开(公告)日：2024-06-11

申请号：US17696153

申请日：2022-03-16

Applicant: Intel Corporation

Inventor： Michael LeMay ,  Peiming Liu ,  David M. Durham ,  Scott Constable ,  Kshitij Arun Doshi

IPC: G06F21/60 ,  G06F9/30 ,  G06F9/50 ,  G06F21/79

CPC classification number: G06F9/30178 ,  G06F9/5016 ,  G06F21/602 ,  G06F21/79

Abstract: 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.

公开(公告)号：US20220206814A1

公开(公告)日：2022-06-30

申请号：US17696153

申请日：2022-03-16

Applicant: Intel Corporation

Inventor： Michael LeMay ,  Peiming Liu ,  David M. Durham ,  Scott Constable ,  Kshitij Arun Doshi

IPC: G06F9/30 ,  G06F9/50 ,  G06F21/60 ,  G06F21/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.