Комментарии 8
«Преодоление теоремы» звучит дико. Если это теорема, значит она доказана, если это гипотеза, значит мы ищем доказательство или контрпример. Все это из-за того, что нету четкого математического определения проблемы.
Конечно дико, в том и суть, что её не преодолеть в общем виде, можно только поменять определение или избежать одного аспекта ценой усугубления проблем в другом.
На самом деле, подобные преодоления — весьма распространенное явление в науке и технике.
Ну, например, КПД тепловых машин не может быть больше 100%. Но тут есть трюк в том, что именно считать полезным действием и затратами, поэтому скажем у работающих на обогрев кондиционеров-инверторов формальный КПД составляет порядка 300%.
Или более формальный пример: есть постулат Эйнштейна, запрещающий материальным объектам двигаться быстрее скорости света в вакууме. И тут сразу целая пачка теоретически возможных механизмов преодоления: тут и пространства с диэлектрической проницаемостью меньше 1 (в которых скорость света выше, чем в вакууме), и сжатие-растяжение пространства-времени, и кротовые норы черных дыр, и квантовая телепортация, и пресловутые тахионы.
Ну, например, КПД тепловых машин не может быть больше 100%. Но тут есть трюк в том, что именно считать полезным действием и затратами, поэтому скажем у работающих на обогрев кондиционеров-инверторов формальный КПД составляет порядка 300%.
Или более формальный пример: есть постулат Эйнштейна, запрещающий материальным объектам двигаться быстрее скорости света в вакууме. И тут сразу целая пачка теоретически возможных механизмов преодоления: тут и пространства с диэлектрической проницаемостью меньше 1 (в которых скорость света выше, чем в вакууме), и сжатие-растяжение пространства-времени, и кротовые норы черных дыр, и квантовая телепортация, и пресловутые тахионы.
Вообще говоря, автор CAP теоремы сам говорил позднее, что она не совсем верна.
Вот кстати хорошая статья CAP Twelve Years Later: How the «Rules» Have Changed by Eric Brewer
☐ спроектировать распределённую систему на самом деле тяжело
☐ а реализовать — ещё тяжелее
Самое тяжелое — оттестировать и удостоверится, что система действительно надежна. Многие следуют принципу «система надежна, пока не доказано обратное» и решают проблемы по мере их появления в продакшне. Вероятность многих сбоев настолько мала, что те реально вообще никогда не появляются.
☐ а реализовать — ещё тяжелее
Самое тяжелое — оттестировать и удостоверится, что система действительно надежна. Многие следуют принципу «система надежна, пока не доказано обратное» и решают проблемы по мере их появления в продакшне. Вероятность многих сбоев настолько мала, что те реально вообще никогда не появляются.
Зарегистрируйтесь на Хабре, чтобы оставить комментарий
Чек-лист преодоления CAP-теоремы