8.2IO进程线程

笔记

线程

二.线程支持函数（多线程编程）

2.8多进程与多线程的对比

三.使用临界资源完成多线程之间的通信

3.1线程的同步互斥机制

3.11引入目的

在使用临界资源完成多线程之间的通信时，当其中一个线程正在访问全局变量时，可能会出现时间片用完的情况，另一个线程将数据进行更改后，再执行该线程时，导致数据的不一致。这种现象我们称为竞态，为了解决竞态，我们引入了同步互斥机制

3.12基本概念

        1> 竞态：同一个进程的多个线程在访问临界资源时，会出现抢占的现象，导致线程中的数据错误的现象称为竞态

        2> 临界资源：多个线程共同访问的数据称为临界资源，可以是全局变量、堆区数据、外部文件

        3> 临界区：访问临界资源的代码段称为临界区

        4> 粒度：临界区的大小

        5> 同步：表示多个任务有先后顺序的执行

        6> 互斥：表示在访问临界区时，同一时刻只能有一个任务，当有任务在访问临界区时，其他任务只能等待

3.2线程互斥

        1> 在C语言中，线程的互斥通过互斥锁来完成

        2> 互斥锁的本质：互斥锁本质上也是一个特殊的临界资源，该临界资源在同一时刻只能被一个线程所拥有，当一个线程试图去锁定被另一个线程锁定的互斥锁时，该线程会阻塞等待，直到拥有互斥锁的线程解锁了该互斥锁

        3> 互斥锁的相关API

       #include <pthread.h>
       1、创建互斥锁：只需要定义一个pthread_mutex_t类型的变量，就创建了一个互斥锁

       pthread_mutex_t fastmutex = PTHREAD_MUTEX_INITIALIZER;           //静态初始化一个互斥锁

       2、初始化互斥锁

       int pthread_mutex_init(pthread_mutex_t *mutex, const pthread_mutexattr_t *mutexattr);
       功能：初始化一个互斥锁
       参数1：互斥锁变量的地址
       参数2：互斥锁的属性，一般填NULL，使用系统默认提供的属性
       返回值：总是成功，不会失败
        
       3、获取锁资源

       int pthread_mutex_lock(pthread_mutex_t *mutex);
       功能：某个线程调用该函数表示获取锁资源
       参数：互斥锁的地址
       返回值：成功返回0，失败返回一个错误码
       
       4、释放锁资源


       int pthread_mutex_unlock(pthread_mutex_t *mutex);
       功能：将线程中的锁资源释放
       参数：互斥锁的地址
       返回值：成功返回0，失败返回一个错误码
       
        5、销毁锁资源
       int pthread_mutex_destroy(pthread_mutex_t *mutex);
       功能：销毁程序中的锁资源
       参数：互斥锁地址
       返回值：成功返回0，失败返回一个错误码

3.3有关死锁的问题

        1> 概念：在多线程编程中，死锁是一种情况，其中两个或多个线程被永久阻塞，因为每个线程都在等待其他线程释放它们需要的资源。在C语言中，这通常涉及互斥锁（mutexes），当多个互斥锁被不同的线程以不同的顺序获取时，很容易发生死锁。

        2> 死锁产生条件

1. 互斥条件：资源不能被多个线程共享，只能被一个线程在任一时刻所使用。

2. 持有和等待条件：一个线程至少持有一个资源，并且正在等待获取一个当前被其他线程持有的资源。

3. 不可抢占条件：资源不能被强制从一个线程抢占到另一个线程，线程必须自愿释放它的资源。 4. 循环等待条件：存在一个线程（或多个线程）的集合{P1, P2, ..., Pn}，其中P1正在等待P2持有的资源，P2正在等待P3持有的资源，依此类推，直至Pn正在等待P1持有的资源。

        3> 如何避免死锁

1. 避免持有和等待：尽可能让线程在开始执行前一次性获取所有必需的资源。

2. 资源排序：规定一个全局顺序来获取资源，并且强制所有线程按这个顺序获取资源。

3. 使用超时：在尝试获取资源时使用超时机制，这样线程在等待过长时间后可以放弃，回退，并重新尝试。

