Интернет магазин китайских планшетных компьютеров |
|||||||
Компьютеры - Операциональное преобразование - Алгоритмы управления ОП23 января 2011Оглавление: 1. Операциональное преобразование 2. История 3. Основы 4. Модели согласованности 5. Структура системы ОП 6. Данные ОП и операционные модели 7. Функции ОП 8. Свойства преобразований 9. Алгоритмы управления ОП 10. Программное обеспечение ОП 11. Дополнительные ресурсы онлайн Разнообразные алгоритмы управления ОП были разработаны для систем ОП с различными возможностями и для разных приложений. Сложность разработки алгоритма управления ОП определяется несколькими факторами. Ключевым различающим фактором того или иного алгоритма является способность поддерживать управление параллельным выполнением, и/или групповой отменой . Кроме того, разные схемы алгоритмов управления ОП допускают различные компромиссы в:
Большинство существующих алгоритмов управления ОП для управления одновременным выполнением в качестве теоретической основы выбрали теорию каузальности/одновременности: каузально связанные операции должны выполняться в своем каузальном порядке; одновременные операции должны быть преобразованы до своего выполнения. Тем не менее, и это понятно, только одно условие одновременности выполнения не может охватить все условия преобразования в ОП В недавней работе о теории контекста операций было предложено детально представить концепцию состояния документа, что может быть использовано для формального выражения условий преобразования ОП для поддержки разработки и верификации алгоритма управления ОП . В нижеследующей таблице приводится обзор некоторых существующих алгоритмов управления/интеграции ОП
Непрерывный общий порядок является строгим общим порядком, который можно определить по отсутствию элементов, т.е. 1,2,3,4, ... представляет собой непрерывный общий порядок, а 1,2,3,5, ... не является непрерывным общим порядком. Алгоритмы на основе преобразований, предложенные в базируются на альтернативных моделях согласованности CSM и CA, описанных выше. Их подходы отличаются от тех, что перечислены в таблице. Для сохранности каузальности в них используется вектор временных меток. Другими условиями корректности является сохранность зависимости одно-/мульти- следствий операций или сохранность допустимости. Эти условия обеспечиваются совместной работой процедуры управления и функций преобразования. Рассматривать TP1/TP2 в их работе нет необходимости. Потому они не перечислены в таблице выше. Существуют и некоторые другие алгоритмы управления оптимистического согласования, которые находят альтернативные методы для разработки алгоритмов преобразования, но не вписываются в приводимую выше таксономию и описания характеристик. Они перечислены ниже:
Просмотров: 9161
|