MIT6.828_HW9_Barriers

Barriers

本节中我们将利用pthread库提供的条件变量来实现一个barrier,barrier指一个应用程序点,必须在所有线程都到达该点后,线程才能继续执行。条件变量类似xv6中的sleep和wakeup,也是一种序列同步技术。
首先下载barrier.c并在机器上进行编译

$ gcc -g -O2 -pthread barrier.c
$ ./a.out 2
Assertion failed: (i == t), function thread, file barrier.c, line 55.

2指出要在barrier处同步的线程数, 每个线程都处于一个紧密的循环中。 在每个循环迭代中，一个线程调用barrier（），然后休眠一个随机的时间。 断言触发是因为一个线程在另一线程到达barrier之前就离开了barrier。 理想的行为是所有线程都应阻塞，直到所有线程都调用了barrier。
我们的目标是让程序按理想情况执行,除了先前看到的lock primitives 之外,还需要知道一下线程原语(可以通过man pthreads来了解更多细节)

pthread_cond_wait(&cond, &mutex); // go to sleep on cond, releasing lock mutex
pthread_cond_broadcast(&cond); // wake up every thread sleeping on cond

调用pthread_cond_wait会释放锁,并且在该函数返回之前重新获取锁,课程中以及给出了barrier_init()的代码,我们的任务是实现barrier()使得程序不会触发panic,barrier结构体也已经定义好了。
有两个问题会复杂化你的任务:

1.你必须处理一系列的barrier调用,每次调用我们称之为一个回合,bstate.round记录当前回合数,当回合开始时,你应当增加bstate.round的计数。
2.你必须处理一个线程在其他线程退出 barrier 之前进行下一轮循环的情况,你得确保离开barrier进入下一轮循环的线程在其他线程仍在上一轮循环中使用bstate.nthread的情况下并不增加bstate.nthread的计数。

在使用一个,两个,多个线程的情况下测试你的代码。

完成本次HW首先要了解pthread_cond_wait()和pthread_cond_broadcast()的用法和作用,可以参考深入理解pthread_cond_wait、pthread_cond_signal这篇博客,讲的比较详细。
实现代码要抓住两个要点:

1.要使得所有进程到达barrier后才能继续执行下一轮循环
2.当所有进程都到达barrier了,只有一个进程能够增加bstate.round的计数

理清思绪后,实现起来还是挺简单的,具体实现代码如下:

测试也没问题:

不过忘了HW要求在barrier里实现,按上面的代码稍微修改一下就行了,最终代码如下: