1. A machine readable storage device or storage disc including program code which, when executed by a machine, causes the machine to at least: detect a non-transactional load operation in a function including a plurality of memory operations, the non-transactional load operation to load from a first one of a plurality of memory locations; insert a first atomicity operation in the function to store a copy of a global transaction value as a local transaction value (LTV); insert a second atomicity operation to compare the LTV to a transaction counter value to determine whether a transaction has updated any of the memory locations in the plurality of memory locations after an initiation of the function, the transaction counter to increment when any of the memory locations is updated; and when the comparison of the transaction counter value and the LTV indicates that the transaction has updated at least one of the memory locations after the initiation of the function, insert a third atomicity operation to analyze a version value associated with the first one of the memory locations to determine whether the first one of the memory locations was updated after the initiation of the function, wherein the first and second atomicity operations do not include a lock operation that determines if a lock associated with the first memory location is un-owned.