While either optimistic[1] or pessimistic[2] STM can livelock, this can be solved by some sort of exponential backoff algorithm (which does not guarantee progress, just makes a livelock less likely).
retry может вызвать livelock: http://stackoverflow.com/questions/6915079/difference-between-tvar-and-tmvar
Да, транзакции идут в параллель. Однако наличие заметных по накладным расходам блокировок может привести к бесконечным повторам (livelock).
no subject
Date: 2015-11-09 01:26 pm (UTC)retry может вызвать livelock: http://stackoverflow.com/questions/6915079/difference-between-tvar-and-tmvar
Да, транзакции идут в параллель. Однако наличие заметных по накладным расходам блокировок может привести к бесконечным повторам (livelock).