BC1518-Sistemas Operacionais. Prof. Marcelo Z. do Nascimento

Transcrição

1 BC1518-Sistemas Operacionais Escalonamento de CPU 3 Quadrimestre de 2010 Prof. Marcelo Z. do Nascimento marcelo.nascimento@ufabc.edu.br

2 Roteiro Conceito Despachante Critérios de escalonamento Algoritmos de escalonamento Escalonamento em múltiplos processadores; Exemplos em Sistemas Operacionais; Leituras sugeridas; Exercícios.

3 Conceito Quando a CPU precisa decidir se executa um processo que atualiza a tela depois que um usuário fecha uma janela, ou executa um processo que envia mensagem eletrônica em um sistema multiprogramação. A escolha faz uma enorme diferença para a percepção do usuário 3

4 Conceito Os processos alternam entre 2 estados: CPU e E/S; Começa com um burst (surto) de CPU e burst de E/S; Programa I/O-bound => muitos burst de CPU curtos; Programa CPU-bound-> alguns burst de CPU longos. Importante na seleção de um algoritmo de escalonamento. Ciclo de burts 4

5 Conceito tempo Pronto Em execução Conclusão de I/O ou evento seleção Bloqueado Espera por I/O ou evento 5

6 Conceito Situações nas quais escalonamento é necessário: Um novo processo é criado e passa para estado de pronto; Um processo terminou sua execução e um processo pronto deve ser executado; Processo é bloqueado (dependência de E/S)=> outro deve ser executado; Interrupção de E/S, o escalonador deve decidir por: Executar o processo que estava esperando esse evento; Continuar executando o processo que já estava sendo executado. 6

7 Escalonamento S.O. escolhe qual processo deve ser executado na CPU => Escalonador de CPU; Escalonador deve se preocupar com a eficiência da CPU, pois o chaveamento de processos é complexo e custoso: Afeta desempenho do sistema e satisfação do usuário. Algoritmos que realizam o chaveamento de processos prontos para executar de acordo com regras bem estabelecidas. 7

8 Escalonamento O esquema de escalonamento: Não preemptivo (cooperativo): Não permite interrupções externa à tarefa até que seja liberado pelo seu término ou pela troca para o estado esperando. Exemplo: Windows 3.x. Preemptivo: Interrompe a execução de uma tarefa e transfere a CPU para outro; Necessário mecanismo para coordenar acesso aos dados; Afeta o projeto de Kernel do SO => mudanças de filas E/S; Chamada de sistema deve ser concluída antes da troca; Exemplo: Windows XP, Mac OS X. 8

9 Despachante Componente envolvido na função do escalonador de CPU; Módulo que dá o controle da CPU ao processo; Função: Trocar o contexto; Trocar para o modo usuário; Desviar para local apropriado no programa de usuário. Chamado durante a troca de processo; Tempo gasto para interromper um processo e iniciar a execução de outro definido por latência de despacho. 9

10 Critérios para escalonamento Utilização de CPU: manter a CPU tão ocupada quanto possível Maximizar; Vazão (throughput): número de processos que completam sua execução por unidade de tempo. Maximizar; Tempo de Proporcionalidade: quantidade tempo para executar um processo particular. Minimizar; 10

11 Critérios para escalonamento Tempo de Espera: quantidade de tempo que um processo espera na fila dos prontos. Minimizar; Tempo de Resposta: quantidade de tempo que leva de quanto um pedido foi feito até que a primeira resposta seja produzida, não a saída (para ambientes de tempo - compartilhado) Minimizar; 11

12 Escalonamento de CPU Algoritmo de escalonamento FIFO (first in, first out)); Processo que solicita a CPU primeiro, a recebe primeiro. Quando processo entra na fila de pronto, seu PCB é ligado ao final da fila. Quando CPU é liberada, ela é alocada ao processo no início da fila. Tempo de espera normalmente longo; Efeito comboio: todos os outros processo aguardam quando há um grande processo em execução na CPU. 12

13 Primeiro a chegar, primeiro a ser atendido (PCPA) Fila de entrada CPU 0 Interrupção qualquer (E/S) 13

14 Primeiro a chegar, primeiro a ser atendido (PCPA) CPU Fila de entrada CPU não controla o tempo dos processos! (não-preemptivo) 14

