A system that allows a programmer to specify a set of constraints that the
programmer has adhered to in writing code so that a compiler is able to
assume the set of constraints in disambiguating memory references within
the code. The system operates by receiving an identifier for a set of
constraints on memory references that the programmer has adhered to in
writing the code. The system uses the identifier to select a
disambiguation technique from a set of disambiguation techniques. Note
that each disambiguation technique is associated with a different set of
constraints on memory references. The system uses the selected
disambiguation technique to identify memory references within the code
that can alias with each other.
Een systeem dat een programmeur toestaat om een reeks beperkingen te specificeren dat de programmeur in het schrijven van code heeft aangehangen zodat een compiler de reeks beperkingen kan veronderstellen in het disambiguating van geheugenverwijzingen binnen de code. Het systeem werkt door een herkenningsteken voor een reeks beperkingen op geheugenverwijzingen te ontvangen dat de programmeur in het schrijven van de code heeft aangehangen. Het systeem gebruikt het herkenningsteken om een het ondubbelzinnig makentechniek van een reeks het ondubbelzinnig makentechnieken te selecteren. Merk op dat elke het ondubbelzinnig makentechniek met een verschillende reeks beperkingen op geheugenverwijzingen wordt geassocieerd. Het systeem gebruikt de geselecteerde het ondubbelzinnig makentechniek om geheugenverwijzingen binnen de code te identificeren die alias met elkaar kan.
