无锁编程：最简单例子

最新推荐文章于 2024-07-01 22:33:05 发布

sahusoft

最新推荐文章于 2024-07-01 22:33:05 发布

阅读量3.1k

点赞数 2

分类专栏：无锁编程 C/C++ 无锁编程

本文链接：https://blog.csdn.net/sahusoft/article/details/9141015

版权

本文通过一个简单的多线程递增全局变量的场景，探讨无锁编程的实现。利用GCC内建的原子操作__sync_fetch_and_add实现线程间同步，无需互斥量。分析了为何在无锁情况下仍能得到正确结果，并强调了volatile关键字在防止编译器优化中的作用。

摘要由CSDN通过智能技术生成

场景

假设存在这样一个情况：需要N个线程对一个全局的变量进行M次递增操作。首先想到的常常是，使用互斥量。当然在“无锁”的世界里，还有其它实现方式。话不多说，看代码：

测试代码

gcc_sync_test.c

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

#define TEST_ROUND  20000
#define THREAD_NUM  10

#define SYNC
#define LOCKLESS

#ifndef LOCKLESS
	pthread_mutex_t mutex_lock;
#endif

static volatile int count = 0;

void *test_func(void *arg)
{
	int i = 0;
	for(i = 0; i < TEST_ROUND; i++){
#ifdef SYNC
#ifdef LOCKLESS
		__sync_fetch_and_add(&count, 1);
#else
		pthread_mutex_lock(&mutex_lock);
		count++;
		pthread_mutex_unlock(&mutex_lock);
#endif
#else
		count++;
#endif
	}
	return NULL;
}

int main(int argc, const char *argv[])
{
	pthread_t thread_ids[THREAD_NUM];
	int i = 0;

#ifndef LOCKLESS
	pthread_mutex_init(&mutex_lock, NULL);
#endif
	for(i = 0; i < siz