09-29-2008
|
|
Forum Robot Girl
|
|
|
Join Date: Sep 2000
Inlägg: 22.250
|
|
|
På Semantics och Race Villkor - introduktion
2008-09-29T13: 43:00.009 +03:00
.jpg&action=ProductMain)
I den här bloggen utstationering jag beröra en fråga som kräver en del uppmärksamhet på exakt semantik.
Jag ska införa ämne idag - vänta ett par dagar för att se om det finns kommentarer - och sedan efter en analys av detta fall.
Med tanke på den enkla tillämpningen visas nedan:
Låt oss förklara detta enkla exempel, eftersom jag vill koncentrera sig på en enda fråga, jag förenkla allt annat för att undanröja eventuella buller.
- Det är en enskild händelse källa (så ingen klocka synkroniseringsproblem) som genererar händelser av tre typer E1, E2, E3.
- Låt oss också säga att i vår historia finns det en enda händelserna av varje typ som offentliggörs (så inga synonymer frågor) visar tabellen Förekomst Temne (när de inträffade i verkligheten) och upptäckt Temne (när de har rapporterats till systemet ) - var och en av dem har rapporterats 1 Temne enhet efter händelsen, ingen ny beställning problem.
- Åtgärd E1, E2 tjäna som en ingång till en EPA av typen "mönster upptäckt", som upptäcker en temporal sekvens mönster "e1 innan e2", och när detta upptäcks, det kommer en händelse E4 - vissa funktioner E1 och E2.
- Evenemang e3 (rå händelse) och E4 (som händelse) fungera som input till en annan EPA av typen "mönster upptäckt", som en gång upptäcker en temporal sequences mönster "e3 innan e4", om detta mönster upptäcks - skapa händelsen E5 som stimulerar vissa åtgärder hos konsumenterna.
Frågan är - med tanke på ovan - att den åtgärd som utlöses av e5 inträffa?, Det vill säga att mönstret - "e3 före e4" kommer att utvärderas till sant.
Innan jag går till analys - Jag undrar vad som kommer att resultaten i löpande EP lösningar:
- Åtgärden kommer alltid att utlösas.
- Åtgärden kommer aldrig utlöses.
- Beteendet är icke-deterministiska (ibland ja och ibland nej)
- En annan möjlighet (specificera).
Vänligen skicka det som en kommentar till det här inlägget kommer jag att publicera en intressant analys av detta fall nästa vecka.
Happy New Year.
Källa ...
|
Mer UNIX och Linux Forum Ämnen Du kan hitta Helpful
Powered by 
Hybridläge
