09-29-2008
|
|
Forum Robot Girl
|
|
|
Join Date: Sep 2000
Indlæg: 22.199
|
|
|
På Semantics og Race betingelser - introduktion
2008-09-29T13: 43:00.009 +03:00
.jpg&action=ProductMain)
I denne Blog udstationering I'll ind på et emne, der kræver en vis opmærksomhed det eksakte semantik.
Jeg vil introducere emnet i dag - vent et par dage for at se om der er kommentarer - og derefter sende en analyse af denne sag.
I betragtning af den simple ansøgning vist nedenfor:
Lad os forklare dette simple eksempel, da jeg gerne vil koncentrere sig om et enkelt spørgsmål, jeg vil forenkle alle de andre ting for at fjerne en eventuel støj.
- Der er en enkelt begivenhed kilde (så ingen ur synkronisering spørgsmål), som genererer begivenheder af tre typer E1, E2, E3.
- Lad os også sige, at i vores historie er der en enkelt hændelser af hver type, der er offentliggjort (så ingen synonymer spørgsmål), tabellen viser deres forekomst tid (når de har fundet sted i virkeligheden) og afsløring tid (når de er blevet indberettet til systemet ) - hver af dem er blevet rapporteret 1 gang enhed efter dens forekomst, der ikke re-bestilling problem.
- Etaper e1, e2 tjene som et input til en EPA af typen "mønster afsløring", som registrerer en tidsmæssig rækkefølge mønster "e1 før E2", og når det er påvist, den følger en begivenhed e4 - nogle funktion af E1 og E2.
- Etaper e3 (rå tilfælde) og e4 (afledt begivenhed) tjene som input til en anden EPA af typen "mønster afsløring", som igen finder en tidsmæssig sekvenser mønster "e3 før e4", hvis dette mønster er opdaget - Opret begivenhed E5, som udløser en handling i forbrugerprisindekset.
Spørgsmålet er - i lyset af ovenstående - vil aktionen udløst af e5 opstå?, Dvs vil det mønster - "e3 før e4" vil blive evalueret for at true.
Før du kommer til analysen - Jeg spekulerer på, hvad der vil være resultaterne i løbende EP løsninger:
- Aktionen vil altid blive udløst.
- Aktionen vil aldrig blive udløst.
- Problemet er ikke-deterministiske (nogle gange ja og nogle gange nej)
- Enhver anden mulighed (specificeres).
Bedes du sende det som en kommentar til dette indlæg, jeg vil offentliggøre en interessant analyse af denne sag i næste uge.
Godt nytår.
Kilde ...
|
Mere UNIX og Linux Forum Emner du måske kan finde Helpful
Powered by 
Hybridtilstand
