当多个线程对同一个共享变量进行修改时,正常情况下操作可能会出现不同步。
比如一个变量修改包括以下步骤:读取内存—放入寄存器—操作寄存器(如加1等)--写回内存。
如a = 10;两个线程AB对变量进行减1操作
在A线程中,当程序运行到放入寄存器时,此时的值为10;恰在此时引发一次调度,B线程走一段时间,B将a值减为9;然后过会开始调度回A运行,A将寄存器的值减1,即为9,然后写回a中,最终a的值并不是为8而是为9.
解决这个问题采用互斥锁实现线程同步的方式:
#incude <pthread.h>
int pthread_mutex_lock(pthread_mutex_t *ptr);
int pthread_mutex_unlock(pthread_mutex_t*ptr);
互斥锁变量的定义:
pthread_mutex_t pthread_mutex_t counter_mutex =PTHREAD_MUTEX_INITIALIZER;
在使用互斥锁和没有互斥锁时,大概差别是10%,因此互斥锁的开销不是特别大。
实例:
全局变量 int counter = 0;
线程中(在需要访问共享变量时):
pthread_mutex_lock(&counter_mutex);
counter++;
pthread_mutex_unlock(&counter_mutex);
顺便说记录一下原子操作的概念:
原子操作是指不会被线程调度机制打断的操作;这种操作一旦开始,就一直运行到结束,中间不会有任何 context switch (切换到另一个线程)。
线程安全的概念:
如果你的代码所在的进程中有多个线程在同时运行,而这些线程可能会同时运行这段代码。如果每次运行结果和单线程运行的结果是一样的,而且其他的变量的值也和预期的是一样的,就是线程安全的。
或者说:一个类或者程序所提供的接口对于线程来说是原子操作或者多个线程之间的切换不会导致该接口的执行结果存在二义性,也就是说我们不用考虑同步的问题。
线程安全问题都是由全局变量及静态变量引起的
若每个线程中对全局变量、静态变量只有读操作,而无写操作,一般来说,这个全局变量是线程安全的;若有多个线程同时执行写操作,一般都需要考虑线程同步,否则的话就可能影响线程安全。