Н. Джехани - Язык Ада (1988) (1160771), страница 100
Текст из файла (страница 100)
После рандеву вызывающая задача и задача, содержащая вход, продолжают выполняться параллельно. Если несколько задач вызывают один и тот же вход до того, как достигнут оператор принятия, то эти вызовы становятся в очередь; с каждым входом связывается одна очередь. Каждое выполнение оператора принятия удаляет из очереди один вызов. Вызовы обрабатываются в порядке поступления. При попытке вызвать вход задачи, закончившей свое выполнение, в точке вызова вызывающей задачи возбуждается исключение ТАЗК(ЫО ЕЯЯОЯ; это же исключение возбуждается в точке вызова, если вызванная задача заканчивает свое выполнение до принятия входа (см.
также равд. 9.10 для случая, когда вызванная задача становится аварийной). Исключение СОЫЗТЯА()ЧТ ЕЯЯОЯ возбуждается, если индекс входа семейства не принадлежит заданному дискретному диапазону. Примеры описаний входое: елку НЕА0(Ч: ечт )ТЕМ); епау 6612Е; ° пеу йвбцезт(ьеувО(б: )твм); -- семеиство входов ач» Примеры вызовов входов: СОМТВОСВЕЬЕАЗЕ; — см. 9.2 и 9.1 РЯОООСЕВ СОМЗОМЕВ.ЧГЯ!ТЕ(Е); см.
9.1 РОО05)ЛЕАО(МЕХТ СНАЯ); — см. 9.1 и 9.2 СОНТВОЬЬЕВЯЕООЕЗТ(ЬОЧЯ(ЗОМЕ 1ТЕМ); -- см. 9.1 Примеры операторов принятия: осоор! ЕЕ!ЕЕ; попер! ЯЕАО(Ч: оп! 1ТЕМ) ео Ч;= 1ОСАЬ !ТЕМ; опе ЯЕАО; попер! ЯЕООЕЗТ(ЬОЧЯ(О: !ТЕМ) Ьо опя ВЕООЕЗТ; Примечание. Заданныи в операторе принятия раздел формальных параметров не предвыполняется; он используется только дпя идентификации соответствующего входа. Оператор принятия может вызывать подпрограммы, производящие вызовы входов.
Опера. тор принятия может не содержать последовательности операторов, даже если соответствующии вход имеет параметры. Точно так же он может содержать последовательность операто. ров, даже если соответствующий вход не имеет параметров. Последовательность операторов в операторе принятия может включать операторы возврата. За((ача может вызывать и свои собственные входы, однако это, конечно, может привести к тупиковой ситуации. Языком разрешены условные и временные вызовы входов (см.
9.7.2 и 9.7.3). Правилами языка задаче в данной момент времени разрешается находиться только в одной очереди. Если границы дискретного диапазона семейства входов являются литералами целого типа, то индекс (в имени входа или в операторе принятия) должен быть предопределенного типа ПЧТЕОЕЯ (см.
3.6.1). Ссылки: аварийная задача 9.10, временнбй вызов входа 9.7.3, вызов процедуры 6.4, выполнение 4.5, выражение 4.4, дискретный диапазон 3.6.1, задача 9, законченная задача 9.4, идентификатор 2.3, именуемая компонента 4СЕЗ, имя 4.1, индексируемая компонента 4.1.1, исключение СОМЗТЯА!МТ ЕЯЯОЯ 11.1, исключение ТАЗК1МО ЕЯЙОЯ 11.1, литерал перечисления 3.5.1, область 8.2, объект 3.2, оператор возврата 5.8, описание переименования 8.5, описание подпро. граммы 6.1, параллельное выполнение 9, подпрограмма 6, последовательность операторов 5.1, постфикс 4.1.3, правила согласования 6.3.1, предвыполнение 3.1, 3.9, префикс 4.1, простое выражение 4.4, простое имя 4.1, процедура 6, раздел фактических параметров 6.4, совмещение 6.6, 6.7, спецификация задачи 9, тело задачи 9.1, тело подпрограммы 6.3, указывать 9.1, условный вызов входа 9.7.2, формальный раздел 6.1, целый тип 3.5,4.
9.6. ОПЕРАТОРЫ ЗАДЕРЖКИ, ДЛИТЕЛЬНОСТЬ И ВРЕМЯ Выполнение оператора задержки вычисляет простое выражение и приостанавливает дальнейшее выполнение задачи, содержащей данный оператор задержки, по крайней мере на дпительност!ь заданную вычисленным значением. оператор задержки::= де!ау простое выражение; Простое выражение должно быть предопределенного фиксированного типа ООЯАТ1ОМ (ДЛИТЕЛЬНОСТЬ); его значение выражается в секундах; оператор задержки с отрицательным значением эквивалентен оператору задержки с нулевым значением. Все реализации типа 00ЯАТЮМ должны допускать представление длительности (положи. тельные и отрицательные) по крайней мере до 86400 с (одни сутки); минимальная представимая длительность, ООЯАТЮМ'ВМАЖУ), должна быть не больше 20 мс (по возможности значение не превышает 50 мкс.
Заметим, что О0ЯАТЮМ'ВМАЖУ~ не обязано соответствовать основному циклу таймера, именованному числу ЗЧЗТЕМ.Т(СК (см. 13.7). Определение типа Т1МЕ приведено в предопределенном пакете САЕЕМОАЯ. Функция С1 ОСК возвращает текущее значение типа Т(МЕ. Функции ЧЕАЯ, МОМТН, ОАЧ и ЗЕСОМОЗ возвращают соответствующие наименованиям значения дпя заданного значения аргумента типа Т)МЕ, а процедура ЗРЕ)Т возвращает одновременно все четыре соответствующих значения. Наоборот, функция Т)МЕ ОЕ упаковывает номера года, месяца, числа дня и значение дпитель- Глава 9 ности в значение типа Т!МЕ В операции "+" и "—" для сложения и вычитания значений времени и длительности, а также в операции соотношения для значений времени вкладывают традиционный смысл.
Исключение Т)МЕ ЕЙНОЙ возбуждается в функции Т)МЕ ОР, если значения фактических параметров не формируют правильную дату. Это исключение возбуждается также операция. ми ' + " и " — ", если для задануФых операндов они не могут возвратить дату с номером года из диапазона соответствующего подтипа или если операция " †" не может возвратить значе. ние из диапазона типа ООЙАТЮМ. ресаевм САЬЕМОАН Ь ФУРЕ Т)МЕ 1 ° Рнсвсе; ° мь)урв УЕАВ МОМВЕН !е )МТЕОЕН гепве )90! ., 2099; сматурв МОМТН МОМВЕЯ 1 ° )МТЕОЕй Фалес 1 .. 12; ° мазуре ОАУ МОМВЕЯ Ь )МТЕОЕВ шпее 1 .. 31; емвсуре ОАУ ООНАТЮМ 1 ° ООНАТ10М Фвпве 0,0 .. 88 400.0; Ьпссмп С1.ОСК !ваял Т1МЕ; Фвпсеоп УЕАЯ !ОАТЕ: Т1МЕ) Феапп УЕАН МОМВЕй; Ьлссмп МОМТН !ОАТЕ: Т)МЕ1 Фетмгп МОМТН МОМВЕВ; Ьпсаоп ОАУ !ОАТЕ; Т)МЕ) плмпФ ОАУ МОМВЕй; Ьпсаоп ВЕСОМОВ !ОАТЕ: Т1МЕ) Феысп ОАУ ООВАТЮМ; ргомммгс 5РОТ ! ОАТЕ: 1п Т)МЕ; УЕАН; омс УЕАЯ МОМВЕВ; МОЙТН: овФ МОЙТН МОМВЕН; ОАУ: омт ОАУ МОМВЕН; ВЕСОМОВ: омт ОАУ ООНАТ10М); ЬпмЬп Т)МЕ ОР! УЕАВ: УЕАй МОМВЕЯ; МОМТН: МОМТН ЙОМВЕВ: ОАУ: ОАУ МОМВЕЯ; 5ЕСОЙОВ: ОАУ ООйАТ)ОМ:= 0.0) ФепФгп Т1МЕ; Ьвсаоп "+" !ЬЕРТ: Т)МЕ; Н16НТ: ООЯАТ10М! Фвмпп Т1МЕ! Ьпсаоп + !ФЕРТ ! ООйАТЮМ; Я)ОНТ: Т1МЕ) ФЕФмпФ Т)МЕ; Ьпимп "-* П.ЕРТ: Т)МЕ; й)ОНТ: ООВАТ)ОМ) свопм Т1МЕ; ависме "- П.ЕРТ: Т)МЕ; й)ОНТ: Т)МЕ! мсмпФ ООНАТ10М; Ьмсвоп ( П.ЕРТ, Н16НТ: Т)МЕ) Фемпп 8001.ЕАМ; аспсвоп "(; !ЬЕРТ, й16НТ: ЙМЕ) ФеыпФ ВООЬЕАМ; амероп *) )ьЕРТ, й)ОНТ: Т)МЕ! Феепп ВООФЕАМ; апмеоп ")ьи П.ерт, й)6нт: т)ме1 Феапп 8001.еАм; т1ме еняОВ: ехсерФьп;-- может быть возбуждено функцией и операциями «+» и « — » !нЬезе — зависит от реализации впа: Примеры: ае1ву 3.0: — ЗадЕРжКа На 3.0 С МесЬФе мое САЬЕМОАН! )МТЕЯЧАФ глобальная константа типа ООВАТ!ОЙ МЕХТ Т)МЕ: Т!МЕ .'= СЬОСК + )ЙТЕВЧА1.: веем 1оср ЕеЬУ ЙЕХТ Т)МЕ - СЬОСК; — некоторые действия ЙЕХТ Т)МЕ:= МЕХТ Т)МЕ + )ЙТЕНЧА!.; епд Ьор; мнл Примечание.
Во втором примере цикл повторяется в среднем один раз каждые 1Э(ТЕЯЧАь секунд. Этот интервал между двумя последовательными итерациями только приблизителен. Однако здесь не произойдет ошибки по длительности, поскольку длительность каждой итерации (существенно) меньше значения 1ЙТЕВЧА(.. Ссылки: библиотечный модуль 10.1, вызов функции 6.4, длительность С, задача 9, личный тип 7.4, оператор 5, операция 4.5, операция отношения 4.5, операция сложения 4.5, пакет 7, простое выражение 4.4, тип З.З, фиксированный тип 3.5.9.
9.7. ОПЕРАТОРЫ ОТБОРА Существует три формы операторов отбора. Одна форма обеспечивает отбор с ожиданием одной или нескольких альтернатив. Две другие обеспечивают условный и временной вызовы входа. оператор отбора::= отбор с ожиданием условный вызов входа ] временной вызов входа Ссылки: временной вызов входа 9.7.3, отбор с ожиданием 9.7.1, условный вызов входа 9.7.2. 9.7.1. ОТБОР С ОЖИДАНИЕМ Эта форма оператора отбора допускает обьединение ожидания и отбор с ожиданием одной или нескольких альтернатив.
Отбор может зависеть от условий, связанных с каждой альтернативой отбора с ожиданием. отбор с ожиданием;:= ве!вс( альтернатива отбора (ог альтернатива отбора) [е1ве последовательность операторов] епб зе1есэ; альтернатива отбора:: = [шйеп условие = >] альтернатива отбора с ожиданием альтернатива отбора с ожиданием::= альтернатива принятия ] альтернатива задержки ] альтернатива завершения альтернатива принятия::= оператор принятия [последовательность операторов] альтернатива задержки с= оператор задержки [последовательность операторов! альтернатива завершения::= )епп1па1е; Оператор отбора с ожиданием должен содержать по крайней мере одну альтернативу принятия.
В дополнение к этому оператор отбора с ожиданием может содержать либо альтернативу завершения(только одну), либо одну или несколько альтернатив задержки, либо раздел е1ае; зти три возможности являются взаимоисключающими. Альтернатива отбора называатся открытой, если она не начинается с зарезервированного слова шлеп или если значение условия — ТВОЕ. В противном случае альтернатива называется закрытой. При выполнении оператора отбора с ожиданием в произвольном, не определенном в языке порядке вычисляются все условия, заданные после зарезервированного слова шйеп; определяются открытые альтернативы. Для открытой альтернативы задержки вычисляется выражение длительности задержки. Для открытой альтернативы принятия входа семейства вычис- Глава 9 ляется индекс входа.
Выполнение отбора с ожиданием заканчивается отбором и вычислением либо одной из открытых альтернатив, либо раздела е1зе; правила такого отбора описываются ниже. Первыми рассматриваются открытые альтернативы. Отбор одной из таких альтернатив производится немедленно, если возможно соответствующее рандеву, т.е. если другая задача произвела вызов соответствующего входа и ожидает его принятия. Если таким образом могут ! быть отобраны несколько альтернатив, то одна из них выбирается произвольно (которая именно, в языке не определено). После отбора такой альтернативы выполняются соответствующии оператор принятия и следующая за ним последовательность операторов (если она есть].
Если никакое рандеву не может произойти немедленно и отсутствует раздел е)ае, то задача ждет, пока можно будет выбрать открытую альтернативу отбора с ожиданием. Отбор других форм альтернатив или раздела е(ве осуществляется следующим образом. ° Отбирается открытая альтернатива задержки, если никакая другая альтернатива приня. тия не может быть выбрана до истечения указаннои задержки ожидания (немедленно, если длительность отрицательная или нулевая и при отсутствии очереди вызовов входа); затем выполняются возможные последующие операторы этой альтернативы. Если возможен отбор не. скольких альтернатив задержки (т.е.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
