OOO "Program Verification Systems"
Используйте PVS-Studio для проверки 64-битных и параллельных приложений
05.02.2010
Ключ /Wp64 и ошибка с обработкой шаблонов
Занимаясь продвижением анализатора Viva64 (из состава PVS-Studio) мы часто комментируем ключ /Wp64 из Microsoft Visual C++.»
03.02.2010
Параллельные заметки №1 – технология OpenMP
В ближайшие несколько постов мы расскажем о практическом использовании многоядерных процессоров.»
29.01.2010
64-битные технологии - еще одно направление в современном программном обеспечении
В блогах и форумах довольно много говорится о многоядерных процессорах, как очевидном этапе развития компьютерных систем.»
2.02.2010 На нашем сайте стали доступны "Уроки разработки 64-битных приложений на языке Си/Си++".»
1.02.2010 Выпущена новая версия PVS-Studio 3.45!»
21.01.2010 Выпущена новая версия PVS-Studio 3.44!»
10.12.2009
Вопросы и ответы по PVS-Studio (PVS-Studio FAQ)
В документе собраны некоторые вопросы и ответы по анализатору кода PVS-Studio компании ООО "СиПроВер".»
09.12.2009
Вопросы и ответы по библиотеке VivaCore (VivaCore FAQ)
В документе собраны некоторые вопросы и ответы по библиотеке анализа Си/Си++ кода VivaCore компании ООО "СиПроВер".»
23.11.2009
PVS-Studio: использование функции "Mark as False Alarm"
В статье приведены описание и пример использования новой функции PVS-Studio 3.40 "Mark as False Alarm" ("Пометить как ложное срабатывание").»
OpenMP. 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. Анализатор позволяет обнаружить большое количество ошибок, начиная от обнаружения неэффективных конструкций и заканчивая диагностикой состояний гонок (race condition).