|
Más sobre la semántica y las condiciones de carrera
2008-10-11T09: 01:00.011 +02:00
 En el anterior anuncio He planteado sceanario los siguientes:
Habida cuenta de la simple aplicación se muestra a continuación:
- 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.
También pedí a 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" ser evaluado a la verdadera?
Tengo unas pocas respuestas a esta y se puede leer como comentarios a la publicación original, como se prometió estoy dedicando a los anuncios de este análisis de este sencillo procedimiento:
Lo primero que hay que discutir es la semántica de la "secuencia temporal". Existen dos tipos posibles de la semántica de la secuencia temporal, lo que yo llamo "tiempo de detección de la semántica" y "ocurrencia tiempo semántica".
- El tiempo de detección de la semántica se aplica en varios idiomas, y significa que el orden temporal es el orden de los sellos de tiempo en el que la "plataforma de procesamiento de evento" detecta que se produzca el hecho; si hay un solo hilo de esa detección, y luego de los acontecimientos son totalmente ordenado, de lo contrario, puede haber varios eventos con la misma "detección de tiempo".
- La aparición tiempo semántica también llevó a cabo en varios idiomas, significa que el orden temporal es el orden de los sellos de tiempo que se proporcionan como parte de la información del evento, y designar - cuando este evento ocurre en la realidad. Hay cierta complejidad de sincronización de tiempo de varios productores en el medio ambiente, sin embargo, en este ejemplo suponemos que un solo fabricante (Voy a escribir acerca de varios casos de productores en otra publicación).
- Tenga en cuenta que este fin dos relaciones no pueden ser idénticas.
- También hay tipo de solución híbrida ( "pedido total semántica") - la semántica es realmente "el tiempo de detección de" la semántica, pero a fin de que los eventos que llegan un poco tarde para la función que les corresponde, los acontecimientos se cola en un buffer (y no se consideran detectado) hasta el tiempo de espera para dejar "fuera de lugar" para llegar y volver a ordenar el búfer y, a continuación, enviar los acontecimientos de acuerdo con el fin de amortiguación.
Volviendo al ejemplo - en el pequeño cuadro en la parte inferior izquierda de la figura anterior, hay veces aparición y detección de E1, E2, E3. Para e4 sólo hay tiempo de detección - e4 es diferente de (E1, E2, E3) por el hecho de que se trata de un evento y no derivados crudo evento al igual que los otros tres. La pregunta es "¿cuál es el tiempo de ocurrencia de un evento derivados"? - No hay respuesta clara para él - hay varias respuestas posibles:
- En el caso de derivados que se produzcan casos de detección de tiempo \u003d tiempo, ya que este evento no es real, sino virtual, por lo tanto, su fuente es la EPA que crea, y se produjo el momento de su creación. En nuestro caso significa que occurence de tiempo (e4) \u003d 4.
- Su tiempo es la ocurrencia de sucesos de la última vez que el evento finalizado el patrón - desde los acontecimientos que participan en la creación de e4 son (E1, E2) e2 y fue el último que completó el modelo, la aparición en tiempo (e4) \u003d sucesos tiempo (e2) \u003d 2
- Intervalo de la semántica: e4 El evento se produce en el intervalo en el que se producen todos los participantes, que es este caso significa ocurrencia de tiempo (e4) \u003d [1, 2].
El fenómeno de las múltiples interpretaciones semánticas se aplican a otras decisiones de la semántica del evento de transformación semántica idioma, y la solución preferida es proporcionar al usuario con semántica "afinar" las políticas, en virtud del cual el usuario puede elegir el que desee la semántica, en lugar de " codificar "una cierta semántica (usando la más común, como por defecto), este es uno de los beneficios de la utilización de COTS para el evento de transformación, ya que es muy difícil pensar en estas cuestiones durante el desarrollo del PE manuaully utilizando lenguaje convencional.
La semántica de la segunda "secuencia temporal" (E3, E4) es así:
- Según el "tiempo de detección de" semántica - ambos tienen la detección a tiempo de 4. Como tal, la secuencia de requisito no se cumple. Sin embargo, si imponemos pedido total por un solo hilo, esto puede crear condiciones de carrera entre los dos eventos. En este caso se recomienda utilizar un prioridad política - ya sea amplitud primero (caso de la materia prima siempre es lo primero) o profundidad (el caso de derivados es lo primero) para garantizar resultado determinista.
- Según el "tiempo de ocurrencia" - depende de la política elegida, pero de acuerdo a todos los interprerations - e4 se produce antes de e3 - por lo tanto, la secuencia temporal no está satisfecho.
Bottome línea: la secuencia temporal (E3, E4) se cumple si:
- La semántica temporal es tiempo de detección
- Se aplica por el total de orden
- El total para la política de "primera magnitud" - es decir, prioridad para el crudo eventos.
En todos los demás casos, la secuencia temporal no se cumplen y el corolario no ejecutar la acción.
Fuente ...
|
Más UNIX y Linux Foro Temas usted puede encontrar útiles
Powered by 
10-11-2008
Modo híbrido
