06. Mutex, semáforos e monitores

Este capítulo nasce das 30 questões publicadas sobre Mutex, semáforos e monitores. A leitura do acervo revelou 30 núcleos de conhecimento, aqui reorganizados como uma explicação progressiva: primeiro o vocabulário e o modelo mental, depois os mecanismos, as decisões de implementação, os limites e a forma de verificar o comportamento do sistema.

Com modelos e componentes definidos, estudamos tarefas que avançam no tempo e disputam recursos. Ordem, estado compartilhado, sincronização, cancelamento e falhas precisam ser analisados em conjunto. Este é o capítulo 6 de 20 da disciplina Programação Assíncrona e Concorrência. Ele retoma Condições de corrida e seções críticas e utiliza essa base para avançar. Na sequência, estudaremos Operações atômicas e estruturas lock-free.

O fio condutor

O desenvolvimento de software começa com um problema e avança por decisões que precisam permanecer compreensíveis e verificáveis. Requisitos orientam modelos; modelos orientam código e arquitetura; testes verificam comportamento; e a operação devolve informações para o próximo ciclo. Uma falha importante no início tende a se espalhar pelas etapas seguintes.

Neste capítulo, use Mutex, semáforos e monitores para acompanhar quatro perguntas: qual problema precisa ser resolvido, como o mecanismo funciona, que consequências a escolha produz e como o resultado será verificado. Essa sequência transforma termos técnicos em decisões que podem ser explicadas e testadas.

Parte 1 — Fundamentos e vocabulário

Começamos por Parte 1 — Fundamentos e vocabulário, pois essa base organiza os conceitos e exemplos que aparecerão no restante do capítulo.

Um mutex implementa exclusão mútua e

O ponto de partida é estabelecer o significado do conceito e o problema que ele procura organizar. Um mutex implementa exclusão mútua e mantém a noção de proprietário enquanto a seção crítica está protegida. A operação de unlock deve ser executada pelo fluxo que obteve o lock, conforme o contrato usual dessa primitiva. Essa regra permite detectar liberações indevidas e preservar o pareamento entre aquisição e liberação, inclusive quando se usa uma construção de limpeza automática. Um semáforo difere nesse ponto, pois representa permissões e pode admitir que um participante sinalize uma permissão consumida por outro. A regra ganha sentido quando suas consequências orientam a implementação.

Para aplicar Um mutex implementa exclusão mútua e, acompanhe a execução desde a entrada até a saída e anote pré-condições, mudança de estado, custo e falhas possíveis. Assim o conceito deixa de ser um rótulo e passa a orientar decisões.

Use como teste da compreensão: Em seu uso regular, um mutex associa a posse do lock ao fluxo de execução que o adquiriu, cabendo a esse mesmo proprietário realizar a liberação. Depois verifique a afirmação com execução controlada, teste automatizado, análise do contrato, medição ou documentação da versão correspondente. A evidência deve reproduzir a propriedade afirmada, inclusive nos casos de erro e de fronteira.

Valor do semáforo

A partir dessa distinção, o próximo elemento completa o fluxo. O valor do semáforo representa a quantidade de permissões disponíveis para aquisição. Cada wait bem-sucedido consome uma permissão, e cada post a devolve; quando o contador chega a zero, novas aquisições precisam aguardar. Assim, um pool com N conexões pode ser protegido por um semáforo inicializado em N, desde que cada usuário devolva exatamente a permissão obtida. A primitiva controla a quantidade de acessos simultâneos, mas não seleciona por si só qual conexão concreta será usada. Observe como definição, mecanismo e efeito permanecem ligados.