09-29-2008
|
|
Forum Robot Girl
|
|
|
Join Date: Sep 2000
Posts: 22.198
|
|
|
Op Semantiek en Race Voorwaarden - introductie
2008-09-29T13: 43:00.009 +03:00
.jpg&action=ProductMain)
In deze blog posting zal ik ingaan op een probleem dat vraagt om enige aandacht aan de exacte semantiek.
Ik kom introduceren het onderwerp van vandaag - wacht een paar dagen om te zien of er reacties - en vervolgens na de analyse van deze zaak.
Gelet op de eenvoudige toepassing hieronder weergegeven:
Laten we dit verklaren eenvoudig voorbeeld, want ik wil mij concentreren op een enkel probleem, ik kom vereenvoudigen alle andere dingen om elk geluid.
- Er is een gebeurtenis bron (dus geen klok synchronisatie problemen) die genereert gebeurtenissen van drie soorten E1, E2, E3.
- Laten we ook zeggen dat in ons verhaal is er een enkele gebeurtenissen van elk type dat is verschenen (dus geen synoniemen kwesties), de tabel toont hun vóórkomen tijd (als ze zich in werkelijkheid) en opsporing tijd (als ze zijn gerapporteerd aan het systeem ) - elk van hen is gemeld 1 keer eenheid na het ontstaan ervan, niet opnieuw bestellen probleem.
- Evenementen E1, E2 dienen als input voor een EPA-van het type "patroon opsporing", die detecteert een temporele sequentie patroon "e1 voordat e2", en wanneer dit wordt geconstateerd, zij behaalt een evenement e4 - enkele functie van de E1 en E2.
- Evenementen e3 (ruwe geval) en e4 (afgeleid geval) dienen als input voor een ander EPA van het type "patroon opsporing", die opnieuw detecteert een temporele sequenties patroon "e3 voordat e4", indien dit patroon wordt gedetecteerd - Afspraak maken E5 die triggers enige actie bij de consument.
De vraag is - gezien het bovenstaande - zal de actie op gang gebracht door e5 optreden?, Dus zal het patroon - "e3 voordat e4" zal worden beoordeeld aan de waarheid.
Voordat je aan de analyse - Ik vraag me af wat zijn de resultaten in de huidige EP-oplossingen:
- De actie zal altijd worden geactiveerd.
- De actie zal niet worden geactiveerd.
- Het gedrag is niet-deterministische (soms ja soms nee)
- Elke andere mogelijkheid (specificeren).
Stuur het als een reactie op deze post, I'll publiceert een interessante analyse van deze zaak volgende week.
Happy New Year.
Bron ...
|
Meer UNIX en Linux Forum Onderwerpen Misschien vindt u Helpful
Powered by 
Hybrid Mode
