操作系统课件CCH07_Process Synchronization进程同步.PPTVIP

SolutiontoDiningPhilosophersmonitordiningPhilosophers{ int[]state=newint[5]; staticfinalintTHINKING=0; staticfinalintHUNGRY=1; staticfinalintEATING=2; condition[]self=newcondition[5]; publicdiningPhilosophers{ for(inti=0;i5;i++) state[i]=THINKING; } publicentrypickUp(inti){/*seenextslides*/} publicentryputDown(inti){/*seenextslides*/} privatetest(inti){/*seenextslides*/}}pickUp()ProcedurepublicentrypickUp(inti){ state[i]=HUNGRY; test(i);//检查左右邻居状态 if(state[i]!=EATING) self[i].wait;}读者－写者问题如果读者来：无读者、写者，新读者可以读有写者等，但有其它读者正在读，则新读者也可以读有写者写，新读者等如果写者来：无读者，新写者可以写有读者，新写者等待有其它写者，新写者等待读者－写者问题采用信号量机制：信号量Wmutex表示允许写，初值是1。公共变量Rcount表示“正在读”的进程数，初值是0；信号量Rmutex表示对Rcount的互斥操作，初值是1。Readers-WritersProblem:ReaderpublicclassReaderextendsThread{publicReader(Databasedb){ server=db;}publicvoidrun(){ intc; while(true){ c=server.startRead(); //nowreadingthedatabase c=server.endRead(); }}privateDatabase server;}Readers-WritersProblem:WriterpublicclassWriterextendsThread{publicWriter(Databasedb){ server=db;}publicvoidrun(){ while(true){ server.startWrite(); //nowwritingthedatabase server.endWrite(); }}privateDatabase server;}Readers-WritersProblem(cont)publicclassDatabase{publicDatabase(){readerCount=0;mutex=newSemaphore(1);db=newSemaphore(1);} publicintstartRead(){/*seenextslides*/} publicintendRead(){/*seenextslides*/} publicvoidstartWrite(){/*seenextslides*/} publicvoidendWrite(){/*seenextslides*/} privateintreaderCount;//numberofactivereaders Semaphoremutex;//controlsaccesstoreaderCount Semaphoredb;//controlsaccesstothedatabase}startRead()Methodpublicintst