Новости

5.05.2009 На сайте одного из крупнейших реселлеров России и СНГ SoftKey вышла статья о наших статических анализаторах Viva64 и VivaMP. »

30.04.2009 В журнале RSDN Magazine №4 – 2008 вышла статья разработчиков ООО «СиПроВер» «Отладка и оптимизация многопоточных OpenMP-программ».»

20.04.2009 ООО «СиПроВер» объявляет о выходе новой версии статического анализатора Viva64 2.30. Инструмент Viva64 предназначен для поиска ошибок в коде 64-битных приложений и для увеличения их эффективности.»

Новости RSS

Последние статьи

08.06.2009 Знакомство с анализатором кода PVS-Studio
В статье приведено краткое описание анализатора кода PVS-Studiio.»

08.06.2009 Что такое "Parallel Lint"?
В статье рассказывается о нескольких статических анализаторах, которые могут претендовать на звание "Parallel Lint".»

11.05.2009 64-битный конь, который умеет считать
Статья посвящена особенностям поведения компилятора Visual C++ при генерации 64-битного кода и связанными с этим потенциальными ошибками.»

Статьи RSS

Инструмент VivaMP

Главная » Инструмент VivaMP

Статический анализатор кода VivaMP предназначен для разработчиков параллельных приложений, построенных  с  использованием технологии OpenMP. VivaMP позволяет найти даже те ошибки в параллельных программах, о которых молчат другие инструменты.

Параллельное программирование для персональных компьютеров стало реальной задачей с приходом многоядерных процессоров. Естественно появилась и поддержка параллельного программирования в компиляторах. Одной из наиболее распространенных технологий параллельного программирования является OpenMP. Она поддерживается компиляторами Microsoft Visual C++, Intel C++, PGI C++ Workstation и многими другими. Однако поскольку параллельное программирование для персональных компьютеров только начинает получать широкое распространение, то и поддержка диагностики «параллельных ошибок» в компиляторах реализована достаточно слабо. Сейчас уровень диагностики ошибок компиляторами в параллельных OpenMP-программах, находится примерно на том же уровне, какой была диагностика обычных ошибок в традиционных компиляторах лет 30 назад. Именно в то время возникли и получили признание инструменты статического анализа кода, дополняющие диагностические возможности компилятора. Одним из самых известных инструментов данного класса является анализатор lint для программ на языке Си. Пришло время параллельных программ, и мы предлагаем новый продукт - VivaMP.

VivaMP - это lint-подобный статический анализатор Си/Си++ кода для выявления ошибок в параллельных программах, построенных на технологии OpenMP. Статический анализатор VivaMP дополняет возможности существующих компиляторов и диагностирует параллельный код, содержащий ошибки или являющийся потенциальным источником таких ошибок. Анализатор интегрируется в среду разработки Visual Studio 2005/2008 и систему помощи MSDN (подробнее).

Области применения VivaMP:

  • Контроль корректности кода разрабатываемых приложений на базе технологии OpenMP.
  • Помощь в освоении технологии OpenMP и интеграция ее в уже существующие проекты.
  • Создание более эффективных в использовании ресурсов параллельных приложений.
  • Поиск ошибок в существующих OpenMP приложениях.

Преимущества VivaMP

Используемая в инструменте VivaMP методология статического анализа кода имеет существенные преимущества над другими видами анализа. Ошибки в параллельных программах обычно трудно воспроизводимы, и их трудно обнаружить в процессе отладки. Основное преимущество статического анализа заключается в отсутствие необходимости запуска приложений и независимости от аппаратной среды. Статический анализ позволяет охватить весь программный код. Процедура проверки кода не может как-либо повредить сам код. Процесс анализа полностью контролируется человеком, и именно он принимает решения о необходимости его модификации.

Инструмент VivaMP имеет большую базу знаний по разработке кода c применением технологии OpenMP: справочная система, статьи, примеры. Это не только сделает знакомство и использование анализатора более простым, но и позволит существенно поднять уровень знаний программистов в области параллельного программирования.

При установке VivaMP интегрируется в среду Microsoft Visual Studio и справочную систему MSDN. VivaMP предоставляет удобный пользовательский интерфейс для анализа файлов, навигации по коду, получению справочной информации. Работа с анализатором не требует предварительного изучения документации, настройки, выбора уровня диагностики и так далее. Анализатор готов к работе сразу же после инсталляции.

 Посмотреть демонстрацию VivaMP (5 Мб, 5 минут)

Статьи:

Загрузить презентацию "Представление VivaMP" (1 Мб)