C中的细粒度锁定

Question

我有以下代码用于交换元素：

   atomic{
       int temp = a[i];
       a[i] =a[j];
       a[j] = temp;
  }

我将如何使用细粒度锁定来实现此目的以达到相同的效果？

Answer 1

您可以使用互斥锁来达到这种效果，

mutex.lock();
atomic
{
   int temp = a[i];
   a[i] =a[j];
   a[j] = temp;
}
mutex.unlock();

如果有多个线程，则可以按以下方式使用POSIX样式的读/写锁，

pthread_rwlock_rdlock(rw_lock_ptr);
atomic
{
   int temp = a[i];
   a[i] =a[j];
   a[j] = temp;
}
pthread_rwlock_unlock(rw_lock_ptr);

Answer 2

在我的理解中，您的意思是一些经典的显式锁定方法，例如互斥体。

这不仅需要交换代码，而且还需要由互斥对象保护访问a[]所有位置。 否则，在进行交换时，您不能确定某个其他线程不在a[]的读取过程中。

不确定100％关于您的atomic {}`块的语义以及如何防止出现相同的问题（只是如果交换本身是原子发生的，它仍然可能与在不同线程中执行的代码严重地“混合”在一起，并且导致问题）。

Answer 3

假设其他线程可以访问a [i]和a [j]，则只要您的代码访问这些元素，就获取一个互斥量。