|
|
|||
![]() PVS-Studio, статический анализатор кода для 64-битного и параллельного программирования на Си/Си++
|
|||
![]() ![]() ![]() ![]() ![]()
02.09.2010
Щупаем новый Intel Parallel Studio XE 2011 beta Вот, наконец, добрался попробовать Си++ компилятор, входящий в состав Intel Parallel Studio XE 2011 beta.»
30.08.2010
Пять дней на исправление ошибки в два символа, или миф о всемогущих технологиях при разработке программ В этом блоге нередко можно почитать о том, как тот или иной программный инструмент, или технология разработки программ помогает делать меньше ошибок, быстрее их находить, легче исправлять.»
30.08.2010
Д'Артаньян и интернет, или работа над проблемой битых ссылок Господа, хватит уже рассматривать ссылки исключительно в контексте их количества, купли/продажи и считать PR сайта, где они расположены.» ![]()
22.07.2010
Использование PVS-Studio вместе с системами continuous integration В статье показаны приемы организации работы анализатора кода PVS-Studio вместе с системами непрерывной интеграции (continuous integration).»
06.07.2010
Сравнение возможностей PVS-Studio и Visual Studio 2010 по выявлению дефектов в 64-битных программах В статье сравниваются три механизма анализа кода с точки зрения выявления 64-битных ошибок: компилятор Visual C++2010, компонент Code Analysis for C/C++ входящий в состав Visual Studio 2010 Premium/Ultimate и анализатор Viva64 входящий в состав PVS-Studio 3.60. »
29.06.2010
Коллекция примеров 64-битных ошибок в реальных программах
Статья представляет собой наиболее полную коллекцию примеров 64-битных ошибок на языках Си и Си++. » ![]() |
Терминология![]() OpenMPOpenMP. OpenMP - стандарт для программирования на масштабируемых SMP-системах (SSMP, ccNUMA, и т.д.) в модели общей памяти (shared memory model). В модели программирования с общей памятью, все процессы совместно используют общее адресное пространство, к которому они асинхронно обращаются с запросами на чтение и запись. В стандарт OpenMP входят спецификации набора директив компилятора, функций и переменных среды. Разработку спецификации OpenMP ведут несколько крупных производителей вычислительной техники и программного обеспечения, чья работа регулируется некоммерческой организацией, называемой OpenMP Architecture Review Board (ARB). Основной целью создания OpenMP было освободить программиста от подробностей многопоточности, позволяя сосредоточиться на более важных высокоуровневых вопросах. К основным преимуществам OpenMP можно отнести: "Инкрементальное распараллеливание" программы. OpenMP идеально подходит для разработчиков, желающих быстро распараллелить свои вычислительные программы с большими параллельными циклами. Разработчик не создает новую параллельную программу, а просто последовательно добавляет в текст последовательной программы OpenMP-директивы. OpenMP-программа на однопроцессорной платформе может быть использована в качестве последовательной программы, т.е. нет необходимости поддерживать последовательную и параллельную версии. Хорошая переносимость. Причем даже если компилятор не поддерживает директивы OpenMP, он все равно скомпилирует работоспособную программу, которая будет исполняться последовательно. Одним из достоинств OpenMP также считается поддержка так называемых "orphan" (оторванных) директив, то есть директивы синхронизации и распределения работы могут не входить непосредственно в лексический контекст параллельной области. Разработка параллельных программ является не только сложной алгоритмической задачей. Параллельные программы также сложно тестировать, так как ошибки могут проявляться в них нерегулярно и не поддаваться воспроизведению. Одним из методов поиска ошибок в параллельных программах является использование статических анализаторов, которые работают с исходным кодом и не зависят от среды исполнения. Наша компания ООО "СиПроВер" разработала анализатор кода VivaMP (входящий в состав PVS-Studio), предназначенный для выявления ошибок в параллельных приложениях, основанных на использовании технологии OpenMP. Статический анализатор VivaMP позволяет проверять код на языке Си/Си++ и представляет собой расширение к среде Visual Studio 2005/2008/2010. Анализатор позволяет обнаружить большое количество ошибок, начиная от обнаружения неэффективных конструкций и заканчивая диагностикой состояний гонок (race condition). Библиографический список
| ||