Я читаю книгу "Искусство многопроцессорного программирования Маруиса Херилихи и Нира Шавита" и пытаюсь понять главу 3 о параллельных объектах "
Линеаризуемость: "Основная идея линеаризуемости заключается в том, что каждая параллельная история в некотором смысле эквивалентна некоторой последовательной истории: основное правило заключается в том, что если один вызов метода предшествует другому, то более ранний вызов должен вступить в силу перед последующим вызовом.напротив, если два вызова методов перекрываются, то их порядок неоднозначен, и мы вправе упорядочить их любым удобным способом. "
Теперь я читал о согласованности покоя,
Вызовы методов должны появляться в последовательном последовательном порядке.
Вызовы методов, разделенные периодом покоя, должны действовать в порядке их реального времени.
Я чувствую, что оба одинаковы. Я прочитал это В чем различия между последовательностьюсогласованность и непрерывность? .
сверху ссылка
Согласованность покоя:"требует, чтобы непересекающиеся операции вступили в силу в ихпорядок в реальном времени, но перекрывающиеся операции могут быть переупорядочены "
Кто-нибудь может объяснить, как они различаются?
Спасибо.