Увеличение потоков / мьютексов, почему это работает? - PullRequest
Новая
       6

Увеличение потоков / мьютексов, почему это работает?

1 голос
/ 05 июня 2010

Код: 

#include <iostream>
#include "stdafx.h"
#include <boost/thread.hpp>
#include <boost/thread/mutex.hpp>

using namespace std;
boost::mutex mut;
double results[10];

void doubler(int x) {
//boost::mutex::scoped_lock lck(mut);
 results[x] = x*2;
}

int _tmain(int argc, _TCHAR* argv[])
{
 boost::thread_group thds;
 for (int x = 10; x>0; x--) {
  boost::thread *Thread = new boost::thread(&doubler, x);
  thds.add_thread(Thread);
 }

 thds.join_all();

 for (int x = 0; x<10; x++) {
  cout << results[x] << endl;
 }

 return 0;
}

Выход: 

0
2
4
6
8
10
12
14
16
18
Press any key to continue . . .

Итак ... мой вопрос: почему это работает (насколько я могу судить, я запускал его около 20 раз), производя вышеуказанный вывод, даже с блокировкой, закомментированной? Я думал, что общая идея была: 

in each thread:
calculate 2*x
copy results to CPU register(s)
store calculation in correct part of array
copy results back to main(shared) memory

Я думаю, что при любых условиях, кроме идеальных, это приведет к тому, что некоторая часть массива результатов будет иметь 0 значений. Это только копирование необходимого двойного массива в регистр процессора? Или это просто слишком мало для вычисления, чтобы быть вытесненным, прежде чем он записывает результат обратно в оперативную память? Благодаря.

Ответы [ 2 ]

3 голосов
/ 05 июня 2010

Назначение имеет lvalue типа double слева, и это lvalue является единственным объектом, к которому имеет доступ поток. Поскольку каждый поток обращается к отдельному объекту, гонки данных не происходит.

Обратите внимание, что подписка на массив не является доступом.

1 голос
/ 05 июня 2010

Работает из-за строки thds.join_all();. Основной поток выполнения задерживается здесь до тех пор, пока все остальные потоки не будут завершены, а затем продолжает распечатывать массив. Поэтому вы знаете, что все значения массива были сохранены до того, как вы их напечатаете. Если вы закомментируете эту строку, вы получите непредсказуемые результаты.

...