From f316be20a9a1bc8973c7552c8fb83e32f4c04acf Mon Sep 17 00:00:00 2001 From: Sergey Matveev Date: Thu, 18 May 2023 22:39:51 +0300 Subject: [PATCH] =?utf8?q?=D0=9F=D0=BE=D0=B2=D0=BE=D0=B7=D0=B8=D0=BB=D1=81?= =?utf8?q?=D1=8F=20=D1=81=20=D0=BF=D1=80=D0=BE=D1=82=D0=BE=D0=BA=D0=BE?= =?utf8?q?=D0=BB=D0=B0=D0=BC=D0=B8=20=D0=B0=D1=82=D0=BE=D0=BC=D0=B0=D1=80?= =?utf8?q?=D0=BD=D0=BE=D0=B3=D0=BE=20=D0=BA=D0=BE=D0=BC=D0=BC=D0=B8=D1=82?= =?utf8?q?=D0=B0?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit Надо в n мест делать атомарную запись: либо во все запишется гарантированно, либо ни в один. Тема всяких двухфазных коммитов и подобного. Контекст применения такой, что много чего можно упростить, но даже с упрощениями это далеко не тривиальная задача. Не спроста пишут много книг на эту тему. Пришлось поднимать их и впервые очень внимательно читать, а не по диагонали просто запоминая что и как бывает делают. Опыт понравился. А также ещё понял почему для всего этого очень хотелось бы писать формальные модели и понимать всё ли учтено и будет ли "сходимость". -- 2.48.1