Sammanfattning av denna webbsida: I en vänta-fri modell kan ett antal processer krascha. En process körs solo när den beräknar sin lokala utdata utan att ta emot någon kommunikation från andra processer, antingen för att de kraschade eller så är de för långsamma. Medan i vänta-fria delade minnesmodeller som mest en process kan köra solo i en körning, kan ett antal processer behöva köra solo i en asynkron vänta-fri meddelande-passing modell. Detta dokument handlar om beräkningskraften hos modeller där flera processer samtidigt kan köras solo. Den introducerar först en familj av runda-baserade vänta-fria modeller, som kallas d-solo modeller, 1 ≤ d ≤ n, där upp till d processer kan köras solo. Papperet ger sedan en karakterisering av de färglösa uppgifter som kan lösas i varje d-solo modell. Dessa resultat etablerar för första gången en hierarki av köfria modeller svagare än den grundläggande läs- och skrivmodellen, som dock fortfarande är tillräckligt stark för att lösa många uppgifter. Den nya felmodellen, som bygger på att ta hänsyn till soloutföranden, har meddelanden som passerar såväl som delade minnesinstanser. Ungefärlig överenskommelse, Asynkront system, Kommunikationsobjekt, Distributed computability, Message-passing, Read/write shared memory, Solo exekvation, Systempartitioning, Task solvability, Topology, Waitfreedom Résumé : Dans un modèle wait-free, un nombre quelconque de processus peut s'arrêter de fonctionner de façon inopinée. Un processus s'exécute en solo lorsqu'il calcule sa valeur de sortie sans communique avec les autres processus. Dans les modèles wait-free dans lesquels les processus communicent via une mémoire partagée, au plus un processus peut s'exécuter en solo, alors que dans les modèles wait-free dans lesquels la communication se fait par échange de messages, un nombre quelconque d'entre eux peut avoir à s'exécuter en solo. Cet article étudie la calculabilité dans des modèles intermediaires, appelés d-solo modèles, modèles dans lesquels jusqu'à d processus s'exécutent en solo. Accord approché, système asynchrone, objet de communication, calculabilité distribuée, système à passage de messages, mémoire partagée, exécution en solo, partitionnement de système, solvabilité d'une tâche, topologie, synkronisering sans attente.
Herlihy m.fl. REF har gett en topologisk karakterisering av färglösa uppgifter som kan lösas i d-solo-modellen med kraschfel.
Computing in the Presence of Concurrent Solo Executions
{'venue': None, 'journal': None, 'mag_field_of_study': ['Computer Science']}