Computerwissenschaften threads

4

Welche Themen teilen sich im Allgemeinen?

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 Prozesses teilen sich die Dinge. Ich möchte wissen, was sie …

20 operating-systems threads

3

Warum sind die meisten Mutex-Implementierungen unfair?

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 es sogar …

11 concurrency synchronization threads

1

Warum die Verwendung von Hyper-Threading zu Leistungseinbußen führen kann

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, die Verschlechterung auftritt. Obwohl Benchmarks Hyper-Threading als Schuldigen anzeigen, …

10 computer-architecture performance threads

3

Ist es möglich, die Gewindesicherheit nachzuweisen?

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 Beschreibung von Dingen wie Thread-Sicherheit oder Rennbedingungen?

9 proof-techniques correctness-proof concurrency threads

2

Warum können Fasern nicht mehrere Prozessoren verwenden?

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 "zeitlich geteilt" wird. Ich gehe jedoch davon aus, dass auf …

8 parallel-computing threads multi-tasking

1

Warum ist die Ruhekonsistenz zusammengesetzt, die sequentielle Konsistenz jedoch nicht?

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 …

7 concurrency cpu-cache threads shared-memory

1

Inkonsistenter Zustand einer Sperre

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 globalen Status inkonsistent, in dem sich ein Thread im …

7 terminology concurrency threads deadlocks

1

Frage zu Threads und Sperren

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 Durchsatz auswirken. Gleichzeitig …

7 concurrency threads

1

Wie werden Threads in verschiedenen Betriebssystemen implementiert?

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 Ressourcen. Ich weiß nicht viel über Betriebssysteme …

7 operating-systems process-scheduling threads

Als «threads» getaggte Fragen