Исследование вопросов реализации языка программирования высокого уровня CHILL тема автореферата и диссертации по математике, 01.01.10 ВАК РФ

ВВЕДЕНИЕ

ГЛАВА I. ЯЗЫК ПРОГРАММИРОВАНИЯ ВЫСОКОГО УРОВНЯ СНШ

1.1. Обзор языка CHILL

I.X.I. Типы данных

1.1.2. Ячейки и доступ к ним.

1.1.3. Значения и операции над ниш

1.1.4. Операторы действий.

1.1.5. Структура программы

1.1.6. Параллельное выполнение

1.1.7. Исключительные ситуации

1.2. Особенности языка CHILI

1.2.1. Управление типами данных

1.2.2. Абстракция данных

1.2.3. Синхронизация и связь параллельных процессов

1.2.4. Сравнение подходов к реакции на исключения

ГЛАВА 2. ВИРТУАЛЬНАЯ МАШИНА ДЛЯ ЯЗЫКА СНШ.

2.1. Структура CHIIL-машины и адресация данных

2.2. Представление данных в стеке и операции над ними

2.3. Доступ к составным ячейкам

2.4. Блоки, метки и переходы

2.5. Манипулирование с процедурами

2.6. Обработка и распространение исключений

2.7. Поддержка параллельного выполнения

ГЛАВА 3. КРОСС-КОМПИЛЯТОР ЯЗЫКА CHILI ДЛЯ УПРАВЛЯЮЩЕГО

КОМПЛЕКСА HEBA-IM

3.1. Лексический, синтаксический и семантический анализ программы на языке CHILL .—

3.I.I. Подмножество CHILL и метод грамматического разбора.

3.1.2. Сканер

3.1.3. Структура таблиц компилятора

3.1.4. Реализация контроля совместимости типов

3.1.5. Формат промежуточного представления и распределение памяти

3.1.6. Отображение операторов языка в команды СНШг-машины.

3.2. Генерация команд УК HEBA-IM

3.2.1. Обзор системы команд УК HEBA-IM

3.2.2. Система прерываний и взаимодействие программ

3.2.3. Моделирование структуры CHILLr-машины на УК НЕВА-1М

3.2.4. Отображение команд CHILL-машины в УК HEBA-IM

3.2.5. Представление процессов CHILL модулями

УК НЕВА-1М и описание ядра СНШ.

3.2.6. О влиянии особенностей архитектуры УК HEBA-IM на генерацию кода для языка CHILL.

3.3. Перенос кросс-компилятора на другую рабочую машину.

В связи с возрастающим использованием телефонных станций с программным управлением программирование становится важной частью телекоммуникационной технологии. Системы программного обеспечения таких станций становятся очень большими и сложными, поэтому важное значение приобретает использование развитых средств программирования [l2,70j. Эта перспектива была представлена Международным консультативным комитетом по телеграфии и телефонии (МККТТ) еще в конце 60-х годов, когда были выполнены некоторые начальные исследования по программированию для телефонных станций. С 1972 года МККТТ ведутся работы по стандартизации языков программирования для разработки и создания систем коммутации, основанных на использовании ЭВМ. За это время были разработаны три языка: язык спецификации и описания систем (sdl), язык реализации программного обеспечения систем (СНШ») и язык описания взаимодействия обслуживающего персонала с системой (ММЬ) [32].

Язык спецификации и описания систем SDL ( Specification and Description Language ) предназначен для описания на высоком уровне абстракции функционального поведения реализуемой системы электронной коммутации [33,73]. Основная форма языка SDL - графическая, его можно интерпретировать как способ представления диаграмм переходов для конечных автоматов. Предполагается разработка машинно-читаемой формы языка sdl [35]. Рассматривается также возможность использования нзыка sdl для описания протоколов передачи данных [32].

Язык человеко-машинного взаимодействия MML (Man - Machine Language ) является основным средством описания процесса взаимодействия обслуживающего персонала с системой электронной коммутации в период ее нормального функционирования и технического обслуживания, а также во время ее установки и тестирования [36, 59].

Разработка языка реализации программного обеспечения СНШ» для систем электронной коммутации была начата в 1973 году с оценки характеристик существующих языков программирования. В процессе выработки требований к такому языку были исследоввны 27 различных языков программирования. Основными кандидатами были выбраны языки Алгол, Паскаль и ПЛ/1. Поскольку ни один из рассмотренных языков не удовлетворял в достаточной степени предъявляемым требованиям, в 1975 году было принято решение о разработке нового специализированного языка программирования, получившего название СНГЬЬ (сокращение от CCITT High bevel Language - язык высокого уровня MKKTI). Предварительное описание языка было завершено к 1976 году, а с 1977 года началась его реализация £22,42,45,68,71,72]. К пленарному заседанию МККТТ 1980 г. было подготовлено полное описание языка, ориентированное, главным образом, на разработчиков компиляторов с этого языка [34] . В текущий период (с 1981 по 1984 гг.) разрабатывается ориентированное на пользователей описание языка CHILI [23]. В обоснование разработки нового языка были выдвинуты два основных довода: необходимо, во-первых, предоставить один стандартный язык, удовлетворяющий всех производителей и пользователей телефонных систем, а во-вторых, преодолеть слабые места существующих языков (в применении к телефонным системам) и объединить в одном языке требуемые средства, которые доступны только во множестве других языков. Аспект стандартизации был мотивирован тем фактом, что сообщество связи является очень большим и распространенным по всему миру, и многие производители и пользователи телекоммуникационного оборудования и систем должны иметь возможность контактировать по вопросам программного обеспечения. Второй аспект обусловил то, что язык CHIIL унаследовал многие свои характерные черты от других языков высокого уровня, получивших широкое распространение в 70-е годы.

