Prévia do material em texto
Trabalho de Sistemas Operacionais Aula 06 (ARA0091/3001) Nome: Gabriel Lima da Costa Matrícula: 201802114971 1-) Os principais tipos de sincronização entre processos são: Condições de disputa ou concorrência Ocorre quando dois processos querem ter acesso a memória compartilhada ao mesmo tempo. Região crítica condicional É um mecanismo que garante exclusão mútua no acesso aos dados compartilhados. A exclusão mútua é garantida porque somente é permitido a um processo por vez executar as instruções dentro de uma região crítica condicional. Exclusão mútua É uma técnica em que um processo verifica uma condição repetidamente (são feitos testes contínuos em uma variável) até que ela seja verdadeira (true). Dormir e acordar Sleep é uma chamada de sistema que faz com que o processo que a chama durma/ fique suspenso até que outro processo o desperte. A chamada wakeup tem como parâmetro o processo a ser despertado Semáforos Explicada no número 2. Monitores Monitores são mecanismos de sincronização de alto nível que tornam mais simples o desenvolvimento de aplicações concorrentes. Os monitores são formados por procedimentos e variáveis encapsulados dentro de um módulo, implementando de forma automática a exclusão mútua entre os procedimentos declarados. 2-) O que são semáforos: É um tipo abstrato de dado composto por um valo inteiro e uma fila de processos, criado pelo matemático holandês E. W. Dijkstra em 1965. Somente duas operações são permitidas sobre o semáforo. Elas são conhecidas como P (do holandês proberen, testar) e V (do holandês verhogen, incrementar). Quando um processo executa a operação P sobre um semáforo, o seu valor inteiro é decrementado. Caso o novo valor do semáforo seja negativo, o processo é bloqueado e https://pt.wikipedia.org/wiki/Processo_(inform%C3%A1tica) inserido no fim da fila desse semáforo. Quando um processo executa a Operação V sobre um semáforo, o seu valor inteiro é incrementado. Caso exista algum processo bloqueado na fila desse semáforo, o primeiro processo da fila é liberado. Uma variação muito comum de semáforos são o semáforo binário ou mutex. Neste caso, temos um semáforo capaz de assumir apenas os valores 0 e 1. Ele pode ser visto como uma variável tipo mutex, a quela assume apenas valores livre e ocupado. Nesse caso, as operações P e V são normalmente chamadas de lock e unlock, respectivamente. 3-) Como se dá o sincronismo entre processos no W2K? Os sistemas fortemente acoplados podem ser divididos em simétricos ou assimétricos. Os simétricos caracterizam-se pelo tempo uniforme de acesso à memória principal pelos diversos processadores. Inicialmente, tais sistemas estavam limitados aos sistemas de grande porte, restritos ao ambiente universitário e às grandes corporações. Com a evolução dos computadores pessoais e das estações de trabalho, os sistemas multitarefa evoluíram para permitir a existência de vários processadores no modelo simétrico. Atualmente, a grande maioria dos Sistemas Operacionais, como o Unix e o Windows 2000, implementa esta funcionalidade. Fontes: 1) http://www.facom.ufu.br/~claudio/Cursos/sogi/Artigos/Apostila_SisOp_CMC.pdf (pagina 119) 2) http://www.romulosilvadeoliveira.eng.br/discipli/cad-cbtisa/SO-Jai2002-pagina.pdf 3) http://lucilia.com.br/Arq/ApostilaSO.pdf (página 14) http://www.facom.ufu.br/~claudio/Cursos/sogi/Artigos/Apostila_SisOp_CMC.pdf http://www.romulosilvadeoliveira.eng.br/discipli/cad-cbtisa/SO-Jai2002-pagina.pdf http://lucilia.com.br/Arq/ApostilaSO.pdf