Введение к работе
Ахтуалыгость темы.
Создание'И сопровождение сложных распределенных программных систем с параллельно исполняющимися компонентами — операционных систем (ОС), систем управления базами данных, встроенных управляющих систем, — сопряжено со значительными усилиями Н требует высокого уровня квалификации. Повысить продуктивность этой деятельности можно, применяя единый технологический подход к разработки программ, основанный на эффективной методологии программирования. Оч«.*нь интересными и перспективными в этом отношении представляются методологии, основанные па понятии объекта и называемые объектными, или объектно-базированными. я Интегрировав многие пдеп, исторически возникшие в разных областях — от языков до операционных систем и баз данных, они характеризуются глобальным подходом к построению программных систем, и в недалеком будущем обещают стать общим свойством программистской культуры. Инкапсулировал-1 ность объектов и их взаимодействия путем обмена сообщениями, лежа-! щие в основе модели объектного программирования, представляются xo-j рошей базой для введения в эту модель свойств параллельности п распределенности. Подтверждением этому является большое число объект-? яых языков к систем с параллельными и распределенными объектами^ появившихся в последние несколько лет.
Проект КЛАСТОС (первоначальное пазванис — "К Л ОС") является примером применения объектного подхода к разработке операциоц--ных систем и языков программирования. Проект направлен на построение объектно-базированной кластерной модели программирования, и создание реализующих эту модель среды функционирования объектов, и среды их разработки. Среда функционирования включает а качестве базового уровня микроядро и серверы кластерной операционной системы. Базовый уровень обеспечивает поведенческие аспекты объектоз кластерной модели; он ориентирован на прямое использование аппаратуры (в отличие от множества объектно-б&зярованаых систем, оформлеп-пых в виде "надстройки" над традиционной операционной системой — как правило, UNIX). Среда разработка включает базовую систему программирования, позволяющую описывать .объекты кластерной модели. Характерной особенностью КЛАСТОС является пптегр^розаппоегъ
; з *
/ - *
срели функционирования и среды ратраПсаки. Благодаря шлелриро-
ІІІІШІОІ ТИ, ii.taCTcpHail ММЛІ'ЛЬ ІфСДСЧ ПОЛ ІІОЛЬКІІїа І ЄЛК> Іі ПІЦИ.1 СЛИНОЙ ОД-
ноз'рошитшй ciicjcmu нонхтий. Ото, ао-перпых, і-ушссі ііпіші облегчает ратраГмлку программ и, ію-игормч, по:л>оляет Диспгчь нисокой степени защищенности, наличности и эффективности исполнения оГтье.ктои.
Целы работы.
« Исследование нринпинои iu)i:T[)i>cit.ta Папшой системы протрамми-ропаник КЛАСІ ОС, о учешм струкіури кластерной модели,
* lVtpafi.ai.'a яп.ікііиьіх среде пі описання ины-кчон кластерной моло
ли. Pt:t.4i!VtV.Uti fi.i'Uiluiff СИС'Н'.МІ-t ІфОГраММПГ»0!іаіШі(.
Научная шшиэпа,
Осиоаиими іншими pciyjbi.iiov'iii ішлїючсіі следующие;
в рачрайотапа специфическая для кластерной модели архитектура бц-чогюй СП с компонентами, реалитуюп'ш.ми яіик спецификации нн-терфеисо» между «и'ьекі'АМИ, ятык программирования элементарных оокек юн, и яиак описание состапиых обьектоп;
в pa трампліни (оык<>ные (редсгіїа'С.та ui'iccuuiu н динамического ітн»-іьіиаиия объектом, (пихроішопі и асинхронного іпаимодейегниа (iC>i,rht>>i>, с жеі."ік»;м типпш.гм контроле;.! милей;
раціаГюіан яіикоіллн чехаїиті нссльггеиие, с иочмодлюст ы-> рас
пространения llt.iv.tlClCiiltli мед.лу асИІІлр'оНІН) ИСПОЛНЯЙ tllllUIHCjJ
оГ.ьектами по устаж>(!.і<*ш/им пилам;
рачраои'іан і» w.u.oiiu,: мехапичм > араилений ссгме".ісТиргаіашіой їін*
митьи чГо.екч'а, с т ипі:ч->цім'Й геїмеїпоа і: относительных указате
лей ко tvi мічпа.і;
* рпраГммани a'n.iK.'.»iue среаспи паисапич coriauHUK асинхронных
мСіьек'юп, г.рел'с іііііляюнпїє лолг.'іоааіолкі однородную ИСрарХИЧе-
СКУЫ КоМІМЧЧІШнИіИ'Н» моделі,, .
Практическая ценность.
Опыт программирования микроядра и системных серверов КЛА-
СТОС па начальных стадиях; проекта показал настоятельную необхо
димость в специфических для кластерной модели языковых средствах.
В процессе работы над диссертацией такие средства были разработаны
ц реализованы в виде переносимой базовой системы программирования.
Эта реализация работает в среде ОС UNIX на рабочей станции "Беста-
88" и в настоящее время используется для построения новых версий мя-
кроядра и серверов. .
Результаты проведенных исследований и накопленный опыт языко
вого дизаньа могут быть использованы в других работах по создашпо
обьекч-но-базнровашшх систем с асинхронно исполняющимися объекта^
ми. ,
Апробация работы.
Результаті? работы докладывались на научных семинарах отдела системного программирования (под рук. чл.-кор. РАН Иваашікова В.П.)
Института проблем кибернетики РАН (1988-1992).
Публикации, і
По теме диссертации опубликовано 3 печатные работы.
і
Структура дассертацгш. I
Диссертация состоит пз введения, 7 глаз, заключения, списка цщ&т.
ратуры и 2 приложений. і