Ich denke, dass in Petersons Algorithmus zum gegenseitigen Ausschluss , wenn der Prozess, der zuerst in den kritischen Abschnitt eintritt, sterben oder abgebrochen wird, der andere Prozess für immer eine Schleife durchläuft und darauf wartet, in den kritischen Abschnitt einzutreten. Wenn in Prozess...
Es wurde viel über Algorithmen zum gegenseitigen Ausschluss geforscht - z. B. wird ein Großteil davon in klassischen Lehrbüchern wie The Art of Multiprocessor Programming vorgestellt , in denen ihnen ein ganzes Kapitel gewidmet ist. Ich frage mich, in welchen praktischen Situationen diese...
Ich lese gerade Fuss, Futexes und Furwocks: Fast Userland Locking unter Linux und bin auf dieses Zitat gestoßen : In einem fairen Schließschema wird die Sperre in der Reihenfolge gewährt, in der sie angefordert wurde. Dies kann sich aufgrund der erhöhten Anzahl von Kontextwechseln negativ auf den...
Ich lese die Kunst der Multiprozessor-Programmierung und versuche, ihr Konzept inkonsistenter Sperren zu verstehen. Insbesondere auf Seite 37 ist mir die Definition 2.8.1 einer inkonsistenten Sperre sowie Lemma 2.8.1 nicht klar. Definition 2.8.1. Der Status eines Sperrobjekts s ist in jedem...
In der Arbeit "Heterogen-Race-Free Memory Models" [1] geben die Autoren an, dass ein Programm, das nur aus Atomic besteht, in SC-DRF rassenfrei ist, aber nicht in HRF-direct. Ich kann nicht verstehen, warum das so ist. Kann jemand erklären, wie das passieren kann? [1] Derek R. Hower et al. ,...
Ich habe versucht, die Serialisierbarkeit und Linearisierbarkeit im Kontext des Software-Transaktionsspeichers zu erfassen. Ich denke jedoch, dass beide Begriffe allgemein auf das Transaktionsgedächtnis angewendet werden können. An dieser Stelle verstehe ich beide Themen wie folgt....
Ich habe Probleme beim Vergleich dieser beiden Speicherkonsistenzmodelle. Im Wesentlichen aus Gründen der sequentiellen Konsistenz denke ich an echten Code wie diesen: int x, y; void ThreadA() { x = 20; //Write int a = y; //Read } void ThreadB() { y = 20; int b = x; } In einer sequentiellen...