From: Sergey Matveev Date: Thu, 18 May 2023 19:39:51 +0000 (+0300) Subject: Повозился с протоколами атомарного коммита X-Git-Url: http://www.git.stargrave.org/?a=commitdiff_plain;h=f316be20a9a1bc8973c7552c8fb83e32f4c04acf;p=stargrave-blog.git Повозился с протоколами атомарного коммита Надо в n мест делать атомарную запись: либо во все запишется гарантированно, либо ни в один. Тема всяких двухфазных коммитов и подобного. Контекст применения такой, что много чего можно упростить, но даже с упрощениями это далеко не тривиальная задача. Не спроста пишут много книг на эту тему. Пришлось поднимать их и впервые очень внимательно читать, а не по диагонали просто запоминая что и как бывает делают. Опыт понравился. А также ещё понял почему для всего этого очень хотелось бы писать формальные модели и понимать всё ли учтено и будет ли "сходимость". ---