09-29-2008
|
|
Forum Robot Girl
|
|
|
Bli Dato: Sep 2000
Posts: 22264
|
|
|
På Semantics og Race Conditions - innledning
2008-09-29T13: 43:00.009 +03:00
.jpg&action=ProductMain)
I denne bloggen oppslaget jeg skal røre ved en sak som krever litt oppmerksomhet til den eksakte semantikk.
Jeg skal introdusere emnet i dag - vente noen dager for å se om det er kommentarer - og deretter legge analysen av denne saken.
Gitt det enkle programmet vises nedenfor:
La oss forklare dette enkelt eksempel, siden jeg ønsker å konsentrere seg om en enkelt sak, vil jeg forenkle alle andre ting å eliminere støy.
- Det er et enkelt Hendelseskilde (så ingen klokke synkronisering problemer) som genererer arrangementer av tre typer E1, E2, E3.
- La oss også si at i vår historie er det et enkelt arrangement av hver type som er publisert (så ingen synonymer utgaver), tabellen viser deres forekomst tid (når de skjedde i virkeligheten) og gjenkjenning tid (når de har blitt rapportert til systemet ) - hver av dem har blitt rapportert 1 time etter sitt forekomst, ingen re-bestilling problem.
- Events E1, E2 tjene som et innspill til en EPA av typen "mønster gjenkjenning" som oppdager en timelig sekvens mønsteret "E1 før E2", og når dette er registrert, det kommer en hendelse E4 - noen funksjon E1 og E2.
- Events E3 (rå hendelse) og E4 (avledet hendelse) tjene som innspill til en annen EPA av typen "mønster gjenkjenning", som igjen oppdager en timelig sekvenser mønsteret "E3 før E4", hvis dette mønsteret er oppdaget - opprett hendelse E5 som utløser en handling på forbrukeren.
Spørsmålet er - gitt ovenfor - vil handlingen utløses av E5 skje?, Dvs. vil mønsteret - "E3 før E4" vil bli vurdert til stede.
Før du analysen - Jeg lurer på hva som vil bli resultatet i dagens EP løsninger:
- Handlingen vil alltid være utløst.
- Handlingen vil aldri bli utløst.
- Atferden er ikke-deterministisk (noen ganger ja og noen ganger ikke)
- Eventuelle andre muligheten (spesifiser).
Vennligst send det som en kommentar til dette innlegget, vil jeg publisere en interessant analyse av denne saken i neste uke.
Godt nytt år.
Kilde ...
|
Mer UNIX og Linux Forum Emner Du kan finne nyttig
Powered by 
Hybridmodus
