<учебное пособие> ПРОГРАММИРОВАНИЕ НА C++: ИЗБРАННЫЕ ЗАДАЧИ

В пособии рассматриваются нетривиальные аспекты языка программирования С++ и особенности их применения при решении комплексных прикладных задач. Анализируются механизмы локального и нелокального перехода, включая оператор goto и пару функций setjmp и longjmp, а также обсуждаются низкоуровневые техники нарушения инкапсуляции. Подробно разбираются семантика перемещения, работа с барьерами упорядочения памяти в многопоточных программах и современные средства конкурентности, такие как корутины и генераторы. Значительное внимание уделяется практическому применению языковых средств: на примерах генератора истинно случайного числа, баллистического калькулятора и модели деградации литий-полимерных аккумуляторов демонстрируются подходы к численному интегрированию, объектно-ориентированному проектированию и консольной визуализации данных. В приложении дан краткий обзор формальных методов верификации многопоточных программ, включая логику Хоара и RG-логику.