AulaVI SO GERENCPROC 2011 1

Sistemas Operacionais Técnicas de Implementação de Exclusão Mútua Aula VI Prof. Rosemary Silveira Tópicos de Apresentação Condições de Corrida Técnicas de Implementação de Exclusão Mútua Condições de Corrida Como o sistema operacional determina, através da política de escalonamento, o processo que vai executar e por quanto tempo, não se sabe a priori em que ordem dois processos ativos irão executar. Situações nas quais dois ou mais processos acessam concorrentemente as mesmas posições de memória ou arquivo compartilhado e o valor final contido nestas posições depende da ordem na qual os processos foram executados são chamadas de condições de corrida (race conditions). A existência de condições de corrida em um sistema pode levar a resultados inesperados, devido ao não-determinísmo inerente a estas condições. Condições de Corrida As condições de corrida levam geralmente a resultados inesperados, por isto, devem ser evitados. É necessário assegurar que outros processos sejam impedidos de usar uma variável compartilhada ou arquivo compartilhado que já estiver em uso por outro processo. A serialização da execução garante que uma porção de código seja executada somente por um processo de cada vez. A exclusividade na execução de partes de código é garantida por mecanismos que implementam a exclusão mútua. A parte do código protegida pelos mecanismos de exclusão mútua é denominada região crítica. Exclusão Mútua Os mecanismos de exclusão mútua devem garantir que…

Ciência da Computação Semáforos Um semáforo é uma variável de sincronização que pode ter valores inteiros não-negativos. Foram inventados por Edsger Dijkstra em 1965. Um semáforo é uma variável inteira, não-negativa, que só pode ser manipulada por duas instruções: DOWN e UP. • UP (Originalmente chamada de P (do holandês "proberen", testar)): uma operação atômica que espera o semáforo ficar positivo, e a seguir decrementa-o de 1. • DOWN (Originalmente…

programas concorrentes. Semáforos foram a primeira ferramenta para prover sincronização entre processos e é considerada uma das mais importantes. Incluídos em todas as bibliotecas voltadas à programação concorrente. @2014, Bruno Jefferson Introdução Podem ser implementados através de técnicas de espera ocupada ou via funcionalidades oferecidas pelos sistemas operacionais. Sua criação foi motivada pela maneira como o tráfego em uma ferrovia é sincronizado para evitar…

Inibição de interrupções Uma solução simples para a implementação das primitivas enter e leave consiste em impedir as trocas de contexto dentro da seção crítica. Ao entrar em uma seção crítica, a tarefa desativa (mascara) as interrupções que possam provocar trocas de contexto, e as reativa ao sair da seção crítica. Apesar de simples, essa solução raramente é usada para a construção de aplicações devido a vários problemas: _ Ao desligar as interrupções, a preempção por tempo ou por…

mecanismos de sincronização semáforos e monitores. 7.7 Semáforos O conceito de .semáforos foi proposto por E. W. Dijkstra em 1965, sendo apresentado como um mecanismo de sincronização que permitia implementar, de forma simples, a exclusão mútua e a sincronização condicional, entre processos. De fato. o uso de semá-foros tornou-se um dos principais mecanismos utilizados em projetos de sistemas operacionais e em aplicações concorrentes. Atualmente, a maioria das linguagens de…

SISTEMAS OPERACIONAIS – NOTAS DE AULA COMUNICAÇÃO ENTRE PROCESSOS ÍNDICE: 1. Introdução 2. Aplicações Concorrentes 3. Especificação de Concorrência em Programas 4. Problemas de Compartilhamento de Recursos 5. Exclusão Mútua 6. Soluções de Hardware 7. Soluções de Software 8. Sincronização Condicional 9. Semáforos 10. Monitores 11. Troca de Mensagens 12. Bibliografia 13. Lista de Exercícios 1 de 36 SISTEMAS OPERACIONAIS – NOTAS DE AULA 1. INTRODUÇÃO Na…

SISTEMAS OPERACIONAIS SEMAFOROS BINÁRIOS PROFESSOR: FERNANDO ALUNO: FRANCISCO EDNALDO NASCIMENTO DE SOUSA. MATRICULA: 201107128625. CURSO: REDES DE COMPUTADORES 2011.2 SINAIS Em um sistema multiprogramado com um único processador, são intercaladas na losprocesos tempo (isto é, Round Robin) para a execução simultânea darapariencia. Embora não Paralelamente unprocesado cair na real, e embora haja uma sobrecargadoen cpu por ter que mudar…

solução do problema: • Exclusão mútua: se um processo i está na seção crítica, nenhum outro processo pode entrar nela. • Progresso garantido: se nenhum outro processo está na seção crítica, um processo que tente fazê-lo não pode ser detido indefinidamente. • Espera limitada: se um processo deseja entrar em uma seção crítica, há um limite no número de outros processos que podem entrar nela antes dele. Introdução – Problema da Seção Crítica ALGORITMO 1 ALGORITMO 2 • Variável…

compartilhados onde podem ocorrer condições de disputa. Um programa pode ter várias seções críticas, relacionadas entre si ou não (caso manipulem dados compartilhados distintos). Para assegurar a correção de uma implementação, deve-se impedir o entrelaçamento de seções críticas: apenas uma tarefa pode estar na seção crítica a cada instante. Essa propriedade é conhecida como exclusão mútua. 7 Seções críticas Diversos mecanismos podem ser definidos para impedir o entrelaçamento de…

processos. Introdução – Problema da Seção Crítica • Requisitos para a solução do problema: • Exclusão mútua: se um processo i está na seção crítica, nenhum outro processo pode entrar nela. • Progresso garantido: se nenhum outro processo está na seção crítica, um processo que tente fazê-lo não pode ser detido indefinidamente. • Espera limita: se um processo deseja entrar em uma seção crítica, há um limite no número de outros processos que podem entrar nela antes dele. …