A method for guaranteeing program correctness using fine-grained hardware speculative execution

A method for checking program correctness may include executing a program on a main hardware thread in speculative execution mode on a hardware execution context on a chip having a plurality of hardware execution contexts. In this mode, the main hardware thread's state is not committed to main...

Full description

Saved in:
Bibliographic Details
Main Authors ROBERT W. WISNIEWSKI, DAN TSAFRIR
Format Patent
LanguageEnglish
Published 04.12.2013
Subjects
CALCULATING
COMPUTING
COUNTING
ELECTRIC DIGITAL DATA PROCESSING
PHYSICS
Online AccessGet full text

Cover

Be the first to leave a comment!
You must be logged in first