可重入函数的总结

• 搞错了，下面说的是线程安全
• 概念

　　可重入函数这个概念是针对多进程，多线程编程中产生的。指的是一个函数被并发调用时，任意一个调用不会影响到它的另一个调用。

　　那么什么样的函数又不是可重入的呢？举几个反例，说明可重入函数要规避的东西。下面的1,2两点都是在多线程中出现的问题，进程在fork后静态变量和全局变量是有各自的拷贝，不会出现这样的情况。

1. 　　函数中使用静态变量

 1 void foo(void)
 2 {
 3     int n = 10000000;
 4     static int i = 0;
 5
 6     i++;
 7
 8     while ( n-- );
 9     printf("run foo i:%d\n\n",i);
10 }
11
12 void *threadfun1(void *arg)
13 {
14     foo();
15     return (void *)0;
16 }
17
18 void *threadfun2(void *arg)
19 {
20     foo();
21     return (void *)0;
22 }

　　首先这个例子里面不单单这个静态变量 i 是一个不可重入的点，其实printf函数的调用也是导致不可重入的另一个原因，但是暂时不考虑printf。2个线程运行起来，按照正常的运行结果，多次运行这个程序，输出应该是一样的，但是运行后发现：

[email protected]:~/test$ ./a
run foo i:2

run foo i:2

[email protected]-laptop:~/test$ ./a
run foo i:2

run foo i:1

[email protected]-laptop:~/test$ ./a
run foo i:1

run foo i:1

运行完全乱套，这是为什么呢？线程有2个，但是静态变量i却是共享的同一个。

　　2. 　使用全局变量

　　若把上面的 i 定义为全局变量也会出现同样的问题，原因也是多个线程共享了同一个数据，没做好竞态资源的访问管理。针对全局变量，可以通过一个互斥锁解决这个问题。

 1 int i = 0;
 2 pthread_mutex_t mtx = PTHREAD_MUTEX_INITIALIZER;
 3 void foo(void)
 4 {
 5     int n = 100000;
 6
 7     pthread_mutex_lock(&mtx);
 8     i++;
 9     while ( n-- );
10     printf("run foo i:%d\n\n",i);
11     pthread_mutex_unlock(&mtx);
12 }

　　3.　　函数调用了不可重入函数

　　这个好理解，比如上面调用了printf，printf本身就是不可重入的，为什么呢？printf函数有一个缓冲区的概念，这个缓冲区是进程里共享的，假设printf输入到一半，被另一个线程的printf抢来输出，结果输出乱套了，标准IO函数都是不可重入的它们使用了静态变量，全局变量等。像malloc,free都是不可重入的。