XV6 operating system：xv6 Barriers

此次作业是使用环境变量（condition variables）来实现barriers.c这个函数。

barrier.c的作用相当于一条起跑线，只用当所有的线程都到了起跑线的时候，系统才会允许线程继续运行（起跑），其中，先到的起跑线的进行需要等待后到起跑线的进程。

 

首先根据作业要求，下载barrier.c并放到xv6的文件夹里，然后运行它：

 

$ gcc -g -O2 -pthread barrier.c
$ ./a.out 2

系统会显示assertion Failed，到此，准备阶段完成。

 

 

然后修改barrier.c中的barrier()函数:

barrier()
{
  pthread_mutex_lock(&bstate.barrier_mutex);                                      //对临界区进行加锁，barrier_mutex是开头定义的信号量
  bstate.nthread++;                                                                                //将到达当前barrier的线程的数量加一
  if (bstate.nthread == nthread) {                                                           //如果所有的线程都到达了当前barrier
    pthread_cond_broadcast(&bstate.barrier_cond);                             //针对barrier_cond这个环境变量广播，表示激活所有线程
    bstate.nthread = 0;
    bstate.round++;
  }
  else {
    pthread_cond_wait(&bstate.barrier_cond, &bstate.barrier_mutex);//当还有线程没有到达barrier时，释放互斥锁，然后休眠
  }
  pthread_mutex_unlock(&bstate.barrier_mutex);                                //释放互斥锁
}

 

再次运行程序：

 

成功