US8214833B2 - Systems and Methods for Supporting Software Transactional Memory Using Inconsistency-Aware Compilers and Libraries