Может ли команда WAIT обеспечить строгую согласованность в Redis?

WAIT реализует синхронную репликацию для Redis. Синхронная репликация требуется, но недостаточна для достижения строгой согласованности. Сильная согласованность — это практически сумма двух вещей:

1. Синхронная репликация на большинство узлов распределенной системы.
2. Способ организовать смену лидера (в основном отказоустойчивость), чтобы гарантировать, что может быть избран только узел, сохраняющий полную историю подтвержденных операций в предыдущем лидере.

WAIT не предоставляет "2". Процесс репликации в Redis выполняется Sentinel или Redis Cluster и не может предоставить свойство 2 (поскольку синхронная репликация в Redis является исключением, а не правилом, поэтому этому аспекту не уделялось особого внимания). Однако репликация Redis пытается продвигать ведомое устройство, которое похоже, сохраняет наибольший объем данных. Хотя это не меняет теоретических гарантий аварийного переключения Redis, при котором все еще могут быть потеряны подтвержденные записи, это означает, что если вы используете WAIT, в памяти будет больше ведомых устройств, выполняющих данную операцию, и, в свою очередь, гораздо более вероятно, что в в случае аварийного переключения операция будет сохранена. Однако, несмотря на то, что это затруднит запуск режима сбоя, который отбрасывает подтвержденную операцию, всегда существует режим сбоя с такими свойствами.

TLDR: WAIT не делает Redis линеаризуемым, он гарантирует, что указанное количество ведомых устройств получит запись, что, в свою очередь, делает аварийное переключение более надежным, но без каких-либо жестких гарантий.