首页 > 代码库 > linux学习笔记之线程同步机制

linux学习笔记之线程同步机制

一、基础知识。

1:线程同步机制:互斥量,读写锁,条件变量,自旋锁,屏障。

  1,互斥量:每个进程访问被互斥量保护的资源时,都需要先对互斥量进行判断。

    1)互斥量重要属性:进程共享属性,健壮属性,类型属性。

    2)部分系统 不支持 进程共享属性

    3)对互斥量重复加锁会导致死锁。

  2,读写锁。

    1)读写锁有3种状态:读模式加锁,写模式加锁,未加锁。

      1-写加锁模式:任何加锁都会被阻塞。

      2-读加锁模式:读模式加锁的任何线程都可以得到访问权,同时添加一个读模式锁。但,写模式加锁会被阻塞。

      3-在读模式下,线程试图写加锁,会阻塞:1 线程本身 和 2 之后的读模式。保证写模式不会被一指阻塞。

    2)递归锁可能很难处理,只有在无其他反感时,才考虑。

    3)读写锁支持的唯一属性时:进程共享属性。

  3,条件变量:条件变量是线程的另外一种同步机制。它本身由互斥量保护。线程在改变条件状态之前必须首先锁住互斥量。

    1)条件变量支持属性:进程共享属性 和 时钟属性。

  4,自旋锁。

    1)和互斥量类似。不同点在于:获取锁之前,线程一直处于 忙等(自旋)阻塞状态。(互斥量使用休眠阻塞)

    2)只能用于:锁持有时间短,线程不喜欢在重新调度上花费太多成本。

    3)在非抢占式内核中非常有用:因为它会阻塞中断。这样中断处理程序就不会让系统陷入死锁状态。

  5,屏障。

    1)类似于里程碑:用户协调多个线程并行工作的同步机制。它允许每个线程等待,直到所有合作的线程都到达某一个点(里程碑)。

    2)屏障属性只有 进程共享属性。

    3)PTHREAD_PROCESS_SHARED(多进程共享) 和 PTHREAD_PROCESS_PROVATE(单进程,不共享)

二、相关函数。

1:信号。

1 发送信号  int kill(pid_t pid, int signo ); 发送信号给进程/进程组  // 1 参数pid:>0 ID=pid的进程中;0 同进程组的所有进程;<0 进程组ID==pid绝对值 的进程组中;-1 所有能够发送的进程。  int raise( int signo ); 发送信号给自身。2 信号集处理函数  int sigemptyset( sigset_t *set );  int sigfillset( sigset_t *set );  int sigaddset( sigset_t *set, int signo );  int sigdelset( sigset_t *set, int signo );  int sigismember( sigset_t *set, int signo );3 信号屏蔽字。  int sigprocmask( int how, const sigset_t *restrict set, sigset_t *restrict oset );  // 检测和更改,或同时检测+更改进程的信号屏蔽字。  int sigpending( sigset_t *set );  // 返回一个信号集。  int sigaction( int signo, const struct sigaction *restrict act, struct sigaction *restrict oact );   // 检测/修改与指定信号相关联的处理动作  int sigsupend( const sigset_t *sigmask ); // 作用:通过参数设置信号屏蔽字。4 信号跳转函数。  int sigsetjmp( sigjmp_buf env, int savemask );  // 设置信号跳转点。  void siglongjmp( sigjmp_buf env, int val );  // 执行跳转操作,参数val为跳转点返回值。5 异常终止函数。  void abort( void ); // 使程序异常终止。  // 1 使用此函数,会将SIGABRT信号发送给调用进程。进程不能忽略此信号  // 2 发送SIGABRT信号,进程可以先执行清理操作,然后再终止进程。6 线程休眠函数。  unsigned int sleep( unsigned int seconds );  int nanosleep( const struct timespec *reqtp, struct timespec *remtp );  // 提供纳妙级精度。  int clock_nanosleep( clockid_t clock_id, int flags, const struct timespec *reqtp, struct timespec *remtp ); // 多系统时钟情况下,使用相对于特定时钟的延迟时间来挂起调用进程。  int sigqueue( pid_t pid, int signo, const union sigval value );  // 信号队列,可以将信号发送到一个进程的信号队列中。部分操作系统支持此功能。  // 1 可能使休眠终止的情形:调用进程捕捉到一个信号并从信号处理程序返回。

 

 

2:互斥量。

1 初始化。  PTHREAD_MUTEX_INITIALIZER //静态分配方式。  int pthread_mutex_init( pthread_mutex_t *restrict mutex, const pthread_mutexattr_t *restrict attr );  // 动态分配内存方式  // 1 使用默认初始化,参数attr设置为NULL。2 类析构函数(释放内存前当用)。  int pthread_mutex_destroy( pthread_mutex_t *mutex );3 加锁,尝试性加锁,超时锁,解锁  int pthread_mutex_lock( pthread_mutex_t *mutex );  // 如果已经加锁的互斥量,会阻塞线程,直到互斥量解锁。  int pthread_mutex_trylock( pthread_mutex_t *mutex );  //trylock尝试上锁失败后,会返回EBUSY。而不会阻塞。  int pthread_mutex_timedlock( pthread_mutex_t *restrict mutex, const struct timespec *restrict tsptr );  //超时返回:ETIMEDOUT  int pthread_mutex_unlock( pthread_mutex_t *mutex );  // 1 如果线程试图对同一互斥量加锁两次,则线程会陷入死锁状态。。  // 2 超时锁参数tsptr 表示是 绝对时间(即具体时间点,而不是时间段)

 

3:互斥量属性相关函数。

