Pi-calculus är en formalism att modellera och resonera om mycket samtidiga och dynamiska system. Det mesta av språkets uttryckskraft kommer från förmågan att passera kommunikationskanaler mellan samtidiga processer, som vilket annat värde som helst. Vi presenterar i detta dokument CubeVM, en tolkarkitektur för en tillämpad variant av Pi-calculus, med fokus på dess operativa semantik. Den viktigaste egenskapen hos CubeVM kommer från sin stackless arkitektur. Vi visar på ett formellt sätt att resurshanteringsmodellen inne i den virtuella maskinen kan förenklas avsevärt utan behov av inbyggda stackramar. Detta gäller särskilt sophämtningen av processer och kanaler. Den föreslagna GC, baserad på ett referensräkningssystem, är mycket samtidig och, mest intressant, upptäcker automatiskt och återtar cykler av inaktiverade processer. Vi tar också upp de viktigaste prestationsfrågorna som tas upp av den finkorniga konvergensmodellen för Pi-kalculus. Vi introducerar den reaktiva varianten av semantiken som tillåter, i tillämpliga fall, att öka prestandan drastiskt genom att kringgå schemaläggaren. Vi definierar språkundergruppen av processer i så kallade kedjereaktionsformer för vilka sekventiella semantik kan bevisas statiskt. Vi illustrerar de expressiva kraft- och prestandavinsterna av sådana kedjereaktioner med exempel på funktionella, dataflödes- och objektorienterade system. Kodningar för de rena Picalculus visas också.
Vår egen CubeVM REF är en någorlunda effektiv tolk för en tillämpad variant av π-calculus.
A stackless runtime environment for a Pi-calculus
{'venue': "VEE '06", 'journal': None, 'mag_field_of_study': ['Computer Science']}