LXF159: Устоим перед отказами - История изменений

Olkol: /* Erlang: Устоим перед отказами */

2018-09-25T22:34:45Z

‎Erlang: Устоим перед отказами

Olkol: /* Erlang: Устоим перед отказами */

2018-09-25T03:26:06Z

‎Erlang: Устоим перед отказами

Olkol: /* Erlang: Устоим перед отказами */

2018-09-25T03:22:09Z

‎Erlang: Устоим перед отказами

Olkol в 03:21, 25 сентября 2018

2018-09-25T03:21:45Z

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

2018-09-25T00:05:04Z

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

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

@@ Строка 21: / Строка 21: @@
 Для понимания того, как происходит поиск, разберемся, как осуществляется выполнение какого-либо приложения. Единицей выполнения всегда является функция. Выполнение приложения начинается с некоторой функции, называемой точкой входа [entry point]; в процессе работы эта функция может вызывать другие функции, а те, в свою очередь, могут вызывать еще какие-либо функции, и т. д. В любой момент времени состояние выполнения программы содержит, помимо указателя команд, и информацию о том, какие функции были вызваны перед тем, как выполнение программы пришло в текущую точку (на которую указывает указатель команд). Если во время выполнения программы происходит исключение, нормальное выполнение программы приостанавливается (средой выполнения) и начинается раскрутка [unwind] стека в поисках первого подходящего обработчика возникшего исключения. Поиск идет следующим образом: сначала мы просматриваем список зарегистрированных обработчиков в текущей точке выполнения. Если среда выполнения нашла подходящий обработчик, то выполнение программы передается на него; после обработки исключения (если во время обработки не было сгенерировано никакого исключения) выполнение программы продолжается в нормальном режиме. Если среда выполнения подходящий обработчик не нашла или если во время работы обработчика было сгенерировано это же или какое-либо другое исключение, среда выполнения переходит в точку программы, из которой была вызвана данная функция, и продолжает поиск там. Эта точка программы принадлежит некоторой родительской функции, т. е. функции, в ходе выполнения которой была вызвана данная функция.
