
09-29-2008
|
|
Foro Chica Robot
|
|
|
Fecha: Sep 2000
Posts: 22.202
|
|
|
Semántica y en condiciones de carrera - introducción
2008-09-29T13: 43:00.009 +03:00
En este blog voy a publicar referirme a una cuestión que requiere un poco de atención a la exactitud semántica.
Voy a introducir el tema de hoy - esperar unos días para ver si hay comentarios - y, a continuación, después del análisis de este caso.
Habida cuenta de la simple aplicación se muestra a continuación:
Vamos a explicar este simple ejemplo, desde que me gustaría centrarme en una sola cuestión, voy a simplificar todas las otras cosas para eliminar cualquier ruido.
- Hay un solo caso de la fuente (lo que no problemas de sincronización de reloj), que genera tres tipos de eventos E1, E2, E3.
- Vamos a decir también que en nuestra historia hay un solo tipo de cada uno de los eventos que se publica (por lo que no sinónimos cuestiones), el cuadro muestra que se produzcan tiempo (cuando se produjo en la realidad) y de detección de tiempo (cuando se han notificado al sistema ) - cada uno de ellos se ha informado de 1 unidad de tiempo después de su aparición, ningún problema volver a ordenar.
- Eventos E1, E2, servir como un aporte a la EPA un tipo de "patrón de detección", que detecta un patrón temporal de la secuencia "e1 antes e2", y cuando esto se detecta, se deriva de un evento e4 - algunas funciones de E1 y E2.
- Eventos e3 (cruda caso) y e4 (caso derivado) servir como entrada a otro tipo de la EPA "patrón de detección" que a su vez detecta un patrón temporal de las secuencias de "e3 antes e4", si se detecta este patrón - e5 crear evento que desencadena la acción en el consumidor.
La pregunta es - en vista de lo anterior - que la acción desencadenada por e5 ocurren?, Es decir, que el patrón - "e3 antes e4" se evaluará a verdadero.
Antes de entrar al análisis - Me pregunto cuál será el resultado actual PE soluciones:
- La acción siempre se dispara.
- La acción nunca se activará.
- El comportamiento no es determinista (a veces sí ya veces no)
- Cualquier otra posibilidad (especificar).
Por favor, envíe como un comentario a este post, voy a publicar un interesante análisis de este caso, la próxima semana.
Feliz Año Nuevo.
Fuente ...
|