Escalonamento no Linux e no Windows NT/2000/XP

Transcrição

1 Escalonamento no Linux e no Windows NT/2000/XP 1

2 Escalonamento no Linux Os requisitos do escalonador do Linux eram: Apresentar boa performance em programas interativos, mesmo com carga elevada; Distribuir de maneira justa o tempo da CPU; Ser eficiente em máquinas SMP (Symmetric Multi Processor); Possuir suporte para tempo real. 2

3 Escalonamento no Linux Cada processo possui uma prioridade, que é recalculada dinamicamente. O escalonador entrega a CPU para o processo que possui a maior prioridade. O escalonador é preemptivo. 3

4 Escalonamento no Linux O Linux considera dois tipos de processos: processos interativos (time-sharing) processos tempo real Para processos interativos (dentro da mesma prioridade) o algoritmo é Round Robin. Para processos de tempo real (dentro da mesma prioridade) o algoritmo pode ser: FCFS (o processo executa até terminar ou se bloquear) ou Round Robin Processos de tempo real possuem prioridade sobre os demais processos. 4

5 Escalonamento no Linux Nas versões que antecederam a 2.6, o escalonador apresentava 2 problemas: 1) o tempo de execução do escalonador aumentava com o aumento do número de processos no sistema; 2) O escalonador usava uma ready list global em máquinas SMP 5

6 Escalonamento no Linux Primeiro problema (overhead): Cada processo possui uma prioridade, baseada em uma prioridade básica (Nice) e em seu comportamento em tempo de execução. Uma vez selecionado, o processo ganha a CPU por uma fatia de tempo. Quando o time-slice esgota, o processo é marcado como expirado. O escalonador seleciona o processo não expirado com a maior prioridade. Quando todos os processos estão expirados, o escalonador recalcula a prioridade de todos e então seleciona o próximo a rodar. O problema era este recálculo de prioridades: aumentando o número de processos no sistema, aumenta o tempo necessário para o escalonador recalcular as prioridades. (Para aplicações com um número muito grande de processos, este tempo penalizava enormemente o desempenho do sistema) 6

7 Escalonamento no Linux Segundo problema (uma única ready list global nas máquinas SMP). Neste caso, os problemas são de duas naturezas: 1) a necessidade de acesso mutuamente exclusivo à ready list por parte dos processadores. Se um processador está acessando a ready list, os demais necessitam esperar até que a mesma seja liberada. Para um número elevado de processadores este bloqueio dos processadores pode ocasionar uma queda considerável no desempenho do sistema. 2) considere um processo bloqueado esperando uma operação de E/S; quando termina a E/S, o processo é recolocado na ready list global e pode ser executado por um processador diferente daquele no qual estava rodando previamente. Isto acontecendo, dados do processo porventura existentes em caches não poderão mais ser usados, influenciando negativamente na performance. 7

8 Escalonamento no Kernel 2.6 As principais características do escalonador 2.6 são: Tempo constante de execução para selecionar um processo para rodar, independentemente do número de processos; Boa performance com programas interativos mesmo com o sistema sobrecarregado; Eficiente em máquinas SMP; Afinidade de processador, com uma fila de aptos para cada processador; Suporte a tempo real. 8

9 Escalonamento no Kernel 2.6 (Em máquinas SMP, existe uma fila de aptos para cada CPU) Fila de Aptos Ativos Prioridade 1... P2 P5... Pn Prioridade 140 P6 P2... Pk Expirados Prioridade 1 P2 Thread de migração Quando o array Ativos se torna vazio, o array Expirados passa a ser o ativo, com uma simples troca de apontadores. 9

10 Escalonamento no Kernel 2.6 O escalonador possui 140 níveis de prioridade (quanto menor o número, maior é a prioridade). Prioridades de 1 a 100 são para processos de tempo real; de 101 a 140 para os demais processos de usuário (interativos ou não interativos). Nos níveis de prioridade 101 a 140, os processos recebem fatias de tempo de 20 ms. Os processos de tempo real podem ser FIFO ou Round Robin, e possuem uma prioridade estática. Processos FIFO executam até voluntariamente liberarem a CPU (o nível de prioridade é mantido e não são preemptados). Processos Round Robin recebem fatias de tempo. Quando todos terminam suas fatias, é dada outra fatia e eles continuam rodando no mesmo nível de prioridade. A prioridade dos processos de usuário é a soma de sua prioridade básica (valor de seu nice) e seu bonus dinâmico, que varia de +5 a 5. 10

11 Cálculo da prioridade dos processos de usuário O escalonador classifica os processos em interativos e não interativos, pela observação de seu comportamento. Interativos são aqueles que ficam bloqueados por longos períodos, esperando por I/O, executam rapidamente e ficam novamente esperando por I/O. O escalonador calcula a média de tempo bloqueado de um processo e a utiliza para calcular o bônus do processo. A idéia é aumentar a prioridade de processos interativos (I/O bound) e diminuir a prioridade de processos não interativos (CPU bound). 11

12 Thread de migração Em cada processador roda uma thread de migração, cuja função é movimentar processos de um processador para outro. Como existe uma ready list por processador, a idéia é evitar que processadores fiquem ociosos enquanto outros estão sobrecarregados. A thread de migração é chamada periodicamente, a cada tick do relógio, e também explicitamente quando o sistema fica desbalanceado. 12

