Abstract-Wormhole switching är en populär kopplingsteknik i sammanlänkningsnät. Denna teknik är också benägen att dödläge. Adaptive routing algoritmer ger alternativa vägar som kan användas för att undkomma överbelastade områden och förhindra vissa dödlägen att uppstå. Om de inte är noggrant utformade, kan dessa nya vägar lika gärna införa dödlägen. En framgångsrik lösning på dödlägesförebyggande är att begränsa routingfunktionen så att den inte medför något dödläge. Många nödvändiga och tillräckliga villkor för dödlägesfri routing har föreslagits. Definitionen och beviset på dessa villkor är komplicerade och felbenägna. Dessa förhållanden är ofta kontraintuitiva och svåra att förstå. Dessutom är de inte statiska, eftersom de alla kräver en analys av konfigurationer, dvs. nätverkstillståndet. Bidraget från detta dokument är tvåfaldigt. Vi presenterar det första statiska nödvändiga och tillräckliga villkoret för dödstoppsfri routing i maskhålsnätverk. Vårt tillstånd är mycket enklare och kräver mindre antaganden än alla tidigare. Det är formellt bevisat korrekt med hjälp av en automatiserad bevis assistent. I synnerhet gäller vårt villkor osammanhängande routing funktioner som ansågs vara ett öppet problem. För det andra, vi bevisar dödläget beslut problemet co-NP-fullständig för maskhål nätverk.
Beslut om ett tillräckligt och nödvändigt villkor för maskhålsnätverk är NP-fullständig REF.
On Necessary and Sufficient Conditions for Deadlock-Free Routing in Wormhole Networks
{'venue': 'IEEE Transactions on Parallel and Distributed Systems', 'journal': 'IEEE Transactions on Parallel and Distributed Systems', 'mag_field_of_study': ['Computer Science']}