如何在c中测试线程安全的实现?

时间:2012-11-04 10:53:54

标签: c multithreading testing thread-safety

我有一个线程安全的程序,我想测试(见下文)。我不知道如何继续开始测试程序,因为这将是我的第一个测试程序。结果应该是使用这个线程安全的程序实现的演示,以及为什么它是测试线程安全程序的最好的替代方案,如示例。

#include <errno.h>
#include <pthread.h>
static pthread_mutex_t listlock = PTHREAD_MUTEX_INITIALIZER;

int accessdata_r(void) {  /* return nonnegative traversal key if successful */ 
   int error;   
   int key;
   if (error = pthread_mutex_lock(&listlock)) {        /* no mutex, give up */
      errno = error;
      return -1; 
   }
   key = accessdata();
   if (key == -1) {
      error = errno;
      pthread_mutex_unlock(&listlock);
      errno = error;
      return -1;
   }
   if (error = pthread_mutex_unlock(&listlock)) {
      errno = error;
      return -1;
   }
   return key;
}

int adddata_r(data_t data) {        /* allocate a node on list to hold data */
   int error;
   if (error = pthread_mutex_lock(&listlock)) {        /* no mutex, give up */
      errno = error;
      return -1;
   }
   if (adddata(data) == -1) {
      error = errno;
      pthread_mutex_unlock(&listlock);
      errno = error;
      return -1;
   }
   if (error = pthread_mutex_unlock(&listlock)) {
      errno = error;
      return -1;
   }
   return 0; 
}

int getdata_r(int key, data_t *datap) {             /* retrieve node by key */
   int error;
   if (error = pthread_mutex_lock(&listlock)) {        /* no mutex, give up */
      errno = error;
      return -1;
   }
   if (getdata(key, datap) == -1) {
      error = errno;
      pthread_mutex_unlock(&listlock);
      errno = error;
      return -1;
   }
   if (error = pthread_mutex_unlock(&listlock)) {
      errno = error;
      return -1;
   }
   return 0; 
}

int freekey_r(int key) {                                    /* free the key */
   int error;
   if (error = pthread_mutex_lock(&listlock)) {        /* no mutex, give up */
      errno = error;
      return -1;
   }
   if (freekey(key) == -1) {
      error = errno;
      pthread_mutex_unlock(&listlock);
      errno = error;
      return -1;
   }
   if (error = pthread_mutex_unlock(&listlock)) {
      errno = error; 
      return -1;   
   } 
   return 0;  
}

1 个答案:

答案 0 :(得分:1)

这是测试实现的相对简单的选项,这不是唯一的现有选项。

  1. 创建一个将X项添加到列表中的函数(可以是常规计数器)
  2. 创建一个在循环中检索相同数据的函数。

  3. 创建几个线程(pthread_create)并分配给每个函数。

  4. 这样你就可以看到是否没有dedlocks,为了检查正确性,你应该在插入过程中添加一些类型的时间戳(你需要插入一个用时间戳填充的值),为每个线程保留一些数组保持结果,最后打印结果,看看时间戳是否保持正确。