Transactional Synchronization Extensions (TSX)

[Губанов Сергей Юрьевич]

Интересно чем это нам "грозит"?

Процессоры Haswell станут большим скачком в развитии CPU

В своём блоге компания Intel сообщила о том, что в процессорах с архитектурой Haswell будет реализован механизм транзакционной памяти, предполагающий одновременное выполнение сложных многопоточных операций, но при этом изолированно друг от друга, что исключает "крах" всей программы из-за ошибки в одном потоке.

В архитектуре Haswell данный механизм назван Transactional Synchronization Extensions (TSX), который, в свою очередь, разделяется на две основные части: Hardware Lock Elision (HLE), транслирующую "обычные" программы в транзакционные с сохранением работоспособности, и Restricted Transactional Memory (RTM), что является, непосредственно, транзакционной памятью.

В нынешних компьютерных системах распределением ресурсов вычислительных ядер занимается операционная система, но разработчики намереваются переложить эти обязанности на аппаратную часть. Процессор сам будет определять, когда, как и с каким потоком данных ему работать, также аппаратная часть будет заниматься распределением памяти, решая, какие данные могут разделять общую память, а для каких требуется выделенное пространство.

Подобные механизмы реализованы в некоторых СУБД, но Intel намеревается внедрить поддержку транзакционной памяти на аппаратном уровне повсеместно. Впрочем, разработчики говорят о сопутствующих технических сложностях, и процессоры Haswell, скорее всего, будут лишь экспериментом в освоении новых технологий.

[vlad]

Интересно чем это нам "грозит"?

Придется больше писать на хаскеле?

[valexey]

По моему, щажу гцц поддерживает транзакционную память. Софтварно конечно. Для сей. Вообще, такой подход (особенно с поддержкой на аппаратном уровне) сильно облегчит программирование многопоточных приложений. И, главное, это будет эффективно. Наверно даже эффективней того что есть сейчас в хаскелле. (в .net msr пробовали тоже реализовать tm, но из за особенностей .net получилось очень не эффективно)

[alexus]

Интересно чем это нам "грозит"?

• адресное пространство сейчас излишне велико для подавляющего большинства приложений;
• с переходам к множеству (тысячи, если говорить об APU) процессоров возникают проблемы с когерентностью областей памяти, и эти проблемы отчасти можно решить на аппаратном уровне

Так чем же нам всё это грозит?.. Переходом к параллельным вычислениям... ничем больше, ничем меньше.

[valexey]

Конкретно про gcc вот: http://gcc.gnu.org/wiki/TransactionalMemory