https://opennet.me/openforum/vsluhforumID3/135108.html ++ Статья<br><br>*** описывает проблему гарантии полноты и неизбыточности при последовательной установке двух состояний;<br>*** выдвигает гипотезу о невозможности разрешения проблемы без участия состояний (без идемпотентности состояний);<br>*** предлагает Общее решение.<br><br>++ Задача<br><br>*** Поток T должен установить два состояния S1 и S2.<br>*** S1 и S2 возвращают синхронный ответ при успехе сохранения и не более.<br>*** Требуется гарантировать полноту и не избыточность установки состояний.<br><br>++ Проблема<br><br>*** Поток Т выполняет запись в S1.<br>*** При провале поток Т возвращает отказ.<br>*** При успехе поток Т должен выполнить запись в S2.<br>*** Начиная с этого момента возникает проблема неопределенности при ошибке установки S2 или крахе потока Т, состояние S1 уже установлено, а S2 не установлено; однозначно не определен результат исполнения потока T; повторный вызов потока Т не разрешит ситуацию.<br><br>++ Гипотеза<br><br>Не существует решения при котором поток Т гарантирует полноту и неизбыточность установки двух состояний, при то https://opennet.me/openforum/vsluhforumID3/135108.html#10 Sun, 17 Nov 2024 18:17:50 GMT Статья неплохая, но как мне кажется робкая и с оговорками. "За деревьями не видеть леса" - явно не про автора, но ведь можно описать лес просто как набор деревьев погуще, чтобы никого не волновать раньше времени. Как классифицировать статью? Мне кажется лучше всего ей подходит древняя как мир категория: Elephant in the room, с подкатегорией: "слон прикреплен цепями к полу, ключ не у нас"<br> https://opennet.me/openforum/vsluhforumID3/135108.html#9 Mon, 04 Nov 2024 16:28:12 GMT * Martin Kleppmann конечно же.<br> https://opennet.me/openforum/vsluhforumID3/135108.html#8 Mon, 04 Nov 2024 16:27:38 GMT Есть целая книжка (в том числе и) про это. Называется &#171;Designing Data-Intense Applications&#187;, автор Mertin Kleppmann. Рекомендую всем, кому приходится иметь дело с распределёнными системами, особенно в контексте консистентности и упорядочивания событий.<br> https://opennet.me/openforum/vsluhforumID3/135108.html#7 Thu, 31 Oct 2024 23:10:52 GMT CAP theorem<br> https://opennet.me/openforum/vsluhforumID3/135108.html#6 Sat, 26 Oct 2024 21:31:52 GMT Верная правка. Спасибо.<br> https://opennet.me/openforum/vsluhforumID3/135108.html#5 Sat, 26 Oct 2024 13:44:33 GMT Оксюморон идемпотентности... а что, неплохо звучит! Или все же идемпотентность оксюморона?!<br> https://opennet.me/openforum/vsluhforumID3/135108.html#4 Sat, 26 Oct 2024 08:48:47 GMT Судя по выводам для TT гарантия консистентности должна стоять - ДА<br> https://opennet.me/openforum/vsluhforumID3/135108.html#3 Fri, 25 Oct 2024 14:58:33 GMT Ну это понятно, код в студию<br> https://opennet.me/openforum/vsluhforumID3/135108.html#2 Wed, 23 Oct 2024 05:34:44 GMT Ещё бы знать, что такое оксюморон. Это же реп какой-то гавённый?<br>