为什么引出线程同步?
多个线程操作一块临界资源,将会导致数据混乱/数据不一致的情况,究其原因是因为:多个线程操作了共享资源,CPU调度问题。
线程不同步代码案例
程序说明:两个线程分别对一个共享变number量,都++操作1000次,程序的执行结果(number的最终值<2000)
int number=0;
void* FUNC1(void* arg){
for(int i=0;i<1000;i++){
printf("A:%d\n",number++);
usleep(1);
}
}
void* FUNC2(void* arg){
for(int i=0;i<1000;i++){
printf("B:%d\n",number++);
usleep(1);
}
}
int main(){
pthread_t tid1,tid2;
pthread_create(&tid1,NULL,FUNC1,NULL);
pthread_create(&tid2,NULL,FUNC2,NULL);
pthread_join(tid1,NULL);
pthread_join(tid2,NULL);
}
互斥锁mutex
的API
pthread_mutex_t
mutex //互斥锁类型
pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER; //静态初始化
int pthread_mutex_init(pthread_mutex_t *restrict mutex,const pthread_mutexattr_t *restrict attr); //动态初始化
int pthread_mutex_destroy(pthread_mutex_t *mutex);//销毁互斥锁
int pthread_mutex_lock(pthread_mutex_t *mutex); //如果加锁的时候发现锁已经被锁上,线程会一直阻塞
int pthread_mutex_trylock(pthread_mutex_t *mutex); //尝试对互斥量mutex进行加锁,如果互斥量mutex处于未被锁住的状态,则将锁住该互斥量并返回0。如果互斥量mutex处于锁住的状态,则不能锁住该互斥量并返回EBUSY而不是挂起等待
int pthread_mutex_unlock(pthread_mutex_t *mutex); //解锁
mutex线程同步的代码案例
案例代码修改:使用mutex进行同步访问全局变量number
pthread_mutex_t mutex;
int number=0;
void* FUNC1(void* arg){
for(int i=0;i<1000;i++){
pthread_mutex_lock(&mutex); //加锁
printf("A:%d\n",number++);
usleep(1);
pthread_mutex_unlock(&mutex); //解锁
}
}
void* FUNC2(void* arg){
for(int i=0;i<1000;i++){
pthread_mutex_lock(&mutex); 加锁
printf("B:%d\n",number++);
usleep(1);
pthread_mutex_unlock(&mutex); //解锁
}
}
int main(){
pthread_mutex_init(&mutex,NULL);
pthread_t tid1,tid2;
pthread_create(&tid1,NULL,FUNC1,NULL);
pthread_create(&tid2,NULL,FUNC2,NULL);
pthread_join(tid1,NULL);
pthread_join(tid2,NULL);
pthread_mutex_destroy(&mutex);
return 0;
}