Abstrakt. Vi anser att problemet med att automatiskt styra programomvandlingar för lokalitet, trots ofullständig information på grund av komplicerade programstrukturer, ändrade målarkitekturer, och brist på kunskap om egenskaperna hos inmatningsdata. Vårt system, den modala modellen av minne, använder begränsad statisk analys och begränsad körning experiment för att producera prestanda formler som kan användas för att göra runtime lokala omvandling beslut. Statisk analys utförs en gång per program för att bestämma dess minnesreferensegenskaper, med hjälp av lägen, en liten uppsättning parameteriserade, kärnreferensmönster. En gång per arkitektoniskt system utför vårt system automatiskt en uppsättning experiment för att bestämma en familj av kärnprestandaformler. Systemet kan använda dessa kärnformler för att syntetisera en prestandaformel för alla programs modeträd. Slutligen, med programomvandlingar representerade som kartläggningar mellan modeträd, kan de genererade prestandaformler användas för att styra omvandlingsbeslut.
Den modala modellen av minne REF kräver inte bara statisk analys utan också körning experiment (potentiellt tusentals experiment) för att generera prestanda formler.
A Modal Model of Memory
{'venue': 'International Conference on Computational Science (1)', 'journal': None, 'mag_field_of_study': ['Computer Science']}