Computerwissenschaften concurrency

3

Warum sollten Sie einen Monitor anstelle eines Semaphors verwenden?

Ich besuche derzeit den gleichzeitigen Programmierkurs an meiner Universität und wir haben kürzlich begonnen, über das Konzept eines Monitors zu sprechen. Obwohl ich die Notwendigkeit des gegenseitigen Ausschlusses verstehe, verstehe ich nicht, warum ich dafür einen Monitor verwenden würde. So wie ich es verstehe, garantiert ein Monitor, dass sich zu …

11 concurrency synchronization mutual-exclusion

2

CCS-Verfahren für einen Getränkeautomaten mit zwei unterschiedlichen Preisen

Getränkespender muss den Benutzer eine Münze (zum Einfügen ) und drückt eine der drei Tasten: ˉ d Tee fordert eine Tasse Tee e Tee , dito für Kaffee und ˉ r fordert eine Rückerstattung (dh die Maschine zurück gibt die Münze: ˉ b ). Dieser Spender kann durch den folgenden …

11 logic concurrency modelling process-algebras ccs

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

Formalismen bei gleichzeitiger und / oder verteilter Programmierung?

Mein Hintergrund stammte aus imperativen Sprachen, hauptsächlich C, C ++ und Python. Einige Jahre später habe ich Scala, Erlang und ein bisschen Haskell aufgegriffen und mich seitdem sehr für funktionale Programmierung und die dahinter stehenden Formalismen interessiert. Ich interessiere mich auch für gleichzeitige und verteilte Programmierung und habe mich mit …

10 distributed-systems concurrency

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

Berücksichtigt Petersons 2-Prozess-Algorithmus zum gegenseitigen Ausschluss sterbende Prozesse?

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 1 Prozess 1 gestoppt wird, werden die …

9 programming-languages concurrency mutual-exclusion

1

Welche praktische Relevanz haben Algorithmen zum gegenseitigen Ausschluss von Lehrbüchern?

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 Algorithmen möglicherweise während des Engineerings eines gleichzeitigen …

8 reference-request concurrency mutual-exclusion

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

2

Linearisierbarkeit und Serialisierbarkeit im Kontext des Software-Transaktionsspeichers

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. Serialisierbarkeit Serialisierbarkeit ist eine globale Eigenschaft. Es ist eine Korrektheitseigenschaft von Transaktionen. Bei bestimmten kProzessen, …

7 distributed-systems concurrency databases

1

Warum ist ein Programm mit nur Atomics in SC-DRF, aber nicht in HRF-direkt?

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. , "Heterogene, …

7 concurrency

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

2

Automatenäquivalent der π-Rechnung?

Wenn Turing-Maschinen das Automatenäquivalent des sind λλ\lambda Kalkül, was ist das Automatenäquivalent der ππ\piInfinitesimalrechnung? Ich nehme an, es wäre eine Klasse von Automaten, die einer Turing-Maschine ähnelte, aber Kommunikationskanäle oder Signale irgendeiner Art unterstützte, aber ich bin mir nicht sicher und würde eine Richtung schätzen.

7 automata concurrency machine-models pi-calculus

Als «concurrency» getaggte Fragen