В начале разработки языка СКШ» был составлен следующий минимальный список областей применения, на которые должен быть рассчитан язык: реализация операционных систем; реализация пакетных и интерактивных систем; реализация языка описания взаимодействия ШЬ; реализация программ обслуживания телефонных вызовов, тестирования и технического обслуживания оборудования и т.д. Учитывая, что программное обеспечение для систем электронной коммутации является, вероятно, наиболее сложным среди всех видов программного обеспечения, были сформулированы следующие требования к языку СНХЬЬ: наличие в языке средств поддержки модульного и структурного программирования; гибкость и достаточно высокая выразительная мощность; наличие средств обеспечения высокой надежности программного обеспечения; возможность генерации эффективного объектного кода; независимость языка от используемых ЭВМ и т.д.

Одним из основных требований, учитываемых в процессе проектирования языка СН1ЬЬлбыло обеспечение высокой надежности разрабатываемого на этом языке программного обеспечения. Размер и сложность существующих систем электронной коммутации приходят в противоречие с необходимостью получения достаточно высокой надежности. Язык СЕЕЬЬ призван разрешить, в определенной степени, это противоречие. В языке СШИ предусмотрены как "пассивные", так и "активные" средства обеспечения высокой надежности. К "пассивным" средствам относится наличие в языке гибких конструкций, позволяющих естественным образом описывать моделируемую систему, а также использование концепций процессов, процедур и модулей. "Активное11 обеспечение надежности достигается за счет мощных средств проверки согласованности всех описаний/определений и средств управления областью видимости имев и режимом доступа к описываемым этими именами объектам.

