апдейтов, при изменении в одном пакете, и считовании в другом?
нет, это было бы очень странно
в прицнипе "потеря апдейтов" может происходить, stm не гарантирует что каждый ридер будет пробужен, чтобы увидеть каждый аптейт TVar-ов, на которых он сделал retry
хм, а почему не гарантирует?
не знаю, но думаю, что поскольку retry может происходить на каком угодно user defined условии, нарантировать что-то в общем случае невозможно. Точнее _наверное_ возможно, но это будет неэффективно или дедлокаться или еще чего-то такое. Поэтому retry — это просто "попробуй еще раз, если ситуация поменялась" и неважно, что она поменялась еще 100 раз с тех пор. Собственно, поэтому и нет fairness и треды могут голодать бесконечно и все такое.
Обсуждают сегодня