Stallar, på grund av felmatchningar i kommunikationshastigheter, är ett stort prestandahinder i rörledningskretsar. Om dataproduktionens hastighet är snabbare än förbrukningens hastighet, presterar den resulterande konstruktionen långsammare än när kommunikationshastigheten matchas. Detta kan åtgärdas genom att man inför pipelinebuffertar (för att tillfälligt lagra uppgifter), så att tillverkaren kan fortsätta om konsumenten inte är redo att ta emot uppgifter. Problemet med att bestämma vilka kanaler som behöver dessa buffertar (och hur många) för en godtycklig kommunikationsprofil kallas slack matchningsproblem; den optimala lösningen på detta problem har visat sig vara NP-komplett. I detta dokument presenterar vi en heurist som använder kunskap om kommunikationsprotokollet för att explicit modellera dessa flaskhalsar, och en iterativ algoritm för att gradvis avlägsna dessa flaskhalsar genom att införa buffertar. Vi tillämpar denna algoritm på asynkrona kretsar, och visar att den naturligt hanterar stora mönster med godtyckligt cykliska och acykliska topologier, som uppvisar olika typer av kontroll val. Den heuristiska är effektiv, uppnå linjär tids komplexitet i praktiken, och producerar lösningar som (a) uppnå upp till 60% prestanda hastighetshöjning på stora medieprocessorkärnor, och (b) kan antingen verifieras för att vara optimal, eller approximationsmarginalen kan begränsas.
Venkataramani och Goldstein REF tillvägagångssätt slack matchning på liknande sätt genom att infoga buffertar längs kanaler.
Leveraging protocol knowledge in slack matching
{'venue': "ICCAD '06", 'journal': None, 'mag_field_of_study': ['Computer Science']}