The 2nd part of the 3rd lecture from the course "Java Core".
The Department of Information and Network Technologies.
St-Petersburg State University Of Aerospace Instrumentation.
Russia
The 2-nd lecture from the course "Java Core".
The Department of Information and Network Technologies.
St-Petersburg State University Of Aerospace Instrumentation.
Russia
The 3rd part of the 3rd lecture from the course "Java Core".
The Department of Information and Network Technologies.
St-Petersburg State University Of Aerospace Instrumentation.
Russia
The 3rd part of the 6th lecture from the course "Java Core".
The Department of Information and Network Technologies.
St-Petersburg State University Of Aerospace Instrumentation.
Russia
The 2nd part of the 3rd lecture from the course "Java Core".
The Department of Information and Network Technologies.
St-Petersburg State University Of Aerospace Instrumentation.
Russia
The 2-nd lecture from the course "Java Core".
The Department of Information and Network Technologies.
St-Petersburg State University Of Aerospace Instrumentation.
Russia
The 3rd part of the 3rd lecture from the course "Java Core".
The Department of Information and Network Technologies.
St-Petersburg State University Of Aerospace Instrumentation.
Russia
The 3rd part of the 6th lecture from the course "Java Core".
The Department of Information and Network Technologies.
St-Petersburg State University Of Aerospace Instrumentation.
Russia
СУБД 2013 Лекция №10 "Нереляционное решение в области баз данных — NoSQL" Час...Technopark
Технопарк Mail.ru Group, МГТУ им. Н.Э. Баумана. Курс "Базы данных".
Лекция №10 "Нереляционное решение в области баз данных — NoSQL". Лектор - Станислав Ступников.
Видео лекции курса https://www.youtube.com/playlist?list=PLrCZzMib1e9obOz5K695ugYuiOOCBciEi
СУБД 2013 Лекция №7 "Оптимизация запросов и индексирование"Technopark
Технопарк Mail.ru Group, МГТУ им. Н.Э. Баумана. Курс "Базы данных".
Лекция №7 "Оптимизация запросов и индексирование". Лектор - Павел Щербинин.
Вначале рассказывается об оптимизации доступа к данным, о декомпозиции соединения и состоянии запроса. Далее идёт большой блок, посвящённый оптимизатору запросов (изменение порядка соединения, применение алгебраических правил эквивалентности, оптимизации COUNT(), MIN(), MAX(), вычисление и свертка константных выражений, покрывающие индексы, оптимизация подзапросов, раннее завершение, сравнение по списку IN() и распространение равенства). Затем последовательно рассматриваются такие вещи, как соединение (JOIN) в MySQL, оптимизатор сортировки, коррелированные подзапросы, слияние и непоследовательный просмотр индексов, функции SELECT & UPDATE, COUNT(). После этого рассказывается об оптимизации запросов с помощью JOIN, GROUP BY, DISTINCT и LIMIT со смещением. В конце лекции даётся информация о кэшировании запросов, объединённых таблицах и секционировании.
Видео лекции курса https://www.youtube.com/playlist?list=PLrCZzMib1e9obOz5K695ugYuiOOCBciEi
СУБД 2013 Лекция №10 "Нереляционное решение в области баз данных — NoSQL"Technopark
Технопарк Mail.ru Group, МГТУ им. Н.Э. Баумана. Курс "Базы данных".
Лекция №10 "Нереляционное решение в области баз данных — NoSQL". Лектор - Станислав Ступников.
Вводная часть посвящена определению и истории развития концепции NoSQL. Даются характеристики, рассказывается о способах использования. Рассматриваются виды NoSQL БД, теоретические основы NoSQL, а в конце лекции обсуждаются недостатки NoSQL-решений, а также проводится сравнение разных NoSQL-решений.
Видео лекции курса https://www.youtube.com/playlist?list=PLrCZzMib1e9obOz5K695ugYuiOOCBciEi
СУБД 2013 Лекция №10 "Нереляционное решение в области баз данных — NoSQL" Час...Technopark
Технопарк Mail.ru Group, МГТУ им. Н.Э. Баумана. Курс "Базы данных".
Лекция №10 "Нереляционное решение в области баз данных — NoSQL". Лектор - Станислав Ступников.
Видео лекции курса https://www.youtube.com/playlist?list=PLrCZzMib1e9obOz5K695ugYuiOOCBciEi
СУБД 2013 Лекция №7 "Оптимизация запросов и индексирование"Technopark
Технопарк Mail.ru Group, МГТУ им. Н.Э. Баумана. Курс "Базы данных".
Лекция №7 "Оптимизация запросов и индексирование". Лектор - Павел Щербинин.
Вначале рассказывается об оптимизации доступа к данным, о декомпозиции соединения и состоянии запроса. Далее идёт большой блок, посвящённый оптимизатору запросов (изменение порядка соединения, применение алгебраических правил эквивалентности, оптимизации COUNT(), MIN(), MAX(), вычисление и свертка константных выражений, покрывающие индексы, оптимизация подзапросов, раннее завершение, сравнение по списку IN() и распространение равенства). Затем последовательно рассматриваются такие вещи, как соединение (JOIN) в MySQL, оптимизатор сортировки, коррелированные подзапросы, слияние и непоследовательный просмотр индексов, функции SELECT & UPDATE, COUNT(). После этого рассказывается об оптимизации запросов с помощью JOIN, GROUP BY, DISTINCT и LIMIT со смещением. В конце лекции даётся информация о кэшировании запросов, объединённых таблицах и секционировании.
Видео лекции курса https://www.youtube.com/playlist?list=PLrCZzMib1e9obOz5K695ugYuiOOCBciEi
СУБД 2013 Лекция №10 "Нереляционное решение в области баз данных — NoSQL"Technopark
Технопарк Mail.ru Group, МГТУ им. Н.Э. Баумана. Курс "Базы данных".
Лекция №10 "Нереляционное решение в области баз данных — NoSQL". Лектор - Станислав Ступников.
Вводная часть посвящена определению и истории развития концепции NoSQL. Даются характеристики, рассказывается о способах использования. Рассматриваются виды NoSQL БД, теоретические основы NoSQL, а в конце лекции обсуждаются недостатки NoSQL-решений, а также проводится сравнение разных NoSQL-решений.
Видео лекции курса https://www.youtube.com/playlist?list=PLrCZzMib1e9obOz5K695ugYuiOOCBciEi
Техносфера Mail.ru Group, МГУ им. М.В. Ломоносова.
Курс "Методы распределенной обработки больших объемов данных в Hadoop"
Видео лекции курса https://www.youtube.com/playlist?list=PLrCZzMib1e9rPxMIgPri9YnOpvyDAL9HD
Техносфера Mail.ru Group, МГУ им. М.В. Ломоносова.
Курс "Методы распределенной обработки больших объемов данных в Hadoop"
Видео лекции курса https://www.youtube.com/playlist?list=PLrCZzMib1e9rPxMIgPri9YnOpvyDAL9HD
Техносфера Mail.ru Group, МГУ им. М.В. Ломоносова.
Курс "Методы распределенной обработки больших объемов данных в Hadoop"
Видео лекции курса https://www.youtube.com/playlist?list=PLrCZzMib1e9rPxMIgPri9YnOpvyDAL9HD
Техносфера Mail.ru Group, МГУ им. М.В. Ломоносова.
Курс "Методы распределенной обработки больших объемов данных в Hadoop"
Видео лекции курса https://www.youtube.com/playlist?list=PLrCZzMib1e9rPxMIgPri9YnOpvyDAL9HD
Техносфера Mail.ru Group, МГУ им. М.В. Ломоносова.
Курс "Методы распределенной обработки больших объемов данных в Hadoop"
Видео лекции курса https://www.youtube.com/playlist?list=PLrCZzMib1e9rPxMIgPri9YnOpvyDAL9HD
Техносфера Mail.ru Group, МГУ им. М.В. Ломоносова.
Курс "Методы распределенной обработки больших объемов данных в Hadoop"
Видео лекции курса https://www.youtube.com/playlist?list=PLrCZzMib1e9rPxMIgPri9YnOpvyDAL9HD
Техносфера Mail.ru Group, МГУ им. М.В. Ломоносова.
Курс "Методы распределенной обработки больших объемов данных в Hadoop"
Видео лекции курса https://www.youtube.com/playlist?list=PLrCZzMib1e9rPxMIgPri9YnOpvyDAL9HD
Техносфера Mail.ru Group, МГУ им. М.В. Ломоносова.
Курс "Методы распределенной обработки больших объемов данных в Hadoop"
Видео лекции курса https://www.youtube.com/playlist?list=PLrCZzMib1e9rPxMIgPri9YnOpvyDAL9HD
Лекция 5. MapReduce в Hadoop (алгоритмы)Technopark
Техносфера Mail.ru Group, МГУ им. М.В. Ломоносова.
Курс "Методы распределенной обработки больших объемов данных в Hadoop"
Видео лекции курса https://www.youtube.com/playlist?list=PLrCZzMib1e9rPxMIgPri9YnOpvyDAL9HD
Техносфера Mail.ru Group, МГУ им. М.В. Ломоносова.
Курс "Методы распределенной обработки больших объемов данных в Hadoop"
Видео лекции курса https://www.youtube.com/playlist?list=PLrCZzMib1e9rPxMIgPri9YnOpvyDAL9HD
Лекция 3. Распределённая файловая система HDFSTechnopark
Техносфера Mail.ru Group, МГУ им. М.В. Ломоносова.
Курс "Методы распределенной обработки больших объемов данных в Hadoop"
Видео лекции курса https://www.youtube.com/playlist?list=PLrCZzMib1e9rPxMIgPri9YnOpvyDAL9HD
Техносфера Mail.ru Group, МГУ им. М.В. Ломоносова.
Курс "Методы распределенной обработки больших объемов данных в Hadoop"
Видео лекции курса https://www.youtube.com/playlist?list=PLrCZzMib1e9rPxMIgPri9YnOpvyDAL9HD
Лекция 1. Введение в Big Data и MapReduceTechnopark
Техносфера Mail.ru Group, МГУ им. М.В. Ломоносова.
Курс "Методы распределенной обработки больших объемов данных в Hadoop"
Видео лекции курса https://www.youtube.com/playlist?list=PLrCZzMib1e9rPxMIgPri9YnOpvyDAL9HD
Технопарк Mail.ru Group, МГТУ им. Н.Э. Баумана. Курс "Базы данных".
Лекция №9 "Безопасность баз данных". Лектор - Павел Щербинин.
Открывается лекция рассказом о резервном копировании (о логических и физических резервных копиях, о выборе данных для копирования). Затем определяется терминология для обсуждения дальнейших вопросов. После этого рассматриваются основы учётных записей: таблицы доступа, привилегии, виды записей. Обсуждаются SQL-injection, список смежных вершин (Adjacency Set), вложенное множество (Nested Set), материализованный путь (Materialized Path) и комбинированный подход.
Видео лекции курса https://www.youtube.com/playlist?list=PLrCZzMib1e9obOz5K695ugYuiOOCBciEi
СУБД 2013 Лекция №8 "Конфигурирование базы данных"Technopark
Технопарк Mail.ru Group, МГТУ им. Н.Э. Баумана. Курс "Базы данных".
Лекция №8 "Конфигурирование базы данных". Лектор - Павел Щербинин.
Сначала объясняются основы конфигурирования и общие принципы настройки. Далее рассказывается об области видимости, о настройке использования памяти, обсуждается размер блока ключей key_cache_block_size. Рассматривается устройство и использование кэша InnoDB, а также кэшей потоков и таблиц. Затем говорится об особенностях ввода/вывода в InnoDB. Далее рассказывается о табличном пространстве, оптимизации файловой сортировки, переменных состояния. Финальная часть лекции посвящена репликации: настройка, синхронизация, топология, планирование пропускной способности, администрирование и обслуживание, проблемы и их решения.
Видео лекции курса https://www.youtube.com/playlist?list=PLrCZzMib1e9obOz5K695ugYuiOOCBciEi
Технопарк Mail.ru Group, МГТУ им. Н.Э. Баумана. Курс "Базы данных".
Лекция №5 "Определение узких мест". Лектор - Павел Щербинин.
Вначале рассказывается о подсистемах хранения: MyISAM, InnoDB, Memory, о критериях выбора подсистем хранения, приводятся практические примеры. Затем обсуждается тема индексирования (B-tree, хеш-индексы) и EXPLAIN (столбцы id, table, possible_keys, key, key_len).
Видео лекции курса https://www.youtube.com/playlist?list=PLrCZzMib1e9obOz5K695ugYuiOOCBciEi
Технопарк Mail.ru Group, МГТУ им. Н.Э. Баумана. Курс "Базы данных".
Лекция №6 "Профилирование запросов. Сложноструктурированные SQL-запросы". Лектор - Павел Щербинин.
Лекция открывается рассказом о том, что такое профилирование запроса, каковы его этапы выполнения в MySQL. Рассказывается о том, как планировать запрос, как осуществляется протоколирование запросов, как собирается статистика. Объясняются основы индексирования, подробно обсуждаются стратегии индексирования для достижения высокой производительности: изоляция столбца, кластерные индексы (преимущества и недостатки), размещение данных в MyISAM и InnoDB, покрывающие индексы. Далее затрагивается тема нормализации и денормализации, а также таблиц счётчиков. В завершении рассказывается о версионировании схемы БД: о методах инкрементных изменений, идемпотентных изменений, уподобления структуры БД исходному коду.
Видео лекции курса https://www.youtube.com/playlist?list=PLrCZzMib1e9obOz5K695ugYuiOOCBciEi
СУБД 2013 Лекция №4 "Расширенные возможности работы с базами данных. Триггеры...Technopark
Технопарк Mail.ru Group, МГТУ им. Н.Э. Баумана. Курс "Базы данных". Лекция №4 "Расширенные возможности работы с базами данных. Триггеры и хранимые процедуры"
Лектор - Павел Щербинин.
Первая часть лекции посвящена хранимым процедурам (использование, примеры кода, аспекты безопасности при использовании хранимых процедур): LOOP, REPEAT, WHILE, HANDLER, курсоры, EXECUTE. Во второй части рассказывается о триггерах: BEFORE, AFTER, INSTEAD OF, о специальных таблицах inserted, updated и deleted, об использовании триггеров для поддержания целостности и бизнес-логики, о проблемах при использовании триггеров, приводятся примеры кода. В завершающей части лекции обсуждаются вопросы, связанные с транзакциями: концепция A.C.I.D.; уровни изоляции ANSI/ISO (SET TRANSACTION ISOLATION LEVEL); взаимовлияние транзакций и проблемы lost update, dirty read, non-repeatable read и phantom read; технология MVCC (контроль версионирования конкуренции); конкуренция; параллельность и согласованность.
Видео лекции курса https://www.youtube.com/playlist?list=PLrCZzMib1e9obOz5K695ugYuiOOCBciEi
СУБД 2013 Лекция №3 "Выборка данных (продолжение). Транзакции"Technopark
Технопарк Mail.ru Group, МГТУ им. Н.Э. Баумана. Курс "Базы данных". Лекция №3 "Выборка данных (продолжение). Транзакции"
Лектор - Павел Щербинин.
Лекция начинается с рассказа о добавлении данных и операторе INSERT, о модификации данных и операторе UPDATE, об удалении данных и операторе DELETE. Затем небольшая часть лекции посвящена пользовательским переменным. После этого даётся информация о подзапросах: SUBQUERIES, ROW SUBQUERIES, SUBQUERIES in FROM. Далее говорится об агрегации (UNION), о семействе функций JOIN и соединении таблиц, а в завершение лекции — о понятии VIEW (каковы преимущества, ограничения и особенности, алгоритмы использования и изменение).
Видео лекции курса https://www.youtube.com/playlist?list=PLrCZzMib1e9obOz5K695ugYuiOOCBciEi
СУБД 2013 Лекция №2 "Модификация данных. Выборка данных (начало)"Technopark
Технопарк Mail.ru Group, МГТУ им. Н.Э. Баумана. Курс "Базы данных". Лекция №2 "Модификация данных. Выборка данных (начало)"
Лектор - Павел Щербинин.
Сначала завершается рассмотрение типа данных MySQL «Дата и время». Затем рассказывается о создании таблиц (CREATE TABLE): create_definition, column_definition, reference_defenition, обновление кортежа в родительском отношении. Далее обсуждается процедура изменения таблицы (ALTER TABLE), выборка данных и оператор SELECT, а также фильтрация (формирование групп, агрегаторы).
Видео лекции курса https://www.youtube.com/playlist?list=PLrCZzMib1e9obOz5K695ugYuiOOCBciEi
2. Лекция №3. Шаблоны классов и методов.
Обработка исключительных ситуаций.
Обобщенное и безопасное
программирование
• Шаблоны классов и методов.
• Обобщенное программирование.
• Параметры шаблонов.
• Специализация, конкретизация и перегрузка шаблонов.
• Понятие, поддержка и технология обработки исключительных
ситуаций.
• Безопасное программирование.
• Нейтральность кода.
• Критерии безопасности и нейтральности классов и методов.
• Безопасность конструкторов и деструкторов.
• Исключения в стандартной библиотеке.
3. Шаблоны классов (1 / 2)
Шаблон класса — элемент языка, позволяющий параметризовать
типы и значения, используемые для автоматического создания
(конкретизации) классов по обобщенному описанию (шаблону).
Использование шаблонов классов является первым шагом на пути к
обобщенному программированию.
Различают объявления и определения шаблонов классов. В отличие
от «обычного» класса объявления и определения шаблона содержат
списки параметров шаблона, среди которых выделяются параметры-
типы и параметры-константы.
Параметры-типы шаблона класса представляют некоторый тип данных,
параметры-константы — некоторое константное (вычисляемое при
компиляции) выражение.
4. Шаблоны классов (2 / 2)
Например:
template <class T, class U, int size>
// template <typename T, typename U, int size>
class TestCase
{
public:
TestCase() : _size(size) // …
private:
T _prm_1;
U* _prm_2;
int _size;
};
5. Параметры шаблонов
классов
Параметры шаблона класса не могут быть одноименными члену
соответствующего шаблона.
Имя параметра шаблона может присутствовать в списке параметров
лишь один раз.
Имена параметров в объявлении (если есть) и определении шаблона
могут различаться.
Параметры могут иметь значения по умолчанию.
Константные выражения с одинаковыми значениями трактуются как
эквивалентные параметры-константы шаблонов классов.
6. Конкретизация шаблонов
классов
Конкретизация шаблона — это автоматическая генерация исходного
кода конкретного класса в соответствии с заданным программистом
определением шаблона класса.
Конкретизированный шаблон может использоваться везде, где
допустимо использование «обычного» класса (включая объявления и
определения шаблонов функций), а экземпляры автоматически
сгенерированного класса — везде, где допустимы «обычные» объекты.
Шаблон класса конкретизируется тогда, когда впервые требуется
определение автоматически генерируемого класса.
Например:
TestCase<int, double, 10> tc1;
7. Методы шаблонов классов
Методы шаблонов классов также являются шаблонами и
конкретизируются в точке вызова или взятия адреса. При этом
конкретизируемый метод относится к тому классу, через объект
которого вызывается.
Например:
template <class T, class U, int size>
TestCase<T, U, size>::~TestCase()
{
/* … */
}
8. Дружественные объекты
в шаблонах классов
Дружественными по отношению к шаблонам классов могут быть:
• «обычная» дружественная функция (не шаблон);
• «обычный» дружественный класс (не шаблон);
• связанный шаблон дружественной функции, взаимно однозначно
соответствующий шаблону класса (с общим для обоих шаблонов
списком параметров);
• связанный шаблон дружественного класса, взаимно однозначно
соответствующий шаблону класса (с общим для обоих шаблонов
списком параметров);
• несвязанный шаблон дружественной функции, соответствующий
всем возможным конкретизациям шаблона класса (с раздельными
списками параметров);
• несвязанный шаблон дружественного класса, соответствующий
всем возможным конкретизациям шаблона класса (с раздельными
списками параметров).
9. Статические члены
шаблонов классов
Шаблоны классов могут содержать статические члены данных,
собственный набор которых имеет каждый конкретизированный
согласно шаблону класс.
Например:
template <class T, class U, int size>
class TestCase
{ /* … */
private:
static TestCase *_head;
};
template <class T, class U, int size>
TestCase<T, U, size>
*TestCase<T, U, size>::_head = NULL;
10. Специализация шаблонов
классов (1 / 3)
Шаблоны классов в языке C++ допускают частичную (полную)
специализацию, при которой отдельные (все) параметры шаблона
заменены конкретными именами типов или значениями константных
выражений.
Например (специализация члена класса):
template<>
void TestCase<int, double, 10>::foo()
{
/* … */
}
11. Специализация шаблонов
классов (2 / 3)
Например (полная специализация класса):
template<> class TestCase<int, double, 100>
{
public:
TestCase<int, double, 100>();
~TestCase<int, double, 100>();
void foo();
/* … */
};
12. Специализация шаблонов
классов (3 / 3)
Например (частичная специализация класса):
template <class T, class U>
class TestCase<T, U, 100>
{
public:
TestCase();
~TestCase ();
/* … */
};
13. Понятие исключительных
ситуаций (1 / 2)
Естественный порядок функционирование программ нарушают
возникающие нештатные ситуации, в большинстве случаев
связанные с ошибками времени выполнения (иногда — с
необходимостью внезапно переключить контекст приложения).
В языке C++ такие нештатные ситуации называются
исключительными (иначе говоря — исключениями).
Примерами исключительных ситуаций являются:
• нехватка оперативной памяти;
• попытка доступа к элементу коллекции по некорректному индексу;
• попытка недопустимого преобразования динамических типов и пр.
14. Понятие исключительных
ситуаций (2 / 2)
Архитектурной особенностью механизма обработки исключительных
ситуаций в языке C++ является принципиальная независимость
(несвязность) фрагментов программы, где исключение возбуждается и
где оно обрабатывается.
Обработка исключительных ситуаций носит невозвратный характер.
15. Объекты-исключения.
Оператор throw
Носителями информации об аномальной ситуации (исключении) в C++
являются объекты заранее выбранных на эту роль типов
(пользовательских или — Sic! — базовых, например, char*). Такие
объекты называются объектами-исключениями.
Жизненный цикл объектов-исключений начинается с возбуждения
исключительной ситуации посредством оператора throw, например:
throw "Illegal cast"; // char *
/* … */
throw IllegalCast(); // class IllegalCast
/* … */
enum EPrgStatus
{psOK, psBadIndex, psIllegalCast};
throw psIllegalCast; // enum EPrgStatus
16. Защищенные блоки.
Операторы try, catch (1 / 2)
Небезопасные с точки зрения исключений фрагменты кода должны
инкапсулироваться в защищенный (контролируемый) блок, за которым
следует один или несколько ассоциированных с ним блоков-
обработчиков исключений.
Защищенные блоки кода начинаются ключевым словом try, блоки-
обработчики — словом catch.
При возбуждении исключения в одном из операторов защищенного
блока все следующие за ним операторы блока автоматически
пропускаются, а управление передается ближайшему
соответствующему блоку-обработчику исключения. Если такой блок не
найден, управление берет на себя стандартная функция terminate().
Иначе обработку исключительной ситуации берет на себя первый
подходящий для этого блок в порядке их указания в исходном коде.
18. Функциональные
защищенные блоки
Как защищенный блок может быть оформлена не только часть
функции, но и функция целиком (в том числе main() и конструкторы
классов). В таком случае защищенный блок называют
функциональным. Например:
void foobar()
try {
/* … */
}
catch( /* … */ ) { /* … */ }
catch( /* … */ ) { /* … */ }
catch( /* … */ ) { /* … */ }
19. Варианты объявления
исключений
Объявление исключения в блоке-обработчике может быть
объявлением типа, объекта, ссылки или указателя на объект.
Например:
catch(IllegalCast) { /* … */ }
catch(IllegalCast ic) { /* … */ }
catch(IllegalCast &ric) { /* … */ }
catch(IllegalCast *pic) { /* … */ }
20. Раскрутка стека
и уничтожение объектов
Поиск catch-блока, пригодного для обработки возбужденного
исключения, приводит к раскрутке стека — последовательному выходу
из составных операторов и определений функций.
В ходе раскрутки стека происходит уничтожение локальных
объектов, определенных в покидаемых областях видимости. При этом
деструкторы локальных объектов вызываются штатным образом
(строгая гарантия C++).
Исключение, для обработки которого не найден catch-блок, инициирует
запуск функции terminate(), передающей управление функции abort(),
которая аварийно завершает программу.
21. Повторное возбуждение
исключения и универсальный
блок-обработчик
Оператор throw без параметров помещается (только) в catch-блок и
повторно возбуждает обрабатываемое исключение. При этом его копия
не создается:
throw;
Особая форма блока-обработчика исключений осуществляет перехват
любых исключений:
catch(...) { /* … */ };
22. Безопасность ПО
как показатель качества
В «промышленном программировании» безопасность ПО
рассматривается как один из структурных показателей качества
продукта, оцениваемый путем статического анализа архитектуры,
состава используемых компонентов, исходного кода и схемы БД.
Примечание: См. модель SQuaRE, описанную в международных
стандартах ISO/IEC 9126-3 “Software Engineering — Product Quality” и
ISO 25000:2005 “Software Engineering — Software product Quality
Requirements and Evaluation (SQuaRE) — Guide to SQuaRE”.
Для обеспечения «структурной безопасности» исходного кода
необходимо соблюдение стандартов разработки архитектуры и
стандартов кодирования.
23. Стандарты кодирования —
за «безопасный код»
Структурная безопасность исходного кода ПО требует соблюдения
определенных техник кодирования, одной из которых является
систематическая обработка ошибок и исключительных ситуаций на
всех уровнях архитектуры (уровень представления, уровень бизнес-
логики, уровень (базы) данных).
Одним из элементов обработки ошибок и исключений является
спецификация (ограничение) типов исключений, которые могут
порождать структурные элементы кода.
24. Безопасность классов и
методов (1 / 2)
Функция C++ безопасна, если не возбуждает никаких исключений
(или, что то же самое, все возбужденные внутри нее исключения
обрабатываются в ее теле).
Класс C++ безопасен, если безопасны все его методы.
В свою очередь, небезопасные функции могут специфицировать
исключения, возбуждением которых (и только их!) способно
завершиться исполнение таких функций. Обнаруженное при
исполнении нарушение гарантии влечет за собой вызов функции
unexpected(), по умолчанию вызывающей terminate().
Виртуальные функции в производных классах могут повторять
спецификации исключений функций в базовых классов или
накладывать более строгие ограничения.
25. Безопасность классов и
методов (2 / 2)
Например:
// объявления функций
int foo(int &i) throw();
bool bar(char *pc = 0) throw(IllegalCast);
void foobar() throw(IllegalCast, BadIndex);
// определения функции
int foo(int &i) throw()
{ /* … */ }
bool bar(char *pc = 0) throw(IllegalCast)
{ /* … */ }
void foobar() throw(IllegalCast, BadIndex)
{ /* … */ }
26. Безопасность конструкторов
Конструкторы могут возбуждать исключения, как и другие методы
классов.
Для обработки всех исключений, возникших при исполнении
конструктора, его тело и список инициализации должны быть
совместно помещены в функциональный защищенный блок.
Например:
Beta::Beta(int value)
try
: Alpha(foo(value))
{ // тело конструктора
/* … */
}
catch(...) { /* … */ }
27. Безопасность деструкторов
Деструкторы классов не должны возбуждать исключения. Одной из
причин этого является необходимость корректного освобождения
ресурсов, занятых массивами и коллекциями объектов.
Если вызываемая в деструкторе функция может возбудить исключение,
деструктор должен перехватить и обработать его (возможно, прервав
программу).
Если возможность реакции на исключение необходима клиентам
класса во время некоторой операции, в его открытом интерфейса
должна быть функция (не деструктор), которая операцию выполняет.
В общем случае деструктор класса может специфицироваться как
throw():
~Alpha() throw();
28. Безопасность или
нейтральность кода?
От безопасности программного кода важно отличать нейтральность,
под которой, согласно терминологии Г. Саттера (Herb Sutter), следует
понимать способность методов класса прозрачно «пропускать сквозь
себя» объекты-исключения, полученные ими на обработку, но не
предназначенные для них.
Нейтральный метод:
• может обрабатывать исключения;
• должен ретранслировать полученные им исключения методу-
обработчику в неизменном виде и сохранять свою
работоспособность при любых обстоятельствах.
29. Пользовательские классы
исключительных ситуаций
Для передачи из точки возбуждения исключения в точку его обработки
сведений об условиях возникновения аномалии программист может
определять и использовать собственные классы исключительных
ситуаций.
Такие классы могут быть сколь угодно простыми (включая пустые) или
сложными (содержащими члены данных, конструкторы, деструкторы и
интерфейсные методы).
30. Исключения в стандартной
библиотеке. Класс exception
Стандартная библиотека языка C++ содержит собственную иерархию
классов исключений, являющихся прямыми или косвенными потомками
базового класса exception.
namespace std {
class exception {
public:
exception() throw();
exception( const exception & ) throw();
exception& operator=(
const exception & ) throw();
virtual ~exception() throw();
virtual const char* what() const throw();
};
}
Потомки класса exception условно представляют две категории ошибок:
логические ошибки и ошибки времени исполнения.
31. Классы – логические
ошибки (1 / 2)
В число классов категории «логические ошибки» входят базовый
промежуточный класс logic_error, а также производные от него
специализированные классы:
• invalid_argument — ошибка «неверный аргумент»;
• out_of_range — ошибка «вне диапазона»;
• length_error — ошибка «неверная длина»;
• domain_error — ошибка «вне допустимой области».
33. Классы – ошибки времени
исполнения (1 / 2)
В число классов категории «ошибки времени исполнения» входят
базовый промежуточный класс runtime_error, а также производные от
него специализированные классы:
• range_error — ошибка диапазона;
• overflow_error — переполнение;
• underflow_error — потеря значимости.
34. Классы – ошибки времени
исполнения (2 / 2)
runtime_error
range_error overflow_error underflow_error
35. Прочие классы исключений
стандартной библиотеки
Также производными от exception являются классы bad_alloc и
bad_cast, сигнализирующие об ошибках при выделении динамической
памяти и неудаче при выполнении «ссылочного» варианта операции
dynamic_cast, соответственно.
exception
bad_alloc bad_cast