Flerpartssessionstyper upprätthåller strukturerad säker kommunikation mellan flera deltagare, så länge deras nummer är fast när sessionen startar. För att hantera vanliga distribuerade interaktionsmönster såsom peer-to-peer-protokoll eller molnalgoritmer föreslår vi en ny rollbaserad flerpartsteori där roller definieras som klasser av lokala beteenden som ett godtyckligt antal deltagare dynamiskt kan gå med och lämna. Vi erbjuder programmerare en valverksamhet som ger tillgång till den aktuella uppsättningen av en rolldeltagare för att gaffelprocesser. Vårt typsystem med universella typer för röstning kan hantera denna dynamik och behålla typsäkerheten. En flerpartsspärrmekanism införs för att ge kommunikationssäkerhet, men också för att säkerställa en starkare framstegsegendom för att gå med deltagare som aldrig har garanterats i tidigare system. Slutligen presenterar vi några genomförandemekanismer som används i vår prototypförlängning av ML.
Vi införde också en dynamisk rollbaserad flerpartigruppsdisciplin i tidigare arbete REF, där ett godtyckligt antal deltagare kan interagera i en löpande session via en universell röstoperatör.
Dynamic multirole session types
{'venue': "POPL '11", 'journal': None, 'mag_field_of_study': ['Computer Science']}