创建线程时的几个陷阱
前几天帮同事查一个多线程的BUG,不到十秒钟我就找到了问题的根源。N年前我曾犯过类似的错误,呵,今天仍然有人在重复。这些问题都比较典型,把它们写出来,供新手参考吧。
l 用临时变量作为线程参数的问题。
#include <stdio.h>
#include <pthread.h>
#include <assert.h>
void* start_routine(void* param)
{
char* str = (char*)param;
printf("%s:%s\n", __func__, str);
return NULL;
}
pthread_t create_test_thread()
{
pthread_t id = 0;
char str[] = "it is ok!";
pthread_create(&id, NULL, start_routine, str);
return id;
}
int main(int argc, char* argv[])
{
void* ret = NULL;
pthread_t id = create_test_thread();
pthread_join(id, &ret);
return 0;
}
分析:由于新线程和当前线程是并发的,谁先谁后是无法预测的。可 能create_test_thread 已经执行完成,str已经被释放了,新线程才拿到这参数,此时它的内容已经无法确定了,自然打印出的字符串是随机的。
l 线程参数共享的问题。
#include <stdio.h>
#include <pthread.h>
#include <assert.h>
void* start_routine(void* param)
{
int index = *(int*)param;
printf("%s:%d\n", __func__, index);
return NULL;
}
#define THREADS_NR 10
void create_test_threads()
{
int i = 0;
void* ret = NULL;
pthread_t ids[THREADS_NR] = {0};
for(i = 0; i < THREADS_NR; i++)
{
pthread_create(ids + i, NULL, start_routine, &i);
}
for(i = 0; i < THREADS_NR; i++)
{
pthread_join(ids[i], &ret);
}
return ;
}
int main(int argc, char* argv[])
{
create_test_threads();
return 0;
}
分析:由于新线程和当前线程是并发的,谁先谁后是无法预测的。i在不断变化,所以新线程拿到的参数值是无法预知的,自然打印出的字符串也是随机的。
l 虚假并发。
#include <stdio.h>
#include <pthread.h>
#include <assert.h>
void* start_routine(void* param)
{
int index = *(int*)param;
printf("%s:%d\n", __func__, index);
return NULL;
}
#define THREADS_NR 10
void create_test_threads()
{
int i = 0;
void* ret = NULL;
pthread_t ids[THREADS_NR] = {0};
for(i = 0; i < THREADS_NR; i++)
{
pthread_create(ids + i, NULL, start_routine, &i);
pthread_join(ids[i], &ret);
}
return ;
}
int main(int argc, char* argv[])
{
create_test_threads();
return 0;
}
分析:因为pthread_join会阻塞直到线程退出,所以这些线程实际上是串行执行的,一个退出了,才创建下一个。当年一个同事写了一个多线程的测试程序,就是这样写的,结果没有测试出一个潜伏的问题,直到产品运行时,这个问题才暴露出来。