-{{Врезка|left|Заголовок=Полезные заметки|Ширина=500% |Содержание=Давайте рассмотрим ближе проблему грамотной очистки ресурсов в ситуации, когда о том, что произошла ошибка, мы можем узнать только при помощи возвращаемых значений и кодов ошибки. Для этого напишем несколько вариантов небольшого фрагмента кода на языке C под операционную систему Linux, в котором мы откроем два файла и выполним с этими открытыми файлами некоторую работу, после чего закроем их. Для определенности будем считать, что этот фрагмент находится внутри функции с типом возвращаемого значения void. Первый вариант – обрабатывать проблемы при открытии файла, и если файл открыть не удалось, передавать управление из фрагмента кода наружу. Если при открытии второго файла у нас возникнут какие-либо проблемы, то мы выйдем из фрагмента кода, оставив незакрытым первый файл. Таким образом, налицо потенциальная утечка ресурсов.
+{{Врезка|left|Заголовок=Полезные заметки|Ширина=50% |Содержание=Давайте рассмотрим ближе проблему грамотной очистки ресурсов в ситуации, когда о том, что произошла ошибка, мы можем узнать только при помощи возвращаемых значений и кодов ошибки. Для этого напишем несколько вариантов небольшого фрагмента кода на языке C под операционную систему Linux, в котором мы откроем два файла и выполним с этими открытыми файлами некоторую работу, после чего закроем их. Для определенности будем считать, что этот фрагмент находится внутри функции с типом возвращаемого значения void. Первый вариант – обрабатывать проблемы при открытии файла, и если файл открыть не удалось, передавать управление из фрагмента кода наружу. Если при открытии второго файла у нас возникнут какие-либо проблемы, то мы выйдем из фрагмента кода, оставив незакрытым первый файл. Таким образом, налицо потенциальная утечка ресурсов.
 int descr1, descr2;

← Предыдущая		Версия 03:26, 25 сентября 2018
Строка 21:		Строка 21:
	Для понимания того, как происходит поиск, разберемся, как осуществляется выполнение какого-либо приложения. Единицей выполнения всегда является функция. Выполнение приложения начинается с некоторой функции, называемой точкой входа [entry point]; в процессе работы эта функция может вызывать другие функции, а те, в свою очередь, могут вызывать еще какие-либо функции, и т. д. В любой момент времени состояние выполнения программы содержит, помимо указателя команд, и информацию о том, какие функции были вызваны перед тем, как выполнение программы пришло в текущую точку (на которую указывает указатель команд). Если во время выполнения программы происходит исключение, нормальное выполнение программы приостанавливается (средой выполнения) и начинается раскрутка [unwind] стека в поисках первого подходящего обработчика возникшего исключения. Поиск идет следующим образом: сначала мы просматриваем список зарегистрированных обработчиков в текущей точке выполнения. Если среда выполнения нашла подходящий обработчик, то выполнение программы передается на него; после обработки исключения (если во время обработки не было сгенерировано никакого исключения) выполнение программы продолжается в нормальном режиме. Если среда выполнения подходящий обработчик не нашла или если во время работы обработчика было сгенерировано это же или какое-либо другое исключение, среда выполнения переходит в точку программы, из которой была вызвана данная функция, и продолжает поиск там. Эта точка программы принадлежит некоторой родительской функции, т. е. функции, в ходе выполнения которой была вызвана данная функция.		Для понимания того, как происходит поиск, разберемся, как осуществляется выполнение какого-либо приложения. Единицей выполнения всегда является функция. Выполнение приложения начинается с некоторой функции, называемой точкой входа [entry point]; в процессе работы эта функция может вызывать другие функции, а те, в свою очередь, могут вызывать еще какие-либо функции, и т. д. В любой момент времени состояние выполнения программы содержит, помимо указателя команд, и информацию о том, какие функции были вызваны перед тем, как выполнение программы пришло в текущую точку (на которую указывает указатель команд). Если во время выполнения программы происходит исключение, нормальное выполнение программы приостанавливается (средой выполнения) и начинается раскрутка [unwind] стека в поисках первого подходящего обработчика возникшего исключения. Поиск идет следующим образом: сначала мы просматриваем список зарегистрированных обработчиков в текущей точке выполнения. Если среда выполнения нашла подходящий обработчик, то выполнение программы передается на него; после обработки исключения (если во время обработки не было сгенерировано никакого исключения) выполнение программы продолжается в нормальном режиме. Если среда выполнения подходящий обработчик не нашла или если во время работы обработчика было сгенерировано это же или какое-либо другое исключение, среда выполнения переходит в точку программы, из которой была вызвана данная функция, и продолжает поиск там. Эта точка программы принадлежит некоторой родительской функции, т. е. функции, в ходе выполнения которой была вызвана данная функция.

		+	{{Врезка\|left\|Заголовок=Полезные заметки\|Ширина=500% \|Содержание=Давайте рассмотрим ближе проблему грамотной очистки ресурсов в ситуации, когда о том, что произошла ошибка, мы можем узнать только при помощи возвращаемых значений и кодов ошибки. Для этого напишем несколько вариантов небольшого фрагмента кода на языке C под операционную систему Linux, в котором мы откроем два файла и выполним с этими открытыми файлами некоторую работу, после чего закроем их. Для определенности будем считать, что этот фрагмент находится внутри функции с типом возвращаемого значения void. Первый вариант – обрабатывать проблемы при открытии файла, и если файл открыть не удалось, передавать управление из фрагмента кода наружу. Если при открытии второго файла у нас возникнут какие-либо проблемы, то мы выйдем из фрагмента кода, оставив незакрытым первый файл. Таким образом, налицо потенциальная утечка ресурсов.
		+
		+	int descr1, descr2;
		+
		+	descr1 = open(“file1.dat”, 0_RDWR);
		+
		+	if (-1 == descr1) return;
		+
		+	descr2 = open(“file2.dat”, 0_RDWR);
		+
		+	if (-1 == descr2) return;
		+
		+	some_task(descr1, descr2);
		+
		+	close(descr2);
		+
		+	close(descr1);
		+
		+	Переделаем этот фрагмент, устранив потенциальную утечку ресурсов. Новый вариант работает следующим образом: мы пытаемся открыть второй файл, только если первый файл открылся успешно; выполняем некоторую работу с файлами, только если оба файла открылись успешно, и т. д. Для этого применим ряд вложенных блоков if. Сразу же можно увидеть потенциальный недостаток этого варианта: вложенность блоков if сильно разрастается при наличии нескольких ресурсов, подлежащих «очистке».
		+
		+	int descr1, descr2;
		+
		+	descr1 = open(“file1.dat”, 0_RDWR);
		+
		+	if (-1 == descr1) {
		+
		+	descr2 = open(“file2.dat”, 0_RDWR);
		+
		+	if (-1 == descr2) {
		+
		+	some_task(descr1, descr2);
		+
		+	close(descr2);
		+
		+	}
		+
		+	close(descr1);
		+
		+	}
		+
		+	Сделаем еще одну попытку реализовать фрагмент так, чтобы избежать утечки ресурсов. Давайте, если нам не удалось открыть второй файл, закрывать первый перед выходом из фрагмента кода. Именно этот подход и используется в следующей реализации. Эта реализация тоже далека от идеала: у нас возникает дублирование кода по очистке ресурсов в конце фрагмента и в ситуации, когда второй файл открыть не удалось.
		+
		+	int descr1, descr2;
		+
		+	descr1 = open(“file1.dat”, 0_RDWR);
		+
		+	if (-1 == descr1) return;
		+
		+	descr2 = open(“file2.dat”, 0_RDWR);
		+
		+	if (-1 == descr2) {
		+
		+	close(descr1);
		+
		+	return;
		+
		+	}
		+
		+	some_task(descr1, descr2);
		+
		+	close(descr2);
		+
		+	close(descr1);
		+
		+	И последняя попытка решить проблему с очисткой ресурсов. Сделаем следующие обязательные шаги. Все переменные, содержащие ресурсы, должны быть инициализированы значениями, означающими отсутствие ресурса (для дескрипторов файлов это значение -1, для динамически выделяемой памяти – NULL). Всю очистку ресурсов мы помещаем в конец фрагмента и помечаем меткой; при этом при очистке каждого ресурса проверяем, был ли этот ресурс выделен (например, что дескриптор файла не равен -1). И, наконец, если какой-либо ресурс выделить не удалось, то в этой ситуации мы переходим напрямую к секции очистки ресурсов. В результате код получается простым и разделенным с кодом для очистки ресурсов. Минус этого решения только один: использование оператора goto для перехода к секции очистки ресурсов.
		+
		+	int descr1, descr2;
		+
		+	descr1 = -1;
		+
		+	descr2 = -1;
		+
		+	descr1 = open(“file1.dat”, 0_RDWR);
		+
		+	if (-1 == descr1) goto CLEANUP;
		+
		+	descr2 = open(“file2.dat”, 0_RDWR);
		+
		+	if (-1 == descr1) goto CLEANUP;
		+
		+	some_task(descr1, descr2);
		+
		+	CLEANUP:
		+
		+	if (-1 != descr2) close(descr2);
		+
		+	if (-1 != descr1) close(descr1); }}
	Вполне возможна ситуация, что во время поиска подходящего обработчика исключений среда выполнения пришла в функцию, являющуюся точкой входа, и не нашла в ней специализированного обработчика для данного исключения. В такой ситуации будет вызван обработчик исключений по умолчанию, который завершит данное приложение. Возникает вполне очевидный вопрос: как в этом случае гарантировать очистку ресурсов? Для решения этой проблемы мы можем зарегистрировать специальный обработчик для очистки ресурсов (как вместе с регистрацией обработчиков исключений, так и сам по себе), который будет всегда вызван (что гарантируется средой выполнения) во время раскрутки стека.		Вполне возможна ситуация, что во время поиска подходящего обработчика исключений среда выполнения пришла в функцию, являющуюся точкой входа, и не нашла в ней специализированного обработчика для данного исключения. В такой ситуации будет вызван обработчик исключений по умолчанию, который завершит данное приложение. Возникает вполне очевидный вопрос: как в этом случае гарантировать очистку ресурсов? Для решения этой проблемы мы можем зарегистрировать специальный обработчик для очистки ресурсов (как вместе с регистрацией обработчиков исключений, так и сам по себе), который будет всегда вызван (что гарантируется средой выполнения) во время раскрутки стека.

@@ Строка 9: / Строка 9: @@
 ''Андрей Ушаков разбирается в хитросплетениях процессов, стараясь обеспечить их правильное взаимодействие и отказустойчивость.
 ''
-[[Файл:Ushakov.A_fmt.png | left  |thumb|300px|  '''Наш эксперт'''. Андрей Ушаков
+[[Файл:Ushakov.A_fmt.png | left  |thumb|100px|  '''Наш эксперт'''. Андрей Ушаков
 активно приближает тот день, когда функциональные языки станут мейнстримом. ]]
 Создание реальных распределенных систем невозможно без рассмотрения такой важной темы, как отказоустойчивость. А для этого нам необходимо знать ответы на следующие вопросы: как должна реагировать система, если во время выполнения какой-либо задачи что-то пошло не так? Как должна реагировать система, если во время выполнения задачи возникла необработанная (этой задачей) ошибка? Как должны реагировать другие задачи на ошибку в какой-либо задаче? Какая поддержка со стороны системы есть для очистки ресурсов? Ответы на эти вопросы применительно к языку Erlang мы и рассмотрим в данной статье.

@@ Строка 1: / Строка 1: @@
 [[Категория: Учебники]]
-	Erlang: Устоим перед отказами
+'''Erlang. Описывается следующей формулой: функциональный язык + процессы'''
-Андрей Ушаков разбирается в хитросплетениях процессов, стараясь обеспечить их правильное взаимодействие и отказустойчивость.
 Создание реальных распределенных систем невозможно без рассмотрения такой важной темы, как отказоустойчивость. А для этого нам необходимо знать ответы на следующие вопросы: как должна реагировать система, если во время выполнения какой-либо задачи что-то пошло не так? Как должна реагировать система, если во время выполнения задачи возникла необработанная (этой задачей) ошибка? Как должны реагировать другие задачи на ошибку в какой-либо задаче? Какая поддержка со стороны системы есть для очистки ресурсов? Ответы на эти вопросы применительно к языку Erlang мы и рассмотрим в данной статье.

LXF159: Устоим перед отказами - История изменений

Olkol: /* Erlang: Ус­тои­м перед от­ка­зами */

Olkol: /* Erlang: Ус­тои­м перед от­ка­зами */

Olkol: /* Erlang: Ус­тои­м перед от­ка­зами */

Olkol в 03:21, 25 сентября 2018

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

Olkol: /* Erlang: Устоим перед отказами */

Olkol: /* Erlang: Устоим перед отказами */

Olkol: /* Erlang: Устоим перед отказами */

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