O que acontece dentro do sistema ou programa quando o buffer fica completamente cheio, e como isso pode levar a uma congelamento?

Quando o buffer num programa em Go fica completamente cheio, a escrita subsequente nele bloqueia até que os dados sejam lidos do buffer. Isto deve-se ao fato de o buffer ter um tamanho limitado.

Se o produtor de dados (writer) continuar tentando escrever no buffer cheio e o consumidor (reader) não ler os dados, a goroutine do produtor ficará bloqueada. Se, além disso, o consumidor também esperar pelo produtor (por exemplo, devido a um deadlock), ocorre uma situação de deadlock, levando ao bloqueio do programa.

Exemplo: um canal com tamanho de buffer de 2, onde os dados são escritos mais rapidamente do que são lidos.