Интернет магазин китайских планшетных компьютеров

Компьютеры - Операциональное преобразование - Структура системы ОП

ОП представляет собой систему из нескольких компонентов. Одна установленная стратегия проектирования систем ОП состоит в том, чтобы отделить высокоуровневые алгоритмы управления преобразованием от функций преобразования низкого уровня.

Алгоритм управления преобразованием связан с определением:

1. Какая операция должна быть преобразована перед каузально-произошедшей новой операцией
2. Порядка преобразований

Управляющий алгоритм вводит соответствующий набор функций преобразования, которые определяют, как преобразовать одну операцию перед другой в зависимости от типов операции, позиций и других параметров. Корректность распределения обязанностей этих двух уровней формально конкретизируется набором свойств и условий преобразования. Различные системы ОП с разными алгоритмами управления, функций и коммуникационными топологиями требуют поддержки разных наборов свойств преобразования. Разделение систем ОП на эти два уровня позволяет разрабатывать исходные управляющие алгоритмы, которые могут применяться для различных типов приложений с разными данными и операционными моделями.

Другой альтернативный подход предложен в .В этом подходе, алгоритм ОП является корректным, если он удовлетворяет двум формализованным критериям корректности:

1. Сохранности каузальности
2. Сохранности допустимости

До тех пор, пока система удовлетворяет этим двум критериям, после того, как все операции будут выполнены на всех сайтах, копии данных становятся конвергентными. Нет необходимости принудительно для достижения конвергентности вводить общий порядок выполнения. Их подход в основном заключается в том, чтобы сначала идентифицировать и подтвердить достаточные условия для нескольких функций преобразования, а затем разрабатывать процедуры контроля для обеспечения этих достаточных условий. Таким образом, процедуры управления и функции преобразования синергетически достигают корректности, т.е. сохранности каузальности и допустимости. В этом подходе нет необходимости соблюдения критериев свойств преобразований, таких как, например, TP2, поскольку это не требует работы функций преобразования во всех возможных случаях.