Вся литература, которую я знаю о линеаризуемости, объясняет это как нечто, связанное с реальным временем, как это:
- История выполнения может быть переупорядочена, чтобы быть эквивалентной некоторой юридической последовательной истории
s.
- История
s должна соответствовать заказу в реальном времени.
Концепция линеаризуемости изначально определена в этой статье , в которой рассматривается правильность одновременных объектов, к которым осуществляется доступ в многопроцессорной среде. Таким образом, реальное время можно понимать как настенные часы компьютера.
Но в распределенной системе часы не синхронизированы, как понять порядок в реальном времени?