...

Приведенная схема имеет одно (и, пожалуй, единственное) достоинство – простоту. Например, псевдо-сервер (см. выше) целесообразно реализовать именно так. Однако никакой реальный сервер не использует эту схему по причине её крайней неэффективности.

Проблема в том, что обработка корректного клиентского GET-запроса требует копирования файла (указанного в URI запроса) в клиентский сокет. Эта операция может занять много времени. Особенно нетерпимо то, что сервер в течение этого времени будет простаивать, ожидая завершения обмена с файлом и сокетом. Ведь в это же время можно обрабатывать запросы других клиентов! Поэтому более эффективная (и более сложная в реализации) схема использует асинхронный ввод/вывод. Главную роль в этой схеме играет системный вызов select(). Прочитать о том, как select() используется для асинхронного ввода/вывода можно в [4, гл.6]. Здесь отметим, что для достижения максимальной эффективности асинхронным должен быть не только обмен с сокетами, но и обмен с файламиресурсами. Для этого дескриптор открытого файла ресурса должен быть переведен в режим неблокирующего ввода с помощью системного вызова ioctl(). Заметим, что особенность реализации механизма сокетов в ОС UNIX такова, что открытые файловые дескрипторы не отличаются от открытых сокетов с точки зрения системного вызова select(), поэтому select() реагирует не только на «сокетные» события, но и на «файловые»

события, что существенно упрощает реализацию асинхронного ввода/вывода.

ОБЩИЙ ИНТЕРФЕЙС ШЛЮЗА – ОСНОВНЫЕ ПОНЯТИЯ

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

В отличие от обычных консольных приложений, получающих информацию при запуске через аргументы командной строки, CGIпрограммы получают ее через набор переменных окружения. В случае запросов PUT и POST информация от клиента передается через стандартный ввод (хотя и в этом случае переменные окружения также несут информацию о запросе и т.д.). Обратно информация передается через стандартный вывод CGI-программы (как совокупность HTTPзаголовков, обязательным является заголовок Content-type). Сервер должен перехватить стандартный вывод, сохранить информацию и передать её как ответ клиенту. Можно было бы просто перенаправить стандартный вывод в клиентский сокет без промежуточного сохранения вывода, но однако так не поступают по двум главным причинам: во-первых, заголовок Contentlength можно сгенерировать только после завершения вывода, и во-вторых, клиента можно обезопасить от сбоя в CGI-программе.

Таким образом, CGI-программу можно написать на любом языке программирования, который поддерживает понятия стандартного ввода и вывода и имеет доступ к переменным окружения. А это – практически любой язык программирования, реализованный в ОС UNIX. Именно из-за такой простоты и гибкости CGI-интерфейс стал первым широко применяемым средством расширения функциональности веб-серверов и создания динамических веб-сайтов. Однако достоинства этого интерфейса практически сразу превратились в его недостатки: поскольку на каждый запрос CGI-ресурса веб-сервер запускает особый процесс, то нагрузка на реальные сервера резко возрастает, т.к. накладные расходы ОС на запуск процесса могут превысить расходы на собственно генерацию содержания.

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

Рассмотрим набор переменных окружения, которые должен поддерживать (и передавать в CGI-программу) модельный веб-сервер.

Обратите внимание на то, что переменные делятся на 2 группы: свойства запроса (извлекаются либо из свойств TCP/IP соединения, либо из заголовков запроса) и свойства сервера.

GATEWAY_INTERFACE Версия протокола CGI/1. REMOTE_ADDR IP-адрес клиента 127.0.0. REMOTE_PORT TCP-порт клиента SERVER_ADDR IP-адрес сервера 127.0.0. SERVER_PORT TCP-порт сервера SERVER_PROTOCOL Версия протокола HTTP/1. SERVER_SOFTWARE Серверное Apache/1.3.12 (Unix) SCRIPT_FILENAME Полный путь к /usr/home/igor/wwwroot/cgiфайлу CGI- bin/cgitest DOCUMENT_ROOT Полный путь к /usr/home/igor/wwwroot HTTP_USER_AGENT Имя клиентской Mozilla/4. HTTP_REFERER URI ресурса, с http://127.0.0.1/testpage.htm Пример CGI-программы Приведем пример простой CGI-программы, написанной на языке Си.

Си – не лучший язык программирования для CGI, однако в программе на Си хорошо видны особенности CGI-программ. Наш пример выдает текст простой HTML-страницы, сообщающей аргументы запроса и IP-адрес клиентского браузера. Будем считать, что запрос имеет следующий вид:

GET URI-нашей-программы? [email protected] HTTP/1. … заголовки запроса … #include #include int main() { /* выдаем обязательный заголовок Content-type и пустую строку перед телом сообщения*/ printf("Content-type: text/html\n\n");

/* выдаем текст собственно страницы*/ printf("");

printf("Приветствую! Вы ввели аргументы:’%s’ с адреса ’ %s’", getenv(QUERY_STRING), getenv(REMOTE_ADDR));

printf("");

Как видим, структура CGI-программы очень проста, однако если мы попытаемся написать более содержательный пример (например, с разбором QUERY_STRING и т.п.), то недостатки языка Си как языка программирования для CGI проявятся более ярко. Именно поэтому для программирования CGI обычно используются более подходящие языки (Perl, Python, PHP и т.д.)

МЕТОДИЧЕСКИЕ УКАЗАНИЯ ПО ВЫПОЛНЕНИЮ

ВТОРОГО ЭТАПА ЗАДАНИЯ

Самая простая схема реализации CGI подразумевает, что сервер запускает отдельный процесс-потомок для обработки CGI-программы.

Вывод программы перенаправляется во временный файл для последующего включения этого файла в ответ на запрос. Временный файл используется, т.к. программа может завершиться некорректно (и тогда её результаты должны быть проигнорированы без передачи клиенту), а также, чтобы узнать длину ответа и сформировать заголовок Contentlength. После корректного завершения CGI-программы сервер генерирует ответ на основе выдачи программы.

При реализации CGI особенно проявляются недостатки первой схемы реализации сервера (когда тот не приступает к обработке следующего запроса, пока не выполнит до конца текущий). Действительно, в этом случае сервер простаивает в ожидании завершения CGI-программы, которая может работать произвольно долго. Заметим, что CGI-программы, будучи внешними по отношению к серверу, обязаны рассматриваться сервером как потенциально ненадежные (т.е. аварийно завершающиеся, зацикливающиеся и т.д. и т.п.). Поэтому единственно приемлемой схемой реализации является асинхронная. Однако здесь появляется своя проблема:

как одновременно и асинхронно отслеживать как события ввода-вывода, так и момент завершения CGI-программ.

Дело в том, что после запуска процесса сервер должен перейти в ожидание событий двух видов: события ввода/вывода (от операций над сокетами и файловыми дескрипторами), а также события завершения процесса-потомка (CGI-программы). Системный вызов select() отслеживает события только первого рода, а завершение процесса надо обрабатывать особо. Один из вариантов, который можно использовать в этом случае, выглядит так:

При запуске процессов сервер заносит идентификатор потомка в специальную таблицу активных CGI-процессов. Если эта таблица не пуста, то сервер выполняет вызов select() с ненулевым тайм-аутом (выбирается какое-либо относительно небольшое значение – например, полсекунды). В результате вызов select() завершается либо по приходу события от операций ввода/вывода, либо по истечению тайм-аута. После обработки событий ввода/вывода сервер не переходит сразу к ожиданию, а перед этим запрашивает ОС о завершении процессов-потомков. Для этого следует использовать системный вызов waitpid(-1, &status, сразу несколько CGI-программ успели завершиться за время выполнения вызова select(). После того, как все завершившиеся к этому моменту процессы обработаны, сервер снова переходит в режим ожидания событий ввода/вывода (т.е. вызывает select()).

Отдельного разговора заслуживает вопрос о последовательности обработки событий: то ли выполнять вначале все операции accept(), затем ввода/вывода, затем обработку завершившихся потомков, то ли наоборот (вначале потомки, потом ввод-вывод, потом accept()), то ли использовать очередность запросов (если запрос обрабатывается дольше всех, то его события по его обработке выполнять в первую очередь) и т.д. В общем случае, ответ на этот вопрос и выбор стратегии «балансировки нагрузки на веб-сервер» весьма нетривиален, и его обсуждение выходит за рамки данного задания.

Итак, последовательность системных вызовов для одного шага цикла асинхронной обработки может быть такой:

// формирование масок для вызова select() select() // вышли из select() по тайм-ауту, либо по наступлению событий...

// обработка входящих соединений accept()...

// обработка операций ввода-вывода read() write() // обработка завершившихся CGI-программ waitpid() // генерация ответа клиенту // чистка ресурсов (удаление временных файлов и т.д.) Последовательность системных вызовов для обработки CGI-запроса:

pid = fork();

if (pid > 0) { // родитель-сервер - продолжаем асинхронную обработку событий } else if (pid < 0) { // катастрофическая ошибка } else { // потомок – обработка CGI-программы:

// - формирование массива переменных окружения env // - перенаправление стандартного вывода во временный файл // - перенаправление стандартного ввода (для метода POST) // - собственно запуск программы execvpe(script_filename, argv, env);

// обработка ошибок запуска

МЕТОДИЧЕСКИЕ УКАЗАНИЯ ПО ВЫПОЛНЕНИЮ

ТРЕТЬЕГО ЭТАПА ЗАДАНИЯ

Как уже отмечалось выше, для написания CGI-программ пригоден практически любой язык программирования, поддерживающий стандартный ввод/вывод и считывание значений переменных окружения.

Однако специфика CGI-программ, а именно – ориентация на генерацию текста (точнее, текста на языке HTML), приводит к тому, что использование традиционных языков системного программирования типа Си/Си++ оказывается неудобным: соответствующие CGI-программы получаются громоздкими, трудными для понимания и сопровождения.

Традиционные преимущества таких языков - компилируемость, высокая эффективность разработанных программ, возможность управления любыми системными ресурсам – перестают быть таковыми для CGIпрограмм. Шлюзовым программам не обязательно быть максимально эффективными, так как основное время тратится не на выполнение программы генерации HTML-текста, а на передачу его по медленным (относительно процессора) сетевым каналам связи. Доступ к системным ресурсам для программ, запуск которых инициируется извне (по HTTPзапросу от веб-клиентов), должен быть не упрощен, а наоборот ограничен.

Удобство разработки шлюзовых программ является более важным требованием к соответствующей системе программирования нежели эффективность получаемого кода.

Ниже описаны три варианта модельных языков, предлагаемых для встраивания в реализованный веб-сервер. Каждый из вариантов отвечает минимальным требованиям к языкам для написания CGI-программ, а именно:

- достаточно полный набор операторов, включающий в себя присваивание, ветвление на 2 варианта (if-then-else), циклы (while-do, dowhile, for), составной оператор;

- как минимум, два типа данных: целый с базовыми арифметическими операциями и строковый с операцией конкатенации;

- набор стандартных функций, включающий в себя доступ к переменным окружения, базовые функции обработки строк и символьный ввод/вывод.

Кроме того, каждый из языков должен поддерживать хотя бы один из способов встраивания в веб-сервер.

Способы встраивания программ на модельных языках в веб-сервер Мы рассмотрим три способа встраивания программ:

Внутристраничный тег “”.

Внутристраничный тег SCRIPT.

В базовом способе программа из GET-запроса, обрабатываемая интерпретатором модельного языка – это просто текст на этом языке, генерирующий в стандартный канал вывода HTML-страницу, которая и выдается как ответ веб-сервера. Именно такой способ мы применяли в примере для языка Си (правда, без интерпретатора). Этот способ - самый простой, и он применим к любой CGI-программе. Однако он является не самым удобным для разработчика.

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

Разумеется, фрагменты CGI-программы должны четко выделяться синтаксически, а соответствующий интерпретатор должен уметь различать HTML-текст и собственно программу. Удобно включать фрагменты программы внутрь специальных тегов. При втором способе встраивания используется тег “”, который не входит в HTML. Части программы размещаются между открывающим “” тегами.

Например, текст на языке PHP, выводящий тот же текст, что и в предыдущем примере на Си, выглядит так:

Content-type: text/html Приветствую! Вы ввели аргументы:

Здесь фрагмент программы на PHP содержит оператор вывода echo.

Все остальное — это просто HTML-текст.

При третьем способе используется стандартный HTML-тег SCRIPT.

Этот тег используется для встраивания исполняемых программ в любые HTML-страницы, причем выполняться эти программы могут как сервером (для генерации содержимого страницы), так и клиентом-браузером. Нас будет интересовать только первый вариант.

Тег SCRIPT имеет следующий вид:

Атрибут LANGUAGE содержит имя языка (в общем случае могут поддерживаться разные языки) – по умолчанию это JavaScript. Атрибут RUNAT=”server” сообщает интерпретатору о том, что соответствующий фрагмент должен выполняться на сервере, а не на клиенте. Заметим, что по умолчанию этот атрибут соответствует клиенту, поэтому при отсутствии атрибута RUNAT интерпретатор обязан выводить весь тег SCRIPT в том виде, как он есть, в стандартный вывод (для последующей обработки клиентом).

Приведем пример программы на модельном JavaScript, который генерирует ту же самую страницу, что и в предыдущих примерах:

Приветствую! Вы ввели аргументы:

Response. rite(Приветствую! Вы ввели аргументы: + Environment[“QUERY_STRING”] + “с адреса ” + Environment[“REMOTE_ADDR”]);

Также как и в примере на PHP, фрагмент программы на JavaScript содержит обращение к функции вывода ( только она называется write и является методом объекта Response). Весь остальной текст — это HTML.

Разумеется, внутристраничные методы встраивания доставляют дополнительные «заботы» интерпретатору: ведь он должен анализировать не только текст на «своем» языке, но и HTML-текст. При этом «родной»

текст должен быть проанализирован, переведен в промежуточное представление (например, разновидность ПОЛИЗ [5]) и выполнен (интерпретирован). В свою очередь, HTML-текст должен быть просто перенаправлен на стандартный вывод, поэтому требования к анализу и обработке HTML-текста существенно ниже. Интерпретатор должен вычленить текст программы и выполнить его, весь остальной текст перенаправить. Обработка возможных ошибок в HTML, проверка корректности и возможности отображения HTML-текста - задача других инструментов.

ОПИСАНИЕ МОДЕЛЬНЫХ ЯЗЫКОВ

• запись вида {} означает итерацию цепочки, т.е. цепочки вида:, • запись вида [] означает: или «пусто» ();

• для отличия метасимволов БНФ (фигурных и квадратных скобок, а также вертикальной черты) от терминальных символов модельных языков последние выделены жирным шрифтом и жирным шрифтом и подчеркнуты ({}[]|);

• служебные (ключевые) слова модельных языков выделены жирным шрифтом (for) Модельный язык программирования В качестве первого варианта языка предлагается использовать модельный язык программирования из задания практикума, разработанного Т.В.Руденко [6]. Единственное (и обязательное) расширение этого языка, необходимое для использования в CGIтехнологии, это добавление специальных переменных для доступа к переменным окружения. Эти переменные имеют вид: $Name, где идентификатор Name – это имя переменной окружения (например, $QUERY_STRING). Все переменные окружения имеют тип string. Они могут появляться везде в выражениях строкового типа, но их значение не может быть изменено. Заметим, что в задании не определен синтаксис понятия идентификатор. Однако для наших целей имя (идентификатор) переменной окружения должно быть совместимо с требованиями ОС UNIX, поэтому будем требовать, чтобы в идентификатор (по-крайней мере для имен переменных окружения) могли входить латинские буквы, цифры и символ подчеркивания «_». Регистр букв имеет значение.

Модельный язык должен поддерживать единственный способ встраивания — внешний (внутристраничные не используются).

Модельный JavaScript (MJS) Второй вариант модельного языка основан на языке JavaScript[7].

Переменные Мы ссылаемся на переменные с помощью имен (идентификаторов).

Имя — это последовательность латинских букв, цифр и знаков подчеркивания(«_»). Регистр букв имеет значение (A и a – это разные идентификаторы). Имя не может совпадать ни с одним из служебных слов (регистр букв в служебных словах также имеет значение — он всегда нижний).

Важнейшей особенностью языка MJS является динамическая типизация переменных, что означает, что переменная может иметь значение любого типа. Тип значения определяется при присваивании или инициализации переменной и может измениться при последующих присваиваниях. Поэтому необходимость в явном объявлении переменных отпадает, и в «родном» языке JavaScript переменные можно не объявлять.

Не объявленная явно переменная начинает существовать с момента первого присвоения ей значения. Однако такая практика ухудшает как эффективность, так и надежность программного кода, поэтому в модельном варианте переменные необходимо явно объявить до первого использования с помощью служебного слова var, например:

var x = “string value”;

Такое объявление (а точнее — определение) может появиться везде, где может появиться оператор (оно и является частным случаем оператора).

С понятием переменной связано понятие «область действия». Если переменная объявлена на верхнем уровне программы (т.е. непосредственно внутри какого-либо тега SCRIPT), то она является глобальной и ее область действия — вся программа (начиная с точки объявления). В противном случае переменная локальна и ее область действия — блок, где появилось ее объявление. После выхода из блока локальные переменные перестают существовать.

Простые типы данных и операции.

В MJS есть 3 простых типа данных: строковый (String), числовой (Number) и логический (Boolean).

Константы строкового типа данных содержат любые символы, заключенные в двойные кавычки (“Пример строки”), либо в одинарные кавычки ('Еще один пример строки'). Если в тексте константы нужно указать кавычку, то она предваряется экранирующим символом \ (“Пример строки с кавычками:\”, \' ”). Если в тексте нужно указать экранирующий символ, то он дублируется (“\\”).

Операции над строковым типом включают в себя конкатенацию (+) и шесть операций сравнения (==, !=,, =). Используется обычное лексикографическое сравнение строк.

Числовой тип данных содержит как целые, так и вещественные значения. Для записи целочисленных констант используется десятичное представление (124, -13 и т.д.). Для записи вещественных констант используется либо представление с дробной частью, отделенной точкой (12.345), либо преставление в виде «мантисса-порядок» (1.2E2, -0.5e-3).

Используется десятичное представление, порядок отделяется латинской буквой E (e).

Операции над числовым типом включают в себя арифметические, операции сравнения, инкрементные и декрементные.

Арифметические операции традиционны: +, -, *, /, а также остаток от деления (%). Также традиционны и операции сравнения (==, !=,, =). Инкрементные и декрементные операции (++ и --) делятся на префиксные и постфиксные, как в Си. Их семантика совпадает с семантикой Си.

Логический тип данных содержит две константы (true и false). К нему применимы логические операции («и» - &&, «или» - ||, «отрицание» и операции сравнения (==, !=,, =).

Составные типы данных MJS содержит два составных типа: массив (Array) и объект (Object).

Массив — это последовательность анонимных переменных. К каждой переменной из этой последовательности можно обратиться по номеру (индексу):

Response.write(arr[i]);

Индекс в массиве начинается с нуля.

Значения элементов массива могут быть заданы с помощью конструктора массива:

var a = [1,2,”string value”, false];

Инициализатор может быть и пустым: b = [];

Заметим, что элементы массива могут иметь разные типы (что вытекает из динамической типизации переменных).

Важнейшей особенностью массивов в MJS является их «динамичность»: размер массива может меняться во время работы программы. Добавить элемент в массив можно с помощью операции присваивания: если индекс для присваиваемой переменной больше числа элементов в массиве, то массив «расширяется», чтобы включить в себя новый элемент.

var a = [0,1,2,3];

При этом в массиве могут появиться дополнительные элементы (с неопределенным значением):

Рассмотрим теперь объектный тип данных. Объект характеризуется набором именованных свойств. Доступ к свойству обеспечивает операция "точка". У нее два аргумента — объект и идентификатор свойства: obj.id.

Свойства делятся на свойства-данные и свойства-методы. Последние являются функциями, и их можно вызывать как функции, например:

Response.write("");

Заметим, что с точки зрения интерпретатора операция доступа к свойству имеет первым операндом ссылку на объект, а вторым операндом — идентификатор (фактически — строку). Поэтому нет ничего странного в том, что объект имеет еще одну форму операции доступа к свойству:

операцию индексирования. Эта операция имеет первым аргументом ссылку на объект, а вторым — строку. Например, оператор:

полностью эквивалентен оператору:

x = obj["id"];

Заметим, что в отличие от операции "точка" второй аргумент может быть вычисляемым, например, следующий фрагмент также присваивает переменной x значение свойства id объекта obj:

Таким образом, объект становится похожим на массив, только объектная операция индексирования имеет аргументом не число, а строку.

На самом деле, объект в MJS имеет и вторую форму операции индексирования:

obj[i], где I — целочисленный индекс (от 0 до N-1, где N – свойств объекта). Правда, информация о том, какой именно индекс соответствует свойству, недоступна пользователю и зависит от реализации. Поэтому вторая форма операции индексирования используется крайне редко, тем не менее она существует.

Встает резонный вопрос: если объект фактически обобщает функциональность массива, а массив является динамически расширяемым объектом, то почему бы не позволить набору свойств объекта также быть расширяемым? На самом деле, в языке JavaScript принята именно такая интерпретация операции индексирования, но в модельном варианте для простоты это не реализовано. Таким образом, пользователь в MJS не может изменять набор свойств объекта.

Более того, пользователь в MJS не может создавать свои объекты (как это можно делать в JavaScript), и набор объектов ограничен только встроенными объектами.

Встроенные объекты MJS Объект Response представляет собой обертку над выводом CGIпрограммы. Он имеет единственный метод — write(x), который выводит аргумент x в стандартный вывод. Пример:

Response.write("");

Объект Environment – это набор переменных окружения. Каждое свойство объекта (доступное только для чтения) — это соответствующая переменная окружения, переданного процессу-интерпретатору. Примеры:

x = Environment["QUERY_STRING"];

var y = Environment.REMOTE_ADDR;

Важными представителями встроенных объектов являются объектытипы. Каждому типу MJS соответствует встроенный одноименный объекттип.

Отметим, что значения в языке MJS являются копиями ("клонами") соответствующих объектов-типов, поэтому свойства и методы этих объектов являются одновременно свойствами и методами значений.

Объект Boolean имеет единственный метод toString(), возвращающий "true" или "false".

Объект Array имеет свойство length (количество элементов) и три метода:

sort() - сортирует элементы по возрастанию;

reverse() - переставляет элементы в обратном порядке;

toString() - возвращает строку, содержащую список значений элементов, разделенных запятыми.

Объект Number имеет три свойства:

MAX_VALUE — максимальное значение числа;

MIN_VALUE — минимальное значение числа;

NaN – это специальное значение, которое вырабатывается при ошибках вычислений или преобразований.

Методы объекта Number:

toString([base]) — возвращает строку, представляющую значение числа в системе счисления с основанием base (по умолчанию — 10);

toFixed(n) - возвращает строку, представляющую значение числа в форме "целая_часть.дробная_часть". Длина дробной части — n цифр;

toExponential(n) - возвращает строку, представляющую значение числа в форме "мантисса E порядок". Мантисса нормализована, длина дробной части мантиссы— n цифр;

Объект String имеет свойство length (количество символов в строке) и методы (позиции символов нумеруются с нуля):

charAt(позиция) - возвращает строку, состоящую из одного символа, стоящего в указанной позиции в строке (или пустую строку, если позиция неверна).

indexOf(строка) - возвращает номер позиции, с которой начинается первое слева вхождение подстроки строка(или -1, если вхождения нет) lastIndexOf(строка) - возвращает номер позиции, с которой начинается первое справа вхождение подстроки строка(или -1, если вхождения нет) substr(старт [, длина]) — возвращает подстроку, начинающуюся с позиции старт, и содержащую длина символов. Если длина не задана или превышает возможную длину, то подстрока содержит символы до конца строки.

Универсальные значения и операции В языке MJS существуют специальные значения, которые имеют универсальный характер. Это неопределенное значение undefined и пустое значение null. Неопределенное значение получает любая неинициализированная переменная. Пустое значение удобно для индикации отсутствия значения (объекта).

Также существуют универсальные операции, применимые к любым типам данных. Главная такая операция — это присваивание:

Левая часть операции — переменная или свойство объекта (доступное для записи), правая часть — выражение. Значение левой части присваивается правой части, а также служит результатом операции присваивания. Операция присваивания — правоассоциативна.

Кроме обычной операции присваивания в MJS по аналогии с языком Си++ существуют варианты операции присваивания для ряда бинарных инфиксных операций. В языке MJS это операции +=, -=, *=, /=, *=, %=. Их семантика совпадает с семантикой операций Си++.

Другая универсальная операция — это проверка на строгую тождественность (===). Она истинна, только если объекты имеют один и тот же тип и значение. Обычная операция сравнения сравнивает только значения, а если типы не совпадают, то происходит преобразование типов (см.ниже) к одному, а затем только проверка. Поэтому сравнение 1==="1" ложно, а сравнение 1=="1" истинно.

Операция проверки на нетождественность (!==) является отрицанием операции (===).

Последняя универсальная операция MJS — это операция определения типа typeof. Она возвращает строку, идентифицирующую тип аргумента. Конкретные значения определяются таблицей 1.

Таблица 1. Значения, возвращаемые операцией typeof Неопределенный (undefined) "undefined" Преобразования типов Важной особенностью языка MJS является широкое использование неявных преобразований типов. Фактически интерпретатор MJS пытается выполнить операцию практически для любой комбинации типов операндов. Например, если операция требует числовых операндов (пример: a-b), то оба операнда (если нужно) преобразуются к типу Number.

Примечательным исключением является операция +. Она может применяться как к числовым, так и к строковым данным. При этом строковая операция имеет приоритет, поэтому если один из операндов — строковый, то другой преобразуется в строку. Поэтому оба оператора ниже дадут одно и то же строковое значение "1234":

Следующие ниже таблицы описывают правила преобразования типов.

Таблица 2. Преобразования к логическому типу Неопределенный (undefined) false Таблица 3. Преобразования к числовому типу Неопределенный (undefined) Number.NaN Таблица 4. Преобразования к строковому типу Неопределенный (undefined) "undefined" Синтаксис MJS ::=function ([] {,}) ::= ::= ;

::= { {}} ::= if () [ else ] ::= while () | for ([];[];[]) | ::= break; | continue; | return [];

::=;

Большинство операторов языка MJS соответствует операторам языка Си++. Исключение составляет цикл for- in. Его аналога в языке Си++ нет.

Этот цикл служит для последовательного просмотра элементов в массиве или свойств в объекте. Переменная цикла получает на каждой итерации значение очередного элемента массива или свойства объекта (вспомним, что в MJS существует глубокая связь между массивами и объектами). Если переменная объявлена (через var) в цикл, то ее область действия — только оператор цикла, и после выхода из него переменная не существует.

Следующий оператор цикла суммирует все элементы массива arr:

for (var e in arr) s+=e;

Операторы break и continue могут появляться только внутри тела цикла (произвольного). Оператор return может появляться только внутри тела функции. Если return не возвращает выражение, то функция является процедурой (в терминах языка Паскаль). Однако, если контекст вызова такой функции требует возврата значения (например,x=f()), то это значение равно Undefined. Таким образом можно считать, что return всегда возвращает значение, по умолчанию равное Undefined.

СПИСОК ЛИТЕРАТУРЫ

2. RFC3986. http://www.iana.org/assignments/uri-schemes.html 3. Н.В.Вдовикина, И.В.Машечкин, А.Н.Терехин, А.Н.Томилин.

Операционные системы: взаимодействие процессов. - М.: МАКС Пресс, 2008 г.

4. У.Р.Стивенс. UNIX: разработка сетевых приложений. - СПб.: Питер, 5. И. А. Волкова, А. А. Вылиток, Т. В. Руденко. Формальные грамматики и языки. Элементы теории трансляции. - М.: МАКС Пресс, 2009 г.

6. Т.В.Руденко. Интерпретатор модельного языка. Задание практикума.

- http://cmcmsu.no-ip.info/download/model.lang.practical.task.pdf.

7. Т.Пауэлл, Ф.Шнайдер. Полный справочник по JavaScript. - М.:

Издательский дом «Вильямс», 2006 г.

Содержание ВВЕДЕНИЕ

ПОСТАНОВКА ЗАДАЧИ

ОСНОВНЫЕ ПОНЯТИЯ

Унифицированный идентификатор ресурса

HTTP-запрос

Метод GET

Метод HEAD

HTTP-ответ

Коды состояния, возвращаемые модельным сервером

HTTP-заголовок

Заголовок Date

Заголовок Host

Заголовок Referer

Заголовок User-agent

Заголовок Server

Заголовок Content-length

Заголовок Content-type

Заголовок Allow

Заголовок Last-modified

МЕТОДИЧЕСКИЕ УКАЗАНИЯ ПО ВЫПОЛНЕНИЮ ПЕРВОГО ЭТАПА ЗАДАНИЯ

Внутренняя организация сервера

ОБЩИЙ ИНТЕРФЕЙС ШЛЮЗА – ОСНОВНЫЕ ПОНЯТИЯ

Пример CGI-программы

МЕТОДИЧЕСКИЕ УКАЗАНИЯ ПО ВЫПОЛНЕНИЮ ВТОРОГО ЭТАПА ЗАДАНИЯ

МЕТОДИЧЕСКИЕ УКАЗАНИЯ ПО ВЫПОЛНЕНИЮ ТРЕТЬЕГО ЭТАПА ЗАДАНИЯ

Способы встраивания программ на модельных языках в веб-сервер

ОПИСАНИЕ МОДЕЛЬНЫХ ЯЗЫКОВ

Модельный язык программирования

Модельный JavaScript (MJS)

Переменные

Простые типы данных и операции

Составные типы данных

Встроенные объекты MJS

Универсальные значения и операции

Преобразования типов

Синтаксис MJS

СПИСОК ЛИТЕРАТУРЫ