Avrättning indexering unikt identifierar en punkt i en körning. Önskas verkställande index avslöjar korrelationer mellan punkter i en avrättning och etablera korrespondens mellan punkter över flera avrättningar. Därför är exekvering indexering viktigt för en mängd olika dynamiska programanalyser, till exempel, kan det användas för att organisera programprofiler; det kan exakt identifiera punkten i en re-exekvering som motsvarar en given punkt i en ursprunglig utförande och därmed underlätta felsökning eller dynamisk instrumentering. I detta dokument definierar vi formellt begreppet utförandeindex och föreslår ett indexeringsschema baserat på genomförandestruktur och programtillstånd. Vi presenterar en mycket optimerad online-implementering av tekniken. Vi utför också en klientstudie, som syftar till att producera ett misslyckande inducera schema för en data race genom att verifiera de två alternativa händer-innan beställningar av ett racing par. Indexering används för att exakt lokalisera motsvarande punkter över flera utföranden i närvaro av icke-determinism så att inget tungviktsspårning/replay-system behövs.
Utförande indexering REF är en teknik som kan användas för att korrelera relaterade programpunkter mellan utföranden.
Efficient program execution indexing
{'venue': "PLDI '08", 'journal': None, 'mag_field_of_study': ['Computer Science']}