Als «concurrency» getaggte Fragen

Bei der gleichzeitigen Programmierung werden üblicherweise zwei Begriffe verwendet, nämlich gleichzeitig und parallel. Einige Programmiersprachen wie Java fordern Unterstützung für parallele Programmierung . Bedeutet dies, dass parallele und gleichzeitige Programmierung tatsächlich unterschiedlich...

Ich versuche, die Algorithmen von Peterson und Dekker zu verstehen, die sehr ähnlich sind und viele Symmetrien aufweisen. Ich habe versucht, die Algorithmen in informeller Sprache wie folgt zu formulieren: Peterson's: "I want to enter." flag[0]=true; "You can enter next." turn=1; "If you want to...

Nachdem ich mehrere Quellen gelesen habe, bin ich immer noch verwirrt über Threads auf Benutzer- und Kernelebene. Bestimmtes: Threads können sowohl auf Benutzerebene als auch auf Kernelebene vorhanden sein Was ist der Unterschied zwischen der Benutzerebene und der Kernelebene?

Ich höre oft Sätze wie "echte Nebenläufigkeitssemantik" und "echte Nebenläufigkeitsäquivalenzen" ohne Referenzen. Was bedeuten diese Begriffe und warum sind sie wichtig? Was sind einige Beispiele für echte Gleichzeitigkeiten und wozu sind sie erforderlich? ZB in welchen Fällen sind sie besser...

Meines Wissens gibt es drei Hauptprozessalgebren, die eine breite Palette von Forschungen zu formalen Modellen der Parallelität inspiriert haben. Diese sind: CCS und Kalkül beide von Robin Milnerππ\pi CSP von Tony Hoare und ACP von Jan Bergstra und Jan Willem Klop Alle drei scheinen bis heute eine...

Ich habe in letzter Zeit ein bisschen Literatur gelesen und einige interessante Datenstrukturen gefunden. Ich habe verschiedene Methoden untersucht, um die Aktualisierungszeiten auf Worst-Case-Aktualisierungszeit [1-7] herabzusetzen.O ( 1 )O(1)\mathcal{O}(1) Vor kurzem habe ich begonnen, mich mit...

Ich habe ein Datenbankprotokoll, in dem einige Transaktionen gewinnen (sie werden vor dem Absturz festgeschrieben) und andere verlieren (noch nicht festgeschrieben). Wir haben in der Klasse gelernt, dass die Aktionen der Verlierer rückwärts rückgängig gemacht werden müssen. Gibt es einen Grund,...

Sperren werden normalerweise durch Test-and-Set- und Swap-Anweisungen auf Maschinenebene implementiert. Gibt es andere Implementierungen, die diese nicht verwenden? Können wir auch sagen, dass alle Lösungen auf Hardwareebene für das Problem des kritischen Abschnitts in nur drei Kategorien...

Laut Wikipedia , Die Test-and-Set-Operation kann das wartefreie Konsensproblem für nicht mehr als zwei gleichzeitige Prozesse lösen. Warum kann es das Problem nicht für mehr als zwei Prozesse

Wenn wir uns das Actor Model und Communicating Sequential Processes ansehen, stellen wir fest, dass beide versuchen, auf der Grundlage der Nachrichtenübergabe eine Parallelität herzustellen , aber sie unterscheiden sich . (Wir sehen Implementierungen des CSP Modell in go-lang ‚s goroutines (und...

Ich habe über Stack-basierte Programmiersprachen wie FORTH und Cat gelesen , und es scheint, dass sie aufgrund ihrer Natur immer nur eine Aktion gleichzeitig ausführen können, unabhängig von ihrem Paradigma (FORTH ist unerlässlich, während Cat funktionsfähig ist). Eine imperative Sprache würde den...

Ich habe über die Unterschiede zwischen Serialisierbarkeit und Linearisierbarkeit gelesen , die beide Konsistenzkriterien für replizierte Systeme wie replizierte Datenbanken sind. Ich weiß jedoch nicht, in welchen Fällen Linearisierbarkeit erforderlich wäre, obwohl sie stärker ist als...

Ich entwerfe eine speicherinterne Objektdatenbank für einen bestimmten Anwendungsfall. Es ist ein einzelner Writer, muss jedoch effiziente gleichzeitige Lesevorgänge unterstützen. Lesevorgänge müssen isoliert werden. Es gibt keine Abfragesprache, die Datenbank unterstützt nur: Objekt / -s nach...

Mit anderen Worten, welche Vorteile hat Hybrid-Threading gegenüber 1: 1 (nur Kernel) und N: 1 (nur Benutzer)? Dies ist eine Fortsetzung von Was ist der Unterschied zwischen Threads auf Benutzerebene und Threads auf

Gibt es irgendwelche Änderungen, die an CPUs vorgenommen werden könnten, um sie für gleichzeitige Laufzeiten wie Rust leistungsfähiger zu machen? Gibt es beispielsweise Änderungen an Implementierungen für die Verzweigungsvorhersage oder an den Cachegrößen, die zu gleichzeitigen Laufzeiten führen...

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 CCS- Prozess modelliert...

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...

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...

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...

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...