Date: 2015-11-06 03:16 pm (UTC)
Именно так.

В STM анализируется наличие изменений в прочитанных переменных перед накатом транзакции. При наличии изменений транзакция откатывается. Поэтому STM предоставляет serializable уровень.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting