Olkol: /* Erlang: О пользе библиотек */

2018-10-06T15:15:53Z

‎Erlang: О пользе библиотек

Olkol: Новая страница: « Категория: Учебники Категория: Программирование '''Erlang Описывается следующей фор…»

2018-10-06T01:29:58Z

Новая страница: « Категория: Учебники Категория: Программирование '''Erlang Описывается следующей фор…»

Внесённые изменения

@@ Строка 11: / Строка 11: @@
 Вернемся немного назад и обсудим хранение состояния между вызовами функций. Одно из основных положений функционального программирования – то, что результат выполнения любой функции зависит только от ее аргументов. Передав одни и те же аргументы несколько раз, мы должны получить один и тот же результат. А значит, функция не должна помнить какое-либо состояние между ее вызовами. Что делать, если некоторое состояние между вызовами функции все же необходимо хранить? Ответ очевиден: переложить ответственность по хранению состояния на вызывающую сторону и передавать состояние в функцию как один из аргументов. Основной строительной единицей многозадачных приложений в языке Erlang являются процессы. «Сердце» процесса Erlang – обычно цикл обработки сообщений, представляющий собой функцию – обработчик сообщений. Эта функция вызывает сама себя (это единственный способ в языке Erlang создать конечный или бесконечный цикл) при помощи хвостовой рекурсии. Соответственно, в таком случае цикл – обработчик сообщений будет и вызывающей, и вызываемой сторонами, и за передачу состояния будет ответственна функция-обработчик. Естественно, что при создании процесса и первом вызове функции-обработчика сообщений (произведенного извне), ответственность за передачу начального состояния лежит на стороне, создающей процесс.
 {{Врезка|right|Заголовок=Функции, использующие состояние |Ширина=40%|Содержание=
 Примером функций, использующих состояние, сохраненное между их вызовами вызывающей стороной, являются функции для расчета значения хэша MD5 (определенные в модуле erlang). Функция erlang:md5_init() инициализирует состояние, называемое контекстом Context, и возвращает его.
 }}
 Функция erlang:md5_update(Context, Data) принимает в качестве аргументов старое состояние Context и очередную порцию данных Data, и возвращает обновленное состояние. Функция erlang:md5_final(Context) принимает состояние Context и возвращает значение хэша MD5.
 Описанный подход к хранению состояния является строго функциональным. Среда выполнения Erlang содержит и другой подход к хранению состояния: это использование памяти, приданной процессу. С каждым процессом связан некий объем памяти в виде изменяемого словаря; доступ к этой памяти имеет только код, выполняемый процессом. Если два разных процесса выполняют один и тот же код, который обращается к памяти, связанной с процессом, то этот код будет обращаться к разным областям памяти, в зависимости от того, какой из процессов его выполняет. Для работы с такой памятью в языке Erlang определен целый ряд функций (а точнее, BIF). Сохранить некоторое значение Value и ассоциированный с ним ключ Key (при помощи которого будет осуществляться доступ к этому значению в дальнейшем) можно при помощи функции put(Key, Value). Если с данным ключом уже было ассоциировано какое-либо значение, оно будет возвращаемым значением функции put/2 (иначе возвращаемым значением будет атом undefined). Для получения значения Value по ключу Key служит функция get(Key), которая возвращает либо значение Value, ассоциированное с ключом Key, либо атом undefined. Мы можем получить все данные сразу, в виде пар ключ – значение: для этого служит функция get/0. Помимо этого, можно получить список всех ключей, ассоциированных со значением Value, при помощи функции get_keys(Value). И, наконец, чтобы удалить некоторое значение по ключу (и ассоциированный с ним ключ), используется функция erase(Key); чтобы полностью очистить память, связанную с процессом – функция erase/0.

LXF161:Erlang - История изменений

Olkol: /* Erlang: О поль­зе биб­лио­тек */

Olkol: Новая страница: « Категория: Учебники Категория: Программирование '''Erlang Описывается следующей фор…»

Olkol: /* Erlang: О пользе библиотек */