15 Primeiro a chegar, primeiro a ser atendido (PCPA) Exemplo: prog A (15 milissegundos), B (2 milissegundos) C (1 milisegundo). Tempo pode variar substancialmente se os tempos de retorno da CPU variarem muito A linha de tempo (diagrama de Gantt) é Tempo de retorno A B C Tempo médio = 16, C B A Tempo médio = 7,

16 Primeiro a chegar, primeiro a ser atendido (PCPA) Vantagem: fácil de implementar. Desvantagem: tempo de retorno imprevisíveis. problemático em sistemas de tempo compartilhado. 16

17 Programa menor primeiro (MP) Algoritmo Shortest job first (SJF); Associa a cada processo o tamanho do próximo burst de CPU do processo; A CPU atribui o processo que tem o próximo retorno de CPU menor (burst); Em caso de empate (tempo de retorno) dos processo, o algoritmo FIFO é utilizado; Não preemptivo e trabalha de acordo com a extensão de seus ciclos de CPU. 17

18 Programa menor primeiro (MP) Exemplo: Programas A B C D ciclo de CPU A linha de tempo (diagrama de Gantt) é B D A C Tempo médio = 9, Se fosse utilizado o FIFO, o tempo médio seria de 10,5 18

19 Programa menor primeiro (MP) A B C D Em ordem: retorno A = 8 retorno B = 12 retorno C = 16 retorno D = 20 Média 56/4 = B C D A Menor job primeiro: retorno B = 4 retorno C = 8 retorno D = 12 retorno A = 20 Média 44/4 = 11 19

20 Programa menor primeiro (MP) Vantagem: minimiza tempo médio de espera; Desvantagem: adiantamento indefinido de alguns programas, ou seja, não há como saber a extensão do próximo burst de CPU. 20

21 Menor tempo restante (MTR) Preemptivo do MP; Processos com menor tempo de execução são executados primeiro; Se um processo novo chega e seu tempo de execução é menor do que do processo corrente na CPU, a CPU suspende o processo corrente e executa o processo que acabou de chegar; Requer conhecimento prévio do tempo de CPU (sistema em lote). 21

22 Menor tempo restante (MTR) Exemplo: Tempo de chegada (distante em 1 ciclo de CPU) Programa A B C D Ciclo de CPU A linha de tempo (diagrama de Gantt) é A B C B D A Programa A B C D Tempo retorno Tempo médio = 6,25 MP teria um tempo médio de 7,75 22

23 Menor tempo restante (MTR) Vantagem: garante execução rápida de programas importantes. Desvantagem: sobrecarga com mudanças de contexto; 23

24 Escalonamento de CPU Algoritmos para Sistemas Interativos: Alternância circular (Round-Robin); Prioridades; Filas múltiplas; Próximo processo mais curto (Shortest Process Next); Garantido; Loteria; Fração justa (Fair-Share). 24

25 Escalonamento de CPU Algoritmo alternância circular (AC) Escalonanento Round-Robin; Tempo compartilhado; Preemptivo; Cada processo recebe um tempo de execução chamado quantum; ao final desse tempo, o processo é bloqueado e outro processo é colocado em execução; Escalonador mantém uma lista de processos prontos. 25

26 Algoritmo alternância circular (AC) Trabalha primeiro a chegar, primeiro a ser atendido. Ex.: Tempo de chegada Programa A B C D Ciclo de CPU A B C D A C D C 0 4 quantum Programa A B C D Tempo retorno Tempo médio = 18,25 26

27 Algoritmo alternância circular (AC) Vantagem: proporciona tempos de resposta razoáveis para usuários interativo. Desvantagem: requer seleção de quantum de tempo ideal; se for muito pequeno, ocorrem muitas trocas diminuindo, assim, a eficiência da CPU; se for muito longo o tempo de resposta é comprometido. 27

28 Escalonamento de CPU Algoritmo com Prioridade Associa-se a cada processo um nível de prioridade, de acordo com os interesses do sistema. Exemplo: Gerenciador da CPU determina a prioridade para programas que: Necessidade de memória; Tempo total de CPU; Número e tipo de dispositivos periféricos. 28

