Cite duas diferenas entre as threads no nvel do usurio e threads no nvel do kernel.

Sob que circunstncias um tipo melhor que o outro? Resposta: (1) As threads no nvel do usurio so desconhecidas pelo kernel, enquanto o kernel est ciente das threads do kernel. (2) As threads do usurio so escalonadas pela biblioteca de threads e o kernel escalona as threads do kernel. (3) As threads do kernel no precisam estar associadas a um processo, enquanto cada thread do usurio pertence a um processo. Descreva as aes tomadas por um kernel para a troca de contexto entre as threads no nvel do kernel. Resposta: A troca de contexto entre as threads do kernel normalmente exige salvar o valor dos registradores da CPU da thread que est saindo e restaurar os registradores da CPU da nova thread que est sendo escalonada. Modelo Muitos-Para-Um O modelo muitos-para-um mapeia muitos threads de nvel de usurio para threads do kernel. O gerenciamento dos threads realizado no espao do usurio e assim eficiente, mas o processo inteiro ficar bloqueado. Alm disso, como somente um thread pode acessar o kernel de cada vez, mltiplos 1 threads so incapazes de executar em paralelo em multiprocessadores. Modelo Um-Para-Um O modelo um-para-um mapeia cada thread de usurio para um thread de kernel, gera mais concorrncia do que o modelo muitos-para-um. Permite a um outro thread ser executado, enquanto um thread realiza uma chamada de sistema de bloqueio, ele tambm permite que mltiplos threads executem em paralelo em multiprocessadores. A nica desvantagem deste modelo que a criao de um thread de usurio requer a 1 criao do correspondente thread de kernel. Modelo Muitos-Para-Muitos O modelo muitos-para-muitos multiplexa muitos threads de nvel de usurio para um nmero menor ou igual de threads de kernel. O nmero de threads de kernel pode ser especfico tanto para uma aplicao em particular quanto para uma mquina em particular. Os desenvolvedores podem criar tantos threads de usurio quantos forem necessrios, e os correspondentes threads de kernel podem executar em paralelo em um multiprocessador. Alm disso, quando um thread realiza uma chamada de sistema de bloqueio, o kernel pode agendar um outro thread para execuo. O escalonador de longo prazo (ou escalonador de jobs) seleciona o carrega novos processos na memria. Ele responsvel pelo grau de multiprogrmao (quantidade de processos na memria). Ele tem esse nome de longo prazo, pois ele no invocado com com muita frequencia. Os escalonador de curto prazo seleciona qual processo na fila de prontos ser executado na CPU. Este escalonador o que mais trabalha em um SO's, por isso, o nome curte prazo. Ou seja, ele requisitado com alta frequencia. Por fim, em alguns sistemas operacionais, existe um escalonador de mdio prazo. Este escalonador responsvel pelo swapping. Ele remove processo da memria e coloca no disco. Ou seja, o escaloando de mdio prazo responsvel por diminuir o grau de multiporgramo. Escalonamento preemptivo e no preemptivo O escalonamento preemptivo permite que um processo seja interrompido no meio de sua execuo, afastando a CPU e alocando-a a outro processo. O escalonamento no-preemptivo garante que um processo abandonar o controle da CPU somente quando terminar com seu burst de CPU atual.

Efeito indesejado em sistemas com escalonamento no preemptivo quando processos orientados a E/S precisam aguardar um processo orientado a CPU sair do processador para poder dar prosseguimento. Efeito comboio: todos os processos menores ficam esperando pelo processo maior utilizar a CPU. SJF um algoritmo baseado em prioridades, onde a prioridade do processo a estimativa do tempo de uso da CPU Problema = Starvation (abandono de processos)processos de baixa prioridade podem no ganhar a CPU. Soluo = Aging (envelhecimento) durante a execuo do sistema, processos vo ganhando maior prioridade. Qual o significado do termo espera ocupada? Que outros tipos de espera existem em um sistema operacional? A espera ocupada pode ser completamente evitada? Explique sua resposta. Resposta: A espera ocupada ocorre quando um processo est realizando um loop enquanto espera a ocorrncia de um evento externo. Ela chamada espera ocupada porque o processo normalmente est em um loop tipo while(true);. Existem outros exemplos de espera ocupada em um sistema operacional: esperar at que a E/S esteja disponvel, esperar at que um semforo seja liberado etc. Sim, a espera ocupada pode ser evitada por meio de uma primitiva de sincronismo, como um mutex, semforo ou varivel de condio. Operaes Atmicas so operaes que no podem ser interrompidas. Condio de Disputa: condio em que processos/threads disputam recursos compartilhados. Regio Critica: regio do cdigo onde a Condio de Disputa de processos/threads pode causar uma quebra de integridade. Solues para regio critica Excluso Mtua: Dois processos no podem estar simultaneamente dentro de suas regies criticas. Progresso: nenhum processo que esteja rodando fora de sua regio critica pode bloquear a execuo de outro. Espera Limitada: nenhuma suposio pode ser feita com relao velocidade de execuo dos processos ou a o numero de processadores disponveis no sistema. Cite duas diferenas entre endereos fsicos e lgicos. Um endereo lgico no se refere a um endereo existente real, mas se refere a um endereo abstrato em um espao de endereo lgico. Compare isso com um endereo fsico que se refere a um endereo fsico real na memria. Um endereo lgico gerado pela CPU e traduzido para um endereo fsico pela unidade de gerenciamento de memria (MMU). Portanto, os endereos fsicos so gerados pela MMU. Diferena entre fragmentao interna e externa. A fragmentao interna a rea em uma regio ou em uma pgina que no usada pela tarefa ocupando essa regio ou pgina. Esse espao est indisponvel para uso pelo sistema at que essa tarefa tenha terminado e a pgina ou regio seja liberada. Algoritmo de alocao: First fit: pesquisa a lista de memria disponvel e aloca o primeiro bloco que seja grande o suficiente. Best fit: pesquisa a lista inteira de memria disponvel e aloca o menor bloco que seja grande o suficiente. Worst fite: pesquisa a lista inteira de memria disponvel e aloca o maior bloco.