Введение к работе
Актуальность темы создания высокоэффективной и надежной среды, управляющей взаимодействием объектов разнородных распределенных приложений, очевидна и объясняется необходимостью согласования уже имеющегося и вновь создаваемого программного обеспечения, реализованного на различных языках программирования и разнообразных аппаратных платформах. Наблюдаемая в современном мире тенденция к повышению уровня доступности ПО для пользователей и уровня взаимодействия разработчиков ПО объясняет наличие потребности в обеспечении простого и удобного механизма организации совместной работы разнородного ПО.
Работа опирается на последние достижения в области организации совместной работы распределенных систем и управления поведением различных элементов таких систем. Так, предлагаемый в работе оболочечный подход использует в качестве реализационного базиса технологию CORBA, развиваемую с 1995 года концерном OMG. Предлагаемые в CORBA механизмы организации удаленных вызовов и спецификации CORBA сервисов, список которых постоянно расширяется, уже сейчас используются во многих современных программных продуктах.
Также широко известной в научном сообществе и исследуемой коллективами ученых из многих стран мира является проблема организации управления поведением объектов с помощью техники мйтаобъектных протоколов (МОП). В настоящее время создан и продолжает разрабатываться ряд программных систем, основанных на использовании технологии МОП. Основным недостатком этих подходов, по мнению автора, является их низкая эффективность. В диссертационной работе предлагается вариант МОП, направленный на решение этой проблемы.
В последнее время отмечается бурный рост скоростных возможностей вычислительной техники, а также существенное увеличение объемов как внешней, так и оперативной памяти ЭВМ. В связи с этим зачастую уходят на второй план такие аспекты, как размер программ и
даже скорость их работы. Вопрос же надежности программирования не только остается одним из главных, но и во многих случаях он начинает играть первостепенную роль. Так, при возможности выбора из большого числа предлагаемых систем, решающих сходные задачи, пользователь все чаще выбирает не ту, которая требует меньше дискового пространства или работает, скажем, на 10% быстрее, а ту, которая более надежна и вызовет, поэтому, наименьшее количество проблем при эксплуатации. Конечно же, это касается и систем программирования.
В связи с вышесказанным становится очевидным, что весьма актуальным является приводимый в работе анализ надежности программирования с использованием технологии COR3A и языка программирования C++. Конечно же, кроме описания проблем приводится и предлагаемый автором способ их решения.
Целью диссертационной работы являлась разработка е рамках объектно-ориентированного подхода и модели взаимодействия объектов "клиент-сервер" технологии создания среды обитания объектов приложений, выраженной в виде концепции оболочек, и предназначенной для обеспечения различных аспектов функционирования таковых объектов. В т.ч. управления временем жизни объектов, ил именования, обеспечения многопользовательского доступа к объектам и их постоянного хранения, организации удаленных вызовов и многих других. Одним из важнейших элементов работы была модернизация технику метаобъектных протоколов в целях применения ее для эффективного управления указанными аспектами. Кроме того, существенное место в работе занимает решение задачи повышения надежности программирования в рамка* предложенного подхода с использованием языке программирования C++.
Научная новизна работы состоит в следующем:
предложен оболочечный подход для решения -задачу организации совместной работы разнородны> распределенных систем;
предложен новый подход работы с метаобъектными протоколами, направленный на повышение эффективности управления поведением объектов;
предложено альтернативное стандарту CORBA отображение языка спецификации интерфейсов IDL в язык программирования C++. Это отображение направлено на решение проблемы повышения надежности.
Практическая ценность работы подтверждается
спектром программ, реализованных для обеспечения предлагаемого в работе оболочечного подхода, включающего подсистему управления вызовами объектов, компилятор из языка спецификаций IDL в язык программирования C++, основанный на использовании предлагаемого в диссертации альтернативного стандарту CORBA отображения IDL/C++, а также компилятор языка TL, предложенный в работе в качестве средства спецификации метаобъектного контроля.
Апробация работы. Работа была представлена на заседании объединенного научно-исследовательского семинара кафедр Автоматизации Систем Вычислительных Комплексов, Алгоритмических Языков и Системного Программирования 21 мая 1997 г.
Кроме того, основные результаты работы неоднократно докладывались на семинарах в. Институте Системного Программирования РАН.
Публикации. Представленные к защите результаты опубликованы в работах [1-6].
Объем и структура диссертации. Работа состоит из введения, четырех глав, заключения, списка литературы и трех приложений. Общий объем диссертации составляет 100 страниц машинописного текста, в том числе 10 рисунков и список литературы из 29 наименований.