Concorrncia cin竞争与234 ncia干杯.ufpe.br.pptVIP

Semáforos Variáveis compartilhadas s?o globais Acesso a variáveis ocorre em procedimentos, mas podem estar espalhados pelo programa Exige consulta a todo o programa para entender como as variáveis compartilhadas s?o usadas A cada novo processo, é preciso verificar se ele usa as variáveis corretamente Mesma estrutura é usada para exclus?o mútua e sincroniza??o de condi??o Modulariza??o ADT – Abstract Data type Abstra??o de dados: esconde a representa??o de dados Dados s?o manipulados apenas pelas opera??es disponibilizadas pelo tipo de dados Concentra dados e opera??es em um único lugar Permite que a implementa??o seja modificada, desde que a interface e funcionamento continuem os mesmos. Monitores Utilizam o coceito de ADT Processos interagem apenas através de chamadas aos procedimentos do monitor Modulariza??o abstrai os processos da implementa??o do procedimento Permite ignorar como e onde os procedimentos do monitor s?o usados: o monitor estará correto independentemente do número de processos que o utilizam. Monitores Podem ser implementados eficientemente Exclus?o mútua implícita entre procedimentos do monitor Variáveis de condi??o s?o usadas para sincroniza??o de condi??o Permite o desenvolvimento por equipes independentes dos processos e monitores Facilita o desenvolvimento e entendimento dos programas concorrentes Produtor-Consumidor monitor Producer_Consumer_Monitor {int B [0..N-1];int In_Ptr = 0; int Out_Ptr = 0;int Count = 0;Condition Not_Full, Not_Empty;void Append(int I) { while (Count == N) {wait(Not_Full)};  B [In_Ptr] = I; Count = Count + 1; In_Ptr = (In_Ptr + 1) % N; signal(Not_Empty);} Produtor-Consumidor void Take(int I) { while (Count == 0) {wait(Not_Empty)};  I = B[Out_Ptr]; Count = Count - 1; Out_Ptr = (Out_Ptr + 1) % N; signal(Not_Full);}} Produtor-Consumidor Producer () { int I; while (TRUE) { Produce(I); Append(I); }} Diferen?as 3 Semáforos Um para exclus?o mútua, e dois (Not_emp