可重入函数与线程安全函数

可重入函数与线程安全函数

2010年12月01日 星期三 上午 10:07

线程安全函数
• 概念：
       线程安全的概念比较直观。一般说来，一个函数被称为线程安全的，当且仅当被多个并发线程反复调用时，它会一直产生正确的结果。
• 确保线程安全：
       要确保函数线程安全，主要需要考虑的是线程之间的共享变量。属于同一进程的不同线程会共享进程内存空间中的全局区和堆，而私有的线程空间则主要包括栈和寄存器。因此，对于同一进程的不同线程来说，每个线程的局部变量都是私有的，而全局变量、局部静态变量、分配于堆的变量都是共享的。在对这些共享变量进行访 问时，如果要保证线程安全，则必须通过加锁的方式。
• 线程不安全的后果：
       线程不安全可能导致的后果是显而易见的——共享变量的值由于不同线程的访问，可能发生不可预料的变化，进而导致程序的错误，甚至崩溃。

可重入函数
• 概念：
       可重入的概念基本没有比较正式的完整解释，多数的文档都只是说明什么样的情况才能保证函数可重入，但没有完整定义。按照Wiki上的说法，“A computer program or routine is described as reentrant if it can be safely executed concurrently; that is, the routine can be re-entered while it is already running.”根据笔者的经验，所谓“重入”，常见的情况是，程序执行到某个函数foo()时，收到信号，于是暂停目前正在执行的函数，转到信号处理 函数，而这个信号处理函数的执行过程中，又恰恰也会进入到刚刚执行的函数foo()，这样便发生了所谓的重入。此时如果foo()能够正确的运行，而且处 理完成后，之前暂停的foo()也能够正确运行，则说明它是可重入的。
• 确保可重入：
       要确保函数可重入，需满足以下几个条件：
       1、不在函数内部使用静态或全局数据
       2、不返回静态或全局数据，所有数据都由函数的调用者提供。
       3、使用本地数据，或者通过制作全局数据的本地拷贝来保护全局数据。
       4、不调用不可重入函数。
• 不可重入的后果：
       不可重入的后果主要体现在象信号处理函数这样需要重入的情况中。如果信号处理函数中使用了不可重入的函数，则可能导致程序的错误甚至崩溃。

可重入与线程安全

       可重入与线程安全并不等同。一般说来，可重入的函数一定是线程安全的，但反过来不一定成立。它们的关系可用下图来表示：

       我们可以采用下面的变化过程来进一步说明上图：
       - 如果一个函数中用到了全局或静态变量，那么它不是线程安全的，也不是可重入的；
       - 如果我们对它加以改进，在访问全局或静态变量时使用互斥量或信号量等方式加锁，则可以使它变成线程安全的，但此时它仍然是不可重入的，因为通常加锁方式是针对不同线程的访问，而对同一线程可能出现问题；
       - 如果将函数中的全局或静态变量去掉，改成函数参数等其他形式，则有可能使函数变成既线程安全，又可重入。

       比如：strtok函数是既不可重入的，也不是线程安全的；加锁的strtok不是可重入的，但线程安全；而strtok_r既是可重入的，也是线程安全的。

类别：操作系统-进程-线程||添加到搜藏|分享到i贴吧|浏览(216)|评论 (0)

 

上一篇：Android布局之RelativeLayout（...    下一篇：select 休眠比sleep 更准

 

 

 

转： 函数的线程安全和可重入

摘自：
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。

posted on 2009-10-22 17:33 Sandy 阅读(546) 评论(0)  编辑 收藏引用 所属分类:面试总结

 

 

 

多线程程序设计之－－－线程安全与可重入函数

 

相关教程：

 

很好听 听听吧
朱禹齐(原创)

 

正文

 

 

导读：
　　多线程程序设计之－－－线程安全与可重入函数
　　为了写一个稳定的多线程程序，必须遵守线程安全，但不一定遵守可重入。
　　安全是指多个线程调用同一个函数，如果是线程安全的，那么每次的结果都是正确。
　　可重入函数是指函数内部没有使用共享变量。
　　可重入函数是线程安全函数的一个真子集。
　　也就是说如果函数是可重入的，就可以保证它是线程安全的，当然有些不可重入的函数也是线程安全的，比如系统库函数实现的都是线程安全的。
　　系统的设计中，经常会出现多个任务调用同一个函数的情况。如果这个函数不幸被设计成为不可重入的函数的话，那么不同任务调用这个函数时可能修改其他任务调用这个函数的数据，从而导致不可预料的后果。那么什么是可重入函数呢？
　　所谓可重入函数是指一个可以被多个任务调用的过程，任务在调用时不必担心数据是否会出错。不可重入函数在实时系统设计中被视为不安全函数。
　　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