Overflow Binário: Como Bits de Sinal Afetam a Adição Binária

Ao trabalhar com números binários com sinal, uma adição ou subtração pode às vezes exceder a magnitude que um número fixo de bits pode representar. Esse fenômeno, conhecido como overflow, ocorre porque a posição do bit de sinal é fixada desde o início do cálculo.

No exemplo abaixo, usamos cinco bits para codificar a magnitude e o bit mais à esquerda (sexto) como bit de sinal. Com cinco bits de magnitude, podemos representar 2⁵ = 32 valores inteiros, variando de 0 até a magnitude máxima. Consequentemente, o maior número positivo que podemos representar é +31₁₀ (011111₂), e o menor é −32₁₀ (100000₂).

Restrições do Campo de Seis Bits

Quando somamos dois números binários que usam o mesmo campo de seis bits, o resultado pode cair fora do intervalo de −32 a +31. Por exemplo, somar +17₁₀ e +19₁₀ produz uma soma verdadeira de +36₁₀, que não pode ser representada com apenas cinco bits de magnitude.

A resposta binária, 100100₂, é interpretada como −28₁₀ quando o sexto bit é tratado como −32₁₀. Claramente isso está errado; o erro de overflow acontece porque a soma verdadeira excede os limites do campo de seis bits. Descartar o bit de "transporte" mais à esquerda resulta em um resultado incorreto.

Somar dois números negativos pode produzir problema similar. Por exemplo, −17₁₀ + −19₁₀ deveria igualar −36₁₀, mas com campo de seis bits o resultado binário é 28 positivo, indicando novamente overflow.

Usando o Sétimo Bit para Bit de Sinal

Expandindo o campo para sete bits — seis para magnitude e um para sinal — podemos acomodar somas maiores. Os diagramas a seguir mostram os mesmos problemas resolvidos quando o campo é suficientemente largo.

Embora possamos detectar overflow convertendo o resultado binário de volta para decimal, essa abordagem é incômoda e impraticável para circuitos eletrônicos. Um método mais eficiente baseia-se no sinal da soma. Se dois números com o mesmo sinal produzem um resultado com sinal oposto, ocorreu overflow. Dois números positivos não podem somar a um negativo, e dois negativos não podem somar a um positivo quando o campo é adequado.

Por outro lado, somar um positivo e um negativo nunca pode causar overflow. A soma resultante está sempre mais próxima de zero que qualquer operando, garantindo que permaneça dentro do intervalo representável.

Essas regras de detecção de overflow são implementadas em somadores digitais e formam um conceito fundamental na aritmética de computadores.

PLANILHAS RELACIONADAS:

• Planilha de Matemática Binária