编写可重入函数时应注意局部变量的使用.pptVIP

内容 线程过多 数据竞争、死锁和活锁 线程安全函数和库 1. 线程过多 线程是否是越多越好? 多线程目的是为不同程序合理地安排运行时间,充分利用系统资源 过多的线程可能会严重影响程序的性能。 将给定的工作量划分给过多的线程会造成每个线程的工作量过少，因此可能导致线程启动和终止的开销比程序实际工作的开销还要多； 过多并发线程的存在将导致共享有限硬件资源的开销增大。 1. 线程过多 当软件线程的个数超过CPU核数时，支持抢占式多任务处理的操作系统一般会采用时间片轮转调度的方案。 当系统从一个软件线程切换到另一个软件线程时，它将保存被抢占的软件线程的线程上下文，并重新加载线程队列中下一个软件线程的上下文。 1. 线程过多 操作系统的时间片轮转调度方案也将引入额外开销，随着软件线程的增多，这种开销将会急剧增加，进而降低系统性能，这种开销有以下几种： 线程间切换时保存和恢复进程寄存器的开销。随着线程数目的增加，系统分给每个线程的时间片相应减少； 使用时间片机制的时候，保存和恢复线程使用的cache的开销则是更敏感的一种开销。 线程对主存的争夺，导致性能上的损失。 1. 线程过多 还存在一个性质不同，后果可能更加严重的问题。 护航，指线程聚集在一起，等待获取某一个锁。某个线程持有一个锁，并且用完了自己的时间片，所有等待这个锁的线程必须等待这个线程被唤醒并且释放锁。 1. 线程过多 最好的解决方案： 根据实际情况，使用尽可能少的线程，这样可以最大限度地减少操作系统资源的使用，并可提高性能。 不要硬性规定线程的个数，将其作为一个可调节的参数。OpenMP可以根据需要近两使用最优数量的线程个数。 使用线程池 2. 数据竞争、死锁和活锁 数据竞争 对共享数据的非同步访问会引发数据竞争，程序结果将以不确定的方式依赖两个或多个线程的相对时间特性。 数据竞争 数据竞争 对共享数据的非同步访问会引起数据竞争 同步访问，如果同步层次比较低，也可能存在数据竞争。 arraylist容器用于包含一系列不重复的对象，所以在将一个对象加入arraylist之前，要检查该对象是否已经在arraylist里边，虽然保证arraylist的每个操作不会出现数据竞争，但是这些操作的组合可能引发高层次的数据竞争。 数据竞争 死锁和活锁 有大量的同步策略可以解决数据竞争问题，其中最简单的就是锁。 锁在一定程度上能避免数据竞争，但是也给软件开发带来了严重问题。 最主要的问题是，锁不具有可组合性。 造成组装失败的祸首是死锁。 死锁和活锁 死锁发生的四个条件： 互斥（对共享资源的访问是互斥的） 占有并等待 非抢占（资源不能抢占） 循环等待 只要破坏以上条件就可以避免死锁 死锁和活锁 避免死锁 最好的方法是复制原本需要互斥访问的资源 如果资源无法复制，则按照一定的顺序获取资源（锁），保持一致的锁获取顺序可避免死锁环的出现。 每个线程按顺序申请资源锁 给每个资源锁分配一个唯一的整数，以允许用户比较两个资源锁以确定其先后顺序。 按地址给锁排序 要求线程知道将要访问的锁地址，才能访问锁 活锁 活锁是不公平的资源分配策略引起的，一般可以采用先来先服务的策略解决 线程安全函数和库 为了保证资源的完整性，多线程程序中所使用的代码必须是可重入的和线程安全的。 可重入的和线程安全是独立的概念，都与函数处理资源有关 可重入 可重入（reentrant）函数可以由多于一个任务并发使用，而不必担心数据错误。可重入函数可以在任意时刻被中断，稍后再继续运行，不会丢失数据。 相反， 不可重入（non-reentrant）函数不能由超过一个任务所共享，除非能确保函数的互斥（或者使用信号量，或者在代码的关键部分禁用中断）。 可重入函数 不使用静态数据。 不返回指向静态数据的指针； 使用到的数据都由函数的调用者提供。 使用本地数据，或者通过制作全局数据的本地拷贝来保护全局数据。 如果必须访问全局变量，记住利用互斥信号量来保护全局变量。 绝不调用任何不可重入函数。 不可重入函数 函数中使用了静态变量，无论是全局静态变量还是局部静态变量。 函数返回静态变量。 函数中调用了不可重入函数。 函数体内使用了静态的数据结构； 函数体内调用了malloc()或者free()函数； 函数体内调用了其他标准I/O函数。 总的来说，如果一个函数在重入条件下使用了未受保护的共享的资源，那么它是不可重入的。 示例 可重入函数保证了在多线程条件下，函数的状态不会出现错误。以下分别是一个不可重入和可重入函数的示例： static int tmp;void func1(int* x, int* y) {??? tmp=*x; ??? *x=*y; ??? *y=tmp;}void func2(int* x, int* y) {