linux高级编程（线程）（互斥与同步）（死锁）

互斥与同步用于临界资源访问

临界资源：多个进程或线程需要共享的资源

互斥

    进线程输出尽量加上fflush，因为可能不满足结束条件（有时候没有'\n'）
    
    概念：
    互斥 ===》在多线程中对临界资源的排他性访问。

    互斥机制 ===》互斥锁  ===》保证临界资源的访问控制。
    要求锁的范围尽可能短（尽量不包含耗时的函数，例如sleep）
    要明白谁是需要锁住的变量，一般在访问，改变共享变量的前后进行锁的开关操作

    pthread_mutex_t   mutex;
    互斥锁类型        互斥锁变量 内核对象

    框架：
      定义互斥锁 ==》初始化锁 ==》加锁 ==》解锁 ==》销毁

1.定义：

pthread_mutex_t   mutex;

2.初始化锁

int pthread_mutex_init(
            pthread_mutex_t *mutex,
            const pthread_mutexattr_t *attr);
        功能：将已经定义好的互斥锁初始化。
        参数：mutex 要初始化的互斥锁
              atrr  初始化的值，一般是NULL表示默认锁
        返回值：成功  0
                      失败 非零

3.加锁

int pthread_mutex_lock(pthread_mutex_t *mutex);
        功能：用指定的互斥锁开始加锁代码
              加锁后的代码到解锁部分的代码属于原子操作，
              在加锁期间其他进程/线程都不能操作该部分代码
              如果该函数在执行的时候，mutex已经被其他部分
              使用则代码阻塞。

        参数： mutex 用来给代码加锁的互斥锁
        返回值：成功 0
                失败 非零

4.解锁

int pthread_mutex_unlock(pthread_mutex_t *mutex);
        功能：将指定的互斥锁解锁。
              解锁之后代码不再排他访问，一般加锁解锁同时出现。
        参数：用来解锁的互斥锁
        返回值：成功 0
                失败 非零

5.销毁

int pthread_mutex_destroy(pthread_mutex_t *mutex);
         功能：使用互斥锁完毕后需要销毁互斥锁
         参数：mutex 要销毁的互斥锁
         返回值：成功  0
                 失败  非零

6.trylock（加锁的无阻塞版本）

int pthread_mutex_trylock(pthread_mutex_t *mutex);
        功能：类似加锁函数效果，唯一区别就是不阻塞。
        参数：mutex 用来加锁的互斥锁
        返回值：成功 0
                失败 非零
                E_AGAIN

同步：

    ===》有一定先后顺序的对资源的排他性访问。

    原因：互斥锁可以控制排他访问但没有次序。

    linux下的线程同步  ===》信号量机制 ===》semaphore.h   posix 
    sem_open();
    信号量的分类：
    1、无名信号量 ==》线程间通信
    2、有名信号量 ==》进程间通信

框架：
    信号量的定义 ===》信号量的初始化 ==》信号量的PV操作
    ===》信号量的销毁。
    信号量初始化-->线程创建与回收-->信号量销毁

1、信号量的定义 ：

//信号量的类型  信号量的变量
  sem_t sem;

2、信号量的初始化：

int sem_init(sem_t *sem, int pshared, unsigned int value);
        功能：将已经定义好的信号量赋值。
        参数：sem 要初始化的信号量
              pshared = 0 ;表示线程间使用信号量（同一进程）
                      !=0 ;表示进程间使用信号量（不同进程）
              value 信号量的初始值，一般无名信号量
              都是二值信号量，0 1
              value>1的情况：需要多个干同一件事 
              0 表示红灯，进程暂停阻塞
              1 表示绿灯，进程可以通过执行
        返回值：成功  0
                失败  -1；

3、信号量的PV 操作

       P ===》申请资源===》申请一个二值信号量 
       V ===》释放资源===》释放一个二值信号量

       P操作对应函数 ==》sem_wait();
       V操作对应函数 ==》sem_post();

    int sem_wait(sem_t *sem);
    功能：判断当前sem信号量是否有资源可用。
          如果sem有资源(==1)，则申请该资源，程序继续运行
          如果sem没有资源(==0)，则线程阻塞等待，一旦有资源
          则自动申请资源并继续运行程序。

          注意：sem 申请资源后会自动执行 sem = sem - 1;

          也就是说，在初始化函数中value的值如果>1时，例如：5，在执行sem_wait（）5次后才会在执行该函数时才会阻塞

         参数：sem 要判断的信号量资源
         返回值：成功 0 
                       失败 -1
        
    int sem_post(sem_t *sem);
    功能：函数可以将指定的sem信号量资源释放
          并默认执行，sem = sem+1;
          线程在该函数上不会阻塞。
    参数：sem 要释放资源的信号量
    返回值：成功 0
                  失败 -1；

4、信号量的销毁

       int sem_destroy(sem_t *sem);
       功能：使用完毕将指定的信号量销毁
       参数：sem要销毁的信号量
       返回值：成功  0
                     失败  -1；

