Diskussion:Nebenläufigkeit

aus Wikipedia, der freien Enzyklopädie

Inhaltsverzeichnis 1 Kategorie / Begriffstrennung 2 Minkowski 3 Bild 4 Bild 2 korrekt?

[Bearbeiten] Kategorie / Begriffstrennung

Der Artikel beschäftigt sich zur Hälfte mit Nebenläufigkeit (Informatik) und zur anderen Hälfte mit der allgemeinen Definition der Nebenläufigkeit, die Kategorien sind aber nur die der Informatik. Vorschlag: Unter diesem Stichwort die allgemeinen Erklärungen, mit Begriffslink zu Nebenläufigkeit (Informatik), letzteres in eigenem Beitrag. Dann wären die Kategorien der allgemeinen Nebenläufigkeit hier richtig am Platz. Macht das mal! mfG --HartmutS 20:43, 11. Jan 2006 (CET)

[Bearbeiten] Minkowski

Die Verbindung von Minkowski-Diagramm und "Nebenläufigkeit" ist m.E. ein Neologismus. Zwei Ereignisse sind "raumartig" zueinander gelegen, oder ein Raum-Zeit Gebiet O' liegt im "kausalen Komplement" eines anderen Raum-Zeit Gebiets O. Auch Google hat keine Treffer für die Kombination "Minkowski Nebenläufigkeit" oder "raumartih Nebenläufigkeit". Also was ist die Quelle? -- Pjacobi 22:34, 11. Aug 2004 (CEST)

Der vergleich mit dem Minkowski-Diagramm stammt von einem genialen Proff aus einer Vorlesung (ich versuche, das Script zu finden...). Wenn man sich die formale Definition der Nebenläufigkeit anschaut, läuft sie darauf hinaus, dass all dass in der Vergangenheit eines Ereignisses liegt, was das Ereignis beinflusst haben könnte, eben dadurch das eine Nachricht übertragen wurde. Das entspricht exakt dem Minkowsi-Diagramm: In einem Netzwerk breitet sich der Zukunftslichtkegel entlag aller übermittelten Signale aus - ansonsten sind die Modelle identisch. Genau wie bei der Relativitätsthorie hängt die gleichzeitigkeit von Ereignissen vom Standpunkt des betrachters ab.

Die Parallele ist zwar nicht sehr bekannt, hilf aber mMn enorm dem Verständnis der Sache. Sehr anschaulich ist das bei Vektoruhren - den Artikel dazu werde ich aber erst morgen schreiben. Hier ist eine Webseite zum Thema: http://dsonline.computer.org/0202/features/bal.htm.

Gruss, D. Düsentrieb (?!) 23:23, 11. Aug 2004 (CEST)

Ich finde weiterhin, a) daß die Paralelle übertrieben ist und b) daß sie eine Neuschöpfung ist. Und was soll jetzt der Zusammenhang mit Gleichzeitigkeit? Raumartigkeit im Minkowski-Diagramm ist nicht vom Bezugssystem abhängig.

Die Nebenläufigkeit ist dann so definiert, dass zwei Aktionen nebenläufig sind, wenn keine von ihnen Voraussetzung der anderen ist ist doch ein viel bessere Ausgangspubkt für einen Informatik Artikel.

Pjacobi 23:38, 11. Aug 2004 (CEST)

Ich habe gerade herausgefunden, woher ich die Idee mit der Minkowski-Geometrie und der Kausalität in Verteilten Systemen hatte: Der Vergleich von Nebenläufigkeit/Kausalität mit der Ensteinschen Raumzeit und der Minkowski-Geometrie stammt von einem der führenden Köpfen der Theoretischen Informatik: Leslie Lamport. er schreibt in bisschen dazu auf seiner Homepage: [1]. Viel mehr zu diesem Thema findet man, wenn man nach bei Google der Kombination "Lamport Minkowski" sucht: [2]. Ich hoffe, das erhellt die angelegenheit etwas. Ich werde später noch etwas zu Vektoruhren schrieben und den Artikel zur Kausalität (und evtl auch Nebenläufigkeit) mit ein paar Diagrammen dekorieren. Ich hoffe, der Zusammenhang wird dann ersichtlich. -- D. Düsentrieb (?!) 21:47, 12. Aug 2004 (CEST)

Ich werde mal durch die Quellen gehen. Unabhängig davon, scheint es mit didaktisch unklug, in der Einleitung mit Minkowski zu kommen. Ich schlage vor, den Vergleich nach unten zu schieben, und dann so etwa:

• Wie Leslie Lamport bereits 1978 ausführte, ... Paralle zu .... Minkowski ... Spezielle Relativitätstheorie

Pjacobi 22:49, 12. Aug 2004 (CEST)

[Bearbeiten] Bild

Was meint A, B, C, A1, A2, .... ? Pjacobi 23:58, 12. Aug 2004 (CEST)

A, B und C sind Prozesse (oder Orte), A1, A2 usw sind Ereignisse in diesen Prozessen (bzw. an diesen Orten). Die Pfile stellen die Übertragung von Nachrichten (bzw. von Effekten) dar. Ich werde das mal auf der Bildseite näher erklären.

Den Minkowski habe ich schon, unabhängig von deinem Kommentar oben, schon an eine weniger prominente Stelle verschoben. Den Hinweis auf Lamport baue ich noch ein. -- D. Düsentrieb (?!) 00:25, 13. Aug 2004 (CEST)

