Linux程序设计中由线程使用不当引起的内存泄漏

时间：2010-05-28 来源：sinodragon21

Linux程序设计中由线程使用不当引起的内存泄漏

                                       Linux程序设计中,创建线程时调用pthread_create()函数,该函数原型如下: int pthread_create(pthread_t *thread, const pthread_attr_t *attr, void *(*start_routine)(void *), void *arg); 其中第二个参数attr为线程属性指针,一般情况下,我们创建线程时,若对线程属性没有特殊要求,都将此参数设为NULL,这也就使用了线程的默认属性- 非分离状态(joinable,或称可接合状态),之后,主线程必须在适当的时候调用pthread_join(),来接合(join,或等待,同步)子线程,同时释放线程本身占用的资源;否则,线程资源将驻留内存,直到整个进程退出为止.若进程会不断的创建线程,则每创建一次线程都会导致内存资源的消耗,很明显,这已经构成了内存泄漏!
关于这个问题,举出本人查到的佐证 1)) Linux man page里是这样讲的:
When a joinable thread terminates, its memory resources (thread descriptor and stack) are not deallocated until another thread performs pthread_join on it. Therefore, pthread_join must be called once for each joinable thread created to avoid memory leaks. 2)) <<Linux高级编程>>里是这样讲的:
可接合(需要等待)的线程,就像一个进程一样,当它执行结束时,并没有被 GNU/Linux自动清理,而它的退出状态却仍在系统内挂着(这有点像僵尸进程),直到另一个线程调用pthread_join()获取其返回值时,其资源才被释放.
对于线程资源的释放,有两种实现方法: (1) 线程创建时,默认属性是可接合的(joinable),那就需要主线程来等待,所以在创建这个线程后适当的时候就必须调用pthread_join()来等待子线程结束执行,否则就会引起内存泄漏!
在调用pthread_create()开线程后,若线程属性是 joinable,则必须调用pthread_join()来等待子线程结束执行,这是 Linux同步主线程和子线程的一个机制,但是,这并不等于说,我要在pthread_create()开线程后立即调用pthread_join()来等待该线程结束执行,的确,那样的话跟你用普通函数调用来实现是没有区别的,你完全可以在pthread_create()开线程后去做别的事情,等你觉得应该等待该线程结束执行时再调用pthread_join().这就是说,假如你的线程采用了默认属性joinable,你就必须在适当的时候调用 pthread_join()来同步主线程和子线程,同时释放子线程的资源(线程描述符和堆栈(thread descriptor and stack)).
假如你用了默认线程属性,即线程属性为joinable,而又没有在适当的时候调用pthread_join(),那么该线程所占用的资源便不会被释放(kind of like a zombie process),因此造成内存泄漏. 假如你不想或没有必要同步主线程和子线程,那么就把子线程属性设置为detached分离状态,那么子线程结束执行后会自行销毁其占用的资源. (2) 将线程属性设为分离状态(detached),这个样子线程就属于自灭那种,子线程函数启动后跟主线程不再有"父子"关系(等待和被等待),退出线程时其资源会释放.注意:创建线程时,若属性参数为NULL,则线程属性默认为可接合的(joinable,即需要主线程等待的).
可以在线程创建时将其属性设为分离状态(detached),也可在线程创建后将其属性设为分离的(detached).
#include <pthread.h>
void* thread_function (void* thread_arg)
{ pthread_exit(“Exiting from the thread_function!”);
}
int main ()
{
pthread_t thr;
void* thread_result;
   pthread_create (&thr, NULL, &thread_function, NULL); pthread_join(thr, &thread_result);
return 0;
} (2) 将线程属性设为detached的两种方法的代码框架, <1> Example Code of Setting a Thread DETACHED(1)

    在线程创建时,通过属性变量设置
#include <pthread.h>
void* thread_function (void* thread_arg)
{ pthread_exit(….);
}
int main ()
{
pthread_attr_t attr;
pthread_t thread;
pthread_attr_init (&attr);
pthread_attr_setdetachstate (&attr, PTHREAD_CREATE_DETACHED);
pthread_create (&thread, &attr, &thread_function, NULL);
pthread_attr_destroy (&attr);
return 0;
} <2> Example Code of Setting a Thread DETACHED(2)

    线程创建后,通过调用pthread_detach()来设置
#include <pthread.h>
void* thread_function (void* thread_arg)
{
   pthread_exit(....);
} int main ()
{
pthread_t thread;
pthread_create (&thread, NULL, &thread_function, NULL);
pthread_detach(thread);
return 0;

}