资源获取和pthreads

Question

我正按顺序获得一些资源.哪个版本更好？有人告诉我,#2导致需要更高编号资源的线程饥饿.这是真的？如果是这样,怎么样和为什么？

a[] sorted array 

1.

for(int i = 1; i < N; ++i) {
  lock(mutex)
  while(!resource_available[a[i]]) {
    pthread_cond_wait(&cond_w[a[i]], &mutex);
  }
  resource_available[a[i]] = 0;
  unlock(mutex)
}

2.

lock(mutex)
for(int i = 1; i < N; ++i) {
  while(!resource_available[a[i]]) {
    pthread_cond_wait(&cond_w[a[i]], &mutex);
  }
  resource_available[a[i]] = 0;
}
unlock(mutex)

编辑:事实证明,释放资源的顺序是有区别的,而不是上面的结构.如果你按顺序释放它们就会发生饥饿,如果相反则可能没有.

Answer 1

两者实际上是等效的，因为在示例 1 中，线程几乎总是会重新获取互斥锁，而不会在解锁互斥锁后立即休眠，因为中间只评估了两个表达式。