Языки программирования. Практический сравнительный анализ


Языки программирования. Практический сравнительный анализ - стр. 236


            when есть_клиенты and стань_в_очередь'счетчик = 0

что и сделано.

Теперь вторая альтернатива окажется закрытой, если есть вызовы для первой альтернативы, которая и будет беспрепятственно выбираться.

В Аде есть и другие атрибутные функции, связанные с управлением асинхронными процессами.

[Рациональной структуризацией управления асинхронными процессами много и плодотворно занимался Бринч-Хансен. Ему принадлежит и очень близкое к изложенному понятие монитора. Интересующегося читателя отсылаем к [12].  ]

На этом закончим разговор об асинхронных процессах и их программировании на языке Ада.

 

4.15. Числовые типы (модель числовых расчетов)

4.15.1. Суть проблемы

Рассматривая основные технологические потребности, невозможно обойти потребность вести числовые расчеты. Эта потребность, как известно, в свое время предопределила само возникновение ЭВМ. Хотя сейчас потребность в числовых расчетах - далеко не самая главная в развитии компьютеров и ЯП, абсолютная потребность в объеме, точности и надежности числовых расчетов продолжает расти. Так что ни в одном базовом языке индустриального программирования ее игнорировать нельзя.

Парадоксально, но факт, что так называемые машинно-независимые языки для научных расчетов (Фортран, Алгол и их диалекты) не предоставили удовлетворительной модели числовых расчетов, в достаточной степени независимой от машины.

В этом их аспекте особенно сказалась несбалансированность средств абстракции и конкретизации. Абстрагироваться от особенностей ЭВМ можно, а настроиться на конкретную машину - нельзя. Обеспечить надежность при переходе с машины на машину - проблема.

Суть в том, что ни в Фортране, ни в Алголе нет возможности явно управлять диапазоном и точностью представления числовых данных. Можно лишь указать, что требуется "двойная точность" (в некоторых диалектах градаций больше), но какова эта точность, зависит от реализации. Таким образом, пользователь "машинно-независимого" языка оказывается в полной зависимости от конкретной машины, если ему нужно гарантировать надежность расчетов.




- Начало -  - Назад -  - Вперед -