操作系统实验三：同步与通信

操作系统实验三：同步与通信

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

按照实验要求做出进程树和前驱图如下

进程树

前驱图
信号量设计要求：

1. P2、P3需要等待来自P1的信号，当P1执行完毕后，P2、P3方能通过竞争的方式执行。

2. P2、P3执行过程中需要满足互斥的条件，意味着P2与P3之间有一个值介于0、1之间的信号量。

3. P4在P2和P3均执行完毕后才能开始执行，意味着P2、P4均要有单独的信号量，控制P4的执行。

实验结果如下

可以看出，运行后会得到P1->P2->P3->P4或P1->P3->P2->P4两种结果，且随机产生，说明P2,P3之间存在互斥的竞争关系。

二、火车票余票数ticketCount 初始值为1000，有一个售票线程，一个退票线程，各循环执行多次。添加同步机制，使得结果始终正确。要求多次测试添加同步机制前后的实验效果。

添加同步机制前

对同步机制的信号量进行注释



可以看出，当循环次数较小时（100，1000，10000）时，结果还能保持正确


当循环次数过大时（10万，1000万），结果就会出现偏差。

当加入同步机制后

可以看出，加入同步机制后，当循环次数很大时也能保证结果正确无误。

三、一个生产者一个消费者线程同步。设置一个线程共享的缓冲区， char buf[10]。一个线程不断从键盘输入字符到buf,一个线程不断的把buf的内容输出到显示器。要求输出的和输入的字符和顺序完全一致。

加入同步机制前

可以看出，不输入时，程序仍会进行输出。当输入字符串后，输出的也会出错，没有按顺序依次输出

加入同步机制后

在没有输入前会进行等待，当有输入后，会依次输出，且输出完毕后会进行等待

当正在输出的同时进行输入，可以看出，运行结果是依次输出，并不会因为输入过多而出现错误。

四、进程通信问题（共享内存、管道、消息队列）

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

在两个终端分别运行sender和receiver，可以看到recevier能正确读出sender发出的字符串

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

无名管道

无名管道实现了同步机制。当发送者未发送，接受者会原地阻塞等待数据。当接受者未读入，发送者只能写入一次数据，不可覆盖性写入。

有名管道

只运行发送者而没有接收者，发送者会阻塞

只运行接收者而没有发送者，接收者会阻塞

有名管道实现了同步机制，在没有接收者接收的情况下，发送进程会被阻塞；在没有发送者发送的情况下，接收进程会被阻塞。所以执行时，总是成对出现，避免了重复写和重复读问题的出现。

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

实现了同步机制

只运行server端，server端接收消息队列阻塞，等待消息队列消息到来。

只运行client段，client段等待输入阻塞
可以接受消息输入，当消息队列被充满时则会阻塞

但当打开server段，会直接将期间输入在消息队列的消息接受。

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

定义新的信号量idle_started，初始化值为0。随后创建idle进程，开启中断。thread_create将创建并初始化内存PCB块，并将idel进程设置到read_list中。此时，idle进程为ready队列中的唯一进程。
通过信号量操作让其他正在执行的线程等待即main线程等待。

通过使用thread_block函数，也是第一次使用thread_block，将进程从main切换到idle。通过源代码可以分析出idel的功能即为初始化idle_thread变量，其值为idle的PCB首地址。一旦执行sema_up函数，将信号量增1，并将刚才阻塞的main进程重新装载到准备队列。最后idel执行thread_block函数将CPU使用权转让出去。

总结

对信号量有了大致的了解，会通过信号量进行同步、互斥等操作。
对通信进行了一定的学习，了解了共享内存、管道、消息队列三种进程间通信的方法
对points的学习还差很多，需要更多的学习与实验

本实验代码均上传到GitHub
本实验代码直通车

进程间通信参考网址
共享内存
管道
消息队列