computer-wetenschap-bewerkt

Hoofdstuk 54
Overflow (informatica)
In de informatica is er sprake van overflow als het resultaat van een berekening te groot is om opgeslagen te worden
in het betrokken register of geheugenadres. Er wordt onderscheid gemaakt tussen beheerste overflow, waarbij
er een carry optreedt als het resultaat van een optelling of een aftrekking van getallen van een unsigned type niet
gerepresenteerd kan worden. Door de carryvlag af te vragen kan nagegaan worden of er overflow geweest is. Echte
overflow treedt op als het resultaat van een berekening een teken heeft dat niet overeenkomt met het verwachte teken,
zoals wanneer het optellen van twee positieve getallen een negatief resultaat blijkt te geven. Het is daarom nuttig de
overflowvlag te controleren na het optellen of aftrekken van getallen in two’s complement representatie.
Er zijn verscheidene methoden om met overflow om te gaan:
1. Ontwerp: door de correcte datatypen te gebruiken en rekening te houden met de optredende tekens en grootte
van de getallen.
2. Vermijden: door zorgvuldig tevoren de bewerkingen na te gaan en met de volgorde rekening te houden kan
vermeden worden dat overflow optreedt.
3. Afhandelen: als verwacht wordt dat overflow zal optreden, kan het geconstateerd worden en op de juiste wijze
afgehandeld worden.
4. Voortplanting: als een resultaat te groot is om opgeslagen te worden, kan er een speciale waarde aan toegekend
worden om aan te geven dat overflow is opgetreden, waarna bij alle volgende bewerkingen deze waarde behouden
blijft. Zodoende kan aan het einde van een lange berekening geconstateerd worden dat ergens overflow
geweest is en hoeft niet bij elke stap afzonderlijk te worden gecontroleerd. Dit wordt vaak door Floating Point
Hardware (FPU) ondersteund.
5. Negeren: Vaak ook wordt er geen rekening met overflow gehouden en het optreden ervan eenvoudig genegeerd.
Dit kan natuurlijk onjuiste resultaten opleveren en tot een crash van het programma leiden.
54.1 Zie ook
• IEEE 754
105