713 Тем для обсуждения

6,530 Открытых обсуждений

Загадочная многопоточность и Parallel Inspector

Vladimir Tsymbal (Intel) (13 пост(а)) 10.07.2009 15:38

Приглашаю народ слегка поломать голову над такой вот задачкой (ибо моя уже почти сломалась ) . Берем параллелный код, написанный с помощью OpenMP, с "очевидно" заложенной туда проблемой data race, и прогоняем его в Parallel Inspector (я компилировал c Intel Compiler Pro 11.1.035)

#include "stdafx.h"
#include <omp.h>
int g_var;
void TestFunc(int par)
{

	printf("%d \n", omp_get_thread_num());
	if (par == 0)
		g_var++;
	if (par != 0)
		g_var--;
}

int _tmain(int argc, _TCHAR* argv[])
{
omp_set_num_threads(2);

#pragma omp parallel for
	for (int i=0; i<2; i++)
		TestFunc(i);

/* the same issue */
/*
#pragma omp parallel sections
{
	#pragma omp section
	TestFunc(0);
	#pragma omp section
	TestFunc(1);
}
*/
return 0;
}

Смотрим и удивляемся - ни одной ошибки многопоточности не обнаружено!

Можно для разнообразия параллелную конструкцию попробовать заменить на #pragma omp parallel sections (закоментированная часть), но результат будет тем же.

Вывод исполнения функции omp_get_thread_num() позволяет нам судить о том, что все-таки код выполнялся в двух потоках.

Проверяем дизассемблер, на предмет оптимизации функции TestFunc(). Интеловский компилятор выдал такой код.

#	if (par == 0)
0040105A  mov         eax,dword ptr [par]
0040105D  test        eax,eax
0040105F  jne         TestFunc+4Bh (401067h)
		g_var++;
00401061  inc         dword ptr [g_var (4072A4h)]
	if (par != 0)
00401067  mov         eax,dword ptr [par]
0040106A  test        eax,eax
0040106C  je          TestFunc+58h (401074h)
		g_var--;
0040106E  dec         dword ptr [g_var (4072A4h)] 

	if (par == 0)
00411425  cmp         dword ptr [par],0
00411429  jne         TestFunc+58h (411438h)
		g_var++;
0041142B  mov         eax,dword ptr [g_var (417160h)]
00411430  add         eax,1
00411433  mov         dword ptr [g_var (417160h)],eax
	if (par != 0)
00411438  cmp         dword ptr [par],0
0041143C  je          TestFunc+6Bh (41144Bh)
		g_var--;
0041143E  mov         eax,dword ptr [g_var (417160h)]
00411443  sub         eax,1
00411446  mov         dword ptr [g_var (417160h)],eax

То есть операции инрементации и декрементации присутствуют.

Существуют разные варианты проверки и разные направления исследования этой проблемы. Не буду их называть - оставлю уважаемому сообществу возможность подумать над этим. Того, кто разберется с ней, ждет всенародная слава и звание титана параллельного программирования

Категории: Параллельное программирование, Разработка софта
Метки: Parallel Studio

Пожалуйста, обратитесь к странице Уведомление об оптимизации для более подробной информации относительно производительности и оптимизации в программных продуктах компании Intel.

Комментарии (63)

Обратная ссылка (1)

• Блоги Intel® Software Network » Разгадываем загадку многопоточности
  24.08.2009 04:13

Оставить комментарий  

Имя (обязательно)*

Электронная почта (обязательно; не будет отображено на этой странице)*

Ваш URL-адрес (необязательно)


Комментарий*