4. 检测死锁并恢复：运行时检测死锁的存在，一旦检测到死锁，采取措施（如终止线程或回滚操作）来解决。

3.4线程同步

3.41基本概念

        1> 所谓线程同步，就是将多个线程任务有顺序的执行，由于多个任务有顺序的执行了，那么在同一时刻，对临界资源的访问就只有一个线程了

        2> 线程同步文件的经典问题是：生产者消费者问题

        对于该问题而言，需要先执行生产者任务，然后执行消费者任务

        3> 对于线程同步问题，有两种机制来完成：无名信号量、条件变量

3.42无名信号量

        1> 无名信号量本质上也是一个特殊的临界资源

        2> 无名信号量中维护了一个value值，该值表示能够申请的资源个数，当该值为0时，申请资源的线程将处于阻塞，直到其他线程将该无名信号量中的value值增加到大于0时即可

        3> 无名信号量的API如下

1、创建无名信号量：只需要定义一个 sem_t 类型的变量，就创建了一个无名信号量
    sem_t  sem;
2、初始化无名信号量
           #include <semaphore.h>

       int sem_init(sem_t *sem, int pshared, unsigned int value);
       功能：完成对无名信号量的初始化工作
       参数1：要被初始化的无名信号量地址
       参数2：无名信号量适用情况
           0：表示多线程之间
           非0：表示多进程间同步
        参数3：无名信号量的资源初始值
        返回值：成功返回0，失败返回-1并置位错误码

3、申请资源：P操作，将资源减1操作
           #include <semaphore.h>

       int sem_wait(sem_t *sem);
       功能：申请无名信号量中的资源，使得该信号量中的value-1
       参数：无名信号量地址
       返回值：成功返回0，失败返回-1并置位错误码

4、释放资源：V操作，将资源加1操作
               #include <semaphore.h>

       int sem_post(sem_t *sem);
       功能：将无名信号量中的资源加1操作
       参数：无名信号量地址
       返回值：成功返回0，失败返回-1并置位错误码

5、销毁无名信号量
       #include <semaphore.h>

       int sem_destroy(sem_t *sem);
       功能：销毁一个无名信号量
       参数：无名信号量地址
       返回值：成功返回0，失败返回-1并置位错误码

3.43条件变量

        1> 条件变量的本质也是一个特殊的临界资源

        2> 条件变量中维护了一个队列，想要执行的消费者线程，需要先进入等待队列中，等生产者线程进行唤醒后，依次执行。这样就可以做到一个生产者和多个消费者之间的同步，但是消费者和消费者之间在进入等待队列这件事上是互斥的。

        3> 条件变量的API

1、创建条件变量
    只需要定义一个pthread_cond_t类型的变量，就创建了一个条件变量
    pthread_cond_t  cond;

2、初始化条件变量
       int pthread_cond_init(pthread_cond_t *cond, pthread_condattr_t *cond_attr);
       功能：初始化一个条件变量
       参数1：条件变量的地址
       参数2：条件变量的属性，一般填NULL
       返回值：     成功返回0，失败返回非0错误码
       
4、唤醒消费者线程                                

       int pthread_cond_signal(pthread_cond_t *cond);
       功能：唤醒等待队列中的第一个消费者线程
       参数：条件变量的地址
       返回值： 成功返回0，失败返回非0错误码

       int pthread_cond_broadcast(pthread_cond_t *cond);
       功能：唤醒所有等待队列中的消费者线程
       参数：条件变量的地址
       返回值： 成功返回0，失败返回非0错误码
       
3、将消费者线程放入到等待队列中       

       int pthread_cond_wait(pthread_cond_t *cond, pthread_mutex_t *mutex);
       功能：消费者线程进入等待队列中
       参数1：条件变量的地址
       参数2：互斥锁的地址：因为多个消费者线程在进入等待队列上是竞态的
       返回值：     成功返回0，失败返回非0错误码
    
5、销毁条件变量           
        int pthread_cond_destroy(pthread_cond_t *cond);
        功能：销毁一个条件变量
        参数：条件变量的地址
        返回值： 成功返回0，失败返回非0错误码

思维导图