Was soll es im Zusammenhang von "wird benötigt von", bedeuten daß A1 und A2 im gleichen Prozeß liegen? Eine zusätzliche nicht als Pfeil eingezeichnete "wird benötigt von" Relation? Dann ist die Halbordung durch Aufzählung gegeben:

a1<a2 a2<a3 a3<a4
b1<b2 b2<b3 b3<b4 b4<b5
c1<c2 c2<c3 c3<c4 c4<c5
c1<b1 b2<a1 b3<c2 a2<b4
c3<a3 b5<c4 c5<a4

Ich glaube, ich sehe es jetzt. Pjacobi 00:39, 13. Aug 2004 (CEST)

ja, genau. Mehr Bilder und mehr Erläuterungen unter Kausalität folgen dann morgen. -- D. Düsentrieb (?!) 02:51, 13. Aug 2004 (CEST)

Hallo nochmal. Vergleiche doch mal diese beiden Diagramme:

ich finde die Ähnlichkeit augenfällig (nur um 90° gedreht, eben). Die ähnlichkeit ist dabei nicht nur rein graphisch: in beiden Fällen wird der Zeit eine neue Komponente naben "Vergangenheit", "Zukunft" und "Gegenwart" hinzugefügt: das "Anderswo", bzw. das nebenläufige. Eventuell sollte sogar der Zeitpfeil aud den Diagramm zur Nebenläufigkeit entfallen - er ist nicht Relevant! -- D. Düsentrieb (?!) 20:42, 14. Aug 2004 (CEST)

Beim Bild Nebenläufigkeit ist es eine relevante Informatione, daß Ereignisse die gleiche y-Koordinate haben: Sie liegen im selben Prozeß. Beim Minkowski-Diagramm ist es keine relevante Information, wenn Ereignisse die gleiche x-Koordinate haben: Nur in einem Bezugssystem haben sie die gleiche Ortskoordinate. Pjacobi 20:48, 14. Aug 2004 (CEST)

Du täuschst dich: Die Raum-Koordinate ist für die Nebenläufigkeit genause irrelevant wie für das Minkowski-Diagramm, sie ist lediglich hilfreich zur Verdeutlichung der Anwendung auf Computer-Prozesse (im Diagramm sind daher die Nachrichten innerhalb eines Prozesses implizit). Aber das ganze gilt ja auch für die Planung, also bevor festegelegt ist, welcher Prozess welche Aktion ausführt. Betrachte folgendes Diagramm:

Ich hoffe, das macht es klarer. Evtl werde ich dieses Bild auch noch in den Artikel einbauen. Was meinst du? -- D. Düsentrieb (?!) 21:30, 14. Aug 2004 (CEST)

Das Bild ist klarer. Übrigens ist C1=>C2 redundant. Pjacobi 18:46, 17. Aug 2004 (CEST)

Ok, dan verschönere ich das Bild noch ein bisschen und bau's in den Artikel ein. Dass der graph redundate Informationen enthält ist übrigens kein fehler: Die Pfeile zeigen alle kausalen Abhängigkeiten, die Explizit verlangt werden. Wenn der ein oder andere sich bereits ergibt, ist das nur natürlich. -- D. Düsentrieb (?!)

---

Minkowski-Diagramme? Warum nicht gleich Feynmann Diagramme? :-) Threads und Antithreads bringen die CPU zum Glühen.. :) Wo sind die Lichtkegel? Ausserhalb des Lichtkegels sind Prozesse derart nebenläufig, dass ich sie physikalisch nicht mehr sehe. Das ist Prozesstrennung. :)

Aber Spass beiseite.

Hier fehlen noch ein paar Informationen im Artikel, die ich gerne sehen würde. Also Sprachen die von Grund auf mit Nebenläufigkeit entworfen worden sind, wie Erlang und in der Industrie PEARL. Dann bei den Mechanismen habe ich glaube ich gerade das Message Passing vermisst. Gerade bei PEARL sind Verweise zu Echtzeitsystemen und Sicherheitsgerichteten Systemen eine schöne Sache. Dann sollte man die Theorie etwas anreissen. Von Hoare müsste es was namens CSP (oder so) geben, der hat nicht nur die Monitore ausgedacht. Semaphoren stammen von Dijkstra. Etwas neuer ist die Verallgemeinerung des Lambda Kalküls auf nebenläufige Prozesse, dass schimpft sich dann Pi Kalkül -- die engl. Wikipedia hat dazu einen Eintrag, der auf eine Übersetzung wartet. Dann halt der Automatentheoriekram, Spiele und Petrinetze..

--Marc van Woerkom 16:21, 2. Sep 2004 (CEST)

Au ja, mach mal! Allerdings wären die Details zu den Synchronisationsmechanismen evtl. besser in einem eigenen Artikel untergebracht. Mir fällt nur kein guter Titel dafür ein. Synchronisation ist so schon überladen... -- D. Düsentrieb (?!) 16:56, 2. Sep 2004 (CEST)

[Bearbeiten] Bild 2 korrekt?

Hallo, ich glaube im zweiten Bild hat sich ein Fehler eingeschlichen bzw. es passt nicht zum ersten Bild. Im ersten Bild ist B4 nicht nebenläufig zu A2 (A2 < B4), im zweiten Bild schon. Vielleicht könnte das jemand überprüfen?