Является ли двухфазная фиксация реализацией линеаризуемости?

Question

Большинство реализаций двухфазной фиксации, как я понимаю, требуют, чтобы все узлы системы согласовали значение перед фиксацией локально и только после того, как все зафиксированы локально, ответили клиенту - это правильное понимание 2PC?

Делает ли это тогда 2PC реализацией линеаризуемой последовательной модели согласованности?

Я думал, что, поскольку возвращаемое клиенту значение никогда не устареет, и это происходит в реальном времениэто означает, что это действительно линеаризуемо, верно?

Я никогда не слышал, чтобы 2PC описывался как линеаризуемый, хотя думаю, что здесь есть что-то, что я неправильно понимаю.

Answer 1

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

«Значение, возвращаемое клиенту, никогда не устареет, и оно происходит в реальном времени», полностью игнорируя присутствие кэшейи очереди, которые легко позволяют читать из прошлого или писать в будущее, так что следите за этим.