• APUE学习笔记6——线程和线程同步


    1 概念

    线程是程序执行流的最小单元。线程是进程中的一个实体,是被系统独立调度和分派的基本单位,线程自己不拥有系统资源,只拥有一点在运行中必不可少的资源,但它可与同属一个进程的其它线程共享进程所拥有的全部资源。一个线程可以创建和撤消另一个线程,同一进程中的多个线程之间可以并发执行。由于线程之间的相互制约,致使线程在运行中呈现出间断性。

    线程包含了表示进程执行环境必须的信息,包括线程ID,一组寄存器值、栈、调度优先级和策略、信号屏蔽字和errno变量以及线程私有数据。

    采用多线程的好处:

    • 通过为每种事件类型的处理分配不同的线程,能够简化处理异步事件的代码。
    • 多个进程必须采用复杂的方式才能实现内存和文件描述符的共享,而线程可以访问相同的存储空间和文件描述符。
    • 通过分解成多个线程可以增加程序的吞吐量。
    • 交互的程序依赖于多线程实现响应时间的改善。

    1.1 线程标识

    每个线程有个线程ID,线程ID只在它所属的进程里有效,用pthread_t数据类型来表示。

    #include <pthread.h>
    /*进程ID不能直接比较*/ int pthread_equal(pthread_t tid1, pthread_t pid2); /*若相等返回非0值,不等返回0*/
    pthread_t pthread_self(void); /*返回自己的线程ID*/

    2 线程创建

    #include <pthread.h>
    int pthread_create(pthread_t *restrict tidp, const pthread_attr_t *restrict attr, void *(*start_rtn)(void), void *restrict arg); /*成功返回0,否则返回错误编号*/

    当pthread_create成功返回时,由tidp所指向的内存单元被设置为新创建线程的线程ID。

    attr参数用于定制线程的不同属性。

    新创建的线程从start_rtn处开始运行,该函数只有一个无类型指针参数arg。

    注意:新线程和主线程的执行先后顺序是不确定的。

    3 线程终止

    如果进程中的任意一个线程调用了exit、_Exit或_exit,那么整个进程就会终止。当信号的默认动作是终止进程,把该信号发送到线程也会终止整个进程。

    单个线程可以以下三种方式退出:

    • 线程从启动例程中返回。
    • 线程被同一进程中其他线程取消。
    • 线程调用pthread_exit
    #include <pthread.h>
    
    void pthread_exit(void *rval_ptr);//rvta_ptr为线程终止返回值
    
    /*访问其他线程终止的返回值,等待*/
    int pthread_join(pthread_t tid, void **rval_ptr);
    
    /*请求取消同一进程中的其他线程,不等待*/
    int pthread_cancel(pthread_t tid);

    线程可以安排它退出时需要调用的函数

    #include <pthread.h>
    void pthread_cleanup_push(void (*rtn)(void *), void *arg);//清理函数为rtn,参数为arg
    void pthread_cleanup_pop(int execute);//如果execute为0,则清理函数将不被调用

    线程执行以下动作时调用清理函数

    • 调用pthread_exit时
    • 相应pthread_cancel请求时
    • 用非0参数调用pthread_cleanup_pop时

    现在可以看出线程函数和进程函数之间的相似之处:

    进程原语 线程原语 描述
    fork pthread_create 创建新的控制流
    exit pthread_exit 从现有控制流中退出
    waitpid pthread_join 从控制流中得到退出状态
    atexit pthread_cancel_push 注册在退出控制流时调用的函数
    getpid pthread_self 获取控制流ID
    abort pthread_cancel 请求控制流的非正常退出

    默认情况下,线程的终止状态会保留到对该线程调用pthread_join,如果线程已经处于分离状态,线程的底层资源可以在线程终止时立刻被收回。

    /*调用pthread_detach函数使线程处于分离状态*/
    #include <pthread.h>
    int pthread_detach(pthread_t tid);//成功返回0,失败返回错误编号

    当线程被分离时,不能使用pthread_join函数等待它的终止状态。

    4 线程同步  

    当多个线程共享相同的内存单元时,就容易出现每个线程看到的数据不一致的问题。当多个线程都要修改某个变量时,就需要对它们进行同步,以确保它们在任意的时刻都不会访问到无效的数值。

    为了解决这个问题,线程不得不使用锁,同一时间只允许一个线程访问这个变量。

    4.1 互斥量 

     互斥量(mutex)本质上是一把锁,在访问共享资源前对互斥量进行加锁,在访问后释放互斥量上的锁。对互斥量加锁之后,如果其他线程试图访问将被阻塞直到当前进程释放该互斥锁。

     互斥变量用pthread_mutex_t数据类型来表示。使用之前必须先进行初始化,可以把它设置为常量PTHREAD_MUTEX_INITIALIZER。如果动态地分配互斥量(例如malloc),那么在释放内存前需要调用pthread_mutex_destory。

    #include <pthread.h>
    
    int pthread_mutex_init(pthread_mutex_t *restric mutex, const pthread_mutexattr_t *restrict attr);
    /*attr为属性参数,设置attr为NULL则默认参数*/
    
    int pthread_mutex_destory(pthread_mutex_t *mutex);
    
    int pthread_mutex_lock(pthread_mutex_t *mutex);
    
    int pthread_mutex_trylock(pthread_mutex_t *mutex);//加锁成功返回0,失败返回EBUSY
    
    int pthread_mutex_unlock(pthread_mutex_t *mutex);
    
    /*若成功返回0,否则返回错误编号*/

    如果互斥量已经上锁,线程调用pthread_mutex_lock将阻塞直到互斥量被解锁。如果不希望被阻塞,则调用pthread_mutex_trylock

    4.2 避免死锁

     如果线程试图对同一个互斥量加锁两次,就会进入死锁状态。两个线程试图互相锁住对方拥有的互斥量,也会陷入死锁状态。

     可以小心控制互斥量加锁的顺序来防止死锁发生。也可以先释放占有的锁,过一段时间再试。

    4.3 读写锁 

    读写锁与互斥量相似,不过读写锁允许更高的并行性。读写锁有三个状态:读加锁、写加锁和不加锁状态。一次只允许一个线程占用写锁,但是多个线程可以同时占用读锁。 

    目前读写锁的状态 其他线程试图的动作 结果
    写加锁状态 对这个锁加锁(读或写) 阻塞直到锁被释放
    读加锁状态 对这个锁进行读模式的加锁 可以获得访问权
    读加锁状态 对这个锁进行写模式的加锁 阻塞直到锁被释放,并且会阻塞随后的读模式加锁,避免读模式被长期占用

    读写锁非常适合读大于写的状况。读写锁又叫共享-独占锁,读模式是共享的,写模式是独占的。

    和互斥锁一样,读写锁使用之前必须初始化,在释放它的内存资源之前必须销毁它。

    #include <pthread.h>
    
    int pthread_rwlock_init(pthread_rwlock_t *restrict rwlock, const pthread_rwlockattr_t *restrict attr); //attr可以为NULL
    
    int pthread_rwlock_destory(pthread_rwlock_t *restrict rwlock);
    
    int pthread_rwlock_rdlock(pthread_rwlock_t *restrict rwlock); //可能对获取锁的数量限制,注意检查其返回值
    
    int pthread_rwlock_wrlock(pthread_rwlock_t *restrict rwlock);
    
    int pthread_rwlock_unlock(pthread_rwlock_t *restrict rwlock);
    
    int pthread_rwlock_tryrdlock(pthread_rwlock_t *restrict rwlock); //有条件的读写锁
    
    int pthread_rwlock_trywrlock(pthread_rwlock_t *restrict rwlock);
    
    /*上述函数返回值:若成功返回0,否则返回错误编号*/

    4.4 条件变量

    条件变量和互斥量一起用的时候,允许线程以无竞争的方式等待特定条件的发生。

    条件变量本身由互斥量保护的,所以线程在改变条件之前必须锁住互斥量。

    条件变量使用之前必须初始化,可以把常量PTHREAD_COND_INITIALIZER赋给静态分配的条件变量,在释放它的内存资源之前必须销毁它。

    #include <pthread.h>
    
    int pthread_cond_init(pthread_cond_t *restrict cond, const pthread_condattr_t *restrict attr); //attr可以为NULL
    
    int pthread_cond_destory(pthread_cond_t *restrict cond);
    
    int pthread_cond_wait(pthread_rwlock_t *restrict rwlock, const pthread_mutex_t *restrict mutex);
    
    int pthread_cond_timewait(pthread_rwlock_t *restrict rwlock, const pthread_mutex_t *restrict mutex, const struct timespec *restrict timeout);
    
    /*上述函数返回值是:成功返回0,否则返回错误编号*/
    
    struct timespec{
            time_t tv_sec; //
            long tv_nsec; //毫秒
            //时间值是一个绝对数,需要将当前时间加上要等待的时间
    }

    pthread_cond_wait等待条件变为真,调用者把锁住的互斥量传递给pthread_cond_wait的进行保护,函数把调用线程放到等待条件的线程列表上,然后对互斥量进行解锁,这两个操作是原子操作。pthread_cond_wait返回时,互斥量再次被锁住。有两个函数用于通知线程条件已经满足。

    #include <pthread.h>
    
    int pthread_cond_signal(pthread_cond_t *cond); //唤醒等待该条件的某个线程
    
    int pthread_cond_broadcast(pthread_cond_t *cond); //唤醒等待该条件的所有线程
    
    /*成功返回0,否则返回错误编号*/
    /*一定要改变条件状态之后再给线程发送信号*/

    (完)

  • 相关阅读:
    《数据通信与网络》笔记--数据链路层的成帧
    设计模式10---设计模式之原型模式(Prototype)
    Yii 控制dropdownlist / select 控件的宽度和 option 的宽度
    [置顶] 如何vs在cocos2dx项目中打印中文
    mongodb实现简单的增删改查
    北京和硅谷在创新方面的区别
    Android 解决Gallery下ScrollView滑动事件冲突
    Java 授权内幕--转载
    JAVA 上加密算法的实现用例---转载
    基于事件的 NIO 多线程服务器--转载
  • 原文地址:https://www.cnblogs.com/alwayswangzi/p/6491087.html
Copyright © 2020-2023  润新知