13 Escalonamento de E/S no Linux No Linux, as operações READ são síncronas e bloqueantes (pois existe a suposição de que o processo que executou a operação necessita dos dados para continuar), enquanto as operações WRITE são assíncronas e nãobloqueantes. Por este motivo, as operações de leitura possuem prioridade em relação às operações de escrita. As requisições de E/S são ordenadas, de acordo com o cilindro a ser acessado, de forma a minimizar o deslocamento do braço do disco. Para evitar postergação indefinida, para cada requisição é atribuído um deadline de atendimento. O escalonador 2.6 implementa duas políticas: política de deadlines e política antecipatória. 13

14 Política de deadlines O escalonador implementa duas filas: fila READ com deadline de 500 ms e fila WRITE com deadline de 5 seg (portanto, o tempo limite de atendimento de um processo depende da fila em que ele se encontra) As requisições são inseridas nas filas apropriadas (READ ou WRITE), na posição correspondente a sua requisição (cilindro a ser acessado). O escalonador atende as requisições, seguindo a ordem das filas. Se um deadline expira, o escalonador dispara a requisição seguindo a ordem da fila, garantindo a execução das requisições cujo deadline expirou. Esta política assegura que as operações de posicionamento dos cabeçotes (seek) são minimizadas (pela classificação das requisições) e o deadline garante que não haverá postergação indefinida de requisições. Outro aspecto importante é o aumento da interatividade, que resulta da atribuição de deadline menor e da priorização das operações READ. 14

15 Política antecipatória O escalonamento antecipatório tenta antecipar futuras operações de leitura. Para isso, mantém algumas estatísticas sobre os processos. Quando um READ se completa, o escalonador não executa a próxima requisição da fila, mas espera 6 ms por uma nova requisição do mesmo processo. Se ocorrer, a mesma será atendida. Para muitas aplicações, esta espera (6 ms) evita inúmeras operações de posicionamento dos cabeçotes (seek). Se o processo não executa outra operação READ, este tempo é perdido. 15

16 Escalonamento no sistema operacional Windows NT/2000/XP Um processo pode ser formado por um conjunto de threads. A thread é a unidade de execução para o sistema operacional. Cada processo possui pelo menos uma thread, a thread primária, a qual é criada quando o processo é carregado para execução. Alguns processos criam outras threads, de maneira a explorar o paralelismo da execução. Cada thread possui sua própria pilha de execução, seu contexto de execução (representado pelos registradores da CPU) e sua prioridade. A memória alocada para um processo é proporcional ao número de threads que o processo possui. 16

17 Escalonamento de threads No Windows 2000/XP o escalonador utiliza múltiplas filas e os processos interativos (I/O bound) possuem prioridade sobre os CPU bound. O escalonamento é baseado em prioridades. Cada thread possui uma prioridade, que varia de 0 a 31 (0 é a menor e 31 a maior). A prioridade 0 é atribuída a uma thread especial, chamada zero thread, que é responsável por zerar as páginas livres no sistema. Somente esta thread pode receber a prioridade 0. As prioridades definem duas classes de threads: Real time: prioridades de 16 a 31; Normal: prioridades de 0 a 15. Existe ainda uma classe especial chamada idle, a de mais baixa prioridade. Threads nesta classe somente executam quando não existem outras threads aptas (portanto, threads dessa classe não interferem na performance não causam overhead). 17

18 Fila de aptos no Windows 2000/XP Prioridades T4 Tempo Real 29 T7 T T9 14 T5 T1 Normal 1 0 idle 18

19 Escalonamento de threads O escalonador escolhe sempre a thread de maior prioridade. As threads da classe real time executam até terminar ou se bloquear. As threads com prioridade normal (0 a 15) recebem fatias de tempo. no sistema Windows 2000 professional, a fatia de tempo é de 20 ms (para favorecer a interatividade). no Windows 2000 Server, a fatia é de 120 ms (para gerar menos trocas de contexto). Cada thread recebe uma prioridade base ao ser criada. Para os processos de tempo real (prioridade entre 16 e 31) esta prioridade não se altera. Processos com prioridade entre 0 e 15 têm a prioridade ajustada em tempo de execução: Processos que retornam de operações de I/0 recebem um bônus de aumento, que depende do periférico (ex. 1 para disco e 6 para teclado). Após operações de sincronização, os processos também recebem um aumento de prioridade, dependendo da natureza do processo. 19

20 Escalonamento em máquinas SMP Durante a instalação do kernel, se é detectada a presença de mais de um processador, é carregado o suporte ao multiprocessamento. Independentemente de haver um único processador ou vários, vai existir somente uma fila de processos aptos (e a estrutura é aquela já vista). Porém, a existência de múltiplos processadores vai permitir o paralelismo físico na execução das threads. Se existem N processadores, o escalonador garante que as N threads de mais alta prioridade estejam em execução nesses processadores. O Windows 2000 implementa o conceito de afinidade, que define o processador onde a thread deve executar. A afinidade pode ser: Hard indica a existência de uma dependência que obriga a thread a rodar sempre no processador específicado Soft o sistema tenta executar a thread no processador que ela havia ocupado previamente, para aproveitamento de dados da execução anterior que podem se encontrar em cache (o que implica em ganho de performance). 20