Я пытаюсь понять ТМ. Я прочитал ответ Бена здесь и попытался понять некоторые другие статьи в Интернете. Я до сих пор не совсем уверен, правильно ли я понял. Насколько я понимаю, в транзакционной памяти потоки могут выполнять транзакции параллельно. Если два (или более) потока попытаются получить доступ к одной и той же переменной транзакции, все потоки, кроме одного, прервут транзакцию и начнут заново (в какой-то момент, не обязательно немедленно). Тот, который не прерывается, обновляет переменную транзакции.
Таким образом, в двух словах в TM все потоки выполняются параллельно, и мы надеемся, что не будет никаких перекрытий доступа к транзакционным переменным, а если они будут, мы просто позволим продолжить работу только одному потоку, в то время как другие откатываются и повторяют попытку. Правильно ли такое понимание ТМ?