Linux多线程同步方式

当多个线程共享相同的内存时,需要确保每个线程看到一致的数据视图,当多个线程同时去修改这片内存时,就可能出现偏差,得到与预期不符合的值。为啥需要同步,一件事情逻辑上一定是有序的,即使在并发环境下;而操作系统对于多线程不会自动帮我们串行化,所以需要我们通过操作系统提供的同步方式api,结合自己的业务逻辑,利用多线程提高性能的同时,保证业务逻辑的正确性。一般而言,linux下同步方式主要有4种,原子锁,互斥量,读写锁和条件变量。下面一一介绍几种同步方式。

1. spinlock

1)  概念

spinlock是一种互斥结构,通过CPU提供的特殊的原子指令集合实现互斥地访问一个资源,需要硬件支持。一个线程访问数据未结束的时候,其他线程不得对同一个数据进行访问。

2)  实现

spinlock一般基于原子的read-modify-write操作实现。read-modify-write操作允许一个CPU读取一个值,修改该值,并将修改完成的值回写内存的三个操作作为一个原子总线操作,因此需要CPU特殊支持。具体而言,通过test-and-set指令实现,从内存中读取一个值,然后和0比较,并且将内存中的值设置为1。

3) 相关函数

a) 原子操作

test_and_set(volatile int* addr, value)

{

return os_atomic_test_and_set_int(addr,value);

}

这里volatile修饰词告诉编译器从内存中获取,保证正确性,避免从寄存器中读取到不准确的值。

b) 设置锁变量

 1 set_spinlock(lock_word)
 2 {
 3          int i = 0;
 4          int value;
 5          while (true)
 6          {
 7               value = test_and_set(&lock_word, 1);
 8               if (value == 0) //尚未被占用,可以获取
 9                      break;
10               else   //已经被其他线程占用,继续轮转
11                     do nothing
12          }
13 }

c)       重置锁变量

1 reset_spinlock(lock_word)
2 {
3    test_and_set (lock_word, 0);
4 } 

2.  mutex

1) 概念

与 spinlock作用相同,保证互斥地访问一个资源。

2) 相关函数

int pthread_mutex_lock(pthread_mutex_t *mutex)

int pthread_mutex_trylock(pthread_mutex_t *mutex)

int pthread_mutex_unlock(pthread_mutex_t *mutex)

pthread_mutex_trylock()语义与pthread_mutex_lock()类似,不同的是在锁已经被占据时返回EBUSY而不是挂起等待。

3)  spinlock与mutex的区别

a) 作用范围,mutex是内核对象,可以在多线程,多进程同步中使用;spinlock作用范围仅限于本进程(锁变量是进程内的),仅适用于多线程同步。

b) spinlock依赖于硬件的原子操作指令

c) 线程获取spinlock失败时,会采取循环等待的方式,此时线程处于运行状态,CPU空转;而获取mutex失败时,线程会挂起,线程处于wait状态,不会被内核调度。

d) 由于3的特点,进入等待状态或从等待状态被唤醒,都涉及到CPU的上下文切换,而CPU切换是比较耗时的,一般需要25us。相对而言spinlock则没有这样的代价,效率更高。

e) 也由于3的特点,spinlock会空转,导致浪费大量的CPU时间片,若用户持有锁时间长,导致空转时间长,也得不偿失。因此spinlock比较适合于“快拿快放”的使用场景。

3.读写锁

1) 概念

spinlock和互斥量都是保证同一时刻只有一个线程操作共享内存。互斥锁要么是加锁状态,要么是不加锁状态,一次只有一个线程可以对其加锁。读写所可以有3种状态,读模式下加锁状态,写模式下加锁状态,不加锁状态。相对于前两者,读写锁有更高的并发度,允许多个线程同时读共享内存。

2) 相关函数

pthread_rwlock_rdlock(pthread_rwlock_t*);  读锁定

pthread_rwlock_tryrdlock(pthread_rwlock_t*); 非阻塞读锁定

pthread_rwlock_wrlock(pthread_rwlock_t*); 写锁定

pthread_rwlock_trywrlock(pthread_rwlock_t*); 非阻塞写锁定

pthread_rwlock_unlock(pthread_rwlock_t*);  释放锁

4. 条件变量

1) 概念

条件变量是另外一种同步机制,通过与互斥锁配合使用,利用锁保护条件变量,通过条件变量实现唤醒和等待的机制。通过这种方式,允许线程以无竞争的方式等待特定的条件发生

2) 相关函数

int pthread_cond_signal(pthread_cond_t *cond);  //唤醒等待条件某个线程

int pthread_cond_broadcast(pthread_cond_t *cond); //唤醒等待条件所有线程

int pthread_cond_wait(pthread_cond_t *cond, pthread_mutex_t *mutex); //等待条件发生。

3) 说明

调用pthread_cond_wait之前,需要线程获取互斥量,调用者把互斥量传递给函数,函数把调用线程发到等待队列上,然后对互斥量解锁,这个操作是原子操作。当pthread_cond_wait返回时,互斥量会再次被锁住,这个实现都在pthread_cond_wait函数中实现,不需要用户逻辑介入。

时间: 2024-08-24 05:30:11

Linux多线程同步方式的相关文章

Linux多线程同步机制

http://blog.163.com/he_junwei/blog/static/19793764620141711130253/ http://blog.csdn.net/h_armony/article/details/6766505  一.互斥锁 尽管在Posix Thread中同样可以使用IPC的信号量机制来实现互斥锁mutex功能,但显然semphore的功能过于强大了,在Posix Thread中定义了另外一套专门用于线程同步的mutex函数. 1. 创建和销毁 有两种方法创建互斥

