标签:
可重入函数这个概念是针对多进程,多线程编程中产生的。指的是一个函数被并发调用时,任意一个调用不会影响到它的另一个调用。
那么什么样的函数又不是可重入的呢?举几个反例,说明可重入函数要规避的东西。下面的1,2两点都是在多线程中出现的问题,进程在fork后静态变量和全局变量是有各自的拷贝,不会出现这样的情况。
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个线程运行起来,按照正常的运行结果,多次运行这个程序,输出应该是一样的,但是运行后发现:
thomas@thomas-laptop:~/test$ ./a run foo i:2 run foo i:2 thomas@thomas-laptop:~/test$ ./a run foo i:2 run foo i:1 thomas@thomas-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都是不可重入的。
标签:
原文地址:http://www.cnblogs.com/thammer/p/5072767.html