Secure speculative execution of instructions
AssigneeMeta Platforms, Inc.
InventorsHao Wang, Harish Dattatraya Dixit, Shobhit O. Kanaujia
Life of this patent
Estimating the term…
Abstract
A system including a computer storage and a processor is described. The computer storage is configured to identify a stored data as protected. The processor is configured to perform speculative execution. To perform the speculative execution, the processor is configured to determine, in response to the speculative execution of an instruction to read the stored data, whether the stored data is identified as protected. In response to a determination that the stored data attempted to be read during the speculative execution is protected, the processor is configured to disallow during the speculative execution immediate successful completion of the instruction to read the stored data.
Claims20
A system, comprising:
- a computer storage configured to identify a stored data as protected;
- and
- a processor configured to perform speculative execution by being configured to:
- determine, in response to the speculative execution of an instruction to read the stored data, whether the stored data is identified as protected;
- and
- in response to a determination that the stored data attempted to be read during the speculative execution is protected, disallow during the speculative execution immediate successful completion of the instruction to read the stored data.
A method, comprising:
- determining, in response to a speculative execution of an instruction to read a stored data in a computer storage, whether the stored data is identified as protected by the computer storage;
- and
- in response to a determination that the stored data attempted to be read during the speculative execution is protected, disallowing during the speculative execution immediate successful completion of the instruction to read the stored data.
A computer program product embodied in a non-transitory computer readable medium and comprising computer instructions for:
- determining, in response to a speculative execution of an instruction to read a stored data in a computer storage, whether the stored data is identified as protected by the computer storage;
- and
- in response to a determination that the stored data attempted to be read during the speculative execution is protected, disallowing during the speculative execution immediate successful completion of the instruction to read the stored data.
Dependencies are inferred from the claim text.