分离属性：

pthread_attr_setdetachstate（）

int pthread_attr_setdetachstate(pthread_attr_t *attr, int detachst
ate)
功能：设置线程为分离的属性，线程自己在消亡的时候，释放相关的资源。
    attr，一个pthread_attr_t类型的结构体（不透明），里面包含了线程相关的属性。
        通过相关函数修改其属性：
        pthread_attr_init：初始化 pthread_attr_t 结构体。
        pthread_attr_destroy：销毁 pthread_attr_t 结构体，释放与之相关的资源。
        pthread_attr_getdetachstate：获取线程的分离状态属性。
        pthread_attr_setdetachstate：设置线程的分离状态属性。
        pthread_attr_getstacksize：获取线程的栈大小属性。
        pthread_attr_setstacksize：设置线程的栈大小属性。
        pthread_attr_getstackaddr：获取线程的栈地址属性（已弃用）。
        pthread_attr_setstackaddr：设置线程的栈地址属性（已弃用）。
        pthread_attr_getschedpolicy：获取线程的调度策略属性。
        pthread_attr_setschedpolicy：设置线程的调度策略属性。
        pthread_attr_getschedparam：获取线程的调度参数属性。
        pthread_attr_setschedparam：设置线程的调度参数属性。
    detachstate
        PTHREAD_CREATE_DETACHED：
        设置分离属性的标记
        PTHREAD_CREATE_JOINABLE：
        设置关联的属性：
        
        返回  0 成功
              >0 失败，以及错误号

pthread_detach（）（用的比较多）

int pthread_detach(pthread_t thread);
    功能：设置线程为分离的属性，线程自己在消亡的时候，释放相关的资源。
    参数：thread，需要设置分离属性的tid

    返回：0  成功
              >0 失败，以及错误号
              
    被创建的子线程可以自己分离自己，pthread_detach(pthread_self())，因此这个函数可以被子线程自己调用来设置自己的分离属性

死锁：

死锁产生原因：

（1） 因为系统资源不足。
（2） 进程运行推进的顺序不合适。
（3） 资源分配不当等。
如果系统资源充足，进程的资源请求都能够得到满足，死锁出现的可能性就很低，否则
就会因争夺有限的资源而陷入死锁。其次，进程运行推进顺序与速度不同，也可能产生死锁。

产生死锁的四个必要条件：

（1） 互斥条件：一个资源每次只能被一个进程使用。
（2） 请求与保持条件：一个进程因请求资源而阻塞时，对已获得的资源保持不放。
（3） 不剥夺条件:进程已获得的资源，在末使用完之前，不能强行剥夺。
（4） 环路等待条件:若干进程之间形成一种头尾相接的循环等待资源关系。

死锁的处理方法：

鸵鸟策略：忽略掉死锁，视而不见
死锁检测与恢复：允许死锁发生，检测它们是否发生，一旦发生死锁，就采取行动解决问题
检测时机：
    当进程由于资源请求不满足而等待时检测死锁，缺点是系统开销大
    定时检测
    系统资源利用率下降时检测死锁
死锁避免：仔细对资源进行分配，动态地避免死锁，银行家算法是避免死锁的经典算法
    银行家算法：
       先检查系统是否有足够的资源，如果有，先进行分配，并进行安全性检查，if新状态安全，
    则进行分配，否则拒绝分配资源死锁的四个处理方法：
鸵鸟策略：忽略掉死锁，视而不见
死锁检测与恢复：允许死锁发生，检测它们是否发生，一旦发生死锁，就采取行动解决问题
检测时机：
    当进程由于资源请求不满足而等待时检测死锁，缺点是系统开销大
    定时检测
    系统资源利用率下降时检测死锁
死锁避免：仔细对资源进行分配，动态地避免死锁，银行家算法是避免死锁的经典算法
    银行家算法：
       先检查系统是否有足够的资源，如果有，先进行分配，并进行安全性检查，if新状态安全，
    则进行分配，否则拒绝分配资源
    避免死锁需要事先知道进程运行的过程中需要的最大资源数，这几乎是不可能实现的。

死锁预防：破坏引起死锁的 4 个必要条件

1.破坏互斥条件：尽量使得资源不被某个进程独占。
  但有些资源不能同时访问，如打印机等临界资源只能互斥使用。
  所以在某些场合应该保护这种互斥性。
2.破坏占有和等待条件：禁止已经持有资源的进程再等待其他资源
3.破坏不可抢占条件：允许资源抢占即可
  该策略释放已获得的资源可能造成前一阶段工作的失效，
  反复地申请和释放资源会增加系统开销，降低系统吞吐量。
4. 破坏环路等待：一种方法是对资源进行编号，进程在任何时候都可以请求资源，
但是所有的请求必须按照资源编号的顺序（升序）提出。（先用先退）
    避免死锁需要事先知道进程运行的过程中需要的最大资源数，这几乎是不可能实现的