О!

[thesz]

В gcc 4.7 ввели транзакционную память.

Comments

[smalgin]

Яростно, мучительно жалею, что я на .net сейчас :)

[cp_poster]

Почему?

[4da]

Я не понял, это часть нового стандарта или "фича" GNU?

[4da]

> The precise semantics of transactions are defined in terms of the C++11/C1X memory model (see below for a link to the specification).
ясно

[thesz]

Возможность gcc.

[4da]

Правильно ли я понимаю, что с использованием этих STM создается глобальный lock, так что лочится будут *все* попытки доступа, даже если они направлены к разным областям памяти?

Может быть, там есть что-то вроде "раскрашивания" этих STM, чтобы осуществлять параллельный доступ к независимым регионам?

[awson]

Что такое "глобальный lock" в контексте C/C++? О каких "всех" попытках идет речь?

[4da]

глобальный lock = single global lock

Roughly, transactions provide synchronization guarantees that are similar to what would be guaranteed when using a single global lock as a guard for all transactions.

все попытки = all transactions

[thesz]

Как видно из текста, механизм транзакционной памяти предоставляет те же гарантии, как если бы на все обращения к памяти была глобальная блокировка.

Единая блокировка - один из вариантов реализации, не самый плохой (по соотношению скорость/усилия).

[vozbu]

А в чем профит? Оно работает быстрее мьютексов или стандартных атомарных операций? Оно дает более удобный синтаксис? Оно может использовать какие-то возможности железа, которые не будут использованы при использовании обычных мьютексов?

[thesz]

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