Sistemas Operacionais e Administração de Servidores
03. Concorrência, sincronização, IPC e deadlocks
3º capítulo da apostila Sistemas Operacionais e Administração de Servidores: explicação contínua e em linguagem simples sobre Concorrência, sincronização, IPC e deadlocks, com aplicação integrada e mapa mental.
Este capítulo apresenta Concorrência, sincronização, IPC e deadlocks em uma sequência pensada para quem está aprendendo o assunto. Os conceitos serão ligados a problemas, decisões, formas de execução e evidências, para que siglas e ferramentas ganhem sentido dentro do ciclo completo da tecnologia.
Sobre o hardware, o sistema operacional organiza processador, memória, dispositivos, arquivos, usuários e serviços. A administração transforma esses mecanismos em servidores seguros, previsíveis e recuperáveis. Este é o capítulo 3 de 23 da disciplina Sistemas Operacionais e Administração de Servidores. Ele retoma Processos, escalonamento e estados e acrescenta uma nova camada. Na sequência, estudaremos Memória virtual, paginação, segmentação e swap.
Ponto de partida
Para compreender infraestrutura, acompanhe o caminho completo de uma solicitação e de seus dados. Identifique o componente que recebe a entrada, o estado que precisa conservar, as dependências que aciona e a saída que entrega. Depois introduza atraso, indisponibilidade ou configuração incorreta e observe como o sistema reage.
Em Sistemas Operacionais e Administração de Servidores, o nome de uma tecnologia é apenas o começo. O entendimento surge quando você relaciona finalidade, arquitetura, configuração, operação, segurança e recuperação. Essa leitura por camadas evita decorar siglas sem compreender o mecanismo que sustenta o serviço.
Fundamentos e vocabulário
Começamos por Fundamentos e vocabulário, que fornece a linguagem necessária para compreender as partes seguintes.
O primeiro elemento dessa parte estabelece a base. Condição de corrida ocorre quando resultado depende da ordem não controlada de acessos concorrentes. Atualização não atômica de contador compartilhado pode perder incrementos. O defeito pode ser intermitente. A formulação rejeitada é incompatível com o conceito e com a evidência indicada. Observe como essa regra define o papel do componente e quais efeitos aparecem nas camadas vizinhas.
A partir dessa base, aparece uma consequência importante. Deadlock exige exclusão mútua, posse e espera, ausência de preempção e espera circular. Romper uma condição impede o ciclo clássico. Prevenção pode reduzir utilização. Definição e aplicação são complementares. Para enxergar o mecanismo, acompanhe entrada, transformação, estado e saída, inclusive quando uma dependência deixa de responder.
Esse comportamento se conecta ao próximo componente. Região crítica acessa recurso compartilhado e deve obedecer ao protocolo de exclusão. Minimizar a região crítica reduz contenção. Exclusão mútua deve preservar progresso. A definição separa o conceito de uma simplificação frequente. Na prática, o conceito só fica completo quando configuração, contexto e resultado podem ser relacionados.
Na operação cotidiana, a mesma lógica revela outro aspecto. Starvation é espera indefinida por falta de oportunidade, distinta de ciclo de deadlock. Política injusta pode causar starvation sem bloqueio circular. Aging pode reduzir o problema. A aplicação deve ser interpretada à luz do conceito, sem produzir a conclusão equivocada. O ponto central é localizar essa função na arquitetura e distingui-la de recursos com nomes ou efeitos parecidos.
Continue lendo de graça
O capítulo inteiro está liberado no plano gratuito
Criar conta leva menos de um minuto e não pede cartão. Você destrava o texto completo, o mapa mental, o PDF para estudar off-line e ainda resolve questões inéditas todo dia.
Leu o resumo? Agora pratique.
São 80 questões inéditas de Concorrência, sincronização, IPC e deadlocks, todas comentadas alternativa por alternativa.
Você volta para este capítulo depois de criar a conta.
Fontes consultadas
- Silberschatz, Galvin e Gagne, Fundamentos de Sistemas Operacionais, concorrência.
- Silberschatz, Galvin e Gagne, Fundamentos de Sistemas Operacionais, deadlocks.
- Silberschatz, Galvin e Gagne, Fundamentos de Sistemas Operacionais, seção crítica.
- Silberschatz, Galvin e Gagne, Fundamentos de Sistemas Operacionais, starvation.
- Silberschatz, Galvin e Gagne, Fundamentos de Sistemas Operacionais, mutexes.
- Silberschatz, Galvin e Gagne, Fundamentos de Sistemas Operacionais, semáforos.
- Silberschatz, Galvin e Gagne, Fundamentos de Sistemas Operacionais, monitores.
- Silberschatz, Galvin e Gagne, Fundamentos de Sistemas Operacionais, IPC.
- Linux kernel — Documentation: https://docs.kernel.org/
- Red Hat Enterprise Linux — Documentation: https://docs.redhat.com/en/documentation/red_hat_enterprise_linux/
- Microsoft — Windows Server documentation: https://learn.microsoft.com/windows-server/
- PowerShell — Documentation: https://learn.microsoft.com/powershell/
- OpenLDAP — Administrator Guide: https://www.openldap.org/doc/admin26/
- Acervo publicado: 80 questões integralmente cobertas nos módulos deste capítulo.
- Referência: Linux kernel — Documentation: https://docs.kernel.org/
- Referência: Red Hat Enterprise Linux — Documentation: https://docs.redhat.com/en/documentation/red_hat_enterprise_linux/
- Referência: Microsoft — Windows Server documentation: https://learn.microsoft.com/windows-server/
- Referência: PowerShell — Documentation: https://learn.microsoft.com/powershell/
- Referência: OpenLDAP — Administrator Guide: https://www.openldap.org/doc/admin26/