Intermediate checkpointing with conflicting access prediction in transactional memory systems