эффекты
Мы сейчас обсуждаем идентичность операций, какие считать одной, какие нет
Я попросил привести пример нарушения exactly once для захвата мьютекса. Вы привели пример перезапуска приложения, что фактически означает захват разных мьютексов
Здесь мы и приходим к вопросу идентичность операции Я утверждаю что адрес в памяти, используемый мьютексом, не играет никакой роли, потому что нас интересует сколько раз программа выполнит одно действие, (и.е. что мы считаем за одну и ту же операцию), а не абсолютное совпадение окружения. В качестве примера я привожу классическую отправку писем, потому что если мы считаем операции, в результате которых создаются разные ацдишники - разные операции сами по себе, то получается что у нас нет проблемы отправки писем (а она есть)
Но пример с базой данных вы не принимаете, хотя запись там одна?
Я по-моему описал что в базе данных операция выполняется совсем не единожды
С точки зрения acid вроде 1 раз. С точки зрения выделения тепла конечно несколько раз.
Обсуждают сегодня