Question

我想通过使用互斥锁来访问数组的每个元素，从而使结构线程数组中的每个元素都安全。

这是我的结构：

typedef struct {
  void      *value;
  void      *key;
  uint32_t  value_length;
  uint32_t  key_length;
  uint64_t  access_count;
  void      *next;
  pthread_mutex_t *mutex;
} lruc_item;

我有一个这种结构的数组，并且想要使用互斥锁来使结构元素线程安全。

我尝试在一个函数中的一个数组元素上使用锁，然后在内部没有解锁它，只是为了确保我的锁工作正常，但奇怪的是没有死锁和第二个函数访问相同的数组元素能够访问它。

有人可以指导我如何使用互斥锁来锁定结构数组中的每个元素（以便使结构线程的每个元素都安全）。

示例代码解释我的观点：

/** FUNCTION THAT CREATES ELEMENTS OF THE STRUCTURE **/

lruc_item *create_item(lruc *cache) {
  lruc_item *item = NULL;

item = (lruc_item *) calloc(sizeof(lruc_item), 1);

item->mutex = (pthread_mutex_t *) malloc(sizeof(pthread_mutex_t));
  if(pthread_mutex_init(item->mutex, NULL)) {
    perror("LRU Cache unable to initialise mutex for page");
    return NULL;
     }

  }

 return item;
}


set()
{
item = create_item(cache);

  pthread_mutex_lock(item->mutex);
    item->value = value;
    item->key = key;
    item->value_length = value_length;
    item->key_length = key_length;
    item->access_count = ++cache->access_count;

  pthread_mutex_unlock(item->mutex);     /** (LINE P) tried commenting out this to check  proper working of mutex(deadlock expected if the same "item" is accessed in another function)  **/


}

get(lruc_item *item)
{

  pthread_mutex_lock(item->mutex);   /** deadlock doesn't occur when "LINE P" is commented out**/ 
    *value = item->value;
    item->access_count = ++cache->access_count;
  pthread_mutex_unlock(item->mutex);

}

Answer 1

重要的是要注意，互斥锁只能锁定其他线程的代码。 ~~如果您尝试在同一个线程中使用相同的互斥锁执行WaitForMultipleObjects，则不会阻止。我假设是Windows，因为你没有详细说明。~~

但是，如果你提供更多细节，也许我们可以确定问题的确切位置。

~~现在，假设再次使用Windows，如果要访问各个元素“线程安全”，您可能需要考虑InterlockedExchange - 类函数而不是互斥体。例如：~~

InterlockExchange(&s.value_length, newValue);

或

InterlockedExchange64(&s.access_count, new64Value);

或

InterlockedExchangePointer(&s.value, newPointer);

如果您要做的是确保对结构的多个元素访问（作为事务）是线程安全的，那么互斥可以为您做到这一点。互斥对跨进程边界很有用。如果您只在一个流程中处理，那么关键部分可能是更好的主意。

互斥体用于结构数组中的每个元素

1 个答案: