【Linux】——线程安全

1、线程安全

1.1线程安全的概念

线程安全就是在多线程运行的时候，不论线程的调度顺序是怎样，最终的结果都是一样的、正确的。那么就说这些线程是安全的。具体的我们以特定的使用环境来加以说明。主要分为以下两种情况。

1. 对线程同步，保证同一时刻只有一个线程访问临界资源
2. 在多线程中使用线程安全的函数（可重入函数）。所谓线程安全的函数指的是：如果一个函数能被多个线程同时调用且不发生竞态条件，则就是安全的。

1.2造成线程不安全的原因

1. 出现两个或两个以上的线程对象共享同一个资源
2. 多线程操作共享资源代码有多个语句

例如下面这段代码所示这种情况，因为全局变量在同一进程中的多线程是共享的。也就是说不管是函数线程还是主线程操作的g都是同一个。
再者，g++的操作不是原子操作。它包含了从内存中读值 、cpu进行加一 还有将结果写回内存这三步操作。所以在这三步的任意时候都可能被暂停下来

#include<stdio.h>
#include<stdlib.h>
#include<assert.h>
#include<unistd.h>
#include<string.h>

#include<pthread.h>

int g = 0;
void* fun(void* arg)
{
   
	int i = 0;
	for(;i<10000;i++)
	{
   
		g++;
	}
}
int main()
{
   
	pthread_t id;
	int res = pthread_create(&id,NULL,fun,NULL);
	assert(res == 0);

	int i = 0;
	for(;i<10000;i++)
	{
   
		g++;
	}

	pthread_join(id,NULL);//保证函数线程已经结束了
	printf("g = %d\n",g);
	exit(0);
}

从以上的运行结果我们就可以看出，不是每一次执行结果都是20000.存在因为对同一资源访问时不同步的问题。所以，接下来我们来探讨一下如何才能保证线程安全。

1.3如何保证线程安全

1. 对线程同步，保证同一时刻只有一个线程访问临界资源。

下面，我们采用互斥锁的方式来保证原子操作的整个过程不被打断。在一个线程对g进行操作之前先进行加锁操作，此时如果还有线程试图对临界资源进行加锁就会被阻塞；操作完毕就进行解锁操作，被阻塞的线程就可以再次尝试加锁操作。
代码实现如下：

#include<stdio.h>
#include<stdlib.h>
#include<assert.h>
#include<unistd.h>
#include<string.h>

#include<pthread.h>

pthread_mutex_t mutex;

int g = 0;
void* fun(void* arg)
{
   
	int i = 0;
	for(;i<10000;i++)
	{
   
		pthread_mutex_lock(&mutex);
		g++;
		pthread_mutex_unlock(&mutex);
	}
}
int main()
{
   
	pthread_t id;
	int res = pthread_create(&id,NULL,fun,NULL);
	assert(res == 0);

	pthread_mutex_init(&mutex,NULL);

	int i = 0;
	for(;i<10000;i++)
	{
   
		pthread_mutex_lock(&mutex);
		g++;
		pthread_mutex_unlock(&mutex);
	}

	pthread_join(