software transaction memory & C/C++(gcc, tinystm, libltx, libcmt, ctl, etc.)

Заодно расскажите, как и зачем пользоваться STM в языке, где I/O не участвует в системе типов.

Заодно расскажите, как и зачем пользоваться STM в языке, где I/O не участвует в системе типов.

При чем тут I/O? При чем тут система типов? Пользоваться затем же, зачем пользуются другими механизмами конкурентности.

При чем тут I/O? При чем тут система типов? Пользоваться затем же, зачем пользуются другими механизмами конкурентности.

Видимо более другой анонимус намекает на то что если внутри stm-транзакции окажется код ввода-вывода или какой-либо иной деструктивной операции — случится что-то плохое.

Сколько раз выполняются сайд-еффекты (например, вывод на экран) внутри STM-транзакции?

Непредсказуемо

Ну так мозг-то никто не отменял. В той же clojure, где STM в языке, сайд-эффекты тоже есть. Никто не ноет.

Сколько получится. А зачем ты выводишь что-то на экран в теле транзакции?

Сколько раз выполняются сайд-еффекты (например, вывод на экран) внутри STM-транзакции?

Столько раз сколько будет перезапущена транзакция.

Ну так мозг-то никто не отменял. В той же clojure, где STM в языке, сайд-эффекты тоже есть. Никто не ноет.

А в кожуре ввод-вывод не типизирован? Транзакционные переменные ничем не отличаются от остальных переменных? Я просто не в курсе. Знаю как оно в хаскеле и худо бедно представляю как в скале.

Я подписался, но, чую никто это ещё толком не использовал. Я и сам не стал т.к. на интелях технология не выглядит обкатанной. Вот, например, хотел купить проц с STM и на тебе: http://www.anandtech.com/show/8376/intel-disables-tsx-instructions-erratum-fo... . И, по-моему, это не в первый раз. И это при том что, имхо, они уже как минимум один раз меняли то как это внутри работает. Т.е. для старых и новых платформ нужен разный код. И ещё AMD забила на это.

для реальных проектов забей и юзай механизмы синхронизаций

В кложурке есть io! вроде для этого.