01. Fundamentos: síncrono, assíncrono, bloqueante e não bloqueante

Este capítulo nasce das 30 questões publicadas sobre Fundamentos: síncrono, assíncrono, bloqueante e não bloqueante. 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 1 de 20 da disciplina Programação Assíncrona e Concorrência. Ele abre o percurso e apresenta a base para os capítulos seguintes. Na sequência, estudaremos Concorrência versus paralelismo.

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 Fundamentos: síncrono, assíncrono, bloqueante e não bloqueante 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.

Sincronia

O ponto de partida é estabelecer o significado do conceito e o problema que ele procura organizar. Sincronia descreve a relação temporal e de coordenação entre a solicitação e a continuação que depende de sua resposta. Nesse modelo, o fluxo observa o resultado antes de avançar para a etapa dependente, embora possa executar outras atividades por mecanismos adicionais. O conceito não determina, sozinho, se a thread ficará bloqueada no sistema operacional. A confusão frequente consiste em tratar síncrono e bloqueante como sinônimos necessários. A regra ganha sentido quando suas consequências orientam a implementação.

Para aplicar Sincronia, 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 uma interação síncrona, quem inicia a operação só prossegue para a etapa logicamente dependente depois de obter o resultado da operação iniciada. 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.

Espera bloqueante, a thread deixa de estar apta a prosseguir até que um evento, recurso

A partir dessa distinção, o próximo elemento completa o fluxo. Na espera bloqueante, a thread deixa de estar apta a prosseguir até que um evento, recurso ou resultado a desperte. Em geral, o sistema operacional pode retirá-la da fila de execução, evitando consumo contínuo de CPU durante a espera. Repetir consultas ativamente é espera ocupada, ou busy waiting, e não a definição de espera bloqueante. A inversão entre esses dois mecanismos é o erro técnico do item. Observe como definição, mecanismo e efeito permanecem ligados.