实验三：同步与通信

第一题 fork同步执行

通过fork的方式，产生4个进程P1,P2,P3,P4，每个进程打印输出自己的名字，例如P1输出“I am the process P1”。要求P1最先执行，P2、P3互斥执行，P4最后执行。通过多次测试验证实现是否正确。

• 本题我定义了3个信号量来实现要求
• 在此题中，要求产生四个进程，为了不让某些进程因为父子关系而产生先后顺序，所以运用fork（）函数产生了四个并列的子进程，他们的父进程都是主进程。代码截图如下：
  
• 根据题目要求P1与P2、P3是前趋关系，P2、P3在P1之后互斥执行，P4在P2、P3都执行之后再执行。于是我在此题中定义了3个信号量sem1、sem2、sem3，其中sem1用来控制p1与p2 p3之间的前后关系，当p1执行之后sem1释放，此时sem1=1，p2，p3才能wait到sem1，并执行，也因为p2，p3共用sem1，所以p2，p3为互斥执行。p2，p3执行之后会释放sem2，sem3，p4只有wait到两个信号量的时候才会执行，保证了p4在p2，p3之后执行
• 运行结果如下，可以看出执行的顺序或是1234或是1324，不固定。
  

第二题 售票退票

火车票余票数ticketCount 初始值为1000，有一个售票线程，一个退票线程，各循环执行多次。添加同步机制，使得结果始终正确。要求多次测试添加同步机制前后的实验效果。(说明：为了更容易产生并发错误，可以在适当的位置增加一些pthread_yield()，放弃CPU，并强制线程频繁切换）

• 不添加同步机制的代码截图如下：
  
• 运行上方的代码，可以得到如下图的结果，可以看出，在快速的卖票，退票操作中，由于没有同步机制，两个线程共同对一个数进行读写，导致数据错误，出现票数骤增骤减的情况。
  
• 在将上方的代码中的注释代码取消注释之后，运用信号量实现生产者消费者问题，得到的运行结果如下：
• 可以看出即使是在快速的操作中，票数也没有出现异常，并且在达到0票之后，由于wait不到信号量，所以不会继续执行卖票操作。
  

第三题 输入输出同步

一个生产者一个消费者线程同步。设置一个线程共享的缓冲区， char buf[10]。一个线程不断从键盘输入字符到buf,一个线程不断的把buf的内容输出到显示器。要求输出的和输入的字符和顺序完全一致。（在输出线程中，每次输出睡眠一秒钟，然后以不同的速度输入测试输出是否正确）。要求多次测试添加同步机制前后的实验效果。

• 一开始采用非同步机制，测试实验结果，代码截图如下：
  

• 在输入操作的线程中，我用循环每隔一秒向buf数组中写入数据，并在输出线程中输出buf中的数据，可以看出，即使在buf为空时依然循环输出（代码里没有判断buf是否为空），且在buf中按顺序输入CBDEFGHIJK的时侯，输出线程中的字母顺序已经乱掉。
  

• 添加同步机制后的代码如下图所示，定义两个信号量，实现两个线程之间的同步机制：
  

• 当不从键盘输入时，输出线程不会执行，因为输出线程需要等待full信号量不为0时再执行，从键盘一次性输入过多（超过10个）字符，也不会使顺序乱掉，经查阅这是由于scanf有一个自己的缓冲区，当输入过多时，其会先存入自己的缓冲区中，当可以输入的时候再输入。

• 可以看到下图输出线程将字符依次顺序输出：
  

第四题 进程通信三种机制

进程通信问题。阅读并运行共享内存、管道、消息队列三种机制的代码

（参见https://www.cnblogs.com/Jimmy1988/p/7706980.html

    https://www.cnblogs.com/Jimmy1988/p/7699351.html

    https://www.cnblogs.com/Jimmy1988/p/7553069.html  ）

（a）共享内存

通过实验测试，验证共享内存的代码中，receiver能否正确读出sender发送的字符串？如果把其中互斥的代码删除，观察实验结果有何不同？如果在发送和接收进程中打印输出共享内存地址，他们是否相同，为什么？

• 前：执行链接中的代码，发现在sender输入消息后，另一进程receiver即可接收到消息
  
• 后：接下来对共享内存的代码进行了修改，去掉他的互斥代码，即下图中红色框的位置

• 在将上图中的红框代码屏蔽掉之后可以得到如下图所示的运行结果：
  
• 可以看出，即使sender没有输入消息，receiver也会不停的循环输出上一次从sender中发来的消息。这是错误的。
  
• 并且可以看到此时共享内存的地址是相同的。共享内存是在多处理器的计算机系统中，可以被不同CPU访问的大容量内存。由于多个CPU需要快速访问存储器，这样就要对存储器进行缓存。任何一个缓存的数据被更新后，由于其他处理器也可能要存取，共享内存就需要立即更新，否则不同的处理器可能用到不同的数据。共享内存是 Unix下的多进程之间的通信方法 。

（b)管道

