北交大操作系统作业-读者写者问题.docVIP

写者优先方案： int readcount, writecount; initial value 0 semaphore mutex_1, mutex_2, mutex_3, w, r ; initial value 1 READER P mutex_3 ; //是控制读进程的队列的P mutex_3 能执行完后等在这一句的读者最多只有1个。 P r ; // 判断有没有写进程在临界区，有的话等待，没有的话不让新的写进程进来 P mutex_1 ; // mutex 1保证对readcount的互斥访问，防止多个reader对readcount的写操作 readcount : readcount + 1; if readcount 1 then P w ; //第一个读进程需要判断是否有写进程在进行写操作，有的话需要等待，没有的话不让写进程进行新写操作 V mutex_1 ; //结束对readcount的互斥访问 V r ; //归还锁，让写进程可以进临界区 V mutex_3 ; reading is done P mutex_1 ;//保证readercount不被多个读操作同时修改 readcount : readcount - 1; if readcount 0 then V w ;//最后一个离开临界区的读进程需要归还锁，让写进程可以进行写操作 V mutex_1 ;结束对readcount的互斥访问 WRITER P mutex_2 ; // mutex_2保证对writecount的互斥访问 writecount : writecount + 1; if writecount 1 then P r ; //第一个写进程需要判断是否有读进程在临界区，有的话需要等待，没有的话不让新的读进程进来 V mutex_2 ; P w ; //限制同一时刻只能有一个写进程进行写操作 writing is performed V w ; P mutex_2 ; // mutex_2保证对writecount的互斥访问 writecount : writecount - 1; if writecount 0 then V r ;//最后一个离开临界区的写进程需要归还锁，让读进程可以进临界区 V mutex_2 ; //结束对writecount的互斥访问 semaphores: no_waiting, no_accessing, counter_mutex initial value is 1 shared variables: nreaders initial value is 0 local variables: prev, current WRITER: P no_waiting ; // 判断有没有在临界区，有的话等待，没有的话不让新的进程进来 P no_accessing ;判断是否有进程在临界区，有的话需要等待，没有的话不让新的进程进来 V no_waiting ; //先释放锁 no_waiting，使得读写进程可以进入等待队列，等待no_accessing释放 ... write ... V no_accessing ; //当前写进程需要归还锁，让进程可以进临界区 READER: P no_waiting ; 判断有没有写进程在临界区，有的话等待，没有的话不让新的写进程进来 P counter_mutex ;// counter_mutex 保证对nreaders的互斥访问，防止多个reader对nreaders的写操作 prev : nreaders; nreaders : nreaders + 1; V counter_mutex ;结束对counter_mutex的互斥访问 if prev 0 then P no_accessing ;第一个进程需要判断是否有进程在临界区，有的话需要等待，没有的话不让新的进程进来 V no_waiting ; //先归还锁no_waiting，让写进程可以进no_accessing释放 ... read ... P counter_mutex ; //counter_mutex 保证对nreaders的互斥访问 nreaders : nreaders - 1; current : nreaders; V counter_mutex ;对nreaders的互斥访问 if current 0 then V no_accessing ;最后一个离开临界区的进程需要归还锁，让进程可以进临界区