C++实现一个多线程同步方式的协同工作程序示例

多线程并发程序与协同程序其实是不同的概念.多线程并发是多个执行序同时运行,而协同程序是多个执行序列相互协作,同一时刻只有一个执行序列.今天想到的是将两者结合起来,拿现实生活中的例子来说,假设一个班级有100个学生,一个老师要批改100个学生的作业,有时老师太忙或者赶时间会叫几个同学帮忙批改,等所有同学都批改完后都交到老师手中,老师在下次上课的时候将作业本一起发给班上的学生....其实在并发编程的时候也可以借鉴这一个思想和模式,特别是网络服务器开发的过程中,并发与协同经常出现,于是今天写了一个简单

Linux 多线程同步机制:互斥量、信号量、条件变量

互斥量:互斥量提供对共享资源的保护访问,它的两种状态:lock和unlock,用来保证某段时间内只有一个线程使用共享资源,互斥量的数据类型是pthread_mutex_t主要涉及函数:pthread_mutex_lock() pthread_mutex_trylock() pthread_mutex_unlock()Pthreaf_mutex_init() pthread_mutex_destroy()lock与unlock之间所锁定的区域为临界区域(如果只加锁不解锁程序会阻塞等待)信号量:信号

Linux多线程同步之相互排斥量和条件变量

1. 什么是相互排斥量 相互排斥量从本质上说是一把锁,在訪问共享资源前对相互排斥量进行加锁,在訪问完毕后释放相互排斥量上的锁. 对相互排斥量进行加锁以后,不论什么其它试图再次对相互排斥量加锁的线程将会被堵塞直到当前线程释放该相互排斥锁.假设释放相互排斥锁时有多个线程堵塞,所以在该相互排斥锁上的堵塞线程都会变成可进行状态.第一个变成执行状态的线程能够对相互排斥量加锁.其它线程在次被堵塞,等待下次执行状态. pthread_mutex_t 就是POSIX对于mutex的实现. 函数名 參数 说明 p

Linux多线程同步之互斥量和条件变量

1. 什么是互斥量 互斥量从本质上说是一把锁,在访问共享资源前对互斥量进行加锁,在访问完成后释放互斥量上的锁.对互斥量进行加锁以后,任何其他试图再次对互斥量加锁的线程将会被阻塞直到当前线程释放该互斥锁.如果释放互斥锁时有多个线程阻塞,所以在该互斥锁上的阻塞线程都会变成可进行状态,第一个变成运行状态的线程可以对互斥量加锁,其他线程在次被阻塞,等待下次运行状态. pthread_mutex_t 就是POSIX对于mutex的实现. 函数名 参数 说明 pthread_mutex_init pthre

嵌入式 Linux进程间通信(十二)——多线程同步

嵌入式 Linux进程间通信(十二)--多线程同步 多线程编程中有三种线程同步机制:互斥锁.信号量.条件量.本文将使用生产者消费者问题编程实践三种线程同步方式. 生产者.消费者问题:生产者线程生产物品,然后将物品放置在一个空缓冲区中供消费者线程消费.消费者线程从缓冲区中获得物品,然后释放缓冲区.当生产者线程生产物品时,如果没有空缓冲区可用,那么生产者线程必须等待消费者线程释放出一个空缓冲区.当消费者线程消费物品时,如果没有满的缓冲区,那么消费者线程将被阻塞,直到新的物品被生产出来. 一.互斥锁

Linux多线程与同步

Linux多线程与同步 作者:Vamei 出处:http://www.cnblogs.com/vamei 欢迎转载,也请保留这段声明.谢谢! 典型的UNIX系统都支持一个进程创建多个线程(thread).在Linux进程基础中提到,Linux以进程为单位组织操作,Linux中的线程也都基于进程.尽管实现方式有异于其它的UNIX系统,但Linux的多线程在逻辑和使用上与真正的多线程并没有差别. 多线程 我们先来看一下什么是多线程.在Linux从程序到进程中,我们看到了一个程序在内存中的表示.这个程

Linux多线程--使用信号量同步线程【转】

本文转载自:http://blog.csdn.net/ljianhui/article/details/10813469 信号量.同步这些名词在进程间通信时就已经说过,在这里它们的意思是相同的,只不过是同步的对象不同而已.但是下面介绍的信号量的接口是用于线程的信号量,注意不要跟用于进程间通信的信号量混淆,关于用于进程间通信的信号量的详细介绍可以参阅我的另一篇博文:Linux进程间通信——使用信号量.相似地,线程同步是控制线程执行和访问临界区域的方法. 一.什么是信号量 线程的信号量与进程间通信中

【2017-06-20】Linux应用开发工程师C/C++面试问题之一:Linux多线程程序的同步问题

参考之一:Linux 线程同步的三种方法 链接地址:http://www.cnblogs.com/eleclsc/p/5838790.html 简要回答: Linux下线程同步最常用的三种方法就是互斥锁.条件变量及信号量. 互斥锁通过锁机制来实现线程间的同步,锁机制是同一时刻只允许一个线程执行一个关键部分的代码. 条件变量是用来等待而不是用来上锁的,条用来自动阻塞一个线程,直到某特殊情况发生为止,通常条件变量和互斥锁同时使用. 线程的信号量与进程间通信中使用的信号量的概念是一样,它是一种特殊的变