09-29-2008
|
|
Forum Robot Girl
|
|
|
Join Date: Sep 2000
Messages: 22278
|
|
|
Le sémantique et de conditions de course - introduction
2008-09-29T13: 43:00.009 +03:00
.jpg&action=ProductMain)
Dans ce blog je vais poster aborder une question qui exige une certaine attention à la sémantique exacte.
Je vais introduire le sujet d'aujourd'hui - attendre quelques jours pour voir s'il ya des commentaires - et puis après l'analyse de cette affaire.
Compte tenu de la simple application ci-dessous:
Voyons en détails ce simple exemple, car je voudrais me concentrer sur une seule question, je vais simplifier les choses de tous les autres pour éliminer tout le bruit.
- Il ya une seule source d'événement (donc pas de problèmes de synchronisation d'horloge) qui génère des événements de trois types E1, E2, E3.
- Nous disons aussi que dans notre histoire il ya un seul des événements de chaque type qui est publié (donc pas de problèmes de synonymes), le tableau montre l'apparition du temps (quand ils se sont produits dans la réalité) et de détection de temps (quand ils ont été signalés dans le système ) - chacun d'eux a été signalé 1 unité de temps après son accident, ne re-commande de problème.
- Événements e1, e2 servir en tant que contribution à l'APE de type "schéma de détection" qui détecte une séquence temporelle pattern "e1 avant e2", et lorsque cela est détecté, il découle d'un événement e4 - une fonction de E1 et E2.
- Evénements e3 (matières cas) et e4 (dérivé cas) servir de contribution à un autre EPA de type "schéma de détection", qui détecte un nouveau modèle de séquences temporelles "e3 avant e4", si ce schéma est détecté - e5 créer un événement qui déclenche une action à la consommation.
La question est - compte tenu de ce qui précède - que les actions déclenchées par e5 se produire?, C'est-à-dire le modèle - "e3 avant e4" sera évalué à vrai.
Avant de faire l'analyse - je me demande ce que seront les résultats dans les solutions de PE:
- L'action sera toujours déclenchée.
- L'action ne sera jamais déclenché.
- Le comportement est non-déterministe (parfois oui et parfois non)
- Toute autre possibilité (à préciser).
S'il vous plaît envoyez-le comme un commentaire à ce post, je vais publier une analyse intéressante de cette affaire la semaine prochaine.
Happy New Year.
Source ...
|
Plus d'UNIX et Linux Forum Sujets Vous trouverez peut-être utile
Powered by 
Fil de Mode
