北邮 操作系统 实验一 进程同步

实验一进程同步

1.实习要求

在Windows 环境下，创建一个包含n 个线程的控制进程。用这n 个线程来表示n

个读者或写者。每个线程按相应测试数据文件的要求，进行读写操作。请用信号量

机制分别实现读者优先和写者优先的读者-写者问题。

读者-写者问题的读写操作限制：

1）写-写互斥；

2）读-写互斥；

3）读-读允许；

读者优先的附加限制：如果一个读者申请进行读操作时已有另一读者正在进行读操作，

则该读者可直接开始读操作。

写者优先的附加限制：如果一个读者申请进行读操作时已有另一写者在等待访问共享资源，则该读者必须等到没有写者处于等待状态后才能开始读操作。

运行结果显示要求：要求在每个线程创建、发出读写操作申请、开始读写操作和结束读

写操作时分别显示一行提示信息，以确信所有处理都遵守相应的读写操作限制。

2.测试数据文件格式

测试数据文件包括n 行测试数据，分别描述创建的n 个线程是读者还是写者，以及读写

操作的开始时间和持续时间。每行测试数据包括四个字段，各字段间用空格分隔。第一字段为一个正整数，表示线程序号。第一字段表示相应线程角色，R 表示读者是，W 表示写者。第二字段为一个正数，表示读写操作的开始时间。线程创建后，延时相应时间（单位为秒）后发出对共享资源的读写申请。第三字段为一个正数，表示读写操作的持续时间。当线程读写申请成功后，开始对共享资源的读写操作，该操作持续相应时间后结束，并释放共享资源。下面是一个测试数据文件的例子：

1 R 3 5

2 W 4 5

3 R 5 2

4 R 6 5

5 W 5.1 3

3.本实验的相关知识

3.1进程

进程是一个具有一定独立功能的程序关于某个数据集合的一次运行活动。它是操作系统动态执行的基本单元，在传统的操作系统中，进程既是基本的分配单元，也是基本的执行单元。

3.2线程

线程，有时被称为轻量级进程(Lightweight Process，LWP)，是程序执行流的最小单元。一个标准的线程由线程ID，当前指令指针(PC)，寄存器集合和堆栈组成。另外，线程是进程中的一个实体，是被系统独立调度和分派的基本单位，线程自己不拥有系统资源，只拥有

一点在运行中必不可少的资源，但它可与同属一个进程的其它线程共享进程所拥有的全部资源。一个线程可以创建和撤消另一个线程，同一进程中的多个线程之间可以并发执行。由于线程之间的相互制约，致使线程在运行中呈现出间断性。线程也有就绪、阻塞和运行三种基本状态。每一个程序都至少有一个线程，那就是程序本身。

线程是程序中一个单一的顺序控制流程。在单个程序中同时运行多个线程完成不同的工作，称为多线程。

3.3 同步和互斥

进程互斥是进程之间发生的一种间接性作用，一般是程序不希望的。通常的情况是两个或两个以上的进程需要同时访问某个共享变量。我们一般将发生能够问共享变量的程序段成为临界区。两个进程不能同时进入临界区，否则就会导致数据的不一致，产生与时间有关的错误。解决互斥问题应该满足互斥和公平两个原则，即任意时刻只能允许一个进程处于同一共享变量的临界区，而且不能让任一进程无限期地等待。互斥问题可以用硬件方法解决；也可以用软件方法。

同步是指在互斥的基础上（大多数情况），通过其它机制实现访问者对资源的有序访问。在大多数情况下，同步已经实现了互斥，特别是所有写入资源的情况必定是互斥的。少数情况是指可以允许多个访问者同时访问资源。

4. 函数

4.1 线程控制

4.1.1 CreateThread

完成线程创建，在调用进程的地址空间上创建一个线程，以执行指定的函数；它的返回值为所创建线程的句柄。

HANDLE CreateThread（

LPSECURITY_ATTRIBUTES lpThreadAttributes, // SD

DWORD dwStackSize, // initial stack size

LPTHREAD_START_ROUTINE lpStartAddress, // thread

function

LPVOID lpParameter, // thread argument

DWORD dwCreationFlags, // creation option

LPDWORD lpThreadId // thread identifier

）;

4.1.2 ExitThread

用于结束当前线程。

VOID ExitThread（

DWORD dwExitCode // exit code for this thread

）;

4.1.3 Sleep

可在指定的时间内挂起当前线程。

VOID Sleep（

DWORD dwMilliseconds // sleep time

）;

4.1.4 信号量控制：CreateMutex

创建一个互斥对象，返回对象句柄；

HANDLE CreateMutex（

LPSECURITY_ATTRIBUTES lpMutexAttributes, // SD BOOL bInitialOwner, // initial owner

LPCTSTR lpName // object name

）;

4.1.5 OpenMutex

打开并返回一个已存在的互斥对象句柄，用于后续访问；HANDLE OpenMutex（

DWORD dwDesiredAccess, // access

BOOL bInheritHandle, // inheritance option LPCTSTR lpName // object name

）;

4.1.6 ReleaseMutex

释放对互斥对象的占用，使之成为可用。

BOOL ReleaseMutex（

HANDLE hMutex // handle to mutex

）;

4.1.7 WaitForSingleObject

可在指定的时间内等待指定对象为可用状态；

DWORD WaitForSingleObject（

HANDLE hHandle, // handle to object

DWORD dwMilliseconds // time-out interval

）;

4.2 程序分析

4.2.1 读者优先模式：

读者进程：

RP_ReaderThread（）

P(mutex);

read_count++;

if(read_count==1)//如果有读者开始读操作，则停止写操作P(&RP_Write);

V(mutex);

-----------------------------------------------------

读临界区……

-----------------------------------------------------

P(mutex);

read_count--;

if(read_count==0)//所有读者读操作完毕，开放写操作

V(&RP_Write);

V(mutex);