Камерон Хьюз - Параллельное и распределенное программирование на С++

• компоненты проверки достоверности;

• компоненты выделения лексем;

• компоненты грамматического разбора;

• компоненты синтаксического анализа;

• компоненты лексического анализа.

Эти части ПО можно объединить, чтобы сформировать уже знакомую нам программную конструкцию (листинг11.24).

// Листинг 11.24. Объявление класса language_processor

// и определение метода process_input

class language_processor {

//...

protected:

virtual bool getString(void) = 0;

virtual bool validateString(void) = 0;

virtual bool parseString(void) = 0;

//...

public:

bool process_input(void);

};

bool language_processor::process_input(void) {

getString();

validateString();

parseString();

//.. .

compareTokens();

//.. .

}

Во-первых, класс language_processorявляется абстрактным и базовым, поскольку он содержит чисто виртуальные функции:

virtual bool getString(void) = 0;

virtual bool validateString(void) = 0;

virtual bool parseString(void) = 0;

Это означает, что класс language_processorне предназначен для непосредственного использования. Он служит в качестве проекта для производных классов. Особенно стоит остановиться на методе process_input(). Этот метод представляет собой план работы, которую предстои т обобщит ь классу language_processor.Во многих отношениях именно это и отличает каркасные классы от классов других типов. Каркасный класс описывает не только обобщенную структуру и характер отношений между компонентами, но содержит и заранее определенные последовательности выполняемых действий. Однако в таком своеобразном описании поведения не указываются детали его реализации. В данном случае модель поведения задается набором чисто виртуальных функций. Каркасный класс не определяет, как именно эти действия должны быть выполнены, — важно то, что они должны быть выполнены, причем в определенном порядке. А производный класс должен обеспечить реализацию всех чисто виртуальных функций. При этом ответственность за корректность выполняемых действий целиком возлагается на производный класс. Каркасные классы по определению — договорные классы. Для достижения успешного результата требуется надлежащее выполнение обеих частей договора. Каркасный класс намечает четкий план, а производный реализует этот план в виде конкретного определения чисто виртуальных функций. Последовательность действий, «намеченная» методом process_input(), соблюдается в таких приложениях.

• Компиляторы

• Интерпретаторы ко м анд

• Обработчики естественных языков

• Програ мм ы шифрования-дешифрирования

• Упаковка-распаковка

• Протоколы пересылки файлов

• Графические интерфейсы пользователей

• Контроллеры устройств

Корректная разработка каркасного класса language_processsor(при надлежащем его тестировании и отладке) позволяет ускорить разработку широкого диапазона приложений.

Понятие каркасного класса также полезно использовать при разработке приложений, к которым предъявляются требования параллелизма. Так, использование агент-ных каркасов и каркасов «классной доски» фиксирует базовую структуру параллелизма и схемы работы в этих структурах. Майкл Вулдридж в своей книге [51] предлагает следующий обобщенный цикл управления агентами.

Алгоритм: цикл управления агентами

В = ВО

while true do

get next percept p

В = brf(B,p)

I = deliberate(B)

П= plan(B,I)

execute(П)

end while_

Эта модель поведения реализуется широким диапазоном рациональных агентов. Если вы разрабатываете программу, в которой используются рациональные агенты, то скорее всего эта последовательность действий будет реализована в вашей программе. На фиксации последовательностей действий такого типа и «специализируются» каркасные классы. Для цикла управления агентами функции brf (), deliberate() и plan() должны быть объявлены чисто виртуальными функциями. Цикл управления агентами определяет, в каком порядке и как должны вызываться эти функции, а также сам факт того, что они должны быть вызваны. Однако конкретное содержание функции определит производный класс. При надлежащем определении цикла управления агентами будет решен целый класс проблем. Ведь системы, состоящие из множества параллельно выполняющихся агентов, постепенно становятся стандартом для реализации приложений параллельного программирования. Такие системы часто называют мультиагептпыми системами. Агентно-ориентированные системы мы рассмотрим в главе 12, а пока отметим, что агентные каркасные классы позволяют понизить уровень сложности разработки мультиагентных систем, что очень ценно в свете того, что мультиагентные системы становятся предпочтительным вариантом архитектуры для реализации средне- и крупномасштабных приложений, которые требуют реализации параллелизма или массового параллелизма.