__sync_val_compare_and_swap()示例

以下是一个使用__sync_val_compare_and_swap()函数的示例：

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

#define THREADS 4
#define LOOP 1000000

int counter = 0;

void *increment(void *arg)
{
    int i;
    int local_counter = 0;

    for (i = 0; i < LOOP; i++) {
        int old_value = counter;
        int new_value = old_value + 1;

        while (__sync_val_compare_and_swap(&counter, old_value, new_value) != old_value) {
            old_value = counter;
            new_value = old_value + 1;
        }

        local_counter++;
    }

    printf("Thread %ld incremented counter %d times\n", (long)arg, local_counter);

    pthread_exit(NULL);
}

int main(void)
{
    pthread_t threads[THREADS];
    int i;

    for (i = 0; i < THREADS; i++) {
        if (pthread_create(&threads[i], NULL, increment, (void *)(long)i)) {
            fprintf(stderr, "Error creating thread\n");
            exit(1);
        }
    }

    for (i = 0; i < THREADS; i++) {
        if (pthread_join(threads[i], NULL)) {
            fprintf(stderr, "Error joining thread\n");
            exit(1);
        }
    }

    printf("Counter value: %d\n", counter);

    return 0;
}

这个程序创建了4个线程，每个线程执行1000000次循环。在每次循环中，线程将计数器的旧值存储在一个变量中，然后将计数器的值增加1。如果__sync_val_compare_and_swap()函数返回了旧值，说明另一个线程已经更新了计数器，这个线程需要重试。如果函数返回了新值，说明这个线程成功更新了计数器的值。

这个程序使用了__sync_val_compare_and_swap()函数来保证计数器的并发更新是正确的。这个函数可以原子地读取、比较和更新一个变量的值，它可以确保线程之间的同步，并避免竞态条件的出现。