有名管道和无名管道通信系统调用是否已经实现了同步机制？通过实验验证，发送者和接收者如何同步的。比如，在什么情况下，发送者会阻塞，什么情况下，接收者会阻塞？

• 无名管道和有名管道均实现了同步机制。
• 无名管道中当写进程把一定数量的数据写入pipe是另一进程便等待，直到读进程取走数据后，再唤醒。当读进程读一空pipe是，也应睡眠等待，直到写进程将数据写入管道后，才将其唤醒。
• 当管道中无数据时，读操作会阻塞
• 向管道写数据时候，linux将不能保证写入的原子性，管道缓冲区一有空闲区域，写进程就会试图向管道写入数据，如果读进程不读走管道缓冲区中的数据，那么写操作会一直阻塞。
• 只有在管道的读端存在时，向管道中写入数据才有意义。否则，向管道中写入数据的进程将受到内核传来的SIFPIPE信号（通常Broken pipe错误）
• pipo执行结果如下：
  
• fifo执行结果如下：
  
• 阻塞情况：
• 1.发送者发送了之后，接收者进行接受，这样完成一个回合，实现同步。如果发送者发送了消息，而接收者未接受，则发送者将被阻塞，不能继续发送消息，发送者被阻塞。
• 2.如果发送者未发送消息，此时接收者被阻塞，一直等待，接收者被阻塞。
• 3.在写管道时可能变满，这种情况发生时，之后的发送者将会被阻塞，等待某些数据已被读取，以便腾出足够空间供write()调用写。
• 4.当读取进程比写进程快时，当前所有进程数据已经被读取，管道变空，这时随后的接收者将被阻塞，等待某些数据写入。
• **总结：**无名管道只能用于具有亲缘关系的进程之间的通信，通常一个管道由一个进程创建，然后该进程调用fork，此后父子进程之间就可以通过管道通信。半双工的通信模式，具有固定的读端和写端：传输方向同时只能是一个方向，无名管道可以看成是一种特殊的文件，对于它的读写可以使用文件IO如read、write函数：但是在文件系统里并不存在pipe对应的文件而且不支持如lseek() 操作。
• 有名管道可以使互不相关的两个进程互相通信。有名管道可以通过路径名来指出，并且在文件系统中可见为了这种有名管道，Linux中专门设立了一个专门的特殊文件系统–管道文件，以FIFO的文件形式存在于文件系统中，这样，即使与FIFO的创建进程不存在亲缘关系的进程，只要可以访问该路径，就能够彼此通过FIFO相互通信，因此，通过FIFO不相关的进程也能交换数据。但在磁盘上只是一个节点，而文件的数据则只存在于内存缓冲页面中，与普通管道一样。

（c）消息队列

消息通信系统调用是否已经实现了同步机制？通过实验验证，发送者和接收者如何同步的。比如，在什么情况下，发送者会阻塞，什么情况下，接收者会阻塞？

• 消息队列这种通信方式更像"即时"的通信方式，它要求接受信号的进程在某个时间范围内对信号做出反应，因此该信号最多在接受信号进程的生命周期内才有意义，且只能传送无格式的字节流无疑会给应用程序开发带来不便，另外，它的缓冲区大小也受到限制。
• 经验证当消息足够多，消息队列已满超出缓冲区的时候，此种通信方式则会发生阻塞。

第五题

阅读Pintos操作系统，找到并阅读进程上下文切换的代码，说明实现的保存和恢复的上下文内容以及进程切换的工作流程。

• pintos中实现schedule功能的代码部分如下:
  
  
  
• 其中首先定义了三个结构体，找到函数实现的代码得知cur表示当前线程的PCB起始地址；next表示下一个要执行的线程的PCB起始地址；prev表示前一个线程的PCB起始地址（初始值为空）。
• 所以函数先获取了正在执行的进程，和下一个将要执行的进程。若进程队列为空则直接返回一个空闲线程指针idle_thread，否则返回进程队列中第一个线程。若当前线程cur和下一个将要执行的线程不同，则调用switch_threads函数返回给prev结构体。实现了新旧线程的堆栈交换及保存，并返回了旧线程的PCB起始地址。在切换完成后，新的进程以及开始执行。回到schedule函数。
• 使用中断的方式

实验代码：https://github.com/zymmoa/OS-Labs/tree/master/Lab3