线程安全函数 可重入与线程安全并不等同。一般说来,可重入的函数一定是线程安全的,但反过来不一定成立。它们的关系可用下图来表示: 我们可以采用下面的变化过程来进一步说明上图: |
![](https://i-blog.csdnimg.cn/blog_migrate/125f1c563922af037376f1ffaaa3002e.gif)
http://liuaigui.blog.sohu.com/86494742.html
线程安全的(Thread-Safe):如果一个函数在同一时刻可以被多个线程安全地调用,就称该函数是线程安全的。线程安全函数解决多个线程调用函数时访问共享资源的冲突问题。
可重入(Reentrant):函数可以由多于一个线程并发使用,而不必担心数据错误。可重入函数可以在任意时刻被中断,稍后再继续运行,不会丢失数据。可重入性解决函数运行结果的确定性和可重复性。可重入函数编写规范为:
1、不在函数内部使用静态或全局数据
2、不返回静态或全局数据,所有数据都由函数的调用者提供。
3、使用本地数据,或者通过制作全局数据的本地拷贝来保护全局数据。
4、如果必须访问全局变量,利用互斥机制来保护全局变量。
5、不调用不可重入函数。
两者之间的关系:
1、一个函数对于多个线程是可重入的,则这个函数是线程安全的。
2、一个函数是线程安全的,但并不一定是可重入的。
3、可重入性要强于线程安全性。
比如:strtok函数是既不可重入的,也不是线程安全的。加锁的strtok不是可重入的,但线程安全。而strtok_r既是可重入的,也是线程安全的
之所以会去查这个问题,是在考试中遇到过考strtok这个问题是否可用于多线程。自己从使用的角度上感觉不安全,但是究其原因却不是很明白。查了一下,居然涉及到函数的线程安全。
在另一篇博文中,是这样解释的:
strtok不是一个线程安全的函数。因为根据其定义,它必须使用内部静态变量来记录字符串中下一个需要解析的标记的当前位置。但是,由于指示这个位置的变量只有一个,那么,在同一个程序中出现多个解析不同字符串的strtok调用时,各自的字符串的解析就会互相干扰。(摘自: http://hi.baidu.com/pigfanfan/blog/item/72816c958d63e743d1135ebf.html)
怎么避免呢?
我们可以利用另一个函数:strtok_r,这个是一个线程安全的函数——strtok_r,以此来代替strtok。
多线程程序设计之---线程安全与可重入函数
相关教程:
很好听 听听吧
朱禹齐(原创)
正文
多线程程序设计之---线程安全与可重入函数
为了写一个稳定的多线程程序,必须遵守线程安全,但不一定遵守可重入。
安全是指多个线程调用同一个函数,如果是线程安全的,那么每次的结果都是正确。
可重入函数是指函数内部没有使用共享变量。
可重入函数是线程安全函数的一个真子集。
也就是说如果函数是可重入的,就可以保证它是线程安全的,当然有些不可重入的函数也是线程安全的,比如系统库函数实现的都是线程安全的。
系统的设计中,经常会出现多个任务调用同一个函数的情况。如果这个函数不幸被设计成为不可重入的函数的话,那么不同任务调用这个函数时可能修改其他任务调用这个函数的数据,从而导致不可预料的后果。那么什么是可重入函数呢?
所谓可重入函数是指一个可以被多个任务调用的过程,任务在调用时不必担心数据是否会出错。不可重入函数在实时系统设计中被视为不安全函数。
int global=0;
int foo1()
{
return global++;
}
如果多个线程同时调用这个函数,每个线程返回的结果是什么?
很明显这个结果很难回答。因为你不知道他们这些线程是怎么工作的,谁先谁后都不知道,有的程序在线程的调度上只是简单的时间片轮转的策略,按找创建线程的顺序应该可以得到正确答案,但是如果调度策略对修改了呢,比如是实时调度。
很明显一个可重入的函数的很必要的。
你或许想难道这个可重入函数不能使用全局变量了吗,你真正需要的或许只是线程安全,没有必要可重入,那么你可以这样改
int global=0;
int foo1()
{
int local=global;
return local++;
}
这就是为什么你或许看到很多程序都要在开始用一个局部变量保存一个全局变量的原因。
第二种情况 果函数中使用了静态变量或者返回静态变量或者静态数据结构,静态变量包括全局静态变量或者局部静态变量,函数也有是不可重入的,例如
int foo2()
{
static int a=0;
return a++;
}
要使它变得线程安全,其实很简单,在使用它之前,保存它的值。或者另一种情况这些变量都是只读的。
第三种情况 数中使用了malloc或者free函数,天呢,线程没有动态内存分配?不是的,malloc和free是不可重入的,但是是线程安全的,也就是开始所说的概念,所以你大可以继续malloc和free。
第四种情况 函数体内调用了其他标准I/O函数
第五种情况 函数是singleton中的成员函数而且使用了不使用线程独立存储的成员变量 。
第六种情况 函数调用了不可冲入函数
下面一个函数就是线程安全但却不可重入的
static int *sharedID;
int* threadsafe_getID( char* name )
{
int *unsharedID;
P( &mutex );
sharedID = notThreadsafe_getID( name );
unsharedID = sharedID;
V( &mutex);
return unsharedID;
}
上面的函数通过P、V操作封装得到一个线程安全函数,却不是可重入函数。
最后给出可重入函数编写规范得链接
[url=http://blog.csdn.net/yueyahe/archive/2006/05/15/729126.aspx]http://blog.csdn.net/yueyahe/archive/2006/05/15/729126.aspx[/url]
[b]本文来自ChinaUnix博客,如果查看原文请点:[/b][url]http://blog.chinaunix.net/u2/70469/showart_724351.html[/url]
本文转自
http://linux.chinaunix.net/bbs/archiver/?tid-1008862.html