Speculative parallelization using software multi-threaded transactions