操作系统中的读写者经典问题

第一类读者-写者问题：读者优先

除非有写者在写文件，否则没有一个读者需要等待。

分析思想：

 

读者到：

1）无读者、写者，新读者可以读

2）有写者等，但有其它读者正在读，则新读者也可以读

3）有写者写，新读者等

写者到：

1）无读者，新写者可以写

2）有读者，新写者等待

3）有其它写者，新写者等待

 

信息量：

readcount = 0 ——记录当前正在读的读者进程数，这是一个共享变量，需要互斥使用

mutex = 1 ——互斥信息量

write = 1 ——用于写者互斥，或第一个读者和最后一个读者与写者互斥

 

 

READ：   Repeat;       P(mutex);       readcount:=readcount+1;       if(readcount=1)           P(write);       V(mutex);       读文件       P(mutex);       readcount:=readcount-1;       if(readcount=0)           V(write);       V(mutex);   Until false

WRITE:   Repeat       P(write);       写文件       V(write);   Until false; 

 

1.2       第二类读者-写者问题：写者优先

一旦一个写者到来，它应该尽快对文件进行写操作。则新来到的读者不允许进行读操作。

分析思想： 

读者到：

1）  无读者且无写者，新读者读

2）  有读者但无写者等待，新读者读

3）  有读者但有写着等待，读者等待

4）  有写者在写，新读者等待

写者到：

1）  无读者且无写者，新写者写

2）  有读者在读，新写者等待

3）  有写者写，新写者等待

 

信息量：

read:=1 ——读者信息量，用于第一个写者与读者互斥

readcount:=0 ——记录当前读者的进程数

mutex:=1 ——互斥信息量

writecount:=0 ——记录当前写者排队的进程数

write:=1 ——写者信息量，用于写者互斥，第一个读者与写者互斥

mutex2:=1 ——互斥信息量

 

READ:   Repeat       P(read)       P(mutex)       readcount:=readcount+1;       if(readcount=1)           P(write)       V(mutex)       V(read)       读文件       P(mutex)       readcount:=readcount-1       if(readcount=0)           V(write)       V(mutex)   Until false 

WRITE:   Repeat       P(mutex2)       writecount:= writecount+1       if(writecount=1)           P(read)       V(mutex2)       P(write)       写文件       V(write)       P(mutex2)       writecount:=writecount-1       if(writecount=0)           V(read)       V(mutex2)   Until false;