Die Studie untersucht die Konzepte der Historieunabhängigkeit für nebenläufige Datenstrukturen und stellt grundlegende Möglichkeits- und Unmöglichkeitsresultate auf.
Es wird gezeigt, dass eine große Klasse von nebenläufigen Objekten nicht in einer wartungsfreien, historieunabhängigen Weise aus kleineren Basisobjekten implementiert werden können. Allerdings kann, wenn man entweder die Wartungsfreiheit zugunsten der Sperrfreiheit aufgibt oder eine schwächere Vorstellung von Historieunabhängigkeit akzeptiert, zumindest ein Objekt in dieser Klasse, nämlich ein mehrwertiges einzelleser-einzelschreiber-Register, aus kleineren Basisobjekten, nämlich binären Registern, implementiert werden.
Andererseits wird ein starkes Möglichkeitsresultat in Form einer universellen Konstruktion präsentiert: Ein Objekt mit s möglichen Zuständen kann in einer wartungsfreien, historieunabhängigen Weise aus Vergleich-und-Tausch-Basisobjekten implementiert werden, die jeweils O(s + 2n) mögliche Speicherzustände haben, wobei n die Anzahl der Prozesse im System ist.
Naar een andere taal
vanuit de broninhoud
arxiv.org
Belangrijkste Inzichten Gedestilleerd Uit
by Hagit Attiya... om arxiv.org 03-22-2024
https://arxiv.org/pdf/2403.14445.pdfDiepere vragen