Ну, с Днём Рунета!
Многие годы Рунет был эталонным примером свободы, а сегодня превратился в прямо противоположный пример псевдо-"безопасности". Впрочем, и на том и на том прежде всего хорошо зарабатывали/ют организаторы соответствующей повесточки, сегодня просто переменились.
По заветам базы из 1985-го: FLP (Fischer–Lynch–Paterson), фундаментальный закон теории распределённых вычислений.
В полностью асинхронной системе, где хотя бы один узел может упасть, детерминированный консенсус гарантировать нельзя: можно сохранить safety ("ничего плохого не происходит", корректные узлы дают корректные данные), но нельзя гарантировать завершённость ("рано или поздно произойдёт что-то хорошее" -- все корректные узлы в итоге корректно закончат работу).
В мэйнстриме решается частичной синхронизацией, таймаутами, детекторами сбоев и прочими приляпками. Точнее, особо даже и так уже не решается, т.к. там ни про FLP, ни про CAP и CALM и духом не нюхивали, тем более в вайб-кодинге.
А как по взрослому, разбираю для ментатов на ФункциональныхАрхитектурах и треке по параллельным вычислительным моделям.
Так и в жизни, нельзя гарантировать, что рано или поздно произойдёт что-то окончательно хорошее :) Но временно, может длиться норм.
Post #2673
261

- ❤ 28
- ✍ 2