Я читаю «Искусство многопроцессорного программирования». Теперь, я застрял в третьей главе, потому что не понимаю понятия непротиворечивости. Можете ли вы привести пример, чтобы узнать, что такое постоянная последовательность? Пожалуйста, как можно яснее!Как понять последовательность покоя?
В распределенном программировании существует подход к описанию данных поведения структуры, известного как постоянная согласованность. Существует число условий консистенции, последовательная консистенция, линеаризуемость и другие. Эти условия описывают поведение объекта при наличии нескольких потоков, вызывающих его методы.
Структура данных обладает спокойной консистенцией, если она согласована между ее состояниями покоя, то есть когда в настоящее время не существует методов . Как только непротиворечивая структура не ожидает операций (т. Е. Достигает покоя), мы можем быть уверенным, что выполнение методов до этого состояния и после этого состояния никогда не вмешивается.
Казнь является согласованным, если неподвижно вызовы методов могут быть правильно расположены сохраняя взаимный порядок вызовов, разделенных неподвижности, в течение времени, когда ни один метод не вызываются в любом потоке.
Источники:
http://coldattic.info/shvedsky/pro/blogs/a-foo-walks-into-a-bar/posts/88
http://coldattic.info/shvedsky/pro/blogs/a-foo-walks-into-a-bar/posts/72