山东大学-软件学院-操作系统课设-实验3 使用信号量解决N线程屏障问题

完整的实验报告这里放不下，放在资源啦，大家可以去下载，不过主体内容大致就是下面这些~

N线程屏障的实现

首先按照“The Little Book of Semaphores”中3.6.4小节中的代码实现N线程屏障：

“The Little Book of Semaphores” 3.6.4小节：

“The Little Book of Semaphores” 3.6.4小节的代码实现：

 

·令随机数种子seed为1对上图中的代码实现进行测试(./nachos -rs 1)：

 

问题解决

⭐出现错误1：

如上图，有2个线程（线程8和9）均判定自己为最后一个到达的线程

  ⭐错误1原因：

count为临界资源，应当使用临界区进行保护，但是在“The Little Book of Semaphores” 3.6.4小节中，使用if判断本线程是否为最后一个到达的线程的时候，count被线程直接访问，并没有使用临界区进行保护。于是会有这样的情况出现（以上图为例，10作为允许所有线程继续执行之前，必须达到屏障的线程数目）：

如上图，8号线程在未到达使用if判断本线程是否为最后一个到达的线程时（即if(count==N_THREADS) {···}），就已经进行线程切换，切换到了9号线程。9号线程中count=count+1，count为10，满足屏障最大线程计数。此时又进行了一次线程切换，切换到8号线程。8号线程恢复现场，执行使用if判断本线程是否为最后一个到达的线程时（即if(count==N_THREADS) {···}），临界资源count没有临界区保护并且已经到达屏障最大线程计数，所以8号线程判断自己为最后一个线程。此时线程切换到9号线程，9号线程也判断自己为最后一个线程。出现错误。

⭐错误1导致的后续错误：

如果在判断得出本线程为最后一个到达的线程时，该线程需要对某内存地址进行操作。而在突破屏障以后，所有线程又需要对该内存地址进行访问。那么在多个线程都判断自己为最后一个到达的线程时，对该内存地址的操作就会出现错乱，从而导致后面所有线程对该内存地址的访问得到的值都是错误的。

    ⭐错误1解决：

在所有使用到了临界区资源的地方，都加上临界区进行保护。即在使用if判断本线程是否为最后一个到达的线程（if(count==N_THREADS) {···}）时，也加上临界区保护。如下图：

2.4 使用-rs选项“无效”

·出现问题：

用不同的随机数种子测试，会发现各线程打印输出的rendezvous行的顺序，基本就是线程被创建的顺序(0,1,2…9)。如下图：

      

 

 

·问题原因：

在执行时加入参数-rs后，会在初始化的时候生成一个timer，并且可以在线程之间利用时间片进行切换，即使用时间片调度。但是由于此时的时间片大小远远大于单个线程执行到打印rendezvous行并被屏障堵塞的时间（该线程非最后一个到达），所以屏障堵塞以后线程切换到就绪队列的下一个线程，下一个线程继续执行打印rendezvous行并被屏障堵塞然后切换线程的步骤。而从实验的结果也可分析得出时间片大小大于设定的10个线程执行到打印rendezvous行到达屏障的时间之和，于是出现-rs“失效”的情形。

·问题解决：

增加单个线程的运行时间，使得每个线程都有更多的机会进行因为到达时间片的线程切换。

 ⭐解决方案1：

方法：使用空循环耗时

是否解决：否

未解决原因：Nachos线程运行时有3种状态，Idle状态、系统态、用户态。Idle状态中机器时钟会前进；系统态则是用户程序开中断一次增加10个tick；用户态则是执行一条用户指令增加1个tick。而在本次实验中，线程只有Idle状态和系统态的转换，使用空循环属于增加用户态的tick，对于本次实验中的总时钟前进无效。

 ⭐解决方案2：

方法：使用Linux中的sleep

是否解决：否

未解决原因：Linux中的sleep作用对象为线程，而Nachos中是实例化Thread类对象并使用fork创建模拟线程，即Nachos上创建的并不是真正的线程。使用Linux中的sleep只会对Linux中真正的线程nachos起作用，但不会对Nachos中模拟线程运行的总时钟前进起到任何作用。

 

 

 ⭐解决方案3：

方法：增加关开中断的次数

是否解决：是

解决原因：本次实验中，线程只有Idle状态和系统态的转换，所以需要系统态的时钟前进，而系统态的时钟前进又只会出现在开中断时，所以需要增加关开中断的次数。

解决方案代码：

1. void MakeTicks(int n)  // 增加时钟  
2. {  
3. //每个线程中增加1000次开关中断的次数，即每个线程增加10000ticks  
4.  for(int i = 0;i<n;i++){  
5.     IntStatus oldl = interrupt->SetLevel(IntOff); //关中断  
6.     (void) interrupt->SetLevel(oldl);//开中断  
7.  }  
8. }  
9. void BarThread(_int which)  
10. {  
11.     MakeTicks(N_TICKS);  //增加时钟  
12.     printf("Thread %d rendezvous\n", which);//线程到达屏障  
13.     mutex->P();//临界资源count的临界保护区  
14.     count = count +1;//到达屏障的线程计数+1  
15.    if(count==N_THREADS) {//最后一个到达屏障的线程  
16.    printf("Thread %d is the last\n", which);  
17.    barrier->V();  
18.    }  
19.    mutex->V();  
20.    barrier->P();  
21.    barrier->V();  
22.   printf("Thread %d critical point\n", which);  
23. }  

• 运行结果

设置种子数为1：

 

设置种子数为20：

 

设置种子数为123：