1. 线程同步:

当多个控制线程共享相同的内存时,需要确保每个线程看到一致的数据视图。当某个线程可以修改变量,而其他线程也可以读取或者修改这个变量的时候,就需要对这些线程进行同步,以确保他们在访问变量的存储内容的时候不会访问到无效的数值;

当一个线程修改变量时,其他线程在读取这个变量的值的时候可能看到不一致的数据,在变量修改时间多余一个存储器周期的处理器结构中,当存储器读与存储器写这两个周期交叉时,这种潜在的不一致性就会出现些;

2. 互斥量:

从本质上来说互斥量是一把锁,对互斥量进行加锁以后,任何其他视图再次对互斥量加锁的线程将会阻塞直到当前线程释放该互斥锁。如果释放互斥锁时有多个线程阻塞,所有在该互斥锁上的阻塞线程都会变成可运行状态,第一个变为运行状态的线程可以对互斥量加锁,其他线程将会看到互斥锁依然被锁住,只能回去再次等它重新变为可用,这种方式下,只有一个线程可以向前执行;

#include <pthread.h>

int pthread_mutex_init(pthread_mutex_t *restrict mutex, 
const pthread_mutexattr_t *restrict attr); //默认属性可以设置为NULL int pthread_mutex_destroy(pthread_mutex_t *mutex); ret-成功返回0 失败返回错误编号
#include <pthread.h>

int pthread_mutex_lock(pthread_mutex_t *mutex);

int pthread_mutex_trylock(pthread_mutex_t *mutex); //如果不希望阻塞,可以使用trylock尝试加锁,锁住返回0,或者返回EBUSY

int pthread_mutex_unlock(pthread_mutext_t *mutex);

ret-成功返回0 失败返回错误编号

产生死锁:

(1) 如果线程视图对同一个互斥量加锁两次,那么它自身就会陷入死锁状态;

(2) 程序中使用多个互斥量,如果允许一个线程一直占有第一个互斥量,并且在视图锁住第二个互斥量时处于阻塞状态,但是拥有第二个互斥量的线程也在视图锁住第一个互斥量,这样就会发生死锁;

避免死锁:

(1) 可以通过小心的控制互斥量加锁的顺序来避免死锁的发生。

(2) 如果不能获取锁,可以先释放占有的锁,过一段时间再试。

3. 读写锁:

读写锁与互斥量类似,不过允许更高的并行性。一次只有一个线程可以占有写模式的读写锁,但是多个线程可以同时占有读模式的读写锁;

读写锁非常适合对数据结构读次数远大于写的情况。

#include <pthread.h>

int pthread_rwlock_init(pthread_rwlock_t *restrict rwlock,
const pthread_rwlockattr_t *restrict attr); //默认属性传空 int pthread_rwlock_destroy(pthread_rwlock_t *rwlock); ret-成功返回0 失败返回错误编号
#include <pthread.h>

int pthread_rwlock_rdlock(pthread_rwlock_t *rwlock);
int pthread_rwlock_wrlock(pthread_rwlock_t *rwlock);
int pthread_rwlock_unlock(pthread_rwlock_t *rwlock); ret-成功返回0 失败返回错误编号
#include <pthread.h>

int pthread_rwlock_tryrdlock(pthread_rwlock_t *rwlock);

int pthread_rwlock_trywrlock(pthread_rwlock_t *rwlock);

ret-成功返回0 失败返回错误编码EBUSY

4. 条件变量:

条件变量与互斥量一起使用,允许线程以无竞争方式等待特定的条件发生。条件本身是由互斥量保护的,线程改变条件状态前必须先锁住互斥量,其他线程在获得互斥量之前不会觉察到这种改变,因为必须锁定互斥量以后才能计算条件。

#include <pthread.h>

int pthread_cond_init(pthread_cond_t *restrict cond,
pthread_condattr_t *restrict attr); int ptherad_cond_destroy(pthread_cond_t *cond); ret-成功返回0 失败返回错误编号
#include <pthread.h>

int pthread_cond_wait(pthread_cond_t *restrict cond,
pthread_mutext_t *restrict mutex); int pthread_cond_timewait(pthread_cond_t *restrict cond,
pthread_mutex_t *restrict mutex,
const struct timespec *restrict timeout); ret-成功返回0 失败返回错误编号

传递给xxxwait的互斥量对条件进行保护,调用者把锁住的互斥量传递给函数。函数把调用线程放到等到条件的线程列表上,然后对互斥量解锁,这两个操作是原子的。这样就关闭了条件检查和线程进入休眠状态等待条件改变这两个操作直接的时间通道,这样线程就不会错误条件的任何变化。xxxwait返回时,互斥量再次被锁住;

#include <pthread.h>

int pthead_cond_signal(pthread_cond_t *cond); //通知某个进程,也可以通知不止一个线程

int pthread_cond_broadcast(pthread_cond_t *cond); //通知所有线程

ret-成功返回0 失败返回错误编号

注意要在条件变量改变之后发生信号;

Linux线程同步的更多相关文章

  1. 【转】 Linux 线程同步的三种方法

    线程的最大特点是资源的共享性,但资源共享中的同步问题是多线程编程的难点.linux下提供了多种方式来处理线程同步,最常用的是互斥锁.条件变量和信号量. 一.互斥锁(mutex) 通过锁机制实现线程间的 ...

  2. Linux线程同步之读写锁(rwlock)

    读写锁和互斥量(互斥锁)很类似,是另一种线程同步机制,但不属于POSIX标准,可以用来同步同一进程中的各个线程.当然如果一个读写锁存放在多个进程共享的某个内存区中,那么还可以用来进行进程间的同步, 和 ...

  3. linux线程同步(1)-互斥量

    一.概述                                                   互斥量是线程同步的一种机制,用来保护多线程的共享资源.同一时刻,只允许一个线程对临界区进行 ...

  4. Linux 线程同步的三种方法(互斥锁、条件变量、信号量)

    互斥锁 #include <cstdio> #include <cstdlib> #include <unistd.h> #include <pthread. ...

  5. Linux线程同步:条件变量

    条件变量通过允许线程阻塞和等待另一个线程发送信号的方法弥补了互斥锁的不足,它常和互斥锁一起使用.使用时,条件变量被用来阻塞一个线程,当条件不满足时,线程往往解开相应的互斥锁并等待条件发生变化.一旦其它 ...

  6. Linux线程同步——条件变量

    互斥锁是用来给资源上锁的,而条件变量是用来等待而不是用来上锁的. 条件变量用来自动阻塞一个线程,直到某特殊情况发生为止. 通常条件变量和互斥锁同时使用. 和条件变量使用有关的几个重要函数: int p ...

  7. linux线程同步实例

    [Linux多线程]三个经典同步问题 - 神奕的专栏 - 博客频道 - CSDN.NET http://blog.csdn.net/lisonglisonglisong/article/details ...

  8. linux 线程同步(二)

    信号量 信号量是相互排斥锁的升级版把相互排斥锁中1变成了n.举个简单的样例:如果如今有10个人,有一部手机.这10个人都竞争来使用手机打电话这就是相互排斥锁.对于信号量,如今可能是有4部手机,这10个 ...

  9. linux线程同步(5)-屏障

    一.概述                                                    barrier(屏障)与互斥量,读写锁,自旋锁不同,它不是用来保护临界区的.相反,它跟条 ...

随机推荐

  1. [OS] 生产者-消费者问题(有限缓冲问题)

    ·最简单的情形--(一个生产者 + 一个消费者 + 一个大小为1的有限缓冲) 首先来分析其中的同步关系: ·必须在生产者放入一个产品之后,消费者才能够从缓冲中取出产品来消费.·只有在消费者从缓冲区中取 ...

  2. Spring Bean注册和加载

    Spring解密 - XML解析 与 Bean注册 Spring解密 - 默认标签的解析 Spring解密 - 自定义标签与解析 Spring解密 - Bean的加载流程

  3. BZOJ 1263 整数划分(数学+高精度)

    我们不妨考虑可以划分为实数的情况,设划分为x份实数,使得总乘积最大. 易得当每一份都相等时乘积最大.即 ans=(n/x)^x. 现在只需要求出这个函数取得最大值的时候x的取值了. 两边取对数,则有l ...

  4. bzoj3782上学路线

    题意:从n*m网格图的左下角走到右上角(n,m<=10^10),有t个坐标不能经过(t<=200),只能向上向右走,问有多少种不同的走法,对p取模, p只有两种取值,1000003(质数) ...

  5. Socket网络编程实例2

    两个程序通过“网络”交互数据就使用socket,它只负责两件事:建立连接,传递数据. 所有的数据传输接收,必须都使用byte格式 1.简单实例: #客户端 import socket client=s ...

  6. [洛谷P2106]Sam数

    题目大意:问长度为$n$的$Sam$数有几个,$Sam$数的定义为没有前导零,相邻两个数字之差绝对值小于等于$2$的数 题解:发现转移方程一定,可以矩阵快速幂. 卡点:没有特判$n=1$的情况 C++ ...

  7. 洛谷 P4735 最大异或和 解题报告

    P4735 最大异或和 题目描述 给定一个非负整数序列\(\{a\}\),初始长度为\(N\). 有\(M\)个操作,有以下两种操作类型: A x:添加操作,表示在序列末尾添加一个数\(x\),序列的 ...

  8. bzoj1024: [SCOI2009]生日快乐(DFS)

    dfs(x,y,n)表示长为x,宽为y,切n块 每次砍的一定是x/n的倍数或者y/n的倍数 #include<bits/stdc++.h> using namespace std; con ...

  9. 【贪心】【P2117】小Z的矩阵

    传送门 Description 小Z最近迷上了矩阵,他定义了一个对于一种特殊矩阵的特征函数G.对于N*N的矩阵A,A的所有元素均为0或1, 当然询问一个矩阵的G值实在是太简单了.小Z在给出一个N*N矩 ...

  10. 读取proc/uptime信息。

    #include <stdio.h> #include<unistd.h> #include<sys/types.h> #include<sys/stat.h ...