Nun, das ist eine allgemeine Frage. Und wenn jemand es implementierungsspezifisch machen möchte, dann bevorzuge ich Unix-bezogene Sachen. Aber zuerst müssen folgende Probleme allgemein bekannt sein: Ich habe gelesen, dass ein einzelner Prozess mehrere Threads haben kann. Mehrere Threads desselben...
Mein Verständnis ist, dass die gängigsten Implementierungen eines Mutex (z. B. std :: mutex in C ++) keine Fairness garantieren - das heißt, sie garantieren nicht, dass in Streitfällen die Sperre von Threads in der Reihenfolge erworben wird, in der sie sich befinden genannt lock (). Tatsächlich ist...
Ich habe an verschiedenen Stellen wie dieser gelesen , dass Hyper-Threading zu Leistungseinbußen führt. Ich kann nicht verstehen, warum oder wie Hyper-Threading zu einer Verschlechterung führt. Warum es so ist, dass selbst wenn das Betriebssystem durch Hyper-Threading freie Ressourcen nutzen kann,...
Kann mit einem Programm, das aus Variablen und Anweisungen besteht, die diese Variablen ändern, und einem Synchronisationsprimitiv (Monitor, Mutex, Java synchronisiert oder C # -Sperre) nachgewiesen werden, dass ein solches Programm threadsicher ist? Gibt es überhaupt ein formales Modell zur...
Es scheint, dass der Unterschied zwischen Fasern und Fäden darin besteht, dass Fasern kooperativ geplant werden, während Fäden präventiv geplant werden. Der Punkt des Schedulers scheint eine Möglichkeit zu sein, eine ansonsten serielle Prozessorressource parallel zu betreiben, indem die CPU...
Ich habe Linux Kernel Development von Robert Love gelesen , wo ich darauf gestoßen bin Linux verfolgt einen interessanten Ansatz zur Thread-Unterstützung: Es wird nicht zwischen Threads und normalen Prozessen unterschieden. Für den Kernel sind alle Prozesse gleich - einige teilen sich zufällig...
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...
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...