1 初始化和类析构函数。  int pthread_mutexattr_init( pthread_mutexattr_t *attr );  int pthread_mutexattr_destroy( pthread_mutexattr_t *attr );2 获取/设置 进程共享属性。  int pthread_mutexattr_getshared( const pthread_mutexattr_t *restrict attr, int *restrict pshared );  int pthread_mutexattr_setshared( pthread_mutexattr_t *attr, int *pshared );3 获取/设置 健壮属性  int pthread_mutexattr_getrobust( const pthread_mutexattr_t *restrict attr, int *restrict robust );  int pthread_mutexattr_setrobust( pthread_mutexattr_t *attr, int *robust );4 解锁前,使属性状态统一。  int pthread_mutexattr_consistent( pthead_mutex_t *mutex );5 获取/设置 类型属性  int pthread_mutexattr_gettype( const pthread_mutexattr_t *restrict attr, int *restrict type );  int pthread_mutexattr_settype( pthread_mutexattr_t *attr, int *type );

 4:读写锁

1 初始化。  int pthread_rwlock_init( pthread_rwlock_t *restrict rwlock, const pthread_rwlockattr_t *restrict attr );  // 1 使用默认初始化,参数attr设置为NULL。2 类析构函数(释放内存前当用)。  int pthread_rwlock_destroy( pthread_rwlock_t *rwlock );3 读加锁,尝试读,超时版读,写加锁,尝试写,超时版写,解锁。  int pthread_rwlock_rdlock( pthread_rwlock_t *rwlock );  int pthread_rwlock_tryrdlock( pthread_rwlock_t *rwlock );  int pthread_rwlock_timedrdlock( pthread_rwlock_t *rwlock, const struct timespec *restrict tsptr );  int pthread_rwlock_wrlock( pthread_rwlock_t *rwlock );  int pthread_rwlock_trywrlock( pthread_rwlock_t *rwlock );  int pthread_rwlock_timedwrlock( pthread_rwlock_t *rwlock, const struct timespec *restrict tsptr );  int pthread_rwlock_unlock( pthread_rwlock_t *rwlock );  // 1 读加锁有次数限制。  // 2 尝试版本,出错返回:EBUSY。  // 3 超时版本,出错返回:ETIMEDOUT。超时时间 为 绝对时间。4 获取/设置 进程共享属性。  int pthread_rwlockattr_getpshared( const pthread_rwlockattr_t *restrict attr, int *restrict pshared );  int pthread_rwlockattr_setpshared( pthread_rwlockattr_t *attr, int *pshared );

 

 5:条件变量。

1 初始化。  int pthread_cond_init( pthread_cond_t *restrict cond, const pthread_condattr_t *restrict attr );  // 1 使用默认初始化,参数attr设置为NULL。2 类析构函数(释放内存前当用)。  int pthread_cond_destroy( pthread_cond_t *cond );3 等待条件为真,超时版本。  int pthread_cond_wait( pthread_cond_t *restrict cond, pthread_mutex_t *restrict mutex );  //此函数可以保证线程一定可以进入条件等待队列中。  int pthread_cond_timedwait( pthread_cond_t *restrict cond, pthread_mutex_t *restrict mutex, const struct timespec *restrict tsptr );  // 1 将加锁互斥量传入,然后将调用线程放入条件队列中,再解锁互斥量。等wait函数返回后,互斥量再加锁。  // 2 超时返回:ETIMEDOUT4 唤醒等待条件的线程。  int pthread_cond_signal( pthread_cond_t *cond );  // 最少唤醒一个线程。  int pthread_cond_broadcast( pthread_cond_t *cond );  // 唤醒全部线程。  // 1 需要注意:要等条件状态改变以后,在使用这两个函数!!!5 条件属性的初始化和类析构函数。  int pthread_condattr_init( pthread_condattr_t *attr );  int pthread_condattr_destroy( pthread_condattr_t *attr );6 获取/设置 进程共享属性。  int pthread_condattr_getpshared( const pthread_condattr_t *restrict attr, int *restrict pshared );  int pthread_condattr_setpshared( pthread_condattr_t *attr, int *pshared );7 获取/设置 时钟属性。  int pthread_condattr_getclock( const pthread_condattr_t *restrict attr, clockid)t *restrict clock_id );  int pthread_condattr_setclock( pthread_condattr_t *attr, clockid)t *clock_id );

 

 6:自旋锁。

1 初始化,类析构函数(释放内存前使用)  int pthread_spin_init( pthread_spinlock_t *lock, int pshared );  int pthread_spin_destroy( pthread_spinlock_t *lock );2 加锁,尝试性加锁,解锁。  int pthread_spin_lock( pthread_spinlock_t *lock );  int pthread_spin_trylock( pthread_spinlock_t *lock );  int pthread_spin_unlock( pthread_spinlock_t *lock ); 

7:屏障。

1 初始化,类析构函数(释放内存前使用)  int pthread_barrier_init( pthread_barrier_t *restrict barrier, const pthread_barrierattr_t *restrict attr, unsigned int count );    int pthread_barrier_destroy( pthread_barrier_t *barrier );  // 1 参数count表示需要多少个线程达到此节点后,才可以继续运行。count设置后不会改变。2 当前线程已完成,等待其他线程。  int pthread_barrier_wait( pthread_barrier_t *barrier );  // 如未满足count数,则此线程进行休眠。3 初始化 和 类析构函数。  int pthread_barrierattr_init( pthread_barrierattr_t *attr );  int pthread_barrierattr_destroy( pthread_barrierattr_t *attr );4 获取/设置 进程共享属性。  int pthread_barrierattr_getpshared( const pthread_barrierattr *restrict attr, int *restrict pshared );  int pthread_barrierattr_setpshared( pthread_barrierattr *attr, int pshared );

 

 

三、

linux学习笔记之线程同步机制