09-29-2008
|
|
Forum Robot Girl
|
|
|
Join Date: Sep 2000
Beiträge: 22.258
|
|
|
Am Semantik und Race Conditions - Einführung
2008-09-29T13: 43:00.009 +03:00
.jpg&action=ProductMain)
In diesem Blog Entsendung ich kurz auf ein Problem, das erfordert einige Aufmerksamkeit auf die genaue Semantik.
Ich werde das Thema heute - ein paar Tage warten, um zu sehen, wenn es Kommentare - und dann nach der Analyse des vorliegenden Falles.
Aufgrund der einfachen Anwendung wie folgt:
Lassen Sie uns erklären, dieses einfache Beispiel, denn ich möchte mich auf ein einziges Thema, werde ich alle anderen Dinge zu vereinfachen, damit kein Lärm.
- Es ist ein einmaliges Ereignis Quelle (so dass keine Fragen Taktsynchronisation) erzeugt, die Ereignisse von drei Arten E1, E2, E3.
- Lassen Sie uns auch sagen, dass es in unserer Geschichte gibt es einen einzigen Ereignisse jeder Art, die veröffentlicht werden (so dass keine Fragen Synonyme) zeigt die Tabelle, deren Auftreten Zeit (wenn sie in Wirklichkeit) und die Aufdeckung Zeit (wenn sie wurden an das System ) - jeder von ihnen wurde 1 mal Einheit nach ihrer Eintrittswahrscheinlichkeit, keine Re-Bestellung Problem.
- Veranstaltungen E1, E2 als Beitrag zu einer EPA vom Typ "Pattern Detection" erkennt, die eine zeitliche Reihenfolge Muster "E1 vor e2", und wenn dies erkannt wird, es ergibt sich ein Ereignis E4 - einige Funktionen von E1 und E2.
- Events E3 (Roh-Ereignis) und E4 (abgeleitet event) dienen als Input für die anderen EPA vom Typ "Muster-Erkennung", die wieder eine zeitliche Sequenzen erkennt Muster "E3 vor e4", wenn dieses Muster erkannt wird - die Event e5 löst eine Aktion in der Verbraucher.
Die Frage ist - in Anbetracht der oben - wird die Aktion durch e5 auftreten?, Also wird das Muster - "E3 vor e4" bewertet werden, um wahr.
Bevor ich auf die Analyse - Ich frage mich, was werden die Ergebnisse in der aktuellen EP-Lösungen:
- Die Aktion wird immer ausgelöst.
- Die Aktion wird nie ausgelöst.
- Das Verhalten ist nicht deterministisch (manchmal ja, manchmal nein)
- Jede andere Möglichkeit (bitte angeben).
Bitte senden Sie sie als einen Kommentar zu diesem Post, ich werde veröffentlichen eine interessante Analyse des vorliegenden Falles der nächsten Woche.
Happy New Year.
Quelle ...
|
Mehr UNIX-und Linux-Forum Themen Vielleicht finden Sie hilfreiche
Powered by 
Hybrid-Modus
