公开(公告)号：CA2831711A1

公开(公告)日：2015-04-30

申请号：CA2831711

申请日：2013-10-31

Applicant: IBM CANADA

Inventor： MITRAN MARCEL ,  VOKHSHOORI VISDA

IPC: G06F8/41 ,  G06F9/30

Abstract: An illustrative embodiment of a computer-implemented method for safe conditional operation when storage access cannot be proven safe, receives a portion of source code for a transaction by an enhanced compiler and analyzes the portion of source code received, by the enhanced compiler to determine whether the portion of source code analyzed by the enhanced compiler is a candidate for transformation. Responsive to a determination the portion of source code analyzed by the enhanced compiler is a candidate for transformation, the portion of source code analyzed is transformed to use a conditional operation in a first portion of transformed code, wherein a respective conditional operation uses hardware transaction memory to invoke retry operations within hardware and a branch is added, directed to an original code portion, in a second portion of transformed code, wherein code of the branch is a recovery portion containing the original code portion.