C pthread_barrier同步问题

时间:2014-03-15 01:00:45

标签: c multithreading pthreads barrier

我刚学习pthread_barriers以及它们是如何运作的。基本上我有两个数组和两个线程,一个线程找到数组A的最大值,另一个线程找到数组B的最小值并将它们存储在全局变量中。他们需要在进行交易之前进行同步(A的最大值传递给B,B的最小值传递给A),因此数组B的值都比A高 - 几乎就像排序问题一样,如果你愿意的话。我一直得到非常不正确的结果,我确定我错过了一些简单的东西;

我使用

初始化屏障
  pthread_barrier_t bar;
  pthread_barrier_init( &bar, NULL, 2);

A

的主题代码
void *minimize_a( void *arg )
int i;
int size_a = *((int *) arg);  // first location is count of values
int *a = ((int *) arg) + 1;   // a[] will be array of values
while(1){
   i = index_of_max( a, size_a );
   max = a[i];                      // offer max for trade
   pthread_barrier_wait( &bar );
   if( max <= min ) return NULL;    // test to end trading rounds
   a[i] = min;                      // trade
}

B的线程代码

  void *maximize_b( void *arg )
  int i;
  int size_b = *((int *) arg);  // first location is count of values
  int *b = ((int *) arg) + 1;   // b[] will be array of values
while(1){
   i = index_of_min( b, size_b );
   min = b[i];                      // new min found
   pthread_barrier_wait( &bar );
   if( max <= min ) return NULL;    // test to end trading rounds
   b[i] = max;                      // trade
 }

如果我理解正确,一旦两个线程都达到pthread_barrier_wait,它们就会成功同步,并且可以继续,正确吗?我总是得到如下疯狂的结果:

之前

a: 1, 3, 5, 6, 7, 8, 9

b: 2, 4

a: 0, 0, 0, 0, 0, 0, 0

b: 2, 4

值数组

int values[] = {       // format of each set of values:
                     //   count of value n, then n integer values
  7, 1,3,5,6,7,8,9,  // this set of values starts at index 0
  2, 2,4,            // starts at index 8
  5, 1,3,5,7,9,      // starts at index 11
  5, 0,2,4,6,8       // starts at index 17
}

如何制作线程

rc = pthread_create( &threads[0], NULL, &minimize_a, (void *) &values[0] );
if( rc ){ printf( "** could not create m_a thread\n" ); exit( -1 ); }

rc = pthread_create( &threads[1], NULL, &maximize_b, (void *) &values[8] );
if( rc ){ printf( "** could not create m_b thread\n" ); exit( -1 ); }

有任何提示,建议或帮助吗?

1 个答案:

答案 0 :(得分:0)

您需要额外的同步来访问共享变量min和max。

在到达屏障后,minimize_a线程从min读取一个值。同时,maximize_b线程将继续将新值写入min。没有什么可以保证在maximum_b用新值替换它之前读取min中的值。在每个while循环结束时尝试另一个pthread_barrier_wait。