trechkpt
Transaction Recheckpoint
trechkpt
Updates the transaction checkpoint.
Details
Transaction Recheckpoint. Restores the transactional register state from the checkpoint saved by a prior tbegin. Used to restart a transaction after a non-transactional abort.
Pseudocode Operation
if Suspended() then
Restore_Checkpoint()
Resume_Transaction()
Programming Note
The trechkpt instruction is used to restore the transactional register state from a previous checkpoint, allowing a transaction to be restarted after a non-transactional abort. It should only be used within a transactional region and requires that the transaction was previously suspended. Ensure proper ordering of instructions to maintain consistency and avoid data corruption.
Example
trechkpt
Encoding
Binary Layout
31
0
/
6
/
11
/
16
1006
21
/
31