Предложения по языку CHIDL были утверждены на пленарной ассамблее МККТТ в ноябре 1980 года и опубликованы в виде рекомендации МККТТ Ш ъ .200 £37]. Рекомендации МККТТ в телеграфии и телефонии имеют статус международного стандарта, принятого Международным союзом электросвязи [32]. Поэтому язык CHIII уже практически используется многими основными производителями телекоммуникационных систем [31,53,63,67,74,80J. Четыре ведущие фирмы: ИТ - США, шт - Япония, Philips - Нидерланды и Siemens - ФРГ объявили об использовании языка CHIII для разработки систем, планируемых к выпуску в 80-е годы [72],

Актуальность задачи исследования вопросов реализации языка CHIIb обуславливается тем, что язык высокого уровня СН1Ыг, рекомендованный МККТТ как стандартный язык программирования для сообщества связи, становится широко используемым, а также потребностью в развитых средствах программирования для отечественных программно-управляемых телефонных станций. Язык CHIII представляет действительный интерес и должев стать доступным для практического использования в советских телефонных системах с программным управлением. Настоящее исследование вопросов реализации языка СНШг основывается на реализации языка CHIIb на управляющем комплексе (УК) HEBA-IM [13], выполненной автором по заказу Центрального научно-исследовательского института связи Реализация допускает подмножество языка CHIII, ориентированное на использование в программно-управляемых телефонных

- 8 станциях на базе УК HEBA-IM.

Целью исследований и разработок, представленных в диссертации, является обоснование концепции и построение виртуальной машины для языка CHIHt и создание на ее основе компилятора с языка СНШ для управляющего комплекса HEBA-IM. Концепция виртуальной машины для языка СНШ ведет к высокой степени переносимости компилятора СНШ, облегчает реализацию языка для различных типов телефонных станций с программным управлением. Настоящая реализация языка CHIII дает возможность оценить практическую пригодность языка СНШ для составления программ различных видов для УК HEBA-IM, а также выяснить влияние особенностей архитектуры УК HEBA-IM на генерацию кода для языка CHIIL.

В первой главе диссертации представлен обзор языка CHIIX, а также исследование особенностей языка СНШ» в сравнении с другими языками программирования, в основном, с получившим широкое распространение и признание языком Ада. Такая оценка языка СИНЬ, основанная на выделении сущности общности и различия языков СН1Ы и Ада, способствует лучшему пониманию наиболее важных сторон языка СНШ. Представленное сравнение выделяет, в основном, подход языка СНШ к типам данных, абстракции данных, параллельному выполнению и обработке исключений, поскольку решения, принятые в языке СНШ в этих областях, "окружают" основные аспекты языка СНШ. Представленные оценки являются неформальными и поддерживаются работами [25,76,78]. Необходимость такого сравнения в рамках настоящего исследования СНШ, а также выбор языка Ада для совместной оценки с языком СНШ обусловлены следующими соображениями. Поскольку языки СНШ [37] и Ада [60] были предложены как стандартные языки МККТТ и Министерством обороны США соответственно, они, вероятно, получат широкое распространение независимо от сравнительных языковых достоинств. Своевременная оценка обоих языков и более ясное понимание каждого из них, вытекающие из сопоставления иногда различных решений одинаковых проблем, могут иметь важное значение для большого числа потенциальных пользователей. Основное сходство заключается в области приложения, обозначенной как "встроенные системы". Это, в основном, подразумевает сильную поддержку программирования в реальном времени, параллельного и систематического программирования, в настоящем случае без ослабления любого из требований, типичных для так называемых алгоритмических (процедурных) языков общего назначения.

Из требования независимости языка CHILL от используемых ЭВМ естественным образом следует предложение, чтобы реализация языка CEELL основывалась на машинно-независимом трансляторе генерирующем программу для виртуальной машины, которая может быть реализована на некотором множестве машин. Этот подход, который ведет к высокой степени переносимости компилятора, был весьма успешным в нескольких проектах реализаций современных языков [62,77,79,90], в том числе языка СНШ [67,74]. Во второй главе диссертации обсуждаются целесообразность, требования и конструирование такой виртуальной машины для языка CHILL. Внимание концентрируется на нескольких фундаментальных аспектах: общая структура виртуальной машины, включая структуру памяти и адресацию; размещение данных и манипулирование с ними; управление потоком действий; процедуры, блоки и исключительные ситуации; параллельное выполнение. Виртуальная машина для языка СНШ» составляет основу реализации языка CHILL для УК HEBA-IM. Цель состоит в том, чтобы представить как общий подход к реализации языка CHILL, так и исчерпывающее описание. Последнее, однако, не исключает, что некоторые из многих тонких технических проблем, возникавших при реализации, будут игнорироваться. Для полного понимания посылок конструирования виртуальной машины для языка СНШ» необходимо представить и то, как программы на языке СНШ» транслируются в команды виртуальной мэшины, и то, как команды виртуальной машины интерпретируются.

В третьей главе диссертации отражено, как исследование вопросов реализации языка СН11Ь находит свое применение в конкретной реализации языка СНЕП» на УК HEBA-IM. Реализация представляет собой кросс-компилятор. Первая часть обработки программы на языке СНШ выполняется на рабочей машине EC-I033 под управлением операционной системы ОС ЕС. Эта часть генерирует программу на языке ассемблера для целевого УК HEBA-IM. Вторая часть обработки выполняется на УК HEBA-IM и включает в себя ассемблер и редактор связей базовой операционной системы УК HEBA-IM. Скомпилированная программа выполняется на УК HEBA-IM под управлением ядра CHIII. Ядро СНШ представляет собой пакет программного обеспечения времени выполнения, который отображает УК HEBA-IM в виртуальную машину, на которой программы СЕЕЬЬ могут выполняться. Ядро обеспечивает распределение памяти программным компонентам, синхронизационные примитивы, управление процессором и администрацию процессов СНШ, подобно [64,90].

Обработка программы СНШ на рабочей машине состоит из двух проходов. Первый проход - фаза разбора (анализе), второй проход - фаза генерации (синтеза). Анализ составляет машинно-независимую компоненту компилятора. Ограничение подмножестве языка СНШ» позволило положить в основу анализатора метод рекурсивного спуска. Анализатор для исходной программы на языке СНШ. вырабатывает промежуточное представление в виде обратной польской записи, которое составляет программу для виртуальной стековой машины. По этому представлению компилятор на фазе синтеза генерирует программу на языке ассемблера УК HEBA-IM. В основе управления памятью во время выполнения лежит стековый метод.

Описание реализации содержит выводы о влиянии особенностей архитектуры УК НЕВА-1М на генерацию программ для языка СНЕЫ. Отмечено, что многие аспекты архитектуры значительно затрудняют генерацию кода для языка CHILL и, вероятно, для многих других языков программирования высокого уровня.

Компилятор написан на языке Паскаль, ядро CHILL написано на языке ассемблера УК HEBA-IM. Первоначальная версия компилятора была создана и работала на рабочей машине БЭСМ-б. Перенос большой системы программ на языке Паскаль представляет самостоятельный интерес и описан в главе 3.

В заключении перечислены основные результаты диссертации.

Научная новизна работы состоит в исследовании вопросов реализации языка высокого уровня CHILL, которое имеет своим рек »»л•, зультатом построение виртуальной машины для языка CHILL - модели, обеспечивающей поддержку всех свойств языка CHILL. Виртуальная машина, во-первых, формирует основу машинно-независимого подходе к трансляции языка CHILL, который ведет к высокой степени переносимости компилятора. Во-вторых, виртуальная машина обеспечивает исследование многих аспектов реализации на концептуальном уровне, позволяет разделить задачи компиляции и задачи времени выполнения и определить уровень необходимой поддержки во время выполнения [26]. В-третьих, виртуальная машина предмтэвляет набор абстракций для описания семантики языка, формирует базис для формального семантического определения, основанного на абстрактной машине [38,8б]. Разработанная виртуальнад машина для языка CHILL положена в основу первой практической реализации языка высокого уровня CHILL для отечественных телефонных станций с программным управлением. Реализация языка CHILL на УК HEBA-IM является первой в СССР реализацией языка программирования высокого уровня для ЭВМ данного класса, применяемых в управлении телефонными станциями. К научной новизне работы относятся также выводы о влиянии особенностей архитектуры УК HEBA-IM на генерацию программ для языка CHILL, которые могут быть положены в основу рекомендаций для разработчиков управляющих ЭВМ для телефонных станций с программным управлением, ориентированных на использование языка CHILL.

Практическая ценность работы состоит в реализации языка программирования высокого уровня СН1Ы, рекомендованного МККТТ как стандартный язык программирования для сообщества связи, для телефонных станций с црограммным уцравлением на базе управляющего комплекса HEBA.-IM. Данная реализация делает доступными для отечественных программно-управляемых станций развитые современные средства программирования, а также дает возможность использовать научные и практические результаты, накопленные мировым сообществом связи в области телефонии с применением ЭВМ, в виде программного обеспечения на языке CHILL.

Областью применения полученных результатов является создание программного обеспечения систем электронной коммутации на базе УК HEBA-IM на языке высокого уровня CHILL.

Результаты исследований могут быть использованы для реализации языка СН1Ы на других типах ЭВМ, а также положены в основу рекомендаций для разработчиков ЭВМ, ориентированных на использование языка CHILL.

Объем работы. Диссертация состоит из введения, трех глав, заключения, списка литературы и приложений. Общий объем реализованного программного обеспечения составляет около iO тыс. операторов языка Паскаль и 800 команд ассемблера УК HEBA-IM.

ЗАКЛЮЧЕНИЕ

В диссертационной работе получены следующие основные результаты.

1. Предложен и обоснован подход к реализации нового языка программирования высокого уровня CHILL, принятого в качестве международного стандарта для телефонных станций с программным управлением. Выбранный метод кросс-компиляции соответствует большинству реализаций языка CHILL, имеющих применение в зарубежных системах электронной коммутации.

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

3. Выполнена первая црактическая реализация языка высокого уровня CHILL для отечественных телефонных станций с программным управлением на базе управляющего комплекса HEBA-IM. Настоящая разработка является первой в СССР реализацией языка программирования высокого уровня для ЭВМ данного класса, применяемых в управлении телефонными станциями.

4. Получены и обоснованы выводы о влиянии особенностей архитектуры УК HEBA-IM на генерацию кода для языка CHILL. Выводы могут быть положены в основу рекомендаций для разработки управляющих ЭВМ для телефонных станций с программным управлением, ориентированных на использование языка CHILL.

5. Выполнен эксперимент по переносу разработанного кросс-компилятора CHILL между рабочими машинами БЭСМ-б и EC-I033,обеспечивший опытную эксплуатацию компилятора языка CHILL в Центральном научно-исследовательском институте связи.

1. Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. Т.2. Компиляция. - М.:Мир, 1978, 487 с.

2. Грис Д. Конструирование компиляторов для цифровых вычислительных машин,- М.:Мир, 1975, 544 с.

3. Йенсен К., Вирт Н. Паскаль. Руководство для пользователя и описание языка. -М.: Финансы и статистика, 1982, 151 с.

4. Козуб В.A. CHILL язык высокого уровня МККТГдля црограммно-уцравляемых телефонных станций, его реализация. - Отчет Института связи. - М.:ЦНШС, 1982, 149 с.

5. Козуб В. А. Компилятор CHILL. Генерация команд для УК HEBA-IM. -Отчет Института связи. М.: ЦНИИС, 1983, 43 с.

6. Козуб В.А. Первая версия компилятора языка CHILL. Отчет Института связи. - M.i ЦНИИС, 1983, 41 с.

7. Козуб В.А. Реализация языка программирования CHILL для уцравля-ющего комплекса HEBA-IM. В сб.: Квазиэлектронные и электронные системы коммутации. - М.: ЦНИИС, 1983, с. 182-189.

8. Льюис Ф., Розенкранц Д., Стирнз Р. Теоретические основы проектирования компиляторов. М.:Мир, 1979, 654 с.

9. Пирин С.И. Язык Паскаль-монитор и его использование. Препринт ВЦ АН СССР. - М.: 1978, 55 с.

10. Пратт Т. Языки программирования: разработка и реализация. -М.:Мир, 1979, 574 с.

11. Ренделл Б., Рассел Л. Реализация АЛГ0Ла-60. М.:Мир, 1967.

12. Хиллс М.Т., Кано С. Программирование для электронных систем ком-ьодгтации. М.: Связь, 1980, 248 с.

13. Центральный научно-исследовательский институт связи. Специализированный управляющий вычислительный комплекс HEBA-IM. Книга 1-5. M.s ЦНИИС, 1974, 192 с.

14. Центральный научно-исследовательский институт связи. Цротокол AI92/83 рабочей группы по разработке УК HEBA-IM. Сотрудничество между СССР и ГДР в области создания ЕЭСС. М.: ЦНИИС, 1983, 14 с.

15. Язык программирования Ада (предварительное описание) / Пер. с англ. В.М.Курочкина и Д.Б.Подшивалова. М.: Финансы и статистика, 1981, 190 с.

16. Ammarm U. On code generation in a Pascal compiler. Software-Pract.& Exp., 1977, v.7, pp.391-423

17. Anacki K., Iglewski M., Krepski A., Missala M. Pascal 360.User guide. Institute of Computer Science, Polish Academy of Science. - Warsaw, Poland, 1981.

18. Barrett W.A., Couch J.D. Compiler construction. Theory and practice. Science Research Associates, Inc. - Chicago : SRA,1981, pp.376-464.

19. Berry R.E. Programming language translation. New York s Ellis Horwood, 1981.

20. Bourgonjon R.H. The CCITT High bevel Language. 3rd Int. Conf. on Soft. Eng. for Telecomm. Switch. Systems (SETSS'78). -Helsinki s 1978, pp.36-39.

21. Bourgonjon R.H., Rekdal K. CHILL Users Manual. CCITT Study Group XI. Temporary Document No 5* - Geneva s ITU, 1981.

22. Bourgonjon R.H. Programming languages, environments and CHILL. CHILL Bulletin, 1983, v.3, N 1, pp.3-8.

23. Boute R.T., Jackson M.I. A joint evaluation of the programminglanguages Ada and CHILL. 4th Int. Conf. on Soft. Eng. for Telecomm. Switch. Systems (SETSS'81). - London : 1981, IEE Conf. Publ. No 198, pp.214-220.

24. Branquart P., Louis G., Wodon P. An analytical description of CHILL, the CCITT High Level Language. Lecture Notes in Computer Science, 1982, v.128. - Springer-Verlag, 1982.

25. Brinch Hansen P. The programming language Concurrent Pascal.-IEEE Trans, on Soft. Eng., 1975, v.SE-1, N 2, pp.199-207.

26. Brinch Hansen P. The architecture of concurrent programs. -Prentice-Hall, 1977.

27. Brinch Hansen P. Distributed processes: a concurrent programming concept. Comm. ACM, 1978, v.11., pp.934-941.

28. Burke M., Gerald A., Fisher Jr. A practical method for syntactic error diagnosis and recovery. In: Proc. of the SIGPLAN'82 Symp. on Compiler Construction, Boston, 1982. - SIGPLAN Notices, 1982, v.17, N 6, pp.67-78.

29. Cain G.J., Jackson L»N., Vesetas R., Walter A., Yong W.B. Computer aided software generation (The MELBA System for Generating CHILL Code). 4th Int. Conf. on SETSS, 1981, pp.202-208.

30. Carrelli C., Roche D.H. CCITT languages for SPC switching systems. IEEE Trans, on Commun., 1982, v.30, If 6,pp.1304-1309.

31. CCITT Vllth Plenary Assembly Document No 20. Draft Recommendations Z.101-Z.104. Functional Specification and Description Language (SDL). Geneva : ITU, 1980.

32. CCITT Vllth Plenary Assembly Document No 21. Draft Recommendation Z.200. Proposed Recommendation for the CCITT High Level Programming Language (CHILL). Geneva : ITU, 1980.

33. CCITT Vllth Plenary Assembly Document No 26. The program-like fona of SDL (SDL/PR). Geneva : ITU, 1980.

34. CCITT Yellow Book, fascicle VI.7. Programming languages for stored-programme control exchanges. Recommendations Z.311-Z.317.- Geneva : ITU, 1981.

35. OGITT Yellow Book, fascicle VI.8. GCITT High Level Language (CHILL). Recommendation Z.200. Geneva : ITU, 1981.

36. CCITT CHILL Formal Definition, v.1,2. Geneva s ITU, 1982.

37. CCITT Meeting Report No R18. Part D report of Working Party XI/3 (SPC languages). - Geneva : ITU, 1982.

38. CCITT Sub-working Party XI/3-2 Document DXI/3-56. Proposal for separate and independent compilation in CHILL.-GenevasITU, 1982.

39. Cook R.P., Leblanc T.J. A symbol table abstraction to implement languages with explicit scope control. IEEE Trans, on Sofit. Eng., 1983, v.SE-9, N 1, pp.8-12.

40. Dacker В., Jacobson I. Real time system design using CHILL. -3rd Int. Conf. on SETSS, 1978, pp.56-58.43* Davie A.J.Т., Morrison R. Recursive descent compiling. New York : Ellis Horwood, 1981.

41. Demers A., Donahue J. Data types, parameters and type checking.- Seventh Ann. ACM Sympos. on the Principles of Programming Languages, 1980.

42. Denenberg G. CHILL implementation techniques. 3rd Int. Conf. on SETSS, 1978, pp.45-50.

43. Denis G., Langlois C. Some design concepts of a telecommunications language oriented machine using CHILL (CCITT High-Level Language). Int. Conf. Commun. (ICC'80), Seattle, Wash., 1980. Conf. Rec., v.1-3, pp.50.1/1-50.1/5.

44. Doran R.W., Thomas L.K. Variant of the software solution to mutual exclusion. Inf. Proc. Lett., 1980, v.10,N 4-5,pp.206^20*

45. Eventoff W. The rendezvous and monitor concepts: is there an efficient difference ? SIGPLAN Notices, 1980, v.15, N 11, pp.156-165.49» Goodenough J.B. Exception handling: issues and a proposed notation. Comm. ACM, 1975, v.18, N.12, pp.683-696.50