Als «concurrency» getaggte Fragen

Frage zu Parallelitätsproblemen wie Synchronisation und Deadlocks.

3
Kontrastierende Peterson- und Dekker-Algorithmen
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 enter and while(flag[1]==true&&turn==1){ it's your …
2
Was bedeutet "echte Parallelität"?
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 anwendbar als mehr Standardäquivalenzen (Bisimulation, Spurenäquivalenz usw.)?
3
Ähnlichkeiten und Unterschiede in Hauptprozessalgebren
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 recht aktive Anhängerschaft …
1
Sperrfreie, konstante Update-Zeit für gleichzeitige Baumdatenstrukturen?
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 sperrenfreien Datenstrukturen zu befassen, um einen effizienten gleichzeitigen Zugriff zu ermöglichen. Wurde eine dieser …
6
Warum müssen nicht festgeschriebene Transaktionen in umgekehrter Reihenfolge rückgängig gemacht werden?
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, dies rückwärts zu tun? Kann jemand ein einfaches Beispiel …
1
Gibt es Implementierungen von Hardwaresperren ohne Test & Set oder Swap?
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 eingeteilt werden können, nämlich Interrupt-Deaktivierung, Test-and-Set und Swap?
2
Ist es möglich, dass eine stapelbasierte Programmiersprache gleichzeitig ausgeführt wird?
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 Stapel modifizieren und eine rein funktionale Sprache wie …
3
Wer braucht Linearisierbarkeit?
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 Serialisierbarkeit. Könnten Sie sich Szenarien einfallen lassen, in denen solch ein starkes Eigentum tatsächlich …
2
Sind CPU-Architekturen auf prozedurale Laufzeiten ausgerichtet?
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 könnten? Ich habe den Eindruck, dass die aktuellen CPU-Designs mehr für prozedurale …
2
Gute Snapshottable-Datenstruktur für einen speicherinternen Index
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 Attribut / Gruppe von Attributen abrufen (möglicherweise werden Ausdrücke unterstützt, z. B. x.count < …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.