For The Best Thing In The World

Work Hard to Enjoy Them. bloom energy

CriticalSection的测试

#include <stdio.h>
#include <stdlib.h>
#include <pthread.h>
#define NLOOP 5000
int counter; /* incremented by threads */ pthread_mutex_t counter_mutex = PTHREAD_MUTEX_INITIALIZER;
void *doit(void *);
int main(int argc, char **argv)
{
    pthread_t tidA, tidB;
    pthread_create(&tidA, NULL, doit, NULL); pthread_create(&tidB, NULL, doit, NULL);
    /* wait for both threads to terminate */
    pthread_join(tidA, NULL);
    pthread_join(tidB, NULL);
    return 0;
}

void *doit(void *vptr)
{
    int i, val;
    /*
     * Each thread fetches, prints, and increments the counter
     NLOOP times.
     * The value of the counter should increase monotonically. */
    for (i = 0; i < NLOOP; i++) {
        pthread_mutex_lock(&counter_mutex);
        val = counter;
        printf("%d\t", val +1);
        counter = val + 1;
        pthread_mutex_unlock(&counter_mutex);
    }
    printf("final counter is %d\n", counter);
}

解释是: 两个线程一起运行后, 便分别对全局变量counter进行加一, 5000次循环. 而critical section就在加一赋值里起作用, 目的是为了防止在进行此操作时,刚好另外一个线程又有在操作, 导致结果错乱.

第一个打印9997意味着第一个线程首先完成了5000次对counter+1的循环,此时counter的值为9997 而另外一个线程剩下3次循环, 最后运行完, 便是10000. 可知, 如果critical section实现正确, 无论如何, 最终结果都为10000, 而其他两个线程的final counter则是未知, 因为你无法预知哪个线程运行的快

而在wine里make test的结果则是1 1 2 2 ….4999 4999 5000 5000 final counter is 5000 说明根本就没有锁到全局变量, 在counter还没有加一的时候线程已经读取全局变量了, 就出现这个结果. 所以实现不对