• Linux多线程


    Linux多线程

    📟作者主页:慢热的陕西人

    🌴专栏链接:Linux

    📣欢迎各位大佬👍点赞🔥关注🚓收藏,🍉留言

    本博客主要内容讲解了Linux多线程部分的内容,线程的概念,多线程的优缺点,线程的控制,线程的同步和互斥,死锁,信号量,线程池,以及其他问题

    多线程

    1.线程的概念

    线程是CPU调度的基本单位,进程是系统资源分配的基本实体

    • Linux中线程的概念

      Linux内核的设计者,复用PCB的结构体,用PCB模拟线程的TCB,很好的复用了进程的设计方案!

      所以说Linux内部没有真正意义上的线程,而是用进程方案模拟的线程。所以我们的每一个线程的PCB都会指向所属进程的地址空间的内核。因为执行流看到的资源是通过进程地址空间看到的,多个LWP看到的是同一个地址空间,所有的进程可能会共享进程的大部分资源!!

      对此有很多优势:复用代码和结构,实现简单,执行效率高。

    运行一个简单的程序观察一下:

    注意这个程序编写的时候makefile文件编译命令那行要加上-lpthread参数.

    #include
    #include
    #include
    
    using namespace std;
    
    void* T1(void* args)
    {
        while(1)
        {
            cout << "我是线程1,我正在运行" << getpid() << endl;
            sleep(1);
        }
    }
    
    void* T2(void* args)
    {
        while(1)
        {
            cout << "我是线程2,我正在运行" << getpid() << endl;
            sleep(1);
        }
    }
    
    void* T3(void* args)
    {
        while(1)
        {
            cout << "我是线程3,我正在运行" << getpid() << endl;
            sleep(1);
        }
    }
    
    int main()
    {
        pthread_t t1, t2, t3;
        pthread_create(&t1, nullptr, T1, nullptr);
        pthread_create(&t2, nullptr, T3, nullptr);
        pthread_create(&t3, nullptr, T3, nullptr);
    
        while(1)
        {
            sleep(1);
        }
        return 0;
    }
    
    
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8
    • 9
    • 10
    • 11
    • 12
    • 13
    • 14
    • 15
    • 16
    • 17
    • 18
    • 19
    • 20
    • 21
    • 22
    • 23
    • 24
    • 25
    • 26
    • 27
    • 28
    • 29
    • 30
    • 31
    • 32
    • 33
    • 34
    • 35
    • 36
    • 37
    • 38
    • 39
    • 40
    • 41
    • 42
    • 43
    • 44
    • 45
    • 46
    • 47

    我们发现ps -aL命令将显示系统上所有用户的所有进程和线程的信息,我们可以看到线程的pid都是相同的,但是对应的LWP也就是对应的在pthread库中的线程ID,但是我们发现有个进程的LWP和对应的PID相同,那么我们可以看出这就是对应的进程,操作系统也是通过进程的pid来确认对应的进程的。

    image-20240224131840783

    2.一些前置知识

    ①物理内存和磁盘之间

    • 内存管理的本质:将磁盘中的特定的4KB的块(数据内容),放入到哪一个物理内存的4KB空间(数据保存的空间)。

    • 如果过多的IO,注定了过多的寻址,过多的机械运动,导致效率低下。所以OS在和磁盘这样的设备进行IO交互的时候,绝对不是按照字节单位,而是按照块单位

      a.其中块的大小为4KB

      b.文件系统+编译器的模式:文件(可执行程序+动态库)在磁盘的时候,就是以块的形式存储。

      c.操作系统+内存:内存在实际进行管理的时候,也是要以4KB为单位的

      d.局部性原理的特性:允许我们提前加载正在访问的数据的相邻或者附近的数据。

      e.数据预加载:我们会通过预先加载要访问的数据的附近的数据来减少IO的次数!多加载进来的数据本质:就叫做数据的预加载。

      f.为什么是4KB:IO的基本单位(内核内存+文件系统)都需要提供支持。通过局部性原理,预测未来的命中情况,提高效率。

    ②地址空间与物理内存之间:

    • 虚拟地址(32位为例):其中是按照10+10+12的方式来划分的;

      其中第一个10位代表一级页表的地址,我们可以通过它在一级页表中寻找找到对应的二级页表,二级页表中对应存储物理地址对应的页框,最后的12位作为对应的偏移量来寻找对应的块。

      这也证明了我们当时C语言学习的不管是什么类型它的地址都只有一个,但是我们对应的类型不可能都只占用一个字节,所以我们访问对应的空间都是基地址+偏移量的方式。

    • malloc:我们实际在申请malloc内存的时候,OS只要给用户在虚拟内存上申请即可,当用户程序真正要访问的时候,OS才会申请或者填充页表+申请对应的物理内存。

    • 字符型常量如何做到只允许被读取而不允许被修改?假设存在一个const char* s = "hello wworld",s内部保存的是指向字符的虚拟起始地址—*s寻址的时候一定会存在虚拟地址向物理地址的转化----MMU + 查页表的方式 ----对当前的操作进行权限审查 ---- 虽然可以允许被找到,但是如果我们要进行写操作的话,这个操作是非法的 — MMU会发生异常----OS识别异常 ---- 将异常转化为信号,发送给目标程序 ---- 在从内核转换成用户态的时候,进行信号处理 ----终止程序。

    3.多线程的优缺点

    3.1优点

    • 创建一个新线程的代价要比创建一个新进程小得多
    • 与进程之间的切换相比,线程之间的切换需要操作系统做的工作要少很多
    • 线程占用的资源要比进程少很多
    • 能充分利用多处理器的可并行数量
    • 在等待慢速I/O操作结束的同时,程序可执行其他的计算任务
    • 计算密集型应用,为了能在多处理器系统上运行,将计算分解到多个线程中实现
    • I/O密集型应用,为了提高性能,将I/O操作重叠。线程可以同时等待不同的I/O操作

    线程有这么多优点一定越多越好吗?不是,一定要合适(进程/线程CPU的个数/核数一致)

    3.2缺点

    • 性能损失

      一个很少被外部事件阻塞的计算密集型线程往往无法与共它线程共享同一个处理器。如果计算密集型
      线程的数量比可用的处理器多,那么可能会有较大的性能损失,这里的性能损失指的是增加了额外的
      同步和调度开销,而可用的资源不变。

    • 健壮性降低

      编写多线程需要更全面更深入的考虑,在一个多线程程序里,因时间分配上的细微偏差或者因共享了
      不该共享的变量而造成不良影响的可能性是很大的,换句话说线程之间是缺乏保护的。

    • 缺乏访问控制

      进程是访问控制的基本粒度,在一个线程中调用某些OS函数会对整个进程造成影响

    • 编程难度提高

      编写与调试一个多线程程序比单线程程序困难得多

    多线程程序中,任何一个线程崩溃了,都会导致进程的崩溃!

    为什么会这样?

    系统角度:线程是进程的执行分支,线程崩溃了,就是进程崩溃了。

    信号的角度:页表转换的时候, MMU识别写入权限的,没有验证通过,MMU异常->OS识别->给进程发信号。

    #include
    #include
    #include
    
    using namespace std;
    
    int a[2];
    
    void* T1(void* args)
    {
        while(1)
        {
            cout << "我是线程1,我正在运行" << getpid() << endl;
            sleep(1);
        }
    }
    
    void* T2(void* args)
    {
        while(1)
        {
            cout << "我是线程2,我正在运行" << getpid() << endl;
            sleep(1);
        }
    }
    
    void* T3(void* args)
    {
        int cnt = 0;
        char *s = "hello bit";
        while(1)
        {
            cout << "我是线程3,我正在运行" << getpid() << endl;
            sleep(1);
    
            if(cnt == 5)  *s = 's';
    
            cnt++;
        }
    }
    
    int main()
    {
        pthread_t t1, t2, t3;
        pthread_create(&t1, nullptr, T1, nullptr);
        pthread_create(&t2, nullptr, T3, nullptr);
        pthread_create(&t3, nullptr, T3, nullptr);
    
        while(1)
        {
            sleep(1);
        }
        return 0;
    }
    
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8
    • 9
    • 10
    • 11
    • 12
    • 13
    • 14
    • 15
    • 16
    • 17
    • 18
    • 19
    • 20
    • 21
    • 22
    • 23
    • 24
    • 25
    • 26
    • 27
    • 28
    • 29
    • 30
    • 31
    • 32
    • 33
    • 34
    • 35
    • 36
    • 37
    • 38
    • 39
    • 40
    • 41
    • 42
    • 43
    • 44
    • 45
    • 46
    • 47
    • 48
    • 49
    • 50
    • 51
    • 52
    • 53
    • 54

    image-20240224163613503

    4.线程的控制

    4.1线程的创建

    Linux下没有真正意义的线程,而是用进程来模拟的线程(LWP),— 所以,Linux不会提供直接创建线程的系统调用,他会给我们提供更多轻量级的进程的接口

    库:将Linux接口封装,对上给用户提供进行线程控制的接口----->用户级线程库---->pthread库,我们所有的操作系统都需要自带—>原生线程库。

    用户视角:只认线程

    功能:创建一个新的线程
    原型
    int pthread_create(pthread_t *thread, const pthread_attr_t *attr, void *
    (*start_routine)(void*), void *arg);
    参数
    thread:返回线程ID
    attr:设置线程的属性,attr为NULL表示使用默认属性
    start_routine:是个函数地址,线程启动后要执行的函数
    arg:传给线程启动函数的参数
    返回值:成功返回0;失败返回错误码
    
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8
    • 9
    • 10

    错误检查:

    • 传统的一些函数是,成功返回0,失败返回-1,并且对全局变量errno赋值以指示错误
    • pthreads函数出错时不会设置全局变量errno(而大部分其他POSIX函数会这样做)。而是将错误代码通过返回值返回
    • pthreads同样也提供了线程内的errno变量,以支持其它使用errno的代码。对于pthreads函数的错误,建议通过返回值来判定,因为读取返回值要比读取线程内的errno变量的开销更小。

    案例一:

    #include
    #include
    #include
    
    using namespace std;
    
    
    void* threadruning(void* args)
    {
        while(true)
        {
            cout << "我是一个线程,我的self_id是" << pthread_self() << endl;
    
            sleep(1);
        }
    }
    
    
    int main()
    {
        pthread_t t1; //pthread_t是一个无符号的长整数
    
        pthread_create(&t1, nullptr, threadruning, nullptr);
    
        while(1)
        {
            cout << "我是主线程,我的id是:" << t1 << endl; 
            sleep(1);
        }
    
        return 0;
    }
    
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8
    • 9
    • 10
    • 11
    • 12
    • 13
    • 14
    • 15
    • 16
    • 17
    • 18
    • 19
    • 20
    • 21
    • 22
    • 23
    • 24
    • 25
    • 26
    • 27
    • 28
    • 29
    • 30
    • 31
    • 32

    运行结果:

    我们发现LWP和我们程序内部打印出来的ID是不一样的。

    image-20240225092038720

    案例二:

    #include
    #include
    #include
    
    #define NUM 10
    using namespace std;
    
    
    
    void* threadruning(void* args)
    {
        char* name = (char*)args;
        while(true)
        {
            cout << "我是" << name <<",我的self_id是" << pthread_self() << endl;
    
            sleep(1);
        }
    }
    
    
    int main()
    {
        pthread_t tids[NUM]; //pthread_t是一个无符号的长整数
    
        for(int i = 0 ; i < NUM; ++i)
        {
            char tname[64];
            snprintf(tname, 64, "thread-%d", i + 1);
            pthread_create(tids + i, nullptr, threadruning, tname);
        }
    
    
    
    
        while(1)
        {
            cout << "我是主线程" << endl; 
            sleep(2);
        }
    
        return 0;
    }
    
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8
    • 9
    • 10
    • 11
    • 12
    • 13
    • 14
    • 15
    • 16
    • 17
    • 18
    • 19
    • 20
    • 21
    • 22
    • 23
    • 24
    • 25
    • 26
    • 27
    • 28
    • 29
    • 30
    • 31
    • 32
    • 33
    • 34
    • 35
    • 36
    • 37
    • 38
    • 39
    • 40
    • 41
    • 42
    • 43

    运行结果:

    原因是我们所有的线程是共享这一段缓冲区的,所以我们每个进程看到的都是同一块缓冲区。

    image-20240225093543580

    改进:我们将tname的空间编程动态内存空间即可,相当于每个线程都有自己单独的tname

    //....
    int main()
    {
        pthread_t tids[NUM]; //pthread_t是一个无符号的长整数
    
        for(int i = 0 ; i < NUM; ++i)
        {
            char* tname = new char[64];
            snprintf(tname, 64, "thread-%d", i + 1);
            pthread_create(tids + i, nullptr, threadruning, tname);
        }
       //...
    
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8
    • 9
    • 10
    • 11
    • 12

    运行结果:

    image-20240225095436604

    4.2线程的退出

    ①主线程退出,那么我们对应的所有的线程也都退出。

    ②单个线程如果出现除零,野指针问题导致线程崩溃,进程也会随着崩溃

    ③线程是进程的执行分支,线程出异常,就类似进程出异常,进而触发信号机制,终止进程,进程终止,该进程内的所有线程也就随即退出

    4.3线程的等待

    为什么线程需要等待

    • 已经退出的线程,其空间没有被释放,仍然在进程的地址空间内
    • 创建新的线程不会复用刚才退出线程的地址空间
    功能:等待线程结束
    原型
    int pthread_join(pthread_t thread, void **value_ptr);
    参数
    thread:线程ID
    value_ptr:它指向一个指针,后者指向线程的返回值
    返回值:成功返回0;失败返回错误码
    
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7

    线程终止的三种情况:

    • 线程函数执行完毕
    • pthread_exit(void*);
    • 一个线程可以调用pthread_ cancel终止同一进程中的另一个线程

    代码示例:

    #include
    #include
    #include
    
    #define NUM 10
    using namespace std;
    
    
    
    void* threadruning(void* args)
    {
        char* name = (char*)args;
        while(true)
        {
            cout << "我是" << name <<",我的self_id是" << pthread_self() << endl; 
            //打印线程的id,在线程自己内部调用:pthread_self
    
            sleep(3);
    
            break;
        }
    
        delete name;
    
        return nullptr; 
    }
    
    
    int main()
    {
        pthread_t tids[NUM]; //pthread_t是一个无符号的长整数
    
        for(int i = 0 ; i < NUM; ++i)
        {
            char* tname = new char[64];
            snprintf(tname, 64, "thread-%d", i + 1);
            pthread_create(tids + i, nullptr, threadruning, tname);
        }
    
        for(int i = 0; i < NUM; ++i)
        {
            int n = pthread_join(tids[i], nullptr);
            if(n != 0) cout << "pthread_join error" << endl;
        }
    
        // while(1)
        // {
        //     cout << "我是主线程" << endl; 
        //     sleep(2);
        // }
    
        return 0;
    }
    
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8
    • 9
    • 10
    • 11
    • 12
    • 13
    • 14
    • 15
    • 16
    • 17
    • 18
    • 19
    • 20
    • 21
    • 22
    • 23
    • 24
    • 25
    • 26
    • 27
    • 28
    • 29
    • 30
    • 31
    • 32
    • 33
    • 34
    • 35
    • 36
    • 37
    • 38
    • 39
    • 40
    • 41
    • 42
    • 43
    • 44
    • 45
    • 46
    • 47
    • 48
    • 49
    • 50
    • 51
    • 52
    • 53

    4.4线程的取消

    pthread_cancel(pthread_t)接口:

    当一个进程开始运行的时候,我们可以调用这个接口,将其取消;

    #include 
    #include 
    #include 
    #include 
    #include 
    
    using namespace std;
    
    void *threadRun(void* args)
    {
        const char*name = static_cast<const char *>(args);
    
        int cnt = 5;
        while(cnt)
        {
            cout << name << " is running: " << cnt-- << " obtain self id: " << pthread_self() << endl;
            sleep(1);
        }
    
        pthread_exit((void*)11); 
    
        // PTHREAD_CANCELED; #define PTHREAD_CANCELED ((void *) -1)
    }
    
    int main()
    {
        pthread_t tid;
        pthread_create(&tid, nullptr, threadRun, (void*)"thread 1");
         sleep(3);
    
         pthread_cancel(tid);
    
        void *ret = nullptr;
        pthread_join(tid, &ret);
        cout << " new thread exit : " << (int64_t)ret << "quit thread: " << tid << endl;
        return 0;
    }
    
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8
    • 9
    • 10
    • 11
    • 12
    • 13
    • 14
    • 15
    • 16
    • 17
    • 18
    • 19
    • 20
    • 21
    • 22
    • 23
    • 24
    • 25
    • 26
    • 27
    • 28
    • 29
    • 30
    • 31
    • 32
    • 33
    • 34
    • 35
    • 36
    • 37

    4.5线程的分离

    一个线程如果被分离,就无法join,如果join的话,就会报错。

    • 默认情况下,新创建的线程是joinable的,线程退出后,需要对其进行pthread_join操作,否则无法释放资源,从而造成系统泄漏
    • 如果不关心线程的返回值,join是一种负担,这个时候,我们可以告诉系统,当线程退出时,自动释放线程资源
    int pthread_detach(pthread_t thread);
    
    • 1

    可以是线程组内其他线程对目标线程进行分离,也可以是线程自己分离:

    pthread_detach(pthread_self());
    
    • 1

    joinable和分离是冲突的,一个线程不能既是joinable又是分离的。

    #include
    #include
    #include
    #include
    
    using namespace std;
    
    
    void* runing(void* args)
    {
        pthread_detach(pthread_self());
        while(1)
        {
            cout << "我是线程,我正在运行....." << endl;
            sleep(1);
    
            break;
        }
    
        return nullptr;
    }
    
    
    int main()
    {
        pthread_t t1;
    
        pthread_create(&t1, nullptr, runing, nullptr);
    
        pthread_detach(t1);
        
        int n = pthread_join(t1, nullptr);
    
        if(n != 0)
        {
            cerr <<"error:" << n <<":"<< strerror(n) << endl;
        }
    
    
        return 0;
    }
    
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8
    • 9
    • 10
    • 11
    • 12
    • 13
    • 14
    • 15
    • 16
    • 17
    • 18
    • 19
    • 20
    • 21
    • 22
    • 23
    • 24
    • 25
    • 26
    • 27
    • 28
    • 29
    • 30
    • 31
    • 32
    • 33
    • 34
    • 35
    • 36
    • 37
    • 38
    • 39
    • 40
    • 41

    image-20240225202252894

    4.6线程的用途

    • 合理的使用多线程,能提高CPU密集型程序的执行效率
    • 合理的使用多线程,能提高IO密集型程序的用户体验(如生活中我们一边写代码一边下载开发工具,就是多线程运行的一种表现)

    5.线程ID及进程地址空间布局

    • pthread_ create函数会产生一个线程ID,存放在第一个参数指向的地址中。该线程ID和前面说的线程ID不是一回事

    • 前面讲的线程ID属于进程调度的范畴。因为线程是轻量级进程,是操作系统调度器的最小单位,所以需要一个数值来唯一表示该线程。

    • pthread_ create函数第一个参数指向一个虚拟内存单元,该内存单元的地址即为新创建线程的线程ID,属于NPTL线程库的范畴。线程库的后续操作,就是根据该线程ID来操作线程的

    • 线程库NPTL提供了pthread_ self函数,可以获得线程自身的ID:

      pthread_t pthread_self(void);
      
      • 1

      pthread_t到底是什么类型呢?取决于实现。对于Linux目前实现的NPTL实现而言,pthread_t类型的线程ID,本质就是一个进程地址空间上的一个地址.

      这里体现了每一个线程都有自己独立的栈结构,主线程用的是系统栈。

      image-20240225202809268

    • __thread参数:

      __thread是GCC内置的线程局部存储设施,存取效率可以和全局变量相比。__thread变量每一个线程有一份独立实体,各个线程的值互不干扰。可以用来修饰那些带有全局性且值可能变,但是又不值得用全局变量保护的变量。‘

      #include
      #include
      #include
      #include
                      
      using namespace std;
                      
      __thread int g_val = 100;
                      
      //int g_val = 100;
                      
      std::string hexAddr(pthread_t tid)
      {
          g_val++;
          char buffer[64];
          snprintf(buffer, sizeof(buffer), "0x%x", tid);
                      
          return buffer;
      }
                      
      void *threadRoutine(void* args)
      {
          // static int a = 10;
          string name = static_cast<const char*>(args);
          int cnt = 5;
          while(cnt)
          {
              sleep(1);
              cout << name << " g_val: " << g_val++ << ", &g_val: " << &g_val << endl;
                              
          }
          return nullptr;
      }
                      
      int main()
      {
          pthread_t t1, t2, t3;
          pthread_create(&t1, nullptr, threadRoutine, (void*)"thread 1"); // 线程被创建的时候,谁先执行不确定!
          pthread_create(&t2, nullptr, threadRoutine, (void*)"thread 2"); // 线程被创建的时候,谁先执行不确定!
          pthread_create(&t3, nullptr, threadRoutine, (void*)"thread 3"); // 线程被创建的时候,谁先执行不确定!
                      
          pthread_join(t1, nullptr);
          pthread_join(t2, nullptr);
          pthread_join(t3, nullptr);
                      
          return 0;
      }
                      
      
      • 1
      • 2
      • 3
      • 4
      • 5
      • 6
      • 7
      • 8
      • 9
      • 10
      • 11
      • 12
      • 13
      • 14
      • 15
      • 16
      • 17
      • 18
      • 19
      • 20
      • 21
      • 22
      • 23
      • 24
      • 25
      • 26
      • 27
      • 28
      • 29
      • 30
      • 31
      • 32
      • 33
      • 34
      • 35
      • 36
      • 37
      • 38
      • 39
      • 40
      • 41
      • 42
      • 43
      • 44
      • 45
      • 46
      • 47
      • 48

      运行结果:

      image-20240225203936942

    6.线程的同步和互斥

    • 临界资源:多线程执行流共享的资源就叫做临界资源
    • 临界区:每个线程内部,访问临界资源的代码,就叫做临界区
    • 互斥:任何时刻,互斥保证有且只有一个执行流进入临界区,访问临界资源,通常对临界资源起保护作用
    • 原子性(后面讨论如何实现):不会被任何调度机制打断的操作,该操作只有两态,要么完成,要么未完成

    6.1互斥量mutex

    • 大部分情况,线程使用的数据都是局部变量,变量的地址空间在线程栈空间内,这种情况,变量归属单个线程,其他线程无法获得这种变量
    • 但有时候,很多变量都需要在线程间共享,这样的变量称为共享变量,可以通过数据的共享,完成线程之间的交互
    • 多个线程并发的操作共享变量,会带来一些问题

    两种初始化方式:

    • 局部:

      需要调用对应的初始化函数,并且需要对mutex进行destroy

      pthread_mutex_init(&mutex, nullptr);
      
      • 1
    • 全局:

      我们直接使用这个宏进行初始化,而不需要调用对应的初始化函数。同时这种方式不需要对mutex进行destroy

      pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;
      
      • 1

    细节:

    • 凡是访问同一个临界资源的线程,都要进行加锁保护,而且必须加同一把锁,这个是一个游戏规则,不能有例外

    • 每一个线程访问临界区之前,得加锁,加锁本质是给 临界区 加锁,加锁的粒度尽量要细一些

    • 线程访问临界区的时候,需要先加锁->所有线程都必须要先看到同一把锁->锁本身就是公共资源->锁如何保证自己的安全?

      -> 加锁和解锁本身就是原子的!

    • 临界区可以是一行代码,可以是一批代码,

      a. 线程可能被切换吗?当然可能, 不要特殊化加锁和解锁,还有临界区代码。

      b. 切换会有影响吗?不会,因为在我不在期间,任何人都没有办法进入临界区,因为他无法成功的申请到锁!因为锁被我拿走了!

    • 这也正是体现互斥带来的串行化的表现,站在其他线程的角度,对其他线程有意义的状态就是:锁被我申请(持有锁),锁被我释放了(不持有锁), 原子性就体现在这里。

    • 解锁的过程也被设计成为原子的!

    锁的原理的理解:

    • swap和exchange指令,都是将寄存器的值和内存单元中的值进行交换。

    • 是调用的线程来执行对应的加锁和解锁代码的。

    • 寄存器的硬件只有一套,但是寄存器中的数据是每一个线程都需要的。

      寄存器 != 寄存器的内容(执行流的上下文);

    从汇编的角度来理解,起始lock和unlock在汇编语句中就只有一句:

    xchgb %al, mutex(将寄存器al中的值和mutex中的值进行交换)和movb $1,mutex(向mutex中放入数字1);

    假设现在存在两个线程threada和threadb,同时来竞争当前的这个锁mutex(存储在内存中)

    首先mutex初始化为1,threada先执行, 先将mutex中的值和寄存器交换,那么这时候mutex中的值为0,寄存器al中的值为1;那么对应的if条件判断就为真,就直接return,threada就会去执行对应的代码或者被时间片到了,被调度。那么这时候threada来的时候执行同样的寄存器和mutex值交换的时候,因为这时候寄存器和mutex的值都是0,那么交换完成,在if判断的时候为假,就进入了挂起等待。这时候其实已经达到了加锁的目的,就是我们的临界区只能同时有一个线程在运行。当threada执行对应的临界区代码,然后unlock,这时候将mutex中的值修改为1,这是的threada再次判断的时候就可以去执行对应的临界区代码了。

    image-20240226121504090

    6.3买票案例

    • 没有加锁的情况

      #include
      #include
      #include
      #include
      
      using namespace std;
      
      int ticket = 1000;
      
      
      void* ThreadRoutine(void* args)
      {
          string name = static_cast<char*>(args);
      
          while(true)
          {
      
              if(ticket > 0)
              {
                  usleep(1000);
                  cout << "我是" << name << "还剩" << ticket-- << "张票" << endl;
              }
      
      
              usleep(500);
          }
      
          return nullptr;
      }
      
      int main()
      {
      
          pthread_t t[4];
      
          int n = sizeof(t) / sizeof(t[0]);
      
          for(int i = 0; i < n; ++i)
          {
              char* date = new char[64];
              snprintf(date, 64, "thread%d", i + 1);
              pthread_create(t + i, nullptr, ThreadRoutine, date);
          }
      
      
          for(int i = 0; i < n; ++i)
          {
              pthread_join(t[i], nullptr);
          }
      
          return 0;
      }
      
      • 1
      • 2
      • 3
      • 4
      • 5
      • 6
      • 7
      • 8
      • 9
      • 10
      • 11
      • 12
      • 13
      • 14
      • 15
      • 16
      • 17
      • 18
      • 19
      • 20
      • 21
      • 22
      • 23
      • 24
      • 25
      • 26
      • 27
      • 28
      • 29
      • 30
      • 31
      • 32
      • 33
      • 34
      • 35
      • 36
      • 37
      • 38
      • 39
      • 40
      • 41
      • 42
      • 43
      • 44
      • 45
      • 46
      • 47
      • 48
      • 49
      • 50
      • 51
      • 52

      运行结果:

      image-20240225210501300

    • 加锁

      #include
      #include
      #include
      #include
      
      using namespace std;
      
      int ticket = 1000;
      
      pthread_mutex_t mutex; // 后面说
      
      void* ThreadRoutine(void* args)
      {
          string name = static_cast<char*>(args);
      
          while(true)
          {
              pthread_mutex_lock(&mutex);
              if(ticket > 0)
              {
                  usleep(1000);
                  cout << "我是" << name << "还剩" << ticket-- << "张票" << endl;
                  pthread_mutex_unlock(&mutex);
              }
              else 
              {
                  pthread_mutex_unlock(&mutex);
              }
              usleep(500);
          }
      
          return nullptr;
      }
      
      int main()
      {
      
          pthread_t t[4];
      
          pthread_mutex_init(&mutex, nullptr);
      
          int n = sizeof(t) / sizeof(t[0]);
      
          for(int i = 0; i < n; ++i)
          {
              char* date = new char[64];
              snprintf(date, 64, "thread%d", i + 1);
              pthread_create(t + i, nullptr, ThreadRoutine, date);
          }
      
      
          for(int i = 0; i < n; ++i)
          {
              pthread_join(t[i], nullptr);
          }
      
          pthread_mutex_destroy(&mutex);
      
          return 0;
      }
      
      • 1
      • 2
      • 3
      • 4
      • 5
      • 6
      • 7
      • 8
      • 9
      • 10
      • 11
      • 12
      • 13
      • 14
      • 15
      • 16
      • 17
      • 18
      • 19
      • 20
      • 21
      • 22
      • 23
      • 24
      • 25
      • 26
      • 27
      • 28
      • 29
      • 30
      • 31
      • 32
      • 33
      • 34
      • 35
      • 36
      • 37
      • 38
      • 39
      • 40
      • 41
      • 42
      • 43
      • 44
      • 45
      • 46
      • 47
      • 48
      • 49
      • 50
      • 51
      • 52
      • 53
      • 54
      • 55
      • 56
      • 57
      • 58
      • 59
      • 60

      运行结果:

      image-20240225210909537

      那么上面的案例是一个全局锁的案例,我们实现一个将锁声明在主函数内部的案例:

      这里我们使用了一个Tdata的类将线程的name和mutex一并存储在类的属性中,那么我们在传给线程的进入函数的时候只需要将Tdata类传入这个函数即可。

      #include
      #include
      #include
      #include
      
      using namespace std;
      
      
      int ticket = 10000;
      
      //pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;
      
      class Tdata
      {
          public:
          Tdata(char* name, pthread_mutex_t mutex):_name(name),_mutex(mutex)
          {}
      
          ~Tdata()
          {}
      
          public:
          char* _name;
          pthread_mutex_t _mutex;
      };
      
      void* ThreadRun(void* args)
      {
          Tdata* Td = static_cast<Tdata*>(args);
          while(1)
          {
              usleep(100);
              pthread_mutex_lock(&Td->_mutex);
              if(ticket > 0)
              {
                  cout << "我是" << Td->_name << "我买票了,还有" << --ticket <<"张票" << endl;
                  pthread_mutex_unlock(&Td->_mutex);
              }
              else 
              {
                  pthread_mutex_unlock(&Td->_mutex);
                  break;
              }
              usleep(100);
          }      
          return nullptr;
      }
      
      
      int main()
      {
      
          pthread_t tids[4];
          pthread_mutex_t mutex;
      
          for(int i = 0; i < 4; ++i)
          {
              char* name = new char[64];
              snprintf(name, 64, "thread:%d", i + 1);
              Tdata* tdata = new Tdata(name, mutex);
              pthread_create(tids + i, nullptr, ThreadRun, (void*)tdata);
          }
      
      
          for(int i = 0; i < 4; ++i)
          {
              pthread_join(tids[i], nullptr);
          }
      
          cout << "all pthread quit successed" << endl;
          while(1)
          {
              sleep(1);
          }
          return 0;
      }
      
      • 1
      • 2
      • 3
      • 4
      • 5
      • 6
      • 7
      • 8
      • 9
      • 10
      • 11
      • 12
      • 13
      • 14
      • 15
      • 16
      • 17
      • 18
      • 19
      • 20
      • 21
      • 22
      • 23
      • 24
      • 25
      • 26
      • 27
      • 28
      • 29
      • 30
      • 31
      • 32
      • 33
      • 34
      • 35
      • 36
      • 37
      • 38
      • 39
      • 40
      • 41
      • 42
      • 43
      • 44
      • 45
      • 46
      • 47
      • 48
      • 49
      • 50
      • 51
      • 52
      • 53
      • 54
      • 55
      • 56
      • 57
      • 58
      • 59
      • 60
      • 61
      • 62
      • 63
      • 64
      • 65
      • 66
      • 67
      • 68
      • 69
      • 70
      • 71
      • 72
      • 73
      • 74
      • 75
      • 76

      运行截图:

      image-20240226115840923

    6.4demo版线程封装

    #pragma once
    
    class Thread
    {
    
    public:
        typedef enum
        {
            NEW = 0,
            RUNING,
            EXIT
        }ThreadStatus;
    
        typedef void* (*func_t)(void*);
    
        Thread(int mum, func_t func, void* args) :_tid(0), _status(NEW), _func(func),_args(args) 
        {
            char name[128];
            snprintf(name, sizeof name, "thread-%d", _tid);
            _name = name;
        }
    
        int status() {  return _status; }
        string thread_name(){   return _name; }
    
        pthread_t threadid()
        {
            if(_status == RUNING)
            {
                return _tid;
            }
    
            else return 0;
        }
    
        static void* runHelper(void* args)
        {
            Thread* ts = (Thread*) args; //通过这种方式拿到对象
            (*ts)();
            return nullptr;
        }
    
        void operator()()
        {
            if(_func != nullptr) _func(_args); //使用仿函数的方式运行对应的线程进入函数
        }
    
        void run()
        {
            int n = pthread_create(&_tid, nullptr, runHelper, this);
            if(n != 0) exit;
            _status = RUNING;
        }
    
        void join()
        {
            int n = pthread_join(_tid, nullptr);
    
            if(n != 0)
            {
                cerr << "main thread join error:"  << _name << endl;
                return ;
            }
            _status = EXIT;
        }
    
        ~Thread()
        {}
    
    
    public:
        pthread_t _tid;
        string _name;
        func_t _func; //线程未来要执行的回调
        void* _args;
        ThreadStatus _status;
    };
    
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8
    • 9
    • 10
    • 11
    • 12
    • 13
    • 14
    • 15
    • 16
    • 17
    • 18
    • 19
    • 20
    • 21
    • 22
    • 23
    • 24
    • 25
    • 26
    • 27
    • 28
    • 29
    • 30
    • 31
    • 32
    • 33
    • 34
    • 35
    • 36
    • 37
    • 38
    • 39
    • 40
    • 41
    • 42
    • 43
    • 44
    • 45
    • 46
    • 47
    • 48
    • 49
    • 50
    • 51
    • 52
    • 53
    • 54
    • 55
    • 56
    • 57
    • 58
    • 59
    • 60
    • 61
    • 62
    • 63
    • 64
    • 65
    • 66
    • 67
    • 68
    • 69
    • 70
    • 71
    • 72
    • 73
    • 74
    • 75
    • 76
    • 77

    6.5demo版锁的封装

    #pragma
    
    class Mutex
    {
    public:
        Mutex(pthread_mutex_t* pthread) : _pthread(pthread)
        {}
    
        void lock()
        {
            pthread_mutex_lock(_pthread);
        }
    
        void unlock()
        {
            pthread_mutex_unlock(_pthread);
        }
    
        ~Mutex()
        {}
    private:
        pthread_mutex_t * _pthread;
    
    };
    
    
    class lockGuard
    {
    public:
    
        lockGuard(pthread_mutex_t* mutex) :_mutex(mutex)
        {
            _mutex.lock();
        }
    
        ~lockGuard()
        {
            _mutex.unlock();
        }
    
    private:
        Mutex _mutex;
    };
    
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8
    • 9
    • 10
    • 11
    • 12
    • 13
    • 14
    • 15
    • 16
    • 17
    • 18
    • 19
    • 20
    • 21
    • 22
    • 23
    • 24
    • 25
    • 26
    • 27
    • 28
    • 29
    • 30
    • 31
    • 32
    • 33
    • 34
    • 35
    • 36
    • 37
    • 38
    • 39
    • 40
    • 41
    • 42
    • 43

    7.常见锁的概念

    7.1死锁

    • 死锁是指在一组进程中的各个进程均占有不会释放的资源,但因互相申请被其他进程所站用不会释放的资源而处于的一种永久等待状态

    7.2死锁四个必要条件

    • 互斥条件:一个资源每次只能被一个执行流使用
    • 请求与保持条件:一个执行流因请求资源而阻塞时,对已获得的资源保持不放
    • 不剥夺条件:一个执行流已获得的资源,在末使用完之前,不能强行剥夺
    • 循环等待条件:若干执行流之间形成一种头尾相接的循环等待资源的关系

    7.3避免死锁

    • 破坏死锁的四个必要条件
    • 加锁顺序一致
    • 避免锁未释放的场景
    • 资源一次性分配

    8.Linux线程同步

    8.1条件变量

    • 当一个线程互斥地访问某个变量时,它可能发现在其它线程改变状态之前,它什么也做不了
    • 例如一个线程访问队列时,发现队列为空,它只能等待,只到其它线程将一个节点添加到队列中。这种情况就需要用到条件变量

    条件变量的接口

    • 条件变量函数 初始化

      int pthread_cond_init(pthread_cond_t *restrict cond,const pthread_condattr_t *restrictattr);
      参数:
      cond:要初始化的条件变量
      attr:NULL
      
      • 1
      • 2
      • 3
      • 4
    • 销毁

      int pthread_cond_destroy(pthread_cond_t *cond)
      
      • 1
    • 等待条件满足

      int pthread_cond_wait(pthread_cond_t *restrict cond,pthread_mutex_t *restrict mutex);
      参数:
      cond:要在这个条件变量上等待
      mutex:互斥量,后面详细解释
      
      • 1
      • 2
      • 3
      • 4
    • 唤醒等待

      int pthread_cond_broadcast(pthread_cond_t *cond);  //全局唤醒
      int pthread_cond_signal(pthread_cond_t *cond); //单独唤醒
      
      • 1
      • 2

    demo

    #include
    #include
    #include
    
    
    using namespace std;
    
    const int num = 5;
    
    pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER; //全局变量的锁
    pthread_cond_t cond = PTHREAD_COND_INITIALIZER; //条件变量的初始化
    
    
    void* active(void* args)
    {
        char* name = (char*) args;
    
        while(1)
        {
            pthread_mutex_lock(&mutex);
            pthread_cond_wait(&cond, &mutex);
            cout << "我是线程:" << name << endl;
            pthread_mutex_unlock(&mutex);
    
        }
    }
    
    int main()
    {
    
        pthread_t tids[num];
    
        for(int i = 0 ; i < num; ++i)
        {
            char* name = new char[64];
            snprintf(name, 64, "thread-%d", i +  1);
            pthread_create(tids + i, nullptr, active, (void*)name);
        }
    
        pthread_cond_signal(&cond);
        //pthread_cond_broadcast(&cond);
    
        for(int i = 0 ; i < num; ++i)
        {
            pthread_join(tids[i], nullptr);
        }
    
        return 0;
    }
    
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8
    • 9
    • 10
    • 11
    • 12
    • 13
    • 14
    • 15
    • 16
    • 17
    • 18
    • 19
    • 20
    • 21
    • 22
    • 23
    • 24
    • 25
    • 26
    • 27
    • 28
    • 29
    • 30
    • 31
    • 32
    • 33
    • 34
    • 35
    • 36
    • 37
    • 38
    • 39
    • 40
    • 41
    • 42
    • 43
    • 44
    • 45
    • 46
    • 47
    • 48
    • 49

    生产者消费者模型

    基于blockqueue实现的多生产者消费者模型

    三种关系:

    • 生产者和生产者— 互斥关系

    • 消费者和消费者—互斥关系

    • 生产者和消费者—同步关系和互斥关系

    两个角色:

    • 生产者
    • 消费者

    一个交易场所:

    • 通常是缓冲区

    细节:

    • 一定要保证,在任何时候,都是符合条件,才进行生产
    • 要让线程进行休眠等待,不能持有锁等待!
    • 当线程醒来的时候,注定了继续从临界区内部继续运行!因为我是在临界区被切走的!
    • 注定了当线程被唤醒的时候,继续在pthread_cond_wait函数出向后运行,又要重新申请锁,申请成功才会彻底返回

    为何这样的方式高效?

    因为这样的blockqueue的方式允许生产消费的步调可以不一致,也就是说提供了一种特定的缓冲区。

    从某种程度上来说允许了多个消费者的并行,多个生产者的并行。

    //main.cc
    #include
    #include
    #include
    #include
    #include
    #include
    
    using namespace std;
    
    #include"blockqueue.hpp"
    #include"Task.hpp"
    
    void* Consumer(void* args)
    {
        BlockQueue<Task> *q = static_cast<BlockQueue<Task> *>(args);
    
        while(true)
        {
            // 1.从q中拿出任务
            Task t;
            q->pop(&t);
    
            t(); // 内部写仿函数用于计算任务
    
            cout << pthread_self() << "| consumer data : " << t.formatArgs() << t.formatRes() << endl;
        }
    
    
    }
    
    void* Product(void* args)
    {
        BlockQueue<Task> *q = static_cast<BlockQueue<Task> *>(args);
        string opers = "+-*/%";
        while(true)
        {
    
            int x = rand() % 20 + 1;
            int y = rand() % 10 + 1;
            char op = opers[rand() % opers.size()];
            Task t(x, y, op);
    
            q->push(t);
    
            cout << pthread_self() << "| Product Task: " << t.formatArgs() << "?"<< endl;
        }
    
    }
    
    int main()
    {
        srand((uint64_t)time(nullptr) % getpid());
    
        BlockQueue<Task>* bq = new BlockQueue<Task>(); 
    
        pthread_t c[2], p[3];
    
        pthread_create(&c[0], nullptr, Consumer, bq);
        pthread_create(&c[1], nullptr, Consumer, bq);
        pthread_create(&p[0], nullptr, Product, bq);
        pthread_create(&p[1], nullptr, Product, bq);
        pthread_create(&p[2], nullptr, Product, bq);
    
    
        pthread_join(c[0], nullptr);
        pthread_join(c[1], nullptr);
        pthread_join(p[0], nullptr);
        pthread_join(p[1], nullptr);
        pthread_join(p[2], nullptr);
    
        delete bq;
    
        return 0;
    }
    
    //Task.hpp
    
    class Task
    {
    public:
        Task()
        {}
    
        Task(int x, int y, char op):_x(x), _y(y), _op(op), _result(0), _exitcode(0)
        {}
    
        void operator()()
        {
            switch(_op)
            {
                case '+':
                    _result = _x + _y;
                    break;
                case '-':
                    _result = _x - _y;
                    break;
                case '*':
                    _result = _x * _y;
                    break;
                case '/':
                    {
                        if(_y == 0) 
                        _exitcode = -1; //表示除零错误
                        else 
                        _result = _x /_y;
                    }    
                    break;                  
                case '%':
                    {
                        if(_y == 0) 
                        _exitcode = -1; //表示除零错误
                        else 
                        _result = _x % _y;
                    }  
                default:   
                    break;            
            }
        }
        string formatArgs()
        {
            return to_string(_x) + _op + to_string(_y) + "=";
        }
    
        string formatRes()
        {
            return to_string(_result) + '(' + to_string(_exitcode) + ')';
        }
        ~Task()
        {
    
        }
    
    private:
        int _x;        //运算数
        int _y;        //运算数
        char _op;      //操作符
        int _result;   //存储计算结果
        int _exitcode; //退出码
    };
    
    //blockqueue.hpp
    template<class T>
    class BlockQueue
    {
    public:
        BlockQueue(int cap = 5):_cap(cap)
        {
            pthread_mutex_init(&_mutex, nullptr);
            pthread_cond_init(&_ConsumerCond, nullptr);
            pthread_cond_init(&_ProductCond,nullptr);
        }
        bool isfull(){  return _q.size() == _cap; }
        bool isempty(){ return _q.empty(); }
    
        void push(const T data)
        {
            pthread_mutex_lock(&_mutex);
            while(isfull()) //用while的原因是可以保证防止被误唤醒的情况
            {
                pthread_cond_wait(&_ConsumerCond, &_mutex);
            }
    
            _q.push(data);
    
            pthread_cond_signal(&_ProductCond);
            pthread_mutex_unlock(&_mutex);
        }
    
        void pop(T* out)
        {
            pthread_mutex_lock(&_mutex);
            while(isempty())
            {
                pthread_cond_wait(&_ProductCond, &_mutex);
            }
    
            *out = _q.front();
            _q.pop();
            pthread_cond_signal(&_ConsumerCond);
    
            pthread_mutex_unlock(&_mutex);
        }
        ~BlockQueue()
        {
            pthread_mutex_destroy(&_mutex);
            pthread_cond_destroy(&_ConsumerCond);
            pthread_cond_destroy(&_ProductCond);
        }
    
    private:
        queue<T> _q;
        int _cap;
        pthread_mutex_t _mutex;
        pthread_cond_t _ConsumerCond;
        pthread_cond_t _ProductCond;
    
    };
    
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8
    • 9
    • 10
    • 11
    • 12
    • 13
    • 14
    • 15
    • 16
    • 17
    • 18
    • 19
    • 20
    • 21
    • 22
    • 23
    • 24
    • 25
    • 26
    • 27
    • 28
    • 29
    • 30
    • 31
    • 32
    • 33
    • 34
    • 35
    • 36
    • 37
    • 38
    • 39
    • 40
    • 41
    • 42
    • 43
    • 44
    • 45
    • 46
    • 47
    • 48
    • 49
    • 50
    • 51
    • 52
    • 53
    • 54
    • 55
    • 56
    • 57
    • 58
    • 59
    • 60
    • 61
    • 62
    • 63
    • 64
    • 65
    • 66
    • 67
    • 68
    • 69
    • 70
    • 71
    • 72
    • 73
    • 74
    • 75
    • 76
    • 77
    • 78
    • 79
    • 80
    • 81
    • 82
    • 83
    • 84
    • 85
    • 86
    • 87
    • 88
    • 89
    • 90
    • 91
    • 92
    • 93
    • 94
    • 95
    • 96
    • 97
    • 98
    • 99
    • 100
    • 101
    • 102
    • 103
    • 104
    • 105
    • 106
    • 107
    • 108
    • 109
    • 110
    • 111
    • 112
    • 113
    • 114
    • 115
    • 116
    • 117
    • 118
    • 119
    • 120
    • 121
    • 122
    • 123
    • 124
    • 125
    • 126
    • 127
    • 128
    • 129
    • 130
    • 131
    • 132
    • 133
    • 134
    • 135
    • 136
    • 137
    • 138
    • 139
    • 140
    • 141
    • 142
    • 143
    • 144
    • 145
    • 146
    • 147
    • 148
    • 149
    • 150
    • 151
    • 152
    • 153
    • 154
    • 155
    • 156
    • 157
    • 158
    • 159
    • 160
    • 161
    • 162
    • 163
    • 164
    • 165
    • 166
    • 167
    • 168
    • 169
    • 170
    • 171
    • 172
    • 173
    • 174
    • 175
    • 176
    • 177
    • 178
    • 179
    • 180
    • 181
    • 182
    • 183
    • 184
    • 185
    • 186
    • 187
    • 188
    • 189
    • 190
    • 191
    • 192
    • 193
    • 194
    • 195
    • 196
    • 197
    • 198

    8.2同步的概念与竞态条件

    • 同步:在保证数据安全的前提下,让线程能够按照某种特定的顺序访问临界资源,从而有效避免饥饿问题,叫做同步
    • 竞态条件:因为时序问题,而导致程序异常,我们称之为竞态条件。在线程场景下,这种问题也不难理解

    9.POSIX信号量

    POSIX信号量和SystemV信号量作用相同,都是用于同步操作,达到无冲突的访问共享资源目的。 但POSIX可以用于线程间同步。

    • 用于描述临界资源中资源数目的
    • 每一个线程,在访问对应的资源的时候,线程申请信号量,申请成功,表示该线程允许使用该资源,申请不成功,目前无法使用该资源!
    • 信号量的工作机制:信号量机制类似于我们看电影买票,是一种资源的预定机制。
    • 信号量已经是资源的计数器了,申请信号量成功,本身就表明资源可用!申请信号量失败的本身表明资源不可用—本质就是把判断转化为信号量的申请行为!

    9.1接口

    • 初始化信号量

       #include 
        int sem_init(sem_t *sem, int pshared, unsigned int value);
        参数:
        pshared:0表示线程间共享,非零表示进程间共享
        value:信号量初始值
      
      • 1
      • 2
      • 3
      • 4
      • 5
    • 销毁信号量

      int sem_destroy(sem_t *sem);
      
      • 1
    • 等待信号量

      功能:等待信号量,会将信号量的值减1
      int sem_wait(sem_t *sem); //P()
      
      • 1
      • 2
    • 发布信号量

      功能:发布信号量,表示资源使用完毕,可以归还资源了。将信号量值加1int sem_post(sem_t *sem);//V()
      
      • 1
      • 2

    9.2基于环形队列的生产消费模型

    • 环形队列采用数组模拟,用模运算来模拟环状特性

      image-20240227195538957

    • 环形结构起始状态和结束状态都是一样的,不好判断为空或者为满,所以可以通过加计数器或者标记位来判断满或者空。另外也可以预留一个空的位置,作为满的状态

      image-20240227195552171

    • 细节:

      a.因为只有为空和为满的情况,cp才会指向同一个位置

      b.其他情况,cp可以并发运行

      c.我们要保证游戏规则,同时也要保证满的时候的策略问题

      d.空的时候,生产者先运行,满的时候,消费者先运行。

      e.不能让生产者套圈消费者,不能让消费者超过生产者。

    单CP:

    只需要一对信号量,然后分别对环形队列中的空间和数据进行维护。

    什么时候用锁,什么时候用sem?你对应的临界资源,是否被整体使用!

    1.生产者和消费者关心的“资源”,是一样的吗?

    ​ 不一样,生产者关心空间,消费者关心的是数据

    2.只要信号不为0,表示资源可用,表示线程可访问

    3.环形队列只要我们访问不同的区域,生产和消费希望可以同时进行吗?可以

    //RingQueue.hpp
    const int N = 5;
    
    template<class T>
    class RingQueue
    {
    
    private:
        //P操作
        void P(sem_t &m)
        {
            sem_wait(&m);
        }
        //V操作
        void V(sem_t &m)
        {
            sem_post(&m);
        }
    public:
        RingQueue(int num = N):_cap(num),_start_step(0), _end_step(0)
        {
            sem_init(&_data_sem, 0, 0);  //数据初始量为零
            sem_init(&_space_sem, 0, _cap); //空间初始量为_cap
        }
        void push(const T& in)
        {
            P(_space_sem);     //p操作之后不需要判断是否有资源,因为p操作通过之后一定有资源
            _v[_end_step++] = in;
            _end_step %= _cap;
            V(_data_sem);
        }
    
        void pop(T* out)
        {
            P(_data_sem);
            *out = _v[_start_step++];
            _start_step %= _cap;
            V(_space_sem);
        }
    
        ~RingQueue()
        {
            sem_destroy(&_data_sem);
            sem_destroy(&_space_sem);
        }
    
    private:
        vector<T> _v;  //用于模拟环形队列
        sem_t _data_sem; //表示数据的信号量
        sem_t _space_sem; //表示空间的信号量
        int _cap;                //表示环形队列的大小
        int _start_step;        //表示消费者的位置
        int _end_step;          //表示生产者的位置
    
    };
    
    //Main.cc
    
    #include
    #include
    #include
    #include
    #include
    #include
    
    using namespace std;
    
    #include"RingQueue.hpp"
    
    void* consumerRoutine(void* args)
    {
        RingQueue<int>* rq = static_cast<RingQueue<int>*>(args);
        while(true)
        {
            sleep(1);
            int data;
            rq->pop(&data);
            cout << "我是消费者,我拿到了数据:" << data << endl;
    
        }
    
    }
    void* productRoutine(void* args)
    {
        RingQueue<int>* rq = static_cast<RingQueue<int>*>(args);
        while(true)
        {
            int data = rand() % 100;
            rq->push(data);
            cout << "我是生产者,我放了数据:" << data << endl;
        }
    
    }
    
    
    int main()
    {
        pthread_t c, p;
        RingQueue<int>* rq = new RingQueue<int>();
        srand(time(nullptr) ^ getpid());
    
        pthread_create(&c, nullptr, consumerRoutine, rq);
        pthread_create(&p, nullptr, productRoutine, rq);
    
    
    
        pthread_join(c, nullptr);
        pthread_join(p, nullptr);
    
    
        return 0;
    }
    
    
    
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8
    • 9
    • 10
    • 11
    • 12
    • 13
    • 14
    • 15
    • 16
    • 17
    • 18
    • 19
    • 20
    • 21
    • 22
    • 23
    • 24
    • 25
    • 26
    • 27
    • 28
    • 29
    • 30
    • 31
    • 32
    • 33
    • 34
    • 35
    • 36
    • 37
    • 38
    • 39
    • 40
    • 41
    • 42
    • 43
    • 44
    • 45
    • 46
    • 47
    • 48
    • 49
    • 50
    • 51
    • 52
    • 53
    • 54
    • 55
    • 56
    • 57
    • 58
    • 59
    • 60
    • 61
    • 62
    • 63
    • 64
    • 65
    • 66
    • 67
    • 68
    • 69
    • 70
    • 71
    • 72
    • 73
    • 74
    • 75
    • 76
    • 77
    • 78
    • 79
    • 80
    • 81
    • 82
    • 83
    • 84
    • 85
    • 86
    • 87
    • 88
    • 89
    • 90
    • 91
    • 92
    • 93
    • 94
    • 95
    • 96
    • 97
    • 98
    • 99
    • 100
    • 101
    • 102
    • 103
    • 104
    • 105
    • 106
    • 107
    • 108
    • 109
    • 110
    • 111
    • 112
    • 113
    • 114

    多CP:

    首先在上面的基础上,我们要为程序加锁,目的是保证消费者和消费者的互斥,生产者和生产者的互斥。

    多CP的意义在哪里呢?

    意义绝对不在从缓冲区冲放入和拿去,意义在于,放前并发构建Task,获取后多线程可以并发处理task,因为这些操作没有加锁!

    //Main.cc
    
    #include
    #include
    #include
    #include
    #include
    #include
    #include
    
    using namespace std;
    
    #include"RingQueue.hpp"
    #include"Task.hpp"
    
    string opers = "+-*/%";
    
    void* consumerRoutine(void* args)
    {
        RingQueue<Task>* rq = static_cast<RingQueue<Task>*>(args);
        while(true)
        {
            sleep(1);
            //int data;
            Task t;
            rq->pop(&t);
            t();
            cout << "我是消费者,我拿到了任务,并且计算完成:" << t.formatArgs() << t.formatRes() << endl;
    
        }
    
    }
    void* productRoutine(void* args)
    {
        RingQueue<Task>* rq = static_cast<RingQueue<Task>*>(args);
        while(true)
        {
            //int data = rand() % 100;
            int x = rand() % 100;
            int y = rand() % 100;
            char op = opers[rand() % opers.size()];
            Task t(x, y, op);
            rq->push(t);
            cout << "我是生产者,我放了任务:" << t.formatArgs()  << "?" << endl;
        }
    
    }
    
    
    int main()
    {
        pthread_t c[2], p[3];
        RingQueue<Task>* rq = new RingQueue<Task>();
        srand(time(nullptr) ^ getpid());
    
        pthread_create(&c[0], nullptr, consumerRoutine, rq);
        pthread_create(&c[1], nullptr, consumerRoutine, rq);
        pthread_create(&p[0], nullptr, productRoutine, rq);
        pthread_create(&p[1], nullptr, productRoutine, rq);
        pthread_create(&p[2], nullptr, productRoutine, rq);
    
    
    
        pthread_join(c[0], nullptr);
        pthread_join(c[1], nullptr);
        pthread_join(p[0], nullptr);
        pthread_join(p[1], nullptr);
        pthread_join(p[2], nullptr);
    
    
        delete rq;
    
        return 0;
    }
    
    //Task.hpp
    
    
    class Task
    {
    public:
        Task()
        {}
    
        Task(int x, int y, char op):_x(x), _y(y), _op(op), _result(0), _exitcode(0)
        {}
    
        void operator()()
        {
            switch(_op)
            {
                case '+':
                    _result = _x + _y;
                    break;
                case '-':
                    _result = _x - _y;
                    break;
                case '*':
                    _result = _x * _y;
                    break;
                case '/':
                    {
                        if(_y == 0) 
                        _exitcode = -1; //表示除零错误
                        else 
                        _result = _x /_y;
                    }    
                    break;                  
                case '%':
                    {
                        if(_y == 0) 
                        _exitcode = -1; //表示除零错误
                        else 
                        _result = _x % _y;
                    }  
                default:   
                    break;            
            }
        }
        string formatArgs()
        {
            return to_string(_x) + _op + to_string(_y) + "=";
        }
    
        string formatRes()
        {
            return to_string(_result) + '(' + to_string(_exitcode) + ')';
        }
        ~Task()
        {
    
        }
    
    private:
        int _x;        //运算数
        int _y;        //运算数
        char _op;      //操作符
        int _result;   //存储计算结果
        int _exitcode; //退出码
    };
    
    //RingQueue.hpp
    
    const int N = 5;
    
    template<class T>
    class RingQueue
    {
    
    private:
        //P操作
        void P(sem_t &m)
        {
            sem_wait(&m);
        }
        //V操作
        void V(sem_t &m)
        {
            sem_post(&m);
        }
    
        void lock(pthread_mutex_t &m)
        {
            pthread_mutex_lock(&m);
        }
    
        void unlock(pthread_mutex_t &m)
        {
            pthread_mutex_unlock(&m);
        }
    public:
        RingQueue(int num = N):_cap(num),_v(num) ,_start_step(0), _end_step(0)
        {
            sem_init(&_data_sem, 0, 0);  //数据初始量为零
            sem_init(&_space_sem, 0, _cap); //空间初始量为_cap
            pthread_mutex_init(&_con_mutex, nullptr);
            pthread_mutex_init(&_pro_mutex, nullptr);
        }
        void push(const T& in)
        {
            P(_space_sem);     //p操作之后不需要判断是否有资源,因为p操作通过之后一定有资源
            
            lock(_pro_mutex);
            _v[_end_step++] = in;
            _end_step %= _cap;
            unlock(_pro_mutex);
    
            V(_data_sem);
        }
    
        void pop(T* out)
        {
            P(_data_sem);
    
            lock(_con_mutex);
            *out = _v[_start_step++];
            _start_step %= _cap;
            unlock(_con_mutex);
    
            V(_space_sem);
        }
    
        ~RingQueue()
        {
            sem_destroy(&_data_sem);
            sem_destroy(&_space_sem);
            pthread_mutex_destroy(&_con_mutex);
            pthread_mutex_destroy(&_pro_mutex);
        }
    
    private:
        vector<T> _v;  //用于模拟环形队列
        sem_t _data_sem; //表示数据的信号量
        sem_t _space_sem; //表示空间的信号量
        int _cap;                //表示环形队列的大小
        int _start_step;        //表示消费者的位置
        int _end_step;          //表示生产者的位置
    
        pthread_mutex_t _con_mutex;
        pthread_mutex_t _pro_mutex;
    
    };
    
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8
    • 9
    • 10
    • 11
    • 12
    • 13
    • 14
    • 15
    • 16
    • 17
    • 18
    • 19
    • 20
    • 21
    • 22
    • 23
    • 24
    • 25
    • 26
    • 27
    • 28
    • 29
    • 30
    • 31
    • 32
    • 33
    • 34
    • 35
    • 36
    • 37
    • 38
    • 39
    • 40
    • 41
    • 42
    • 43
    • 44
    • 45
    • 46
    • 47
    • 48
    • 49
    • 50
    • 51
    • 52
    • 53
    • 54
    • 55
    • 56
    • 57
    • 58
    • 59
    • 60
    • 61
    • 62
    • 63
    • 64
    • 65
    • 66
    • 67
    • 68
    • 69
    • 70
    • 71
    • 72
    • 73
    • 74
    • 75
    • 76
    • 77
    • 78
    • 79
    • 80
    • 81
    • 82
    • 83
    • 84
    • 85
    • 86
    • 87
    • 88
    • 89
    • 90
    • 91
    • 92
    • 93
    • 94
    • 95
    • 96
    • 97
    • 98
    • 99
    • 100
    • 101
    • 102
    • 103
    • 104
    • 105
    • 106
    • 107
    • 108
    • 109
    • 110
    • 111
    • 112
    • 113
    • 114
    • 115
    • 116
    • 117
    • 118
    • 119
    • 120
    • 121
    • 122
    • 123
    • 124
    • 125
    • 126
    • 127
    • 128
    • 129
    • 130
    • 131
    • 132
    • 133
    • 134
    • 135
    • 136
    • 137
    • 138
    • 139
    • 140
    • 141
    • 142
    • 143
    • 144
    • 145
    • 146
    • 147
    • 148
    • 149
    • 150
    • 151
    • 152
    • 153
    • 154
    • 155
    • 156
    • 157
    • 158
    • 159
    • 160
    • 161
    • 162
    • 163
    • 164
    • 165
    • 166
    • 167
    • 168
    • 169
    • 170
    • 171
    • 172
    • 173
    • 174
    • 175
    • 176
    • 177
    • 178
    • 179
    • 180
    • 181
    • 182
    • 183
    • 184
    • 185
    • 186
    • 187
    • 188
    • 189
    • 190
    • 191
    • 192
    • 193
    • 194
    • 195
    • 196
    • 197
    • 198
    • 199
    • 200
    • 201
    • 202
    • 203
    • 204
    • 205
    • 206
    • 207
    • 208
    • 209
    • 210
    • 211
    • 212
    • 213
    • 214
    • 215
    • 216
    • 217
    • 218
    • 219
    • 220
    • 221
    • 222

    10.线程池

    ①V1版本:用vector维护的线程池

    //threadpoolv1.hpp
    const int N = 5;
    
    template<class T>
    class ThreadPool
    {
    public:
        ThreadPool(int num = N):_num(num),_threads(num)
        {
            pthread_mutex_init(&_lock, nullptr);
            pthread_cond_init(&_cond,nullptr);
        }
    
        void lockQueue()
        {
            pthread_mutex_lock(&_lock);
        }
    
        void unlockQueue()
        {
            pthread_mutex_unlock(&_lock);
        }
    
        void threadWait()
        {
            pthread_cond_wait(&_cond, &_lock);
        }
    
        void threadWakeup()
        {
            pthread_cond_signal(&_cond);
        }
    
        bool isEmpty()
        {
            return _tasks.empty();
        }
    
        T popTask()
        {
            T t = _tasks.front();
            _tasks.pop();
            return t;
        }
    
        static void* threadRoutine(void* args)
        {
            pthread_detach(pthread_self());   //分离线程
            ThreadPool<T> *tp = static_cast<ThreadPool<T> *>(args);  
            while (true)
            {
                // 1. 检测有没有任务
                // 2. 有:处理
                // 3. 无:等待
                // 细节:必定加锁
                tp->lockQueue();
                while (tp->isEmpty())
                {
                    tp->threadWait();
                }
                T t = tp->popTask(); // 从公共区域拿到私有区域
                tp->unlockQueue();
    
                // for test
                t();
                std::cout << "thread handler done, result: " << t.formatRes() << std::endl;
                // t.run(); // 处理任务,应不应该在临界区中处理?1,0
            }
        }
    
        void init()
        {
            //
        }
    
        void start()
        {
            for(int i = 0; i < _num; ++i)
            {
                pthread_create(&_threads[i], nullptr, threadRoutine, this);
            }
        }
    
        void TaskPush(const T &t)
        {
            lockQueue();
            _tasks.push(t);
            threadWakeup();
            unlockQueue();
        }
    
        ~ThreadPool()
        {
            pthread_mutex_destroy(&_lock);
            pthread_cond_destroy(&_cond);
        }
    
    
    
    private:
        vector<pthread_t> _threads; //用于保存线程
        int _num;             //容量
        queue<T> _tasks;//保存任务的队列
        pthread_mutex_t _lock;
        pthread_cond_t _cond; 
    };
    
    //Main.cc
    #include
    #include
    #include
    #include
    #include
    
    using namespace std;
    
    
    #include"ThreadPoolV1.hpp"
    #include"Task.hpp"
    
    int main()
    {
        ThreadPool<Task> *tp = new ThreadPool<Task>();
        tp->init();
        tp->start();
        
        while (true)
        {
            int x, y;
            char op;
            std::cout << "please Enter x> ";
            std::cin >> x;
            std::cout << "please Enter y> ";
            std::cin >> y;
            std::cout << "please Enter op(+-*/%)> ";
            std::cin >> op;
    
            Task t(x, y, op);
            tp->TaskPush(t);
    
            // 充当生产者, 从网络中读取数据,构建成为任务,推送给线程池
            // sleep(1);
            // tp->pushTask();
        }
    
        return 0;
    }
    
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8
    • 9
    • 10
    • 11
    • 12
    • 13
    • 14
    • 15
    • 16
    • 17
    • 18
    • 19
    • 20
    • 21
    • 22
    • 23
    • 24
    • 25
    • 26
    • 27
    • 28
    • 29
    • 30
    • 31
    • 32
    • 33
    • 34
    • 35
    • 36
    • 37
    • 38
    • 39
    • 40
    • 41
    • 42
    • 43
    • 44
    • 45
    • 46
    • 47
    • 48
    • 49
    • 50
    • 51
    • 52
    • 53
    • 54
    • 55
    • 56
    • 57
    • 58
    • 59
    • 60
    • 61
    • 62
    • 63
    • 64
    • 65
    • 66
    • 67
    • 68
    • 69
    • 70
    • 71
    • 72
    • 73
    • 74
    • 75
    • 76
    • 77
    • 78
    • 79
    • 80
    • 81
    • 82
    • 83
    • 84
    • 85
    • 86
    • 87
    • 88
    • 89
    • 90
    • 91
    • 92
    • 93
    • 94
    • 95
    • 96
    • 97
    • 98
    • 99
    • 100
    • 101
    • 102
    • 103
    • 104
    • 105
    • 106
    • 107
    • 108
    • 109
    • 110
    • 111
    • 112
    • 113
    • 114
    • 115
    • 116
    • 117
    • 118
    • 119
    • 120
    • 121
    • 122
    • 123
    • 124
    • 125
    • 126
    • 127
    • 128
    • 129
    • 130
    • 131
    • 132
    • 133
    • 134
    • 135
    • 136
    • 137
    • 138
    • 139
    • 140
    • 141
    • 142
    • 143
    • 144
    • 145
    • 146
    • 147

    ②V2版本,加入我们封装的Thread.hpp

    //Thread.hpp
    #pragma once
    
    class Thread
    {
    
    public:
        typedef enum
        {
            NEW = 0,
            RUNING,
            EXIT
        }ThreadStatus;
    
        typedef void* (*func_t)(void*);
    
        Thread(int mum, func_t func, void* args) :_tid(0), _status(NEW), _func(func),_args(args) 
        {
            char name[128];
            snprintf(name, sizeof name, "thread-%d", _tid);
            _name = name;
        }
    
        int status() {  return _status; }
        string thread_name(){   return _name; }
    
        pthread_t threadid()
        {
            if(_status == RUNING)
            {
                return _tid;
            }
    
            else return 0;
        }
    
        static void* runHelper(void* args)
        {
            Thread* ts = (Thread*) args; //通过这种方式拿到对象
            (*ts)();
            return nullptr;
        }
    
        void operator()()
        {
            if(_func != nullptr) _func(_args); //使用仿函数的方式运行对应的线程进入函数
        }
    
        void run()
        {
            int n = pthread_create(&_tid, nullptr, runHelper, this);
            if(n != 0) exit;
            _status = RUNING;
        }
    
        void join()
        {
            int n = pthread_join(_tid, nullptr);
    
            if(n != 0)
            {
                cerr << "main thread join error:"  << _name << endl;
                return ;
            }
            _status = EXIT;
        }
    
        ~Thread()
        {}
    
    
    public:
        pthread_t _tid;
        string _name;
        func_t _func; //线程未来要执行的回调
        void* _args;
        ThreadStatus _status;
    };
    
    //ThreadPoolV2.hpp
    
    const int N = 5;
    
    template<class T>
    class ThreadPool
    {
    public:
        ThreadPool(int num = N):_num(num)
        {
            pthread_mutex_init(&_lock, nullptr);
            pthread_cond_init(&_cond,nullptr);
        }
    
        void lockQueue()
        {
            pthread_mutex_lock(&_lock);
        }
    
        void unlockQueue()
        {
            pthread_mutex_unlock(&_lock);
        }
    
        void threadWait()
        {
            pthread_cond_wait(&_cond, &_lock);
        }
    
        void threadWakeup()
        {
            pthread_cond_signal(&_cond);
        }
    
        bool isEmpty()
        {
            return _tasks.empty();
        }
    
        T popTask()
        {
            T t = _tasks.front();
            _tasks.pop();
            return t;
        }
    
        static void* threadRoutine(void* args)
        {
            pthread_detach(pthread_self());   //分离线程
            ThreadPool<T> *tp = static_cast<ThreadPool<T> *>(args);  
            while (true)
            {
                // 1. 检测有没有任务
                // 2. 有:处理
                // 3. 无:等待
                // 细节:必定加锁
                tp->lockQueue();
                while (tp->isEmpty())
                {
                    tp->threadWait();
                }
                T t = tp->popTask(); // 从公共区域拿到私有区域
                tp->unlockQueue();
    
                // for test
                t();
                std::cout << "thread handler done, result: " << t.formatRes() << std::endl;
                // t.run(); // 处理任务,应不应该在临界区中处理?1,0
            }
        }
    
        void init()
        {
            for (int i = 0; i < _num; i++)
            {
                _threads.push_back(Thread(i, threadRoutine, this));
            }
        }
    
        void check()
        {
            for (auto &t : _threads)
            {
                std::cout << t.thread_name() << " running..." << std::endl;
            }
        }
    
        void start()
        {
            for (auto &t : _threads)
            {
                t.run();
            }
        }
    
        void TaskPush(const T &t)
        {
            lockQueue();
            _tasks.push(t);
            threadWakeup();
            unlockQueue();
        }
    
        ~ThreadPool()
        {
            pthread_mutex_destroy(&_lock);
            pthread_cond_destroy(&_cond);
        }
    
    
    
    private:
        vector<Thread> _threads; //用于保存线程
        int _num;             //容量
        queue<T> _tasks;//保存任务的队列
        pthread_mutex_t _lock;
        pthread_cond_t _cond; 
    };
    
    //Main.cc
    #include
    #include
    #include
    #include
    #include
    
    using namespace std;
    
    #include"Task.hpp"
    #include"Thread.hpp"
    #include"ThreadPoolV2.hpp"
    
    
    
    int main()
    {
        ThreadPool<Task> *tp = new ThreadPool<Task>();
        tp->init();
        tp->start();
    
        while (true)
        {
            int x, y;
            char op;
            std::cout << "please Enter x> ";
            std::cin >> x;
            std::cout << "please Enter y> ";
            std::cin >> y;
            std::cout << "please Enter op(+-*/%)> ";
            std::cin >> op;
    
            Task t(x, y, op);
            tp->TaskPush(t);
    
            // 充当生产者, 从网络中读取数据,构建成为任务,推送给线程池
            // sleep(1);
            // tp->pushTask();
        }
    
        return 0;
    }
    
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8
    • 9
    • 10
    • 11
    • 12
    • 13
    • 14
    • 15
    • 16
    • 17
    • 18
    • 19
    • 20
    • 21
    • 22
    • 23
    • 24
    • 25
    • 26
    • 27
    • 28
    • 29
    • 30
    • 31
    • 32
    • 33
    • 34
    • 35
    • 36
    • 37
    • 38
    • 39
    • 40
    • 41
    • 42
    • 43
    • 44
    • 45
    • 46
    • 47
    • 48
    • 49
    • 50
    • 51
    • 52
    • 53
    • 54
    • 55
    • 56
    • 57
    • 58
    • 59
    • 60
    • 61
    • 62
    • 63
    • 64
    • 65
    • 66
    • 67
    • 68
    • 69
    • 70
    • 71
    • 72
    • 73
    • 74
    • 75
    • 76
    • 77
    • 78
    • 79
    • 80
    • 81
    • 82
    • 83
    • 84
    • 85
    • 86
    • 87
    • 88
    • 89
    • 90
    • 91
    • 92
    • 93
    • 94
    • 95
    • 96
    • 97
    • 98
    • 99
    • 100
    • 101
    • 102
    • 103
    • 104
    • 105
    • 106
    • 107
    • 108
    • 109
    • 110
    • 111
    • 112
    • 113
    • 114
    • 115
    • 116
    • 117
    • 118
    • 119
    • 120
    • 121
    • 122
    • 123
    • 124
    • 125
    • 126
    • 127
    • 128
    • 129
    • 130
    • 131
    • 132
    • 133
    • 134
    • 135
    • 136
    • 137
    • 138
    • 139
    • 140
    • 141
    • 142
    • 143
    • 144
    • 145
    • 146
    • 147
    • 148
    • 149
    • 150
    • 151
    • 152
    • 153
    • 154
    • 155
    • 156
    • 157
    • 158
    • 159
    • 160
    • 161
    • 162
    • 163
    • 164
    • 165
    • 166
    • 167
    • 168
    • 169
    • 170
    • 171
    • 172
    • 173
    • 174
    • 175
    • 176
    • 177
    • 178
    • 179
    • 180
    • 181
    • 182
    • 183
    • 184
    • 185
    • 186
    • 187
    • 188
    • 189
    • 190
    • 191
    • 192
    • 193
    • 194
    • 195
    • 196
    • 197
    • 198
    • 199
    • 200
    • 201
    • 202
    • 203
    • 204
    • 205
    • 206
    • 207
    • 208
    • 209
    • 210
    • 211
    • 212
    • 213
    • 214
    • 215
    • 216
    • 217
    • 218
    • 219
    • 220
    • 221
    • 222
    • 223
    • 224
    • 225
    • 226
    • 227
    • 228
    • 229
    • 230
    • 231
    • 232
    • 233
    • 234
    • 235
    • 236
    • 237
    • 238
    • 239
    • 240

    ③V3版本,引入我们之前写好的RAII模式的LockGuard;

    //ThreadPoolV3.hpp
    #pragma once
    const int N = 5;
    
    template<class T>
    class ThreadPool
    {
    public:
        ThreadPool(int num = N):_num(num)
        {
            pthread_mutex_init(&_lock, nullptr);
            pthread_cond_init(&_cond,nullptr);
        }
    
        void threadWait()
        {
            pthread_cond_wait(&_cond, &_lock);
        }
    
        void threadWakeup()
        {
            pthread_cond_signal(&_cond);
        }
    
        bool isEmpty()
        {
            return _tasks.empty();
        }
    
        T popTask()
        {
            T t = _tasks.front();
            _tasks.pop();
            return t;
        }
    
        static void* threadRoutine(void* args)
        {
            pthread_detach(pthread_self());   //分离线程
            ThreadPool<T> *tp = static_cast<ThreadPool<T> *>(args);  
            while (true)
            {
                // 1. 检测有没有任务
                // 2. 有:处理
                // 3. 无:等待
                // 细节:必定加锁
                T t;
                {
                    LockGuard lockguard(&tp->_lock);
                    while (tp->isEmpty())
                    {
                        tp->threadWait();
                    }
                    t = tp->popTask(); // 从公共区域拿到私有区域
                }
    
                // for test
                t();
                std::cout << "thread handler done, result: " << t.formatRes() << std::endl;
                // t.run(); // 处理任务,应不应该在临界区中处理?1,0
            }
        }
    
        void init()
        {
            for (int i = 0; i < _num; i++)
            {
                _threads.push_back(Thread(i, threadRoutine, this));
            }
        }
    
        void check()
        {
            for (auto &t : _threads)
            {
                std::cout << t.thread_name() << " running..." << std::endl;
            }
        }
    
        void start()
        {
            for (auto &t : _threads)
            {
                t.run();
            }
        }
    
        void TaskPush(const T &t)
        {
            LockGuard lockguard(&_lock);
            _tasks.push(t);
            threadWakeup();
        }
    
        ~ThreadPool()
        {
            pthread_mutex_destroy(&_lock);
            pthread_cond_destroy(&_cond);
        }
    
    
    
    private:
        vector<Thread> _threads; //用于保存线程
        int _num;             //容量
        queue<T> _tasks;//保存任务的队列
        pthread_mutex_t _lock;
        pthread_cond_t _cond; 
    };
    
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8
    • 9
    • 10
    • 11
    • 12
    • 13
    • 14
    • 15
    • 16
    • 17
    • 18
    • 19
    • 20
    • 21
    • 22
    • 23
    • 24
    • 25
    • 26
    • 27
    • 28
    • 29
    • 30
    • 31
    • 32
    • 33
    • 34
    • 35
    • 36
    • 37
    • 38
    • 39
    • 40
    • 41
    • 42
    • 43
    • 44
    • 45
    • 46
    • 47
    • 48
    • 49
    • 50
    • 51
    • 52
    • 53
    • 54
    • 55
    • 56
    • 57
    • 58
    • 59
    • 60
    • 61
    • 62
    • 63
    • 64
    • 65
    • 66
    • 67
    • 68
    • 69
    • 70
    • 71
    • 72
    • 73
    • 74
    • 75
    • 76
    • 77
    • 78
    • 79
    • 80
    • 81
    • 82
    • 83
    • 84
    • 85
    • 86
    • 87
    • 88
    • 89
    • 90
    • 91
    • 92
    • 93
    • 94
    • 95
    • 96
    • 97
    • 98
    • 99
    • 100
    • 101
    • 102
    • 103
    • 104
    • 105
    • 106
    • 107
    • 108
    • 109

    ④V4版本,引入单例模式,因为我们的理想情况是,虽然程序中可能有很多个地方都构造了对应的线程池对象,其实我们只有一个线程池实例就可以满足需求,避免造成资源浪费,并且我们更希望线程池是我们可以自行控制的,而不是别人。

    //Main.cc
    #include
    #include
    #include
    #include
    #include
    #include
    
    using namespace std;
    
    #include"Task.hpp"
    #include"Thread.hpp"
    #include"LockGuard.hpp"
    #include"ThreadPoolV4.hpp"
    
    int main()
    {
        //ThreadPool *tp = new ThreadPool();
        // tp->init();
        // tp->start();
    
        printf("0x%x\n", ThreadPool<Task>::Getinstance());
        printf("0x%x\n", ThreadPool<Task>::Getinstance());
        printf("0x%x\n", ThreadPool<Task>::Getinstance());
        printf("0x%x\n", ThreadPool<Task>::Getinstance());
        printf("0x%x\n", ThreadPool<Task>::Getinstance());
    
    
    
        while (true)
        {
            int x, y;
            char op;
            std::cout << "please Enter x> ";
            std::cin >> x;
            std::cout << "please Enter y> ";
            std::cin >> y;
            std::cout << "please Enter op(+-*/%)> ";
            std::cin >> op;
    
            Task t(x, y, op);
    
            ThreadPool<Task>::Getinstance()->TaskPush(t);
            //tp->TaskPush(t);
    
            usleep(1000);
    
        }
    
        return 0;
    }
    
    //ThreadPoolV4.hpp
    
    #pragma once
    
    
    const int N = 5;
    
    template<class T>
    class ThreadPool
    {
    
    private:
        //将构造函数设为私有
        ThreadPool(int num = N):_num(num)
        {
            pthread_mutex_init(&_lock, nullptr);
            pthread_cond_init(&_cond,nullptr);
        }
        //删除对应的拷贝构造,和赋值重载
        ThreadPool(const ThreadPool<T> &TP) = delete;
        void operator=(const ThreadPool<T> &TP) = delete;
    public:
        static ThreadPool<T>*Getinstance()
        {   if(instance == nullptr)
            {
                LockGuard lockguard(&instance_lock);
                if (instance == nullptr)
                {
                    instance = new ThreadPool<T>();
                    instance->init();  // 初始化线程池
                    instance->start(); // 启动线程
                }
            }
            return instance;
        }
    
        void threadWait()
        {
            pthread_cond_wait(&_cond, &_lock);
        }
    
        void threadWakeup()
        {
            pthread_cond_signal(&_cond);
        }
    
        bool isEmpty()
        {
            return _tasks.empty();
        }
    
        T popTask()
        {
            T t = _tasks.front();
            _tasks.pop();
            return t;
        }
    
        static void* threadRoutine(void* args)
        {
            pthread_detach(pthread_self());   //分离线程
            ThreadPool<T> *tp = static_cast<ThreadPool<T> *>(args);  
            while (true)
            {
                // 1. 检测有没有任务
                // 2. 有:处理
                // 3. 无:等待
                // 细节:必定加锁
                T t;
                {
                    LockGuard lockguard(&tp->_lock);
                    while (tp->isEmpty())
                    {
                        tp->threadWait();
                    }
                    t = tp->popTask(); // 从公共区域拿到私有区域
                }
    
                // for test
                t();
                std::cout << "thread handler done, result: " << t.formatRes() << std::endl;
                // t.run(); // 处理任务,应不应该在临界区中处理?1,0
            }
        }
    
        void init()
        {
            for (int i = 0; i < _num; i++)
            {
                _threads.push_back(Thread(i, threadRoutine, this));
            }
        }
    
        void check()
        {
            for (auto &t : _threads)
            {
                std::cout << t.thread_name() << " running..." << std::endl;
            }
        }
    
        void start()
        {
            for (auto &t : _threads)
            {
                t.run();
            }
        }
    
        void TaskPush(const T &t)
        {
            LockGuard lockguard(&_lock);
            _tasks.push(t);
            threadWakeup();
        }
    
        ~ThreadPool()
        {
            pthread_mutex_destroy(&_lock);
            pthread_cond_destroy(&_cond);
        }
    
    private:
        vector<Thread> _threads; //用于保存线程
        int _num;             //容量
        queue<T> _tasks;//保存任务的队列
        pthread_mutex_t _lock;
        pthread_cond_t _cond; 
        static ThreadPool<T>* instance; //静态实例指针
        static pthread_mutex_t instance_lock;
    };
    
    //初始化对应的静态实例指针
    template<class T>
    ThreadPool<T>* ThreadPool<T>::instance = nullptr;
    
    //初始化对应的锁
    template<class T>
    pthread_mutex_t ThreadPool<T>::instance_lock = PTHREAD_MUTEX_INITIALIZER;
    
    
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8
    • 9
    • 10
    • 11
    • 12
    • 13
    • 14
    • 15
    • 16
    • 17
    • 18
    • 19
    • 20
    • 21
    • 22
    • 23
    • 24
    • 25
    • 26
    • 27
    • 28
    • 29
    • 30
    • 31
    • 32
    • 33
    • 34
    • 35
    • 36
    • 37
    • 38
    • 39
    • 40
    • 41
    • 42
    • 43
    • 44
    • 45
    • 46
    • 47
    • 48
    • 49
    • 50
    • 51
    • 52
    • 53
    • 54
    • 55
    • 56
    • 57
    • 58
    • 59
    • 60
    • 61
    • 62
    • 63
    • 64
    • 65
    • 66
    • 67
    • 68
    • 69
    • 70
    • 71
    • 72
    • 73
    • 74
    • 75
    • 76
    • 77
    • 78
    • 79
    • 80
    • 81
    • 82
    • 83
    • 84
    • 85
    • 86
    • 87
    • 88
    • 89
    • 90
    • 91
    • 92
    • 93
    • 94
    • 95
    • 96
    • 97
    • 98
    • 99
    • 100
    • 101
    • 102
    • 103
    • 104
    • 105
    • 106
    • 107
    • 108
    • 109
    • 110
    • 111
    • 112
    • 113
    • 114
    • 115
    • 116
    • 117
    • 118
    • 119
    • 120
    • 121
    • 122
    • 123
    • 124
    • 125
    • 126
    • 127
    • 128
    • 129
    • 130
    • 131
    • 132
    • 133
    • 134
    • 135
    • 136
    • 137
    • 138
    • 139
    • 140
    • 141
    • 142
    • 143
    • 144
    • 145
    • 146
    • 147
    • 148
    • 149
    • 150
    • 151
    • 152
    • 153
    • 154
    • 155
    • 156
    • 157
    • 158
    • 159
    • 160
    • 161
    • 162
    • 163
    • 164
    • 165
    • 166
    • 167
    • 168
    • 169
    • 170
    • 171
    • 172
    • 173
    • 174
    • 175
    • 176
    • 177
    • 178
    • 179
    • 180
    • 181
    • 182
    • 183
    • 184
    • 185
    • 186
    • 187
    • 188
    • 189
    • 190
    • 191
    • 192

    11.STL,智能指针和线程安全

    STL中的容器是否是线程安全的?

    不是.
    原因是, STL 的设计初衷是将性能挖掘到极致, 而一旦涉及到加锁保证线程安全, 会对性能造成巨大的影响.
    而且对于不同的容器, 加锁方式的不同, 性能可能也不同(例如hash表的锁表和锁桶).
    因此 STL 默认不是线程安全. 如果需要在多线程环境下使用, 往往需要调用者自行保证线程安全.

    智能指针是否是线程安全的?

    对于 unique_ptr, 由于只是在当前代码块范围内生效, 因此不涉及线程安全问题.
    对于 shared_ptr, 多个对象需要共用一个引用计数变量, 所以会存在线程安全问题. 但是标准库实现的时候考虑到了这个问题, 基于原子操作(CAS)的方式保证 shared_ptr 能够高效, 原子的操作引用计数.

    12.其他常见的各种锁

    • 悲观锁:在每次取数据时,总是担心数据会被其他线程修改,所以会在取数据前先加锁(读锁,写锁,行锁等),当其他线程想要访问数据时,被阻塞挂起.
    • 乐观锁:每次取数据时候,总是乐观的认为数据不会被其他线程修改,因此不上锁。但是在更新数据前,会判断其他数据在更新前有没有对数据进行修改。主要采用两种方式:版本号机制和CAS操作.
    • CAS操作:当需要更新数据时,判断当前内存值和之前取得的值是否相等。如果相等则用新值更新。若不等则失败,失败则重试,一般是一个自旋的过程,即不断重试 .
    • 自旋锁:是指当一个线程在获取锁的时候,如果锁已经被其它线程获取,那么该线程将循环等待,其中是否等待取决于访问临界区要花费多长时间,然后不断的判断锁是否能够被成功获取,直到获取到锁才会退出循环。

    13.读者写者问题

    读写锁

    在编写多线程的时候,有一种情况是十分常见的。那就是,有些公共数据修改的机会比较少。相比较改写,它们读的机会反而高的多。通常而言,在读的过程中,往往伴随着查找的操作,中间耗时很长。给这种代码段加锁,会极大地降低我们程序的效率。那么有没有一种方法,可以专门处理这种多读少写的情况呢? 有,那就是读写锁。

    注意:写独占,读共享,读锁优先级高 image-20240228211713290

    读写锁接口

    设置读写优先

    int pthread_rwlockattr_setkind_np(pthread_rwlockattr_t *attr, int pref);
    /*
    pref 共有 3 种选择
    PTHREAD_RWLOCK_PREFER_READER_NP (默认设置) 读者优先,可能会导致写者饥饿情况
    PTHREAD_RWLOCK_PREFER_WRITER_NP 写者优先,目前有 BUG,导致表现行为和
    PTHREAD_RWLOCK_PREFER_READER_NP 一致
    PTHREAD_RWLOCK_PREFER_WRITER_NONRECURSIVE_NP 写者优先,但写者不能递归加锁
    */
    
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8

    初始化

    int pthread_rwlock_init(pthread_rwlock_t *restrict rwlock,const pthread_rwlockattr_t
    *restrict attr);
    
    • 1
    • 2

    销毁

    int pthread_rwlock_destroy(pthread_rwlock_t *rwlock);
    
    • 1

    加锁和解锁

    int pthread_rwlock_rdlock(pthread_rwlock_t *rwlock);
    int pthread_rwlock_wrlock(pthread_rwlock_t *rwlock);
    int pthread_rwlock_unlock(pthread_rwlock_t *rwlock);
    
    • 1
    • 2
    • 3

    到这本篇博客的内容就到此结束了。
    如果觉得本篇博客内容对你有所帮助的话,可以点赞,收藏,顺便关注一下!
    如果文章内容有错误,欢迎在评论区指正

    在这里插入图片描述

  • 相关阅读:
    设计模式(十一)----结构型模式之装饰者模式
    【linux】Linux 查看内存使用情况的几种方法汇总
    信息系统项目管理师必背核心考点(三十一)挣值管理
    四轴飞行器的电池研究(Matlab&Simulink仿真)
    VectorDraw Web Library 10.10
    【AI】深度学习——人工智能、深度学习与神经网络
    上海IB国际学校介绍
    ES6 入门教程 19 Generator 函数的语法 19.2 next 方法的参数
    京喜APP - 图片库优化
    数据结构和算法:栈与队列
  • 原文地址:https://blog.csdn.net/weixin_61766635/article/details/136356635