29 Algoritmo com Prioridade Cada processo possui uma prioridade => os processos prontos com maior prioridade são executados primeiro; Prioridades podem ser dinâmica ou estática; Estática -> um processo é criado com uma determinada prioridade e esta prioridade é mantida durante todo o tempo de vida; Dinâmica -> prioridade do processo é ajustada de acordo com o estado de execução do processo e/ou sistema. 29

30 Algoritmo com Prioridade Escalonamento de alta e baixa prioridade: Indicadas por algum intervalo de número; Não existe um acordo geral sobre se 0 é de maior ou menor prioridade; Exemplo: ajustar a prioridade em função da fração quantum que foi realmente utilizado pelo processo; Classes de processos com mesma prioridade; Agendados para executar em ordem FIFO; Preemptivo ou não preemptivo; 30

31 Algoritmo com Prioridade Agrupar processos em classes de prioridades Dentro de cada classe usar o escalonamento circular FILAS processos prontos (Round-Robin) mais alta prioridade mais baixa 31

32 Algoritmo com Prioridade Vantagem: garante execução rápida de programas importantes. Desvantagem: Adiantamento indefinido de alguns programas; Um processo de baixa prioridade não pode executar. Solução: técnica do envelhecimento busca aumentar gradualmente a prioridade do processo que estão no sistema por um longo tempo. 32

33 Escalonamento de CPU Filas múltiplas (multinível): Divide a fila de prontos em várias filas separadas; CTSS (Compatible Time Sharing System); Cada processo é atribuído a uma fila: Exemplo: prioridades, tipo de processo; Cada fila de prioridade possui quantum diferente; Cada fila tem seu próprio algoritmo de escalonamento (ex.: FIFO, MP); Escalonamento entre as filas: Exemplo: Primeiro plano e segundo plano. Preemptivo. 33

34 Filas multinível 34

35 Fila multinível com feedback Filas múltiplas com realimentação Permite que um processo se mova entre as filas; Separar de acordo com burst de CPU; Se utilizar muito tempo da CPU é movido para uma fila de menor prioridade; Processos de menor prioridade são executados por um quantum processos Se necessário dois quantum na próxima classe e quatro quantum e assim por diante. Este algoritmo diminui o número de comutações da CPU entre os processos ativos 35

36 Fila multinível com feedback Um processo entra na fila F 0 a qual emprega o FIFO. Quando entra em execução recebe 8 milisegundos. Se não finalizar em 8 milisegundos e movido para a fila F 1. Em F 1 é recebe 16 milisegundos para FIFO; Se ainda não concluir e movida para próxima fila. 36

37 Escalonamento de CPU Algoritmo próximo processo mais curto Mesma idéia do Shortest Job First dos sistemas em lote; Problema: Processos Interativos não se conhece o tempo necessário para execução; Como empregar esse algoritmo: ESTIMATIVA de TEMPO. 37

38 Escalonamento de CPU Algoritmo garantido: Garantias são dadas aos processos dos usuários: n usuários -> 1/n do tempo de CPU para cada usuários; Algoritmo por loteria: Cada processo recebe tickets que lhe dão direito de execução; Algoritmo por fração justa: O dono do processo é levado em conta; Se um usuário A possui mais processos que um usuário B, o usuário A terá prioridade no uso da CPU; 38

39 Escalonamento em múltiplos processadores Sistema homogêneo termos de funcionamento; Técnicas de multiprocessamento: Assimétrica: Escalonamento, processamento de E/S tratadas pelo servidor mestre. Os demais equipamentos executam somente código do usuário; Simétrico (SMP):cada processador é auto-escalonado. Os processos podem estar numa fila de pronto ou cada CPU tem sua fila de prontos. Exemplo: Windows XP, Linux, Mac OS X. 39

40 Escalonamento em múltiplos processadores Afinidade: Auto custo de invalidação e preenchimento dos caches pela troca de processos em uma CPU; Maioria dos sistemas SMP tenta evitar a migração de processo de uma CPU para outra > afinidade de processador Podemos ter: Afinidade flexível: tenta manter o processo em execução no mesmo processador, mas não há garantia. Afinidade rígido: especifica o processador e não deve migrar para outras CPUs. 40

