не теорема....теорма имеет доказательство..у CAP его нет, это эвристическое предположение. Ну и даже если принять CAP теоремой, то в случае с синхронными запросами (на изменение), мы жертвуем availability, т.к. происходит блокировка для других потоков
я и не говорил слово теорема на практике вам нужны и availability и partition tolerance весь разговор конечно ведется исходя из предположения, что вы не готовы их терять если готовы - да, вперед, строгая консистентность форева
мне кажется блокировка потока это решаемая задача если взять какие-то технологии подкрепленные kqueue, epoll под капотом и тогда юзать что-то типа R2dbc, webflux
Обсуждают сегодня