线程安全与线程不安全

版权声明:本文为博主原创文章,未经博主允许不得转载。 https://blog.csdn.net/a1414345/article/details/70879930

基本概念

线程不安全:就是不提供数据访问保护,在多线程环境中对数据进行修改,会出现数据不一致的情况。

线程安全:就是多线程环境中有对全局变量的变动时,需要对执行的代码块采用锁机制,当一个线程访问到某个数据时,其他线程需要等待当前线程执行完该代码块才可执行,不会出现数据不一致或者数据被污染。

如果一段代码在被多个线程执行,如果每次运行结果和单线程运行的结果是一样的,而且其他变量的值和预期一样,就是线程安全的。

线程安全主要由对有全局变量或静态变量有修改动作而引起的。

小实验

描述:

首先创建两个线程,执行同一段代码对全局变量count进行修改操作,这里是进行++5000次并打印,我们预期的结果应该是10000,分别在线程安全和线程不安全运行对比。

我们在读取变量的值和把变量的新值保存回去,这两个之间插入一个printf调用,它会调用write系统调用,此时会从用户态进入内核态,为内核调度别的线程执行提供了一个很好的时机。

线程不安全

#include <stdio.h>
#include <pthread.h>

int count = 1;

void* run(void * arg1)
{
    int i = 0;
    while(1)
    {
        int val = count;
        i++;
        printf("count is %d  \n", count);
        count = val+1;
        if(5000 == i)
            break;
    }
}


int main()
{
    pthread_t tid1, tid2;
    pthread_create(&tid1, NULL, run, NULL);
    pthread_create(&tid2, NULL, run, NULL);

    pthread_join(tid1, NULL);
    pthread_join(tid2, NULL);
    return 0;
}

重复执行执行多次观察结果:
第一次

1
第二次
2

我们发现在线程不安全的情况下,执行结果不符合预期。

线程安全下:

#include <stdio.h>
#include <pthread.h>

int count = 1;
pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;

void* run(void * arg1)
{
    int i = 0;
    pthread_mutex_lock(&mutex);
    while(1)
    {
        int val = count;
        i++;
        printf("count is %d  \n", count);
        count = val+1;
        if(5000 == i)
            break;
    }
    pthread_mutex_unlock(&mutex);
}


int main()
{
    pthread_t tid1, tid2;
    pthread_create(&tid1, NULL, run, NULL);
    pthread_create(&tid2, NULL, run, NULL);

    pthread_join(tid1, NULL);
    pthread_join(tid2, NULL);
    return 0;
}

我们通过引入互斥锁(Mutex),使得一个时刻只能有一个线程进入代码块,从而达到线程安全的目的。

结果:
1

展开阅读全文

没有更多推荐了,返回首页