Comunicação de Processos, Concorrência e Sincronização

Processos (ou threads) concorrentes avançam ao mesmo tempo e intercalam instruções. O valor de um incremento compartilhado, a posse de um recurso e a vez na CPU dependem dessa intercalação.

Sincronização, comunicação e o despacho deste tópico — e alocação de quadros, espera de E/S e IPC entre máquinas nos seguintes — partem desses fluxos que disputam dado, recurso e processador.

As páginas se agrupam em quatro blocos. O primeiro diagnostica o que a intercalação quebra: corrida no ler-somar-gravar, ou impasse quando Coffman fecha.

O segundo guarda a seção crítica: exclusão, progresso e espera limitada, e escolhe como esperar — girar na CPU ou bloquear.

O terceiro atravessa espaços de endereços separados. Memória compartilhada, tubo ou mensagem; depois do fork, pai e filho só têm cópias.

O quarto escolhe quem entra na CPU e aplica a troca: política e quantum no Gantt; salvar e restaurar no despachante.

Corrida do incremento, ciclo no grafo de alocação e sequência segura do banqueiro estão em Concorrência e Alocação de Recursos. As três condições da seção crítica, spinlock versus semáforo e a ordem dos P e V no buffer estão em Sincronização de Processos.

Qual canal atravessa o isolamento e se o fork copiou o inteiro estão em Comunicação entre Processos (IPC). O mutex ou os P e V que protegem o buffer compartilhado estão em Sincronização de Processos.

TAT a partir do Gantt, FCFS, SJF, prioridade e RR, e o quantum frente a exec_t e switch_t, estão em Escalonamento de CPU. Salvar e restaurar, processo versus thread (espaço de endereços) e o custo da troca frente ao quantum estão em Troca de Contexto.