{"draftJsState":{"blocks":[{"data":{"image":{"id":"6800198aabfde60e8f6b65ef"}},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"atomic:image","key":"8l6c5"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Иногда после внесения изменений в исходный код и запуска программы появляются странные ошибки. Например, программа зависает, не реагируя на действия пользователя, и аварийно завершается(падает). Либо зависания не происходит, но программа падает. ","type":"unstyled","key":"dlqa4"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Иногда даже анализ логов не добавляет ясности, так как падение происходит в том месте исходного кода, которое не вызывает подозрений (по крайней мере на первый взгляд). Некоторые ошибки можно выявить при прогоне тестов. Но они не всегда помогают. Теоретически для выявления проблем можно призвать на помощь весь свой опыт и применить метод пристального взгляда. Но данный способ часто требует большое количество времени и сил, которые могут быть на исходе. ","type":"unstyled","key":"27e3k"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Поэтому гораздо продуктивнее использовать инструменты, позволяющее автоматизировать поиск ошибок. Одним из таких инструментов в ОС Linux и MacOS является Valgrind. Его мы сегодня и рассмотрим в связке с CMake. ","type":"unstyled","key":"8nfai"},{"data":{},"depth":0,"entityRanges":[{"key":0,"length":10,"offset":105}],"inlineStyleRanges":[],"text":"Рассмотрим работу с Valgrind на примере проекта, являющего развитием калькулятора, описанного в одной из предыдущих статей. Добавим в директорию arithmetic файлы calculator.h и calculator.cpp с описанием простого класса-обертки, вызывающего разработанные ранее арифметические функции.","type":"unstyled","key":"dt7mi"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":12,"offset":0,"style":"BOLD"}],"text":"calculator.h","type":"unstyled","key":"kpr3"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":12,"offset":0,"style":"ITALIC"}],"text":"#pragma once","type":"ordered-list-item","key":"h89h"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":18,"offset":0,"style":"ITALIC"}],"text":"class calculator {","type":"ordered-list-item","key":"f2ekl"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":159,"offset":0,"style":"ITALIC"}],"text":"public:\n\tdouble sum(double op1, double op2);\n\tdouble sub(double op1, double op2);\n\tdouble mult(double op1, double op2);\n\tdouble divide(double op1, double op2);","type":"ordered-list-item","key":"1m206"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":2,"offset":0,"style":"ITALIC"}],"text":"};","type":"ordered-list-item","key":"54in3"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":14,"offset":0,"style":"BOLD"}],"text":"calculator.cpp","type":"unstyled","key":"a0pq9"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":23,"offset":0,"style":"ITALIC"}],"text":"#include \"calculator.h\"","type":"ordered-list-item","key":"8ba3o"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":23,"offset":0,"style":"ITALIC"}],"text":"#include \"arithmetic.h\"","type":"ordered-list-item","key":"601pd"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":46,"offset":0,"style":"ITALIC"}],"text":"double calculator::sum(double op1, double op2)","type":"ordered-list-item","key":"bh8go"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":25,"offset":0,"style":"ITALIC"}],"text":"{ return sum(op1, op2); }","type":"ordered-list-item","key":"q9k9"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":46,"offset":0,"style":"ITALIC"}],"text":"double calculator::sub(double op1, double op2)","type":"ordered-list-item","key":"4jfu5"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":27,"offset":0,"style":"ITALIC"}],"text":"{ return ::sub(op1, op2); }","type":"ordered-list-item","key":"cne8b"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":47,"offset":0,"style":"ITALIC"}],"text":"double calculator::mult(double op1, double op2)","type":"ordered-list-item","key":"ffv9g"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":28,"offset":0,"style":"ITALIC"}],"text":"{ return ::mult(op1, op2); }","type":"ordered-list-item","key":"9mlp3"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":49,"offset":0,"style":"ITALIC"}],"text":"double calculator::divide(double op1, double op2)","type":"ordered-list-item","key":"br0qd"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":30,"offset":0,"style":"ITALIC"}],"text":"{ return ::divide(op1, op2); }","type":"ordered-list-item","key":"6a8og"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"В одном из методов специально допущена ошибка! Напишем тесты и посмотрим что они покажут. Забегая немного вперед скажу, что в тестах тоже есть проблема.","type":"unstyled","key":"aj04l"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":25,"offset":0,"style":"ITALIC"}],"text":"#include ","type":"ordered-list-item","key":"1v366"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":23,"offset":0,"style":"ITALIC"}],"text":"#include \"arithmetic.h\"","type":"ordered-list-item","key":"4m5bb"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":23,"offset":0,"style":"ITALIC"}],"text":"#include \"calculator.h\"","type":"ordered-list-item","key":"dfpdd"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":27,"offset":0,"style":"ITALIC"}],"text":"TEST(ArithmeticTest, Sum) {","type":"ordered-list-item","key":"747ad"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":35,"offset":0,"style":"ITALIC"}],"text":"calculator* pCalc = new calculator;","type":"ordered-list-item","key":"aq3ae"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":11,"offset":0,"style":"ITALIC"}],"text":"int a = 10;","type":"ordered-list-item","key":"7cg57"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":11,"offset":0,"style":"ITALIC"}],"text":"int b = 20;","type":"ordered-list-item","key":"4vegp"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":32,"offset":0,"style":"ITALIC"}],"text":"EXPECT_EQ(pCalc->sum(a, b), 30);","type":"ordered-list-item","key":"2je8i"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":1,"offset":0,"style":"ITALIC"}],"text":"}","type":"ordered-list-item","key":"a8h9n"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":27,"offset":0,"style":"ITALIC"}],"text":"TEST(ArithmeticTest, Sub) {","type":"ordered-list-item","key":"b1o16"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":35,"offset":0,"style":"ITALIC"}],"text":"calculator* pCalc = new calculator;","type":"ordered-list-item","key":"f9bpl"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":11,"offset":0,"style":"ITALIC"}],"text":"int a = 10;","type":"ordered-list-item","key":"7uuuk"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":11,"offset":0,"style":"ITALIC"}],"text":"int b = 20;","type":"ordered-list-item","key":"5g4q5"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":33,"offset":0,"style":"ITALIC"}],"text":"EXPECT_EQ(pCalc->sub(a, b), -10);","type":"ordered-list-item","key":"2jufi"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":1,"offset":0,"style":"ITALIC"}],"text":"}","type":"ordered-list-item","key":"8a4lh"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":28,"offset":0,"style":"ITALIC"}],"text":"TEST(ArithmeticTest, Mult) {","type":"ordered-list-item","key":"86qog"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":35,"offset":0,"style":"ITALIC"}],"text":"calculator* pCalc = new calculator;","type":"ordered-list-item","key":"ca4a2"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":11,"offset":0,"style":"ITALIC"}],"text":"int a = 10;","type":"ordered-list-item","key":"863d7"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":11,"offset":0,"style":"ITALIC"}],"text":"int b = 20;","type":"ordered-list-item","key":"1nt8a"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":34,"offset":0,"style":"ITALIC"}],"text":"EXPECT_EQ(pCalc->mult(a, b), 200);","type":"ordered-list-item","key":"jckr"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":1,"offset":0,"style":"ITALIC"}],"text":"}","type":"ordered-list-item","key":"dqc21"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Для того чтобы программы анализа билда могли выдать полезную информацию необходимо сделать отладочную сборку. Находясь в корневой директории проекта введем команду ","type":"unstyled","key":"8cg3h"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":41,"offset":0,"style":"ITALIC"}],"text":"cmake -B ./build -DCMAKE_BUILD_TYPE=Debug","type":"unstyled","key":"5jrau"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Перейдя в директорию build cоберем и запустим цель unit_tests, введя команду","type":"unstyled","key":"7v0lc"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":19,"offset":0,"style":"ITALIC"}],"text":"cmake --build . -t unit_tests","type":"unstyled","key":"35l8q"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":" Получим следующий, на первый взгляд, странный результат.","type":"unstyled","key":"8ilgl"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":48,"offset":0,"style":"ITALIC"}],"text":"[==========] Running 7 tests from 3 test suites.","type":"unstyled","key":"ad0p"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":44,"offset":0,"style":"ITALIC"}],"text":"[----------] Global test environment set-up.","type":"unstyled","key":"bua4p"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":40,"offset":0,"style":"ITALIC"}],"text":"[----------] 3 tests from ArithmeticTest","type":"unstyled","key":"50f3t"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":31,"offset":0,"style":"ITALIC"}],"text":"[ RUN ] ArithmeticTest.Sum","type":"unstyled","key":"8mrr8"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":52,"offset":0,"style":"ITALIC"}],"text":"Ошибка сегментирования (стек памяти сброшен на диск)","type":"unstyled","key":"5r6r5"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"При запуске первого теста ArithmeticTest.Sum получили ошибку сегментирования и , как следствие, аварийное завершение тестирующей программы. ","type":"unstyled","key":"2mgcv"},{"data":{},"depth":0,"entityRanges":[{"key":1,"length":8,"offset":245}],"inlineStyleRanges":[],"text":"Смотрим исходный код теста TEST(ArithmeticTest, Sum) и не понимаем что же в такой простой функции привело к появлению непонятной ошибки сегментирования. Нам явно нужно больше информации об ошибке. Для ее получения подключим к проекту фреймворк Valgrind.","type":"unstyled","key":"6v6tf"},{"data":{},"depth":0,"entityRanges":[{"key":2,"length":8,"offset":20},{"key":3,"length":40,"offset":31},{"key":4,"length":28,"offset":93},{"key":5,"length":13,"offset":135},{"key":6,"length":18,"offset":159},{"key":7,"length":14,"offset":187}],"inlineStyleRanges":[],"text":"Согласно Википедии, Valgrind — инструментальное программное обеспечение, предназначенное для отладки использования памяти, обнаружения утечек памяти, проверки потокобезопасности, а также профилирования. ","type":"unstyled","key":"5g348"},{"data":{},"depth":0,"entityRanges":[{"key":8,"length":18,"offset":273}],"inlineStyleRanges":[{"length":8,"offset":164,"style":"BOLD"},{"length":10,"offset":313,"style":"ITALIC"},{"length":14,"offset":504,"style":"ITALIC"}],"text":"В состав пакета Valgrind входит множество инструментов (также существуют сторонние дополнительные инструменты). Инструмент по умолчанию (и наиболее используемый) — Memcheck. Принцип его работы основан на том, что вокруг почти всех инструкций вставляется дополнительный код инструментирования, который отслеживает законность (вся невыделенная память изначально помечается как некорректная или «неопределенная», пока не будет инициализирована одним из определенных состояний, вероятно, из другой памяти) и адресуемость. ","type":"unstyled","key":"3qvm2"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Проблемы, которые может обнаружить Memcheck, включают в себя:","type":"unstyled","key":"3dmj5"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"попытки использования неинициализированной памяти;","type":"unordered-list-item","key":"4sdtf"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"чтение/запись в память после её освобождения;","type":"unordered-list-item","key":"ci98d"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"чтение/запись за границами выделенного блока;","type":"unordered-list-item","key":"c6g56"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"утечки памяти.","type":"unordered-list-item","key":"cnlvr"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Ценой этого является потеря производительности. Программы, запущенные под Memcheck, как правило, выполняются в 5-12 раз медленнее, чем при выполнении без Valgrind, а также используют больший объём памяти (за счет значительных дополнительных расходов памяти). Поэтому код запускают под Memcheck / Valgrind перед комитом в репозиторий с целью убедиться в отсутствии проблем при работе с памятью. ","type":"unstyled","key":"7dep8"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"В дополнение к Memcheck Valgrind имеет и другие инструменты:","type":"unstyled","key":"47t1p"},{"data":{},"depth":0,"entityRanges":[{"key":9,"length":13,"offset":9},{"key":10,"length":4,"offset":23}],"inlineStyleRanges":[],"text":"Massif — профилировщик кучи.","type":"unordered-list-item","key":"60b94"},{"data":{},"depth":0,"entityRanges":[{"key":11,"length":15,"offset":52},{"key":12,"length":18,"offset":86}],"inlineStyleRanges":[],"text":"Helgrind и DRD — инструменты, способные отслеживать состояние гонки и другие ошибки в многопоточном коде.","type":"unordered-list-item","key":"d46bs"},{"data":{},"depth":0,"entityRanges":[{"key":13,"length":4,"offset":27},{"key":14,"length":21,"offset":38}],"inlineStyleRanges":[],"text":"Cachegrind — профилировщик кэша и его графический интерфейс KCacheGrind.","type":"unordered-list-item","key":"826v9"},{"data":{},"depth":0,"entityRanges":[{"key":15,"length":21,"offset":51},{"key":16,"length":11,"offset":73}],"inlineStyleRanges":[],"text":"Callgrind — профилировщик кода, может использовать графический интерфейс KCacheGrind.","type":"unordered-list-item","key":"dk4od"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":29,"offset":44,"style":"ITALIC"},{"length":17,"offset":277,"style":"ITALIC"},{"length":1,"offset":356,"style":"ITALIC"}],"text":"Установим Valgrind в Ubuntu, введя команду sudo apt-get install valgrind . После чего интегрируем в существующий проект CMake. Для этого создадим файл Valgrind.cmake в директории modules, где уже находится файл с описанием цели покрытия coverage.cmake. Добавим в него функцию AddMemeoryCheck, которая позволит запускать Valgrind после построения программы. ","type":"unstyled","key":"6hf2v"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":14,"offset":0,"style":"BOLD"}],"text":"Valgrind.cmake","type":"unstyled","key":"8pb25"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":32,"offset":0,"style":"ITALIC"}],"text":"function(AddMemeoryCheck target)","type":"ordered-list-item","key":"7fjoq"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":45,"offset":0,"style":"ITALIC"}],"text":"find_program(VALGRIND_PATH valgrind REQUIRED)","type":"ordered-list-item","key":"d6hcp"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":26,"offset":0,"style":"ITALIC"}],"text":"add_custom_target(valgrind","type":"ordered-list-item","key":"eapru"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":41,"offset":0,"style":"ITALIC"}],"text":"COMMAND ${VALGRIND_PATH} --leak-check=yes","type":"ordered-list-item","key":"btprl"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":24,"offset":0,"style":"ITALIC"}],"text":"$","type":"ordered-list-item","key":"7tctc"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":38,"offset":0,"style":"ITALIC"}],"text":"WORKING_DIRECTORY ${CMAKE_BINARY_DIR})","type":"ordered-list-item","key":"8mfgk"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":13,"offset":0,"style":"ITALIC"}],"text":"endfunction()","type":"ordered-list-item","key":"dbg3g"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":14,"offset":27,"style":"ITALIC"},{"length":17,"offset":174,"style":"ITALIC"},{"length":13,"offset":313,"style":"ITALIC"},{"length":15,"offset":327,"style":"ITALIC"},{"length":18,"offset":351,"style":"ITALIC"},{"length":32,"offset":447,"style":"ITALIC"}],"text":"Вначале функции вызывается find_program, которая проверяет установлен ли Valgrind в системе и прекращает построение программы, если фреймворк не установлен. Далее при помощи add_custom_target добавим цель valgrind. Целью фактически является запуск программы ОС Linux, расположенной по пути, задаваемой переменной VALGRIND_PATH . leak-check - это флаг командной строки Valgrind, говорящий о том, что необходимо проверять утечки памяти. При помощи TARGET_FILE и WORKING_DIRECTORY задается целевой файл для отслеживания утечек памяти и путь к нему.","type":"unstyled","key":"4a1fg"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":84,"offset":0,"style":"ITALIC"}],"text":"Добавим вызов функции AddMemeoryCheck в файл test/CMakeLists.txt сразу после строки gtest_discover_tests(unit_tests) следующим образом:","type":"unstyled","key":"e2dqn"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":71,"offset":0,"style":"ITALIC"}],"text":"include(Valgrind) #говорит в каком файле искать функцию AddMemeoryCheck","type":"unstyled","key":"3p6th"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":80,"offset":0,"style":"ITALIC"}],"text":"AddMemeoryCheck(unit_tests) # запуск функции с аргументом - целью прогона тестов","type":"unstyled","key":"6va9a"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Находясь в директории build, cобираем проект с целью valgrind командой cmake --build . -t valgrind .","type":"unstyled","key":"8oto6"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"При этом тестовая программа будет автоматически запущена и проверена на ошибки при работе с памятью. Получим довольно длинный вывод, часть которого показана на скриншоте ниже. ","type":"unstyled","key":"9e2te"},{"data":{"image":{"id":"680224c94eceef3c6d3b749c"}},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"atomic:image","key":"28mgk"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Среди этой информации наиболее интересными для нас являются следующие строки:","type":"unstyled","key":"9udgf"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"==14034== Stack overflow in thread #1: can't grow stack to 0x1ffe801000","type":"unstyled","key":"e8atm"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"==14034== Process terminating with default action of signal 11 (SIGSEGV)","type":"unstyled","key":"56b3r"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"==14034== at 0x484C7A6: calculator::sum(double, double) (calculator.cpp:5)","type":"unstyled","key":"3qsuc"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"==14034== The main thread stack size used in this run was 8388608.","type":"unstyled","key":"6tdkm"},{"data":{},"depth":0,"entityRanges":[{"key":17,"length":9,"offset":350}],"inlineStyleRanges":[],"text":"Первая строка говорит о том, что невозможно увеличить размер сегмента стека до заданной величины. Вторая сообщает об уничтожении процесса при получении сигнала SIGSEGV. Третья строка говорит о том, в какой функции скрывается проблема - calculator::sum . Последняя строка указывает размер стекового сегмента - 8 МБ что соответствует размеру стека по умолчанию. Программа хочет намного его увеличить. Таким образом мы выяснили причину проблему - увеличение размера стека, вызванного функцией calculator::sum. Обычно причина такого поведения - использование бесконечной рекурсии, когда метод класса или функция вызывает себя до тех пор, пока не исчерпает размеры выделенного сегмента стека. После этого происходит аварийное завершение. ","type":"unstyled","key":"538cc"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Анализируя код calculator::sum находим причину:","type":"unstyled","key":"6lfop"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":46,"offset":0,"style":"ITALIC"}],"text":"double calculator::sum(double op1, double op2)","type":"unstyled","key":"9r9gr"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":25,"offset":0,"style":"ITALIC"}],"text":"{ return sum(op1, op2); }","type":"unstyled","key":"cu46o"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":3,"offset":101,"style":"ITALIC"}],"text":"Метод sum вызывает рекурсивно сам себя, хотя должен вызывать функцию из внешней области видимости - sum из arithmetic.cpp. Устраняем проблему, добавляя символ :: ","type":"unstyled","key":"4dntf"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":46,"offset":0,"style":"ITALIC"}],"text":"double calculator::sum(double op1, double op2)","type":"unstyled","key":"d8kks"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":27,"offset":0,"style":"ITALIC"}],"text":"{ return ::sum(op1, op2); }","type":"unstyled","key":"8bq33"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Перестраиваем и запускаем программу. Тесты запускаются и успешно проходят, НО Valgrind снова сигнализирует об ошибках. В этот раз - об утечках памяти. Часть отчета приведена ниже:","type":"unstyled","key":"c800l"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"==14928== LEAK SUMMARY:","type":"unstyled","key":"ev3j3"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"==14928== definitely lost: 3 bytes in 3 blocks","type":"unstyled","key":"5i1u1"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Если перейти к началу отчета, то можно увидеть такие строки:","type":"unstyled","key":"a1o86"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"==14928== 1 bytes in 1 blocks are definitely lost in loss record 1 of 3","type":"unstyled","key":"bd9c9"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"==14928== at 0x483BE63: operator new(unsigned long) (in /usr/lib/x86_64-linux-gnu/valgrind/vgpreload_memcheck-amd64-linux.so)","type":"unstyled","key":"f6nvo"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"==14928== by 0x113F23: ArithmeticTest_Sum_Test::TestBody() (arithmetic_test.cpp:6)","type":"unstyled","key":"e1ik8"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Видим что Valgrind указывает нам на место утечки:","type":"unstyled","key":"455c4"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":27,"offset":0,"style":"ITALIC"}],"text":"TEST(ArithmeticTest, Sum) {","type":"unstyled","key":"dv23r"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":98,"offset":0,"style":"ITALIC"}],"text":"auto pCalc = new calculator; # выделили память оператором new, но не освободили при помощи delete.","type":"unstyled","key":"ddvev"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":1,"offset":197,"style":"ITALIC"}],"text":"Так как всевозможные руководства и \"лучшие практики\" по использованию языка С++ призывают нас отказаться от работы с \"сырой\" памятью посредством new/delete, исправим проблему при помощи unique_ptr. ","type":"unstyled","key":"fs8p2"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":27,"offset":0,"style":"ITALIC"}],"text":"TEST(ArithmeticTest, Sum) {","type":"ordered-list-item","key":"28rbs"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":11,"offset":0,"style":"ITALIC"}],"text":"int a = 10;","type":"ordered-list-item","key":"27mbe"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":11,"offset":0,"style":"ITALIC"}],"text":"int b = 20;","type":"ordered-list-item","key":"bd7nr"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":57,"offset":0,"style":"ITALIC"}],"text":"EXPECT_EQ(std::make_unique()->sum(a, b), 30);","type":"ordered-list-item","key":"4esrd"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":1,"offset":0,"style":"ITALIC"}],"text":"}","type":"ordered-list-item","key":"2o8kj"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Внесем аналогичные исправления и в остальные методы для класса calculator.","type":"unstyled","key":"3q58i"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"После перестроения и запуска тестов Valgrind, наконец, сообщит нам об отсутствии ошибок.","type":"unstyled","key":"lsak"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"==15172== HEAP SUMMARY:","type":"unstyled","key":"83nh4"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"==15172== in use at exit: 0 bytes in 0 blocks","type":"unstyled","key":"d95d6"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"==15172== total heap usage: 298 allocs, 298 frees, 129,494 bytes allocated","type":"unstyled","key":"roil"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"==15172== All heap blocks were freed -- no leaks are possible","type":"unstyled","key":"8v7q8"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"==15172== ERROR SUMMARY: 0 errors from 0 contexts (suppressed: 0 from 0)","type":"unstyled","key":"fq763"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Таким образом все тесты проходят и утечек памяти больше нет. Как видно из описанного примера использование Valgrind помогло устранить не только причину падения программы, но и утечки памяти.","type":"unstyled","key":"42bqs"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Далее рассмотрим как Valgrind помогает с решением проблем многопоточности. Для этого рассмотрим классическую проблему модификации переменной из разных потоков. В разработке приложений на C++ под Linux, MacOS для создания потоков можно пользоваться как библиотекой pthread, так и параллельными алгоритмами, доступными в стандартной библиотеке, начиная с C++ 17.","type":"unstyled","key":"4r799"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":15,"offset":68,"style":"ITALIC"},{"length":12,"offset":190,"style":"ITALIC"}],"text":"Вначале рассмотрим тест с pthread. Добавим в Valgrind.cmake функцию AddThreadCheck для запуска Valgrind c инструментом Helgrind, выявляющим ошибки многопоточности. Создадим также новую цель threadcheck.","type":"unstyled","key":"d0ejn"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":31,"offset":0,"style":"ITALIC"}],"text":"function(AddThreadCheck target)","type":"ordered-list-item","key":"6ur7s"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":45,"offset":0,"style":"ITALIC"}],"text":"find_program(VALGRIND_PATH valgrind REQUIRED)","type":"ordered-list-item","key":"7pc24"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":29,"offset":0,"style":"ITALIC"}],"text":"add_custom_target(threadcheck","type":"ordered-list-item","key":"4a14j"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":40,"offset":0,"style":"ITALIC"}],"text":"COMMAND ${VALGRIND_PATH} --tool=helgrind","type":"ordered-list-item","key":"3br9m"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":24,"offset":0,"style":"ITALIC"}],"text":"$","type":"ordered-list-item","key":"f21od"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":38,"offset":0,"style":"ITALIC"}],"text":"WORKING_DIRECTORY ${CMAKE_BINARY_DIR})","type":"ordered-list-item","key":"3vn01"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":13,"offset":0,"style":"ITALIC"}],"text":"endfunction()","type":"ordered-list-item","key":"a8iu4"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Логика аналогична описанной выше для AddMemeoryCheck. Различие состоит только в указании флага tool=helgrind, задающим Helgrind в качестве инструмента поиска проблем вместо использовавшегося ранее MemCheck.","type":"unstyled","key":"armud"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Добавим в проект файл variable_test.cpp со следующим содержимым:","type":"unstyled","key":"9nmo3"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":24,"offset":0,"style":"ITALIC"}],"text":"#include ","type":"ordered-list-item","key":"cu4oh"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":20,"offset":0,"style":"ITALIC"}],"text":"#include ","type":"ordered-list-item","key":"cii02"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":12,"offset":0,"style":"ITALIC"}],"text":"int var = 0;","type":"ordered-list-item","key":"abm58"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":30,"offset":0,"style":"ITALIC"}],"text":"void* child_fn ( void* arg ) {","type":"ordered-list-item","key":"5at3l"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":6,"offset":0,"style":"ITALIC"}],"text":"var++;","type":"ordered-list-item","key":"d31b"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":12,"offset":0,"style":"ITALIC"}],"text":"return NULL;","type":"ordered-list-item","key":"2n398"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":1,"offset":0,"style":"ITALIC"}],"text":"}","type":"ordered-list-item","key":"e6l0n"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":27,"offset":0,"style":"ITALIC"}],"text":"TEST(EqualityTest, Equal) {","type":"ordered-list-item","key":"cvoea"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":16,"offset":0,"style":"ITALIC"}],"text":"pthread_t child;","type":"ordered-list-item","key":"80iqv"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":45,"offset":0,"style":"ITALIC"}],"text":"pthread_create(&child, NULL, child_fn, NULL);","type":"ordered-list-item","key":"7j7jk"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":6,"offset":0,"style":"ITALIC"}],"text":"var++;","type":"ordered-list-item","key":"45rjr"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":26,"offset":0,"style":"ITALIC"}],"text":"pthread_join(child, NULL);","type":"ordered-list-item","key":"bo8ur"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":18,"offset":0,"style":"ITALIC"}],"text":"EXPECT_EQ(var, 2);","type":"ordered-list-item","key":"7buid"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":1,"offset":0,"style":"ITALIC"}],"text":"}","type":"ordered-list-item","key":"8gmoq"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":14,"offset":175,"style":"ITALIC"},{"length":4,"offset":298,"style":"ITALIC"},{"length":15,"offset":360,"style":"ITALIC"}],"text":"Логика программы предельно проста. В начале объявляем глобальную переменную var и функцию child_fn, выполняющую инкремент этой переменной. Далее в тесте создаем поток вызовом pthread_create, в который в качестве аргумента передаем child_fn. Далее в главном потоке выполняется инкремент переменной var и ожидание завершения второго потока, запущенного вызовом pthread_create.","type":"unstyled","key":"3rv59"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":44,"offset":34,"style":"ITALIC"}],"text":"Соберем и запустим проект с целью threadcheck: cmake --build . -t threadcheck","type":"unstyled","key":"f1nba"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Тесты проходят без ошибок, но Valgrind не доволен и выдает нам длинную тираду сообщений. Внимательно проанализировав центнер текста, выделим главное:","type":"unstyled","key":"a7n27"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"==18758== Thread #1 is the program's root thread","type":"unstyled","key":"e2ujq"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"==18758== Thread #2 was created","type":"unstyled","key":"89ifh"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"==18758== Possible data race during write of size 4 at 0x1A2318 by thread #1","type":"unstyled","key":"ba61n"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"==18758== Locks held: none","type":"unstyled","key":"7nmlp"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"==18758== at 0x1177BE: EqualityTest_Equal_Test::TestBody() (variable_test.cpp:14)","type":"unstyled","key":"fdu3k"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"=18758== This conflicts with a previous write of size 4 by thread #2","type":"unstyled","key":"53jjj"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"==18758== Locks held: none","type":"unstyled","key":"2cm1t"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"==18758== at 0x11776B: child_fn(void*) (variable_test.cpp:7)","type":"unstyled","key":"150nf"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"==18758== Address 0x1a2318 is 0 bytes inside data symbol \"var\"","type":"unstyled","key":"62fpg"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"В строках 1 и 2 Valgrind сообщает о том, что вначале был создан главный поток Thread #1 и дополнительный Thread2. В третьей строке говорится о возможном состоянии гонки при записи потоком Thread #1 в 4 байтовую переменную. Четвертая строка говорит о причине гонки - отсутствии блокировки при записи в переменную. Далее идет указание на функцию child_fn, в которой возможно состояние гонки. В последней строке указывается название переменной - var. ","type":"unstyled","key":"h2im"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Как можно понять из описания, в программе присутствует классическая ситуация гонки за данными (data races), ведущая к неопределенному поведению (UB). UB в данном случае состоит в том, что результат выполнения двух операций инкремента, выполняемых в двух разных потоках, не всегда будет одним и тем же. Даже если текущая проверка завершилась без ошибок, такой тест может совершенно неожиданной не пройти в будущем. ","type":"unstyled","key":"ev8ao"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Для устранения состояния гонки нужно ввести блокировку для предотвращения неупорядоченного доступа к переменной из двух потоков. Такую блокировку обычно рекомендуют делать при помощи мьютекса, хотя это не лучшее решение. Но пока остановимся на нем, а усовершенствование оставим до следующего примера. В библиотеке pthread для мьютекса предусмотрен тип данных pthread_mutex_t. А за его блокировку/разблокировку отвечают функции pthread_mutex_lock/pthread_mutex_unlock. Для упрощения кода создадим структуру для захвата и освобождения мьютекса в соответствии с идиомой RAII. В конструкторе захватываем мьютекс, а в деструкторе - освобождаем. Переработанный тест будет иметь следующий вид:","type":"unstyled","key":"djtqs"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":21,"offset":0,"style":"ITALIC"}],"text":"pthread_mutex_t lock;","type":"ordered-list-item","key":"ff8s5"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":191,"offset":0,"style":"ITALIC"}],"text":"struct raimutext {\n\traimutext(pthread_mutex_t* theLock)\n\t:lock_(theLock)\n\t{\n\t pthread_mutex_lock(lock_); \n\t}\n\t~raimutext()\n\t{\n\t pthread_mutex_unlock(lock_); \t\n\t}\n\tpthread_mutex_t* lock_{}; };","type":"ordered-list-item","key":"pdqh"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":12,"offset":0,"style":"ITALIC"}],"text":"int var = 0;","type":"ordered-list-item","key":"7vm1r"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":30,"offset":0,"style":"ITALIC"}],"text":"void* child_fn ( void* arg ) {","type":"ordered-list-item","key":"949iu"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":21,"offset":0,"style":"ITALIC"}],"text":"raimutext mut(&lock);","type":"ordered-list-item","key":"4ugmn"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":6,"offset":0,"style":"ITALIC"}],"text":"var++;","type":"ordered-list-item","key":"6tlpl"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":12,"offset":0,"style":"ITALIC"}],"text":"return NULL;","type":"ordered-list-item","key":"5bupu"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":1,"offset":0,"style":"ITALIC"}],"text":"}","type":"ordered-list-item","key":"2fs1c"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":27,"offset":0,"style":"ITALIC"}],"text":"TEST(EqualityTest, Equal) {","type":"ordered-list-item","key":"ejqvf"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":16,"offset":0,"style":"ITALIC"}],"text":"pthread_t child;","type":"ordered-list-item","key":"78sb9"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":45,"offset":0,"style":"ITALIC"}],"text":"pthread_create(&child, NULL, child_fn, NULL);","type":"ordered-list-item","key":"fq188"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":1,"offset":0,"style":"ITALIC"}],"text":"{","type":"ordered-list-item","key":"ba45"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":28,"offset":0,"style":"ITALIC"}],"text":"struct raimutext mut(&lock);","type":"ordered-list-item","key":"b3492"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":6,"offset":0,"style":"ITALIC"}],"text":"var++;","type":"ordered-list-item","key":"b3is4"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":1,"offset":0,"style":"ITALIC"}],"text":"}","type":"ordered-list-item","key":"4rj0q"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":26,"offset":0,"style":"ITALIC"}],"text":"pthread_join(child, NULL);","type":"ordered-list-item","key":"cani6"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":18,"offset":0,"style":"ITALIC"}],"text":"EXPECT_EQ(var, 2);","type":"ordered-list-item","key":"eekje"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":1,"offset":0,"style":"ITALIC"}],"text":"}","type":"ordered-list-item","key":"fae0"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Теперь после прогона тестов Valgrind сообщит об отсутствии ошибок. Для того чтобы тестовая программа с данным примером собиралась без ошибок нужно добавить библиотеку pthread в target_link_libraries. Кроме того, для сборки следующего примера сюда же необходимо добавить библиотеку tbb.","type":"unstyled","key":"7mltm"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Посмотрим корректно ли отлавливает Valgrind ту же проблему в случае потоков из стандартной библиотеки C++. Напишем еще один тест.","type":"unstyled","key":"eon1u"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"TEST(EqualityTestStdLibrary, Equal) {","type":"ordered-list-item","key":"1eng0"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"var = 0;","type":"ordered-list-item","key":"fvlls"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"std::thread other([&var]() {\n \tvar++;","type":"ordered-list-item","key":"7aon9"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"});","type":"ordered-list-item","key":"e65cl"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"var++;","type":"ordered-list-item","key":"fhfj7"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"other.join();","type":"ordered-list-item","key":"ehk87"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"EXPECT_EQ(var, 2);","type":"ordered-list-item","key":"98dqh"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"}","type":"ordered-list-item","key":"5ies4"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Запускаем сборку и видим все то же сообщение об ошибках.","type":"unstyled","key":"47plj"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"==18956== Possible data race during read of size 4 at 0x1A5348 by thread #1","type":"unstyled","key":"6uk29"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"==18956== Locks held: none","type":"unstyled","key":"f8au4"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Исправим их введением мьютекса.","type":"unstyled","key":"319bj"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"std::mutex std_mutex;","type":"ordered-list-item","key":"de0ek"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"TEST(EqualityTestStdLibrary, Equal) {","type":"ordered-list-item","key":"b7p08"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"var = 0;","type":"ordered-list-item","key":"5ok9i"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"std::thread other([&var]() {","type":"ordered-list-item","key":"ckiac"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"std::lock_guard lock(std_mutex);\n \tvar++;","type":"ordered-list-item","key":"7uu31"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"});","type":"ordered-list-item","key":"u279"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"std::lock_guard lock(std_mutex);","type":"ordered-list-item","key":"37be0"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"var++;","type":"ordered-list-item","key":"fk3h6"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"other.join();","type":"ordered-list-item","key":"9gu33"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"EXPECT_EQ(var, 2);","type":"ordered-list-item","key":"8l8ah"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"}","type":"ordered-list-item","key":"u3qm"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"На этот раз получим сообщение об отсутствии ошибок.","type":"unstyled","key":"48ct"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Теперь рассмотрим проблему гонки за данными применительно к параллельным алгоритмам из стандартной библиотеки C++. Допустим мы хотим написать код нахождения суммы всех элементов вектора, содержащего миллион элементов при помощи алгоритма std::for_each.","type":"unstyled","key":"6fqlv"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Добавим в проект файл algo_test.cpp.","type":"unstyled","key":"3jsn7"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":24,"offset":0,"style":"ITALIC"}],"text":"#include ","type":"ordered-list-item","key":"9st2t"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":17,"offset":0,"style":"ITALIC"}],"text":"#include ","type":"ordered-list-item","key":"bn2o6"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":20,"offset":0,"style":"ITALIC"}],"text":"#include ","type":"ordered-list-item","key":"etug1"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":20,"offset":0,"style":"ITALIC"}],"text":"#include ","type":"ordered-list-item","key":"f05mt"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":27,"offset":0,"style":"ITALIC"}],"text":"TEST(EqualityTest, Equal) {","type":"ordered-list-item","key":"baoj0"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":34,"offset":0,"style":"ITALIC"}],"text":"constexpr int vec_size{1'000'000};","type":"ordered-list-item","key":"flagi"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":31,"offset":0,"style":"ITALIC"}],"text":"std::vector acc{vec_size};","type":"ordered-list-item","key":"4dtpu"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":33,"offset":0,"style":"ITALIC"}],"text":"for(int i = 0; i < vec_size; ++i)","type":"ordered-list-item","key":"au79u"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":11,"offset":0,"style":"ITALIC"}],"text":"acc[i] = i;","type":"ordered-list-item","key":"bshme"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":111,"offset":0,"style":"ITALIC"}],"text":"long long sum = 0;\n\tstd::for_each(std::execution::par, acc.begin(), acc.end(), [&sum](int x){\n\t\t sum += x;\n\t});","type":"ordered-list-item","key":"a79sl"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":15,"offset":0,"style":"ITALIC"},{"length":2,"offset":30,"style":"ITALIC"}],"text":"EXPECT_EQ(sum, 499'999'500'000);","type":"ordered-list-item","key":"m75k"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":1,"offset":0,"style":"ITALIC"}],"text":"}","type":"ordered-list-item","key":"ad9la"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":14,"offset":165,"style":"ITALIC"},{"length":19,"offset":258,"style":"ITALIC"}],"text":"Логика программы предельно проста. Объявляем вектор, содержащий миллион элементов, в цикле инициализируем элементы последовательными числами от 0 до 999999. Далее в std::for_each осуществляем параллельное суммирование (так как первый аргумент имеет значение std::execution::par) элементов вектора.","type":"unstyled","key":"dqhsi"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"После запуска тестов видим очень длинную историю сообщений об ошибках следующего вида:","type":"unstyled","key":"60r20"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"==23036== Possible data race during write of size 8 at 0x6547D38 by thread #5","type":"unstyled","key":"aq8r6"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"==23036== Locks held: none","type":"unstyled","key":"1jmvf"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"==23036== Possible data race during write of size 8 at 0x6547D38 by thread #1","type":"unstyled","key":"38t27"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"==23036== Locks held: none","type":"unstyled","key":"1ja7o"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Как можно понять из анализа сообщений, проблема опять кроется в неупорядоченном доступе к общей переменной. Нетрудно догадаться, что это переменная sum. Из этого примера следует крайне важный вывод. ","type":"unstyled","key":"dc6fc"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Несмотря на то, что стандартная библиотека предоставляют возможность выполнять алгоритмы параллельно, она не избавляет от необходимости защиты общих данных от неупорядоченного доступа. Эта задача, по-прежнему, лежит на плечах программиста. Упорядочим доступ при помощи атомарной переменной, так как данный способ зачастую выигрывает в скорости у мьютекса. ","type":"unstyled","key":"7a2a4"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Для этого нужно изменить объявление sum следующим образом: std::atomic sum(0) . Переменная становится атомарной и не может одновременно модифицироваться несколькими потоками. Однако, при прогоне этого кода опять возникает масса ошибок вида:","type":"unstyled","key":"87liq"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"==16180== Possible data race during write of size 1 at 0x5AF4F18 by thread #4","type":"unstyled","key":"81ipe"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"==16180== Locks held: none","type":"unstyled","key":"sa1k"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Долго пытался понять причину такого поведения Valgrind, пока не выяснил что алгоритмы типа std::for_each реализуются при помощи библиотеки tbb от Intel. Данная библиотека использует примитивы синхронизации собственной разработки. В тоже время в руководстве по Valgrind сказано следующее.","type":"unstyled","key":"b3i1j"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Убедитесь, что ваше приложение и все его библиотеки используют примитивы потоков POSIX. Helgrind должен иметь возможность видеть все события, относящиеся к созданию потоков, выходу, блокировке и другим событиям синхронизации. Для этого он перехватывает множество функций потоков POSIX.","type":"unstyled","key":"dlms9"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Не создавайте собственные примитивы потоков (мьютексы и т. д.) из комбинаций системных вызовов Linux futex, атомарных счетчиков и т. д. Это сбивает внутренние модели Helgrind с толку и дает ложные результаты (так называемые ложно-положительные срабатывания).","type":"unstyled","key":"4nol1"},{"data":{},"depth":0,"entityRanges":[{"key":18,"length":25,"offset":71},{"key":19,"length":5,"offset":183},{"key":20,"length":5,"offset":367}],"inlineStyleRanges":[],"text":"То есть использование самописных примитивов синхронизации в библиотеке Threading Building Blocks (tbb) ведет к нахождению Valgrind несуществующих ошибок. Данная проблема обсуждалась здесь. Для проверки кода, использующего параллельные алгоритмы из STL, приходится отказаться от использования Valgrind и собрать проект, используя thread sanitizer (TSan) компилятора Clang. После прогона теста получаем отчет об отсутствии ошибок.","type":"unstyled","key":"63tda"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Подводя итоги, можно сделать следующие выводы:","type":"unstyled","key":"a1upo"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Расшифровка и анализ сообщений об ошибках прогона программы с использованием Valgrind является совершенно необходимым навыком, позволяющим отлавливать проблемы, которые не всегда можно выявить при помощи тестов;","type":"ordered-list-item","key":"291br"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Метод пристального взгляда все еще нужен в тех случаях, когда есть подозрения на ложные срабатывания;","type":"ordered-list-item","key":"4p64t"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Использование одного инструмента анализа программы в некоторых случаях оказывается недостаточным и ведет к ложно-положительным срабатываниям. Поэтому необходимо анализировать отчеты, получившиеся в результате работы, хотя бы двух инструментов.","type":"ordered-list-item","key":"6ui7m"},{"data":{},"depth":0,"entityRanges":[{"key":21,"length":11,"offset":46}],"inlineStyleRanges":[],"text":"Код, приведенный в статье, можно посмотреть в репозитории.","type":"unstyled","key":"22quf"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Продолжение следует...","type":"unstyled","key":"40sd0"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"marker","key":"kNuSMWQDjmqdYF0tpwqN"}],"entityMap":{"11":{"data":{"url":"https://ru.wikipedia.org/wiki/%D0%A1%D0%BE%D1%81%D1%82%D0%BE%D1%8F%D0%BD%D0%B8%D0%B5_%D0%B3%D0%BE%D0%BD%D0%BA%D0%B8"},"mutability":"MUTABLE","type":"LINK"},"12":{"data":{"url":"https://ru.wikipedia.org/wiki/%D0%9C%D0%BD%D0%BE%D0%B3%D0%BE%D0%BF%D0%BE%D1%82%D0%BE%D1%87%D0%BD%D0%BE%D1%81%D1%82%D1%8C"},"mutability":"MUTABLE","type":"LINK"},"13":{"data":{"url":"https://ru.wikipedia.org/wiki/%D0%9A%D1%8D%D1%88"},"mutability":"MUTABLE","type":"LINK"},"14":{"data":{"url":"https://ru.wikipedia.org/wiki/%D0%93%D1%80%D0%B0%D1%84%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B8%D0%B9_%D0%B8%D0%BD%D1%82%D0%B5%D1%80%D1%84%D0%B5%D0%B9%D1%81_%D0%BF%D0%BE%D0%BB%D1%8C%D0%B7%D0%BE%D0%B2%D0%B0%D1%82%D0%B5%D0%BB%D1%8F"},"mutability":"MUTABLE","type":"LINK"},"15":{"data":{"url":"https://ru.wikipedia.org/wiki/%D0%93%D1%80%D0%B0%D1%84%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B8%D0%B9_%D0%B8%D0%BD%D1%82%D0%B5%D1%80%D1%84%D0%B5%D0%B9%D1%81_%D0%BF%D0%BE%D0%BB%D1%8C%D0%B7%D0%BE%D0%B2%D0%B0%D1%82%D0%B5%D0%BB%D1%8F"},"mutability":"MUTABLE","type":"LINK"},"16":{"data":{"url":"https://ru.wikipedia.org/w/index.php?title=KCacheGrind&action=edit&redlink=1"},"mutability":"MUTABLE","type":"LINK"},"17":{"data":{"url":"https://www.linux.org.ru/forum/development/14316749"},"mutability":"MUTABLE","type":"LINK"},"18":{"data":{"url":"https://en.wikipedia.org/wiki/Threading_Building_Blocks"},"mutability":"MUTABLE","type":"LINK"},"19":{"data":{"url":"https://community.intel.com/t5/Intel-oneAPI-Threading-Building/TBB-Valgrind-find-threads-errors-using-DRD-tool-or-Helgrind-tool/td-p/1404949"},"mutability":"MUTABLE","type":"LINK"},"0":{"data":{"url":"https://dzen.ru/a/Z4QqiDatYHRrWrzX"},"mutability":"MUTABLE","type":"LINK"},"1":{"data":{"url":"https://valgrind.org/"},"mutability":"MUTABLE","type":"LINK"},"2":{"data":{"url":"https://ru.wikipedia.org/wiki/Valgrind"},"mutability":"MUTABLE","type":"LINK"},"3":{"data":{"url":"https://ru.wikipedia.org/wiki/%D0%98%D0%BD%D1%81%D1%82%D1%80%D1%83%D0%BC%D0%B5%D0%BD%D1%82%D0%B0%D0%BB%D1%8C%D0%BD%D0%BE%D0%B5_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%BD%D0%BE%D0%B5_%D0%BE%D0%B1%D0%B5%D1%81%D0%BF%D0%B5%D1%87%D0%B5%D0%BD%D0%B8%D0%B5"},"mutability":"MUTABLE","type":"LINK"},"4":{"data":{"url":"https://ru.wikipedia.org/wiki/%D0%9E%D1%82%D0%BB%D0%B0%D0%B4%D1%87%D0%B8%D0%BA_%D0%B8%D1%81%D0%BF%D0%BE%D0%BB%D1%8C%D0%B7%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8F_%D0%BF%D0%B0%D0%BC%D1%8F%D1%82%D0%B8"},"mutability":"MUTABLE","type":"LINK"},"5":{"data":{"url":"https://ru.wikipedia.org/wiki/%D0%A3%D1%82%D0%B5%D1%87%D0%BA%D0%B0_%D0%BF%D0%B0%D0%BC%D1%8F%D1%82%D0%B8"},"mutability":"MUTABLE","type":"LINK"},"6":{"data":{"url":"https://ru.wikipedia.org/wiki/Thread-safety"},"mutability":"MUTABLE","type":"LINK"},"7":{"data":{"url":"https://ru.wikipedia.org/wiki/%D0%9F%D1%80%D0%BE%D1%84%D0%B8%D0%BB%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5_(%D0%B8%D0%BD%D1%84%D0%BE%D1%80%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0)"},"mutability":"MUTABLE","type":"LINK"},"8":{"data":{"url":"https://ru.wikipedia.org/wiki/%D0%98%D0%BD%D1%81%D1%82%D1%80%D1%83%D0%BC%D0%B5%D0%BD%D1%82%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5_(%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5)"},"mutability":"MUTABLE","type":"LINK"},"9":{"data":{"url":"https://ru.wikipedia.org/wiki/%D0%9F%D1%80%D0%BE%D1%84%D0%B8%D0%BB%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5_(%D0%B8%D0%BD%D1%84%D0%BE%D1%80%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0)"},"mutability":"MUTABLE","type":"LINK"},"20":{"data":{"url":"https://github.com/google/sanitizers/wiki/threadsanitizercppmanual"},"mutability":"MUTABLE","type":"LINK"},"10":{"data":{"url":"https://ru.wikipedia.org/wiki/%D0%9A%D1%83%D1%87%D0%B0_(%D0%BD%D0%B5%D1%80%D0%B0%D1%81%D0%BF%D1%80%D0%B5%D0%B4%D0%B5%D0%BB%D1%91%D0%BD%D0%BD%D0%B0%D1%8F_%D0%BF%D0%B0%D0%BC%D1%8F%D1%82%D1%8C)"},"mutability":"MUTABLE","type":"LINK"},"21":{"data":{"url":"https://github.com/AndrewSalsaDancer2023/PracticalProgrammer/tree/main/calc_valgrind"},"mutability":"MUTABLE","type":"LINK"}}},"mentions":[]}