Правильно ли я понимаю транзакционную память, как описано ниже?
Я пытаюсь понять ТМ. Я прочитал ответ Бена здесь и попытался понять некоторые другие статьи в Интернете. Я до сих пор не совсем уверен, правильно ли я понял. Насколько я понимаю, в транзакционной памяти потоки могут выполнять транзакции параллельно. Если два (или более) потока попытаются получить доступ к одной и той же переменной транзакции, все потоки, кроме одного, прервут транзакцию и начнут заново (в какой-то момент, не обязательно немедленно). Тот, который не прерывается, обновляет переменную транзакции.
Таким образом, в двух словах в TM все потоки выполняются параллельно, и мы надеемся, что не будет никаких перекрытий доступа к транзакционным переменным, а если они будут, мы просто позволим продолжить работу только одному потоку, в то время как другие откатываются и повторяют попытку. Правильно ли такое понимание ТМ?
Ответы 1
Это довольно хороший синопсис. Детали довольно запутаны, и возможно, что некоторые транзакции не могут быть выражены в данном мониторе TM; это означает, что вам, возможно, придется включить две реализации вашей транзакции — оптимистическую и пессимистическую.
Кэш является базовой реализацией; когда вы делаете транзакционную ссылку на память, кеш отмечает это и либо генерирует сигнал тревоги (перезапуск) при изменении любой из этих ссылок, либо отклоняет закрытие транзакции, если какая-либо из них была изменена.
В общем случае количество транзакционных переменных должно быть меньше, чем ассоциативность вашего кеша; в противном случае они вытеснили бы друг друга из кэша, что привело бы к невозможности завершения транзакции.
Вопрос о том, как работают прерывания во время транзакции, остается открытой проблемой.
Короче говоря, это была захватывающая идея 20 лет назад. Поскольку он приближается к общему удобству использования, требования к оборудованию, похоже, быстро растут. Это может быть более полезно для согревания холодных краев, чем для ускорения компьютерных систем.