41 Escalonamento em múltiplos processadores Balanceamento de Carga: O Balanceamento busca manter a carga de trabalho distribuída uniformente entre todas as CPUs num sistema SMP Necessário em sistemas em que cada CPU tem sua própria fila privada de processos elegíveis para execução; Duas técnicas são aplicadas: Migração Push: uma tarefa específica verifica periodicamente a carga de cada CPU e eventualmente distribui ela movendo (pushing) a tarefa; Migração Pull: CPU ociosa puxa uma tarefa esperando de um processador ocupado Alguns sistemas implementam ambas - exemplo: Linux. O balanceamento se opõe aos benefícios da afinidade do processador 41

42 Escalonamento de CPU Tempo é um fator crítico; Produzir saídas corretas em determinado momento Exemplos de sistemas críticos: Aviões; Hospitais; Usinas Nucleares; Bancos; Multimídia; Importante: obter respostas em atraso e tão ruim quanto não obter respostas; 42

43 Sistemas em Tempo Real Tipos de STR: Hard Real Time: atrasos não são tolerados; Aviões, usinas nucleares, hospitais; Ex. responder as altas temperaturas no núcleo de uma usina nuclear; Soft Real Time: atrasos são tolerados; Bancos; Multimídia; Ex. coletar dados de controle de tráfego aéreo a cada segundo; 43

44 Sistemas em Tempo Real Tipos de STR: Eventos causam a execução de processos: Síncronos: ocorrem em intervalos regulares de tempo; Assíncronos: ocorrem em intervalores irregulares de tempo; Algoritmos podem ser: estáticos (tomada da decisão antes de iniciar) ou dinâmicos (não apresentam essas restrições). 44

45 Windows XP - Escalonador Escalonador preemptivo baseado em prioridade; A thread de prioridade mais alta sempre será executada primeira Prioridade pode mudar decrementa após o tempo quantum de execução; Há 32 níveis de prioridade, sendo separada em filas Classe de Real-time (fixo): níveis 16 a 31 Outras classes (variável): níveis 1 a 15.

46 Linux - Escalonador Baseado em prioridade com dois intervalos: Tempo Real: 0 a 99 Nice: 100 a 140 (de -20 a 19) Tarefa de mais alta prioridade tem maior quantum de CPU diferente do Win XP e Solaris

47 Aula 05 - Sumário Execução: ciclo de bursts de CPU e E/S Escalonador seleciona um processo na fila de pronto; Despachante executa a comutação Algoritmos de escalonamento FIFO, MP, MTR, AC, Prioridade, Fila multiníveis Escalonamento em multiprocessador Afinidade versus balanciamento

48 Leituras Sugeridas Silberschatz, A., Galvin, P. B. Gagne, G. Sistemas Operacionais com Java. 7º, edição. Editora, Campus, Silberschatz, Abraham; Galvin, Peter Baer; Gagne, Greg. Fundamentos de sistemas operacionais. 6 ed. Rio de Janeiro: LTC, 2009.

49 Nota de Aula Acesse o link abaixo: Obrigado!!!

50 Exercícios 1 - Considere que cinco processos sejam criados no instante de tempo 0 (P1, P2, P3, P4 e P5) e possuam as características descritas na tabela a seguir: Desenhe um diagrama ilustrando o escalonamento dos processos e seus respectivos tempos de retorno, segundo as políticas especificadas a seguir. O tempo de troca de contexto deve ser desconsiderado. a) FIFO b) MP c) MTR 50

51 Exercícios 2- Considere o seguinte conjunto de processos, com o ciclo de CPU expresso em milessegundos: Processo Ciclo Prioridade P P2 1 1 P3 2 3 P4 1 4 P5 5 2 Os processos são considerados como tendo chegado na ordem P1, P2, P3, P4, P5, todos no instante 0. a- Desenhe quatro diagramas de Gantt que ilustrem a execução desses processos usando o escalonamento PCPA, MP, por prioridade não preemptiva (um número de prioridade mais baixo) e AC (alternância circular - quantum = 1). b - Qual é o tempo de retorno de cada processo para cada um dos algoritmos de escalonamento do item 1. c - Qual dos escalonamento do item 1 resulta no tempo de retorno médio mínimo (em relação a todos os processos). d- Defina a diferença entre escalonamento preemptivo e não-preemptivo? 51