今天我们来学习用Unix 线程的知识来解决问题。在 UNIX 编程中,我们会经常使用系统调用来完成期望的功能;而与此同时,我们也需要付出大段的代码来检测、输出错误和其他意外情况。
Unix 线程安全是为了避免数据竞争或者数据设置的正确性依赖于多个Unix 线程修改数据的顺序。假设你的代码所在的进程中有多个Unix 线程在同时运行,而这些线程可能会同时运行这段代码。如果每次运行结果和单线程运行的结果是一样的,而且其他的变量的值也和预期的是一样的,就是Unix 线程安全的。
Unix 线程的使用中以下是系统调用失败的可能原因:
系统可能出现资源短缺或者程序使用的资源可能超过系统为单个程序规定的上限。常见的情况有:程序可能尝试分配大量内存,或者同时打开很多文件等。
程序执行操作时,可能会由于权限不足而被系统阻止。例如,程序可能会试图写一个只读的文件,或者企图访问其他进程的内存空间。 传入系统调用的参数可能无效,原因可能是用户提供无效输入或者程序本身的 bug。例如,程序可能会传入一个无效的内存地址或者无效的文件描述符。
系统调用还有可能因为程序之外的原因出错。系统调用访问硬件的时候经常会有这种情况发生。设备可能会出现异常错误或者不支持特定的操作,或者可能会出现磁盘没有插入驱动器中的情况出现。 系统调用有的时候会被外部事件 ( 如信号等 ) 中断。这可能不代表真正的调用失败,但是如果有必要,程序应当重新尝试执行系统调用。
对于函数来说,在多Unix 线程或有异常控制流的情况下 , 当某个函数运行到中途时 , 控制流 ( 也就是当前指令序列 ) 就有可能被打断而去执行另一个函数。而这个函数很有可能是它本身。如果在这种情况下不会出现问题 , 比如说数据或状态不会被破坏,行为确定。那么这个函数就被称做 " 可重入 " 的。
在多Unix 线程编程中,有两种方法使库函数可以保证其安全。一个是简单的将合适的代码使用互斥锁包起来,这样可以保证同时只有一个线程执行这一段例程。虽然这种方法大部分情况下都能奏效,但是它的性能却非常糟糕。而且对于诸如 strtok 函数,该方法就完全不能工作了,因此很多 UNIX 系统都存在 _r 的接口函数。
另一个更好的办法是确保库函数可以同时在多个Unix 线程情况下安全的执行。这里指的不仅仅是带有后缀 _r 的可重入对等函数;毕竟可重入和线程安全(Thread-Safe)是两个不同的概念:可重入函数一定是Unix 线程安全的;线程安全的函数可能是重入的,也可能是不重入的;Unix 线程不安全的函数一定是不可重入的。所以诸如 malloc,free 等函数也在此列,属于Unix 线程安全的库函数。
当然,如果你在单线程应用程序中使用Unix 线程安全函数会在一定程度上降低性能,所以尽量避免在单线程应用程序中使用它们。
【编辑推荐】