Il Semantica e Condizioni Race - introduzione

iBot · #1 (**permalink**) 09-29-2008

2008-09-29T13: 43:00.009 +03:00

In questo Blog di distacco mi toccano un problema che richiede una certa attenzione per l'esatta semantica.

I'll introdurre il tema di oggi - attendere qualche giorno per vedere se ci sono commenti - e poi l'analisi di questo caso.

Data la semplice applicazione di seguito indicato:

Spieghiamo questo semplice esempio, perché vorrei concentrarmi su un unico tema, I'll semplificare tutte le altre cose al fine di eliminare qualsiasi rumore.

Non vi è un singolo evento fonte (quindi non problemi di sincronizzazione di clock) che genera gli eventi di tre tipi E1, E2, E3.
Consentitemi di dire che anche nella nostra storia non vi è un unico eventi di ogni tipo che è stato pubblicato (in modo non sinonimi questioni), la tabella mostra l'incidenza tempo (quando si è verificato nella realtà) e l'individuazione tempo (quando sono stati segnalati al sistema ) - ciascuno di essi è stata riportata 1 unità di tempo dopo la sua comparsa, non riordinazione problema.
Eventi E1, E2 servire come input per un accordo di partenariato economico di tipo "del modello di rilevazione", che rileva una sequenza temporale modello "e1 prima e2", e quando questo viene rilevato, deriva un evento e4 - qualche funzione di E1 ed E2.
Eventi e3 (greggio caso) e e4 (evento derivati) servono come input per un altro tipo di APE "modello di rilevazione", che individua un nuovo modello di sequenze temporali "e3 prima e4", se questo modello viene rilevato - creare e5 evento che fa scattare alcuni azione nel consumatore.

La questione è - dato di cui sopra - che l'azione innescata da e5 verificarsi?, Vale a dire che il modello - "e3 prima e4" saranno valutate a true.

Prima di arrivare al analisi - mi chiedo quali saranno i risultati nel corso del PE soluzioni:

L'azione sarà sempre attivato.
L'azione non sarà mai attivato.
Il comportamento non è deterministico (a volte sì ea volte no)
Qualsiasi altra possibilità (specificare).

Si prega di inviare un commento a questo post, I'll pubblica una interessante analisi di questo caso, la prossima settimana.

Felice Anno Nuovo.

Fonte ...

Più di UNIX e Linux Forum Argomenti potreste trovare utili
Filo	Thread Starter	Forum	Risposte	Ultimo Post
se poi le dichiarazioni di due condizioni ...?	audiophile	Shell scripting e di programmazione	3	09-19-2008 02:42 PM
Due condizioni, se in una dichiarazione	Borobudur	UNIX for Dummies Domande & Risposte	5	07-28-2008 09:51 PM
se in condizioni più / poi	grandtheftander	UNIX for Dummies Domande & Risposte	4	07-21-2006 01:58 PM
dichiarazione, se le due condizioni	cin2000	Shell scripting e di programmazione	1	01-23-2006 03:21 PM
dichiarazione, se le due condizioni-e, & &	yongho	Shell scripting e di programmazione	16	06-14-2005 04:46 PM

Thread Tools	Cerca in questo Thread
Visualizza Versione stampabile Invia questa pagina	Cerca in questo Thread: Ricerca Avanzata
Modalità di visualizzazione	Vota questo thread
Passa alla modalità lineare Hybrid Mode Switch to Threaded Mode	Vota questo thread:


	Powered by