Modern type safe languages have a lot going for them, but they don't solve the hard problems of concurrency. (n.b. purely functional languages allow easy parallelization of some mathematical functions, but do not solve the hard problem, either). Highly efficient threading, especially at the system level, is not made easier by type safety.
This instruction set extension offers transactional memory access, so a thread can begin speculative execution that modifies a block of memory, and roll back on a conflict, rather than stalling on a semaphore lock.