Os 并发[未完结]

OS并发

并发介绍

线程共享数据说开去

#include <stdio.h>
#include <assert.h>
#include <pthread.h>
int cnt;
void *mythread(void* arg)
{
        for(int i=0;i<100000;i++)
                cnt++;
        return NULL;
}

int main()
{
        pthread_t p1,p2;
        int rc;
        printf("main:begin\n");
        rc = pthread_create(&p1,NULL,mythread,(void*)"A");assert(rc == 0);
        rc = pthread_create(&p2,NULL,mythread,(void*)"B");assert(rc == 0);
        rc = pthread_join(p1,NULL);
        rc = pthread_join(p2,NULL);
        printf("main:end\n");
        printf("%d",cnt);
        return 0;
}

以上代码结果是不确定的.

[Running] cd “c:\Users\fwk\Desktop” && g++ main.cpp -o main && "c:\Users\fwk\Desktop"main

main:begin

main:end

200000

[Done] exited with code=0 in 0.245 second

[Running] cd “c:\Users\fwk\Desktop” && g++ main.cpp -o main && "c:\Users\fwk\Desktop"main

main:begin

main:end

198727

[Done] exited with code=0 in 0.256 seconds

[Running] cd “c:\Users\fwk\Desktop” && g++ main.cpp -o main && "c:\Users\fwk\Desktop"main

main:begin

main:end

157177

[Done] exited with code=0 in 0.25 second

产生这个原因的关键是在于 下面这段反汇编出的代码:

.text:A                 mov     eax, cs:cnt
.text:B                 add     eax, 1
.text:C                 mov     cs:cnt, eax       

设想一下 ,初始cnt值为100 线程t1执行B后,线程被挂起,此时t1线程eax保存的是101,然后B线程执行ABC,此时cnt被更新为101,线程切换会t1,t1执行C,将101又一次赋给了cnt,这就造成了2次重复赋值,产生了错误.

原子性的美好愿望

那么我们很容易会有这样的期望,如果上面ABC能以一条指令执行,岂不解决了竞态条件?