Manual Gpss

5/9/2018

Ma nua l Gpss - slide pdf.c om

CAPITULO 1

INTRODUCCION

http://slide pdf.c om/re a de r/full/ma nua l-gpss

1/154

5/9/2018


Introducción a la simulación Muchas veces habremos oído la palabra simulación sin entender plenamente su significado. Una definición formal podría ser: "La práctica de generar modelos para representar un sistema del mundo real o hipotéticos mundos futuros, experimentando con él para explicar el comportamiento del sistema, mejorar su funcionamiento o diseñar nuevos sistemas con características deseables". Tras esta definición encontramos una actividad que, de una manera no profesional, todos realizamos día a día. Cuando realizamos cualquier acción, normalmente la simulamos anteriormente de una forma mental como cuando movemos un mueble en una habitación. Antes nos imaginaremos el movimiento del mueble y cuáles serán las acciones mejores para realizar este movimiento. Pues esta acción tan habitual es lo que llamamos simulación. Su utilización a nivel profesional se viene realizando desde hace aproximadamente medio siglo, auspiciado por el crecimiento de los ordenadores, y ha ido creciendo con el paso de los años, llegando a convertirse en una herramienta de uso fundamental en la industria e investigación, por una serie de ventajas frente a otros métodos tradicionales que enumeraremos más adelante. Conviene precisar que la simulación no se restringe al uso de computadoras, y se puede aplicar de muchos modos, aunque el uso de éstas es el principal. Es mucho más sencillo y económico reproducir en un ordenador distintos fenómenos, tales como fenómenos físicos asociados al vuelo de una avión, y realizar la simulación en una computadora. De todos modos, la simulación va unida fielmente al desarrollo de las otras ciencias, y no es posible simular aquello que no se puede estudiar adecuadamente, de modo que en algunas situaciones la simulación no es una situación posible. Por otro lado, debemos tener en cuenta que los sistemas simulados son de Entrada-Salida. Estos sistemas nos darán una salida para unos datos iniciales que nosotros debemos suministrar. Por ello son incapaces de generar una de solución por en sí condiciones mismos. Sólo pueden servir como herramienta para el análisis del comportamiento un sistema especificadas por el experimentador.

2 http://slide pdf.c om/re a de r/full/ma nua l-gpss

2/154

5/9/2018


Sistemas, Modelos y Simulación En el mundo actual, tanto en el área de los negocios, como en la industria y el gobierno, los proyectos en gran escala y de gran complejidad son la regla y no la excepción. Estos proyectos complejos requieren estudios previos a su construcción o modificación, denominados estudios pilotos. Tales estudios pilotos se realizan utilizando la técnica de la modelización: construcción de modelos donde se realiza el estudio con el fin de obtener conclusiones aplicables al sistema real. Construido el modelo, el proceso de ensayar en él una alternativa se llama simular. El conjunto de alternativas que se definen para su ensayo constituye la estrategia de la simulación. Los objetivos del proyecto definen cuál es el sistema y cuál el medio ambiente que lo rodea. El sistema procurará satisfacer las necesidades cambiantes de ese medio ambiente en el que está insertado. Cada nuevo sistema lo modifica y crea en él nuevas necesidades. El sistema, para poder subsistir, debe adaptarse a los cambios. Uno de los objetivos de la simulación es realizar ensayos de cambios en el sistema probándolos en el modelo, con el fin de elegir la mejor alternativa, y así enfrentar mejor a una realidad que varía día a día.


3/154

5/9/2018


Sistema Pueden darse varias definiciones de sistema: !

"Conjunto de elementos cuya interacción interesa estudiar".

!

"Conjunto de elementos que interactúan entre sí, con un fin común, que se aísla del universo para su estudio ".

!

"Conjunto de partes organizado funcionalmente de manera tal de constituir una unidad interconectada".

!

"Combinación de elementos o componentes interrelacionados entre si y con el global que actúan juntos para obtener un fin".

La palabra interrelación es el fundamento de la definición.

Subsistema:

Es un conjunto que se aísla dentro del sistema. El sistema puede verse como un subsistema del Universo. Cada subsistema puede ser tratado dentro del sistema o estudiado en forma aislada. El comportamiento del sistema total depende de: 1.- El comportamiento de cada subsistema. 2.- Las relaciones entre los subsistemas. 3.- Las relaciones con el mundo exterior, o sea, con el medio ambiente que lo circunda. Estas ideas son fundamentales para la resolución de problemas que implican la construcción de modelos.

Clasificación de Sistemas:

Generalmente los sistemas se clasifican en función de su estado. Definimos como estado de un sistema para un momento de tiempo al valor de un conjunto de variables que definen al sistema en dicho momento de tiempo. Según esto el sistema podrá ser estático o dinámico . Entendemos por sistema estático aquel cuyos valores no cambian con el tiempo. Por tanto, dinámico será aquel cuyos valores varíen con el tiempo. Esta variación puede ser cíclica, puede ser aleatoria. Eso nos dará lugar a una nueva subdivisión dentro de los sistemas dinámicos. Esta clasificación se realiza en función al tipo de variables que conforman el sistema. Según este criterio existirán tres tipos de sistemas dinámicos: los continuos, los discretos y los híbridos, en los que las variables pueden ser tanto continuas como discretas. Entendemos por sistema continuo aquel cuyas variables varían de forma continua en el tiempo. Un sistema dinámico se considerará discreto cuando las variables que le describen varíen de una forma discreta sobre el tiempo. Nunca hay fracciones, siempre se habla de unidades enteras. En general, gran parte de los sistemas asociados a fábricas son sistemas discretos. Un sistema en el que sus variables varíen unas de forma discreta y otras de forma continua se considerará un sistema híbrido. Otro concepto a tener en cuenta dentro del comportamiento de los sistemas dinámicos es si se encuentra


4/154

5/9/2018


en estado transitorio o estacionario. Diremos que un sistema se encuentra en un estado estacionario cuando los cambios que se produzcan en el estado del sistema en el tiempo lo hagan dentro de un intervalo relativamente fijo. Un estado transitorio es aquel en el que se producen cambios bruscos en el estado del sistema.


5/154

5/9/2018


Modelo Definición: Anteriormente hemos mencionado que un sistema es una sección de la realidad que es el foco primario de nuestro estudio. De cara a estudiar este sistema. Primero deberemos realizar una representación del sistema. A esta representación es lo que denominamos modelo. Dicho de otra manera, realizaremos una abstracción del sistema que nos sea útil de cara a estudiar su comportamiento. La simulación de sistemas implica la construcción de modelos. El objetivo es averiguar qué pasaría en el sistema si acontecieran determinadas hipótesis. Desde muy antiguo la humanidad ha intentado adivinar el futuro. Ha querido conocer qué va a pasar cuando suceda un determinado hecho histórico. La simulación ofrece, sobre bases ciertas, esa predicción del futuro, condicionada a supuestos previos. Para ello se construyen los modelos, normalmente una simplificación de la realidad. Surgen de un análisis de todas las variables intervinientes en el sistema y de las relaciones que se descubren existen entre ellas.

Entrada

Entrada

Correspondencia

Parámetros

Sistema

Correspondencia

Modelo

Parámetros

Inferencia Salida

Salida

A medida que avanza el estudio del sistema se incrementa el entendimiento que el analista tiene del modelo y ayuda a crear modelos más cercanos a la realidad. En el modelo se estudian los hechos salientes del sistema o proyecto. Se hace una abstracción de la realidad, representándose el sistema/proyecto en un modelo. El modelo que se construye debe tener en cuenta todos los detalles que interesan en el estudio para que realmente represente al sistema real (Modelo válido). Por razones de simplicidad deben eliminarse aquellos detalles que no interesan y que lo complicarían innecesariamente. Se requiere pues, que el modelo sea una fiel representación del sistema real. No obstante, el modelo no tiene porqué ser una réplica de aquel. Consiste en una descripción del sistema, junto con un conjunto de reglas que lo gobiernan. Dado un sistema, son muchas las representaciones que se pueden hacer de él. Depende de las facetas del sistema que interesan en el estudio, de la herramienta que se utiliza en el mismo e incluso de la modalidad personal del que lo construye. En los modelos deben estar identificadas perfectamente las entidades intervinientes y sus atributos. Las mismas pueden ser permanentes (Ej.: empleados atendiendo) o transitorias (Ej.: clientes). Las acciones provocan cambios de estado, es decir, se modifican los atributos de las entidades; se producen los eventos.


6/154

5/9/2018


Clasificación de modelos: Existen múltiples tipos de modelos para representar la realidad. Algunos de ellos son: 1.- Dinámicos: utilizados para representar sistemas cuyo estado varía con el tiempo. 2.- Estáticos: utilizados para representar sistemas cuyo estado es invariable a través del tiempo. 3.- Matemáticos: representan la realidad en forma abstracta de muy diversas maneras. 4.- Físicos: son aquellos en que la realidad es representada por algo tangible, construido en escala o que por lo menos se comporta en forma análoga a esa realidad (maquetas, prototipos, modelos analógicos, etc.). 5.- Analíticos: la realidad se representa por fórmulas matemáticas. Estudiar el sistema consiste en operar con esas fórmulas matemáticas (resolución de ecuaciones). 6.- Numéricos: se tiene el comportamiento numérico de las variables intervinientes. No se obtiene ninguna solución analítica. 7.- Continuos: representan sistemas cuyos cambios de estado son graduales. Las variables intervinientes son continuas. 8.- Discretos: representan sistemas cuyos cambios de estado son de a saltos. Las variables varían en forma discontinua. 9.- Determinísticos: son modelos cuya solución para determinadas soluciones es única y siempre la misma. 10.- Estocásticos: representan sistemas donde los hechos suceden al azar, lo cual no es repetitivo. No se puede asegurar cuáles acciones ocurren en un determinado instante. Se conoce la probabilidad de ocurrencia y su distribución probabilística. Es interesante destacar que algunas veces los modelos y los sistemas no pertenecen al mismo tipo.

Validación de modelos: Cualquier modelo no es válido para representar un sistema. Deberemos utilizar un método que nos permita averiguar cuan parecido es nuestro modelo a la realidad de cara a evitar lamentables errores que puedan echar a perder nuestra simulación. Aquí es donde debemos darnos cuenta de la importancia del modelo. Cualquier valor que obtengamos será nulo si el modelo no se comporta como el sistema. De hecho, esta es la parte más complicada y tediosa del proceso de simulación. Es más, algunos sistemas extremadamente complicados son muy difíciles de modelar y los científicos pueden tardar años en conseguir un modelo, que en muchos casos sólo es válido para un pequeño rango de valores.


7/154

5/9/2018


Simulación Tras haber estudiado con detenimiento qué es un sistema y cómo se modela, llegamos a la parte que más nos interesa: la simulación. Esta es realmente la que usa el ordenador como herramienta principal y es la que vamos ha intentar desarrollar. Una definición más académica de la simulación sería: "Es la técnica de construir y poner en funcionamiento el modelo de un sistema real con la intención de estudiar su comportamiento sin irrumpir en el entorno del sistema real" (Koskossidis y Brennan). La simulación únicamente nos dará una lista de valores para las variables que definen el estado del sistema. El uso posterior de esos datos ya no pertenece al proceso. Una vez construido el modelo, se ensaya en él una alternativa con el fin de aplicar las conclusiones al sistema. Los resultados obtenidos no tienen valor si no son aplicables al sistema. La simulación tiene como principal objetivo la predicción, es decir, puede mostrar lo que sucederá en un sistema real cuando se realicen determinados cambios bajo determinadas condiciones. La simulación se emplea sólo cuando no existe otra técnica que permita encarar la resolución de un problema. Siempre es preferible emplear una alternativa analítica antes que simular. Ello no implica que una opción sea superior a otra, sino que los campos de acción no son los mismos. Mediante la simulación se han podido estudiar problemas y alcanzar soluciones que de otra manera hubieran resultado inaccesibles.

Causas de fracaso de una simulación: La simulación puede fracasar por: !

Modelo inválido: no representa fielmente al sistema en estudio.

!

Mala estrategia en la selección de alternativas: al aconsejar la mejor se aconseja la "menos mala" que está lejos de la mejor.

Muchos casos en los que hay concordancia entre el comportamiento del modelo y el sistema real no aseguran la validez del modelo; basta un solo caso en que el modelo no se comporta como el sistema real para afirmar que el modelo es inválido. La simulación involucra dos facetas: 1.- Construir el modelo. 2.- Ensayar diversas alternativas con el fin de elegir y adoptar la mejor en el sistema real, procurando que sea la óptima o que por lo menos sea lo suficientemente aproximada.


8/154

5/9/2018


Fases que comprende todo estudio que utiliza la simulación. 1.- Definición del sistema con el máximo de detalle. Se debe evitar comenzar a trabajar en la construcción del modelo con un sistema superficial, mal concebido. !Se perderán horas hombre y de computadora en tareas inútiles!. Es un principio comprobado de organización que la incidencia de un error en un proyecto aumenta dramáticamente con el instante en que se lo descubre. Es decir, cuanto más se demora en detectarlo, mucho más complicada es su corrección. Se debe discutir en detalle el sistema; analista y usuario reunidos durante largas horas evitarán que el sistema tenga que ser redefinido después. En esta etapa se definen los límites del sistema y los objetivos del estudio, chequeando que estos no cambien durante el desarrollo del mismo. Deben tenerse en cuenta las condiciones iniciales del sistema y sus condiciones de régimen. Interesa estudiarlo ya en régimen y no inicialmente cuando los recursos están desocupados y favorecen el movimiento de los elementos por el sistema. El modelo debe considerar qué resultados estadísticos interesan obtenerse para evaluar correctamente al sistema en estudio.

2.- Elección del método para realizar el estudio. - Búsqueda de la herramienta analítica de resolución. - Adopción de la misma en caso de encontrarla. - Utilización de la simulación como última alternativa.

3.- Variables a incluir en el modelo. ¿Qué variables y parámetros se incluyen? ¿Cuáles se desprecian por su irrelevancia? La elección no es sencilla. Conviene hacer un ranking de las variables y restricciones del sistema en orden de importancia. Este ranking debe ser discutido con el usuario y con los distintos especialistas a fin de proceder a su verificación y eventual corrección. Se debe recordar que quitar una variable superflua de un sistema es algo bastante sencillo, mientras que incluir una que se había despreciado es de ordinario mucho más complicado. Tomar debida cuenta de los casos especiales: !muchas veces éstos obligan a tener en cuenta variables despreciables para el resto de los casos!. Esta selección de variables a considerar depende de la mecánica con que se maneja el sistema, de la experiencia que se tenga de él e incluso de la intuición del grupo humano que interviene en el estudio. Se debe evitar una sobresimplificación que invalida al modelo en cuanto se lo quiere ensayar con casos especiales, o una sobreespecificación que hace largo y difícil el trabajo de construir el modelo. Todas las variables que intervienen en un modelo son medibles. No siempre es posible lo mismo con las que intervienen en un sistema real.


9/154

5/9/2018


Muchas veces se debe hacer una estimación de las mismas con el fin de incorporarlas en el modelo. Existen variables endógenas (internas y controladas por el sistema) y exógenas (externas al sistema y fuera de su control). Existen variables cualitativas, como la preferencia personal, y cuantitativas, como la frecuencia con que arriban los clientes a un banco. Todas deben ser estimadas en términos cuantitativos.

4.- Recolección y análisis de los datos del sistema. Definidas las variables intervinientes en el sistema es habitual que existan muchas variables estocásticas. Para esas variables se debe disponer de: !

La densidad de probabilidad o

!

La función de distribución acumulativa en forma matemática o

!

Una tabla de valores del comportamiento de la variable.

Se utiliza para ello todas las herramientas estadísticas clásicas, tales como, análisis de regresión, de serie de tiempos y de varianzas. Se debe hacer un relevamiento del tiempo que se insume en las distintas tareas tratando de no obtener datos distorsionados producto de la medición (la persona trabaja más rápido o más lento debido a que lo están midiendo y le parece más conveniente mostrarse en forma distorsionada). Si se tiene el valor medio de la medición y no se conoce su distribución, es preferible adoptar una distribución exponencial que una uniforme, pues en la primera, pueden darse situaciones críticas que no se dan en la segunda. El tiempo empleado validando los datos de entrada está totalmente justificado y es absolutamente necesario para construir un modelo válido sobre el cual se pueden sacar conclusiones aplicables al sistema real.

5.- Definición de la estructura del modelo. Se definen: !

Las entidades permanentes y sus atributos, es decir, los recursos con que se cuenta en el sistema y cuantitativamente cómo es su comportamiento.

!

Las entidades transitorias que circulan por el modelo tienen definida probabilísticamente su ruta por el sistema y los tiempos de utilización de los recursos.

!

Los eventos que provocan los cambios de estado, modificando los atributos de las entidades.

Se debe diseñar el modelo de manera que los cambios en su estructura estén en cierto modo previstos.

6.- Programación del modelo. Objetivo: obtención del programa de computadora que representa el modelo.


10/154

5/9/2018


Se debe elegir el lenguaje con que se construirá el modelo. Una vez elegido, se lo utiliza para construir el modelo, que debe representar fielmente todo lo que ha sido relevado del sistema.

7.- Validación del modelo. Aunque imposible de demostrar rigurosamente se trata de verificar al modelo con una serie de situaciones conocidas como para tener un alto grado de confiabilidad.

8.- Análisis y crítica de los resultados. Paso previo a la entrega de resultados al usuario se debe: !

Verificar que los resultados obtenidos sean realmente suficientes para tomar una correcta decisión.

!

Hacer una buena compactación en la presentación de los mismos procurando que sean perfectamente comprensibles para el usuario.

!

Recordar que un exceso de información ocasiona casi los mismos inconvenientes que la falta de información, ya que el usuario en ambos casos no puede acceder a los resultados que necesita como apoyo a la toma de decisiones.

!

Estudiar la factibilidad, y, en caso afirmativo, proponer una alternativa que signifique un cambio estructural del sistema y por ende del modelo, la que se considera digna de tener en cuenta antes de tomar una decisión definitiva.


11/154

5/9/2018


Ventajas de la Simulació n El hecho de que no siempre se puede aplicar la técnica de la simulación y su uso no produzca una solución analítica, nos sugiere una pregunta: ¿ cuándo es útil la utilización de la simulación ?. En general, nos será útil siempre que nos sea más barato y más fácil que la realización del experimento sobre el sistema real, bien sea porque el experimento exige parar el sistema, no existen herramientas analíticas para desarrollar una solución o porque alguna de la condición a reproducir es difícil de conseguir. En general, las ventajas que presenta la simulación son las siguientes: !

Permite, de una forma económica representar y estudiar prácticamente cualquier sistema, dentro de categorías científicas muy diferentes.

!

El experimento se puede repetir tantas veces como sea necesario sin un gran coste adicional. Permite jugar con el tiempo de forma totalmente imposible para un experimento tradicional.

!

Permite adquirir una rápida experiencia a muy bajo costo y sin riesgos. No se compromete la confiabilidad del sistema en los ensayos (las aglomeraciones, las largas demoras, son simuladas y no reales).

!

Permite identificar en un sistema complejo aquellas áreas con problema ("cuellos de botella").

!

Permite un estudio sistemático de alternativas (variaciones uniformes en los parámetros intervinientes imposibles de lograr en un sistema real).

!

Permite utilizarse en "training" para gerentes/ejecutivos. Un modelo de "juego de empresas" les permite probar sus medidas en el modelo y ver sus resultados luego de pasado el período simulado. Se repite el proceso durante varios períodos y cada ejecutivo observa los resultados de sus decisiones. Se analizan errores, se comparan estrategias hallando ventajas y desventajas de cada una.

!

Ensayar estrategias de guerra, faceta donde primero se empleó la simulación.

!

Permite explorar infinidad de alternativas para un problema sin modificar el funcionamiento del mismo, caso de una fábrica. Podríamos rediseñar el Layout sin necesidad de pararla y, de este modo, perder ingresos.

!

No tiene límite en cuanto a complejidad. Cuando la introducción de elementos estocásticos hace imposible un planteo analítico surge la modelización como único medio de atacar el problema. Todo sistema, por complejo que sea, puede ser modelizado, y sobre ese modelo es posible ensayar alternativas.

!

Puede ser aplicada para diseño de sistemas nuevos en los cuales se quieren comparar alternativas muy diversas surgidas de utilización de diferentes tecnologías. Puede utilizarse, durante la vida de un sistema, para probar modificaciones antes que éstas se implementen.


12/154

5/9/2018


Desve ntajas de la Simulación Pero no todo es bueno dentro de la simulación. Si tenemos fe ciega en ella podremos encontrarnos con problemas indeseables. Por ello es importante tener en cuenta sus inconvenientes: !

No se la debe utilizar cuando existan técnicas analíticas que permitan plantear, resolver y optimizar todo el sistema o alguna parte del mismo. Existe un gran deseo de incluir todo en la simulación donde los resultados son visibles y comprendidos por todas las personas (especialistas o no), las cuales gustan hacer ensayos.

!

No es posible asegurar que el modelo sea válido: se corre el riesgo de tomar medidas erróneas basadas en aplicar conclusiones falsas obtenidas mediante un modelo que no representa la realidad.

!

No existe criterio científico de selección de alternativas a simular (estrategia). Es posible omitir alguna buena sugerencia de innovación simplemente porque a nadie se le ocurrió ensayarla.

!

Existe el riesgo de utilizar un modelo fuera de los límites para el cual fue construido, queriendo realizar ensayos para los cuales el modelo no es válido. Es posible elaborar todo un gran andamiaje de pruebas y resultados falsos, basados en un modelo confiable y válido bajo otras condiciones.

!

El desarrollo de un buen modelo de simulación es costoso requiere de mucho tiempo.

! La simulación es imprecisa y no podemos medir con exactitud el grado de imprecisión.


13/154

5/9/2018


Técnicas, métodos y herramientas de simulación A continuación se detallan algunos de los distintos conceptos, técnicas, métodos y herramientas que se utilizan hoy en día para realizar simulaciones.

Herramientas de simulación. Realizado el programa que representa el sistema que se quiere estudiar, ensayar alternativas no es otra cosa que dar los datos a la máquina para que esta imprima los resultados.

1.

Programas de uso general.

Programación tradicional: C, Pascal, Fortran, Basic, Cobol, etc. Desventajas de la programación tradicional: ! !

2.

Realizar un programa completo para cada simulación. No es fácil describir el sistema mediante un lenguaje tradicional.

Programas específicos.

En contraste a lo que sucede con la programación tradicional, el uso de un lenguaje orientado a la simulación (preparado para construir modelos donde se pueda simular) reduce el esfuerzo realizado a la décima parte.

Un lenguaje orientado a la simulación debe manejar:

1.

Fácilmente al modelo, permitiendo el ensayo de alternativas.

2. 3.

El tiempo "simulado" (meses, días, horas, segundos, milisegundos). Eventos, es decir, acciones que provocan los cambios de estado: Los cambios de estado se materializan por dos eventos: el de comienzo y el de finalización. La acción está definida por: instante de comienzo y duración. El lenguaje se encarga de hacer finalizar la acción.

4.

Variables random fácilmente definibles, generadas en forma automática por el lenguaje.

5.

Acumulación/cálculo/impresión de estadísticas de las entidades intervinientes en el sistema.

6.

El estado del sistema en cualquier instante (imprimiéndolo en caso necesario).

7.

La extensión del período de simulación.

8.

Simultaneidad y administración de recursos.


14/154

5/9/2018


Sistemas de simulación discretos. La siguiente información trata de cubrir el uso que se le da a la simulación digital para representar sistemas complejos del mundo real. Para poder comprender la aplicación de dichos modelos, es necesario comprender los siguientes conceptos.

1.

Estadísticas y Probabilidad para Simulación

Para poder utilizar las herramientas que nos brindan la Estadística y la Probabilidad, es necesario estar al tanto de los distintos conceptos en los cuales éstas ciencias se basan. Entre los más importantes encontramos: ! ! ! ! ! ! !

Intervalo de confianza Varianza y Desviación Estándar Distribución Normal Teorema del Límite Central Inferencia estadística Modelo de los mínimos cuadrados ANOVA o Análisis de la Varianza.

2. Simulación de salida de datos y Procesos Estocásticos

3. Sistemas dinámicos Es el estudio riguroso de problemas en el comportamiento de sistemas usando los principios de feedback, dinámica y simulación. Están caracterizados por: búsqueda de soluciones útiles a problemas reales, especialmente en sistemas sociales (empresas, escuelas, gobiernos,...) y el entorno. Buscan la manera de trasladar resultados científicos a mejoras que puedan ser implementadas en el mundo real.

4. Simulación social La simulación es un método importante para modelar procesos económicos y sociales. Los métodos de simulación por computadora pueden ser efectivos para el desarrollo de teorías tales como la predicción. En la simulación social, un "mundo" es especificado con detalle computacional, para luego ser simulado y revisar algunas de las implicaciones no triviales del mundo real.

5. Simulación basada en la Web

La simulaciónnatural basada de en la la proliferación Web está emergiendo rápidamente en yelsus área de la simulación. interés es consecuencia de la World-Wide Web tecnologías (HTML,Este HTTP, CGI, etc). La aparición de lenguajes como Java, y tecnologías de objetos distribuidos como CORBA y OLE/COM, han tenido efectos considerables en la práctica de la simulación. Actualmente, el interés está en tratar temas como metodologías para el desarrollo de modelos basados en la Web, desarrollo de modelos colaborativos sobre Internet, simulación y modelación en Java, y nuevas aplicaciones.


15/154

5/9/2018


6.

Simulación paralela y distribuida

Utilizan estrategias más eficientes para acelerar el proceso de simulación. Los temas que actualmente cubre son: sincronización, scheduling, administración de memoria, algoritmos reactivos/adaptativos y randomizados, particionamiento y balanceo de carga.

7.

Otras técnicas disponibles ! ! ! ! ! ! ! !

La ruta más corta en una red. Simulación manual. Distribución de la entrada: Distribución Chi-cuadrado, tabular y gráfica. SIMSCRIPT. Análisis de salida: Análisis sensitivo y de estabilidad. Técnicas de reducción de la varianza: Generación de variables random Técnica de Integración de Monte-Carlo. Técnica de reducción.


16/154

5/9/2018


CAPITULO 2

EL LENGUAJE DE SIMULACION


17/154

5/9/2018


PARTE I

EL LENGUAJE


18/154

5/9/2018


Declaraciones Un programa VisualSIS está compuesto de una secuencia de declaraciones. Estas declaraciones son las unidades básicas de acción. Las declaraciones están compuestas de partes llamadas campos. Un campo es un número variable de caracteres. En general, las declaraciones son del tipo: Etiqueta (opcional) | Verbo (requerido) | Operandos (dependen del verbo) | Comentario (opcional).

Las Declaraciones VisualSIS están divididas en "Declaraciones de Control" y "Declaraciones de Bloques". Las declaraciones de bloques resultan en la creación de un bloque VisualSIS, mientras que las de Control usualmente definen entidades de VisualSIS o, en alguna forma, afectan el estado general del modelo actual.

Etiquetas El campo etiqueta permite nombrar y referenciar a entidades con nombres de nuestra elección. Se puede asignar un valor propio a un nombre con la sentencia Equ. Esto es útil cuando se quiere experimentar con varios valores de una misma variable. Ahora bien, VisualSIS usa su propio número interno unico para las entidades nombre y parámetros de transacciones. Si se elige asignar un número propio a una entidad nombre, se deberia asignar el valor en una sentencia EQU antes de referenciar a la entidad por su nombre. Cuando VisualSIS encuentra un nuevo nombre, éste asigna un único entero al nombre. Estos enteros son distintos y contiguos. Las etiquetas de bloques son llamadas direcciones y son tratadas diferente. Los valores de estos nombres son renumerados antes de comenzar cada simulación donde estos empiezan en 1 y son contiguos. Se puede usar el mismo nombre para referirse a diferentes tipos de entidades. Por ejemplo, se puede tener una entidad STORAGE y una entidad TABLE ambas llamadas SALAESPERA. No se debe usar un número como un nombre en un campo etiqueta. Esto viola las convenciones de nombres. Si se quiere explícitamente controlar el número de una entidad, se puede asignar un valor a un nombre usando una sentencia EQU.

V e rr b o s Los verbos permiten ingresar el nombre de la acción de la sentencia. Este debe ser un nombre de bloque de VisualSIS o uno de los verbos de una sentencia de control.

Operandos Los verbos pueden estar seguidos de uno o más operadores. Estos campos dependen de el verbo. Algunos son requeridos y algunos son opcionales. Los operandos son separados por comas.


19/154

5/9/2018


Expresiones Las sentencias BVARIABLE, FVARIABLE, y VARIABLE tienen un campo de expresión requerido. En efecto, se puede una expresión en algúnuna campo de variable operandoy siguiendo un SNA SNA de clase BV o V. Para hacer esto seusar debe simplemente definir entidad usar su asociación en el campo operando deseado. Cuando una expresión es usada para definir un SNA, este resultado es siempre truncado a un entero. Las expresiones son combinaciones de operadores matemáticos, funciones de librería, SNAs, y constantes que obedecen las reglas elementales de álgebra. Una expresión es evaluada según la jerarquía de operadores listada abajo, y otros de izquierda a derecha. El orden de evaluación puede ser controlada insertando un par de paréntesis. Las expresiones son evaluadas usando un formato de doble precisión de punto flotante. El resultado es truncado y cargado como un entero. La evaluación de las expresiones es afectada por el comando que es usado en. !

VARIABLE crea una variable aritmética VisualSIS que cuando es evaluada por una llamada de un SNA, realiza todas las operaciones un números de punto flotante de doble precisión, luego trunca todos los resultados intermedios antes de proceder con la siguiente operación. Finalmente el resultado es truncado a un entero.

!

FVARIABLE crea una variable de "punto flotante" que, cuando es evaluada por una llamada por un SNA, realiza todas las operaciones con números de punto flotante de doble precisión, truncando sólo el resultado final de la operación. Los valores fraccionales pueden ser considerados con un apropiado cambio de unidad, así como "milésimos". Entonces un valor SNA de 500 es interpretada como el número ½.

!

BVARIABLE crea variables booleanas que cuando es evaluada por una llamada de un SNA, realiza todas las operaciones en números de punto flotante de doble precisión, luego retorna 1 si el resultado es distinto de cero, ó 0 en otro caso.

Se debe notar que la tecla [#] es usada para la multiplicación. El asterisco es reservado para direccionamiento indirecto. Los operadores lógicos tales como ´LE´ para menor o igual que deben ser encerrados entre comillas simples o apostrofes sin espacios entre los operadores del operando. El resultado de un operador lógico es 0 ó 1.Tambien, las funciones aritméticas, tales como SIN(), requieren que sus argumentos se encierren entre paréntesis sin espacios en ellos. Existen muchas funciones matemáticas disponibles para ser usadas en expresiones. Se pueden utilizar casi cualquier valor como un argumento. Los operadores y librerías de funciones permitidas en expresiones son dadas en prioridad decreciente de evaluación: ! ! ! ! ! ! ! ! !

ŃOT´ produce un 1 (TRUE) si el operando es 0, ó 0 (FALSE) si el operando es distinto de cero. ABS() valor absoluto. ATN() arcotangente en radianes. COS() coseno, argumento en radianes. INT() trunca a un entero. EXP() número "e" de x, el argumento es usado como exponente de "e". LOG() logaritmo natural. SIN() seno, argumento en radianes. SQR() raíz cuadrada.


20/154

5/9/2018


!

TAN() tangente, argumento en radianes. [-]negación. ! ÁND´ produce un 1 (TRUE) si el producto aritmético es distinto de cero, ó 0 (FALSE) en otro caso. ! ÓR´ produce un 1 (TRUE) si cada operando es distinto de cero, ó 0 (FALSE) en otro caso. ! ´G´ mayor que, produce un 1 (TRUE) ó un 0 (FALSE). !

! ! ! ! ! ! ! ! ! ! !

´L´ que,produce produceunun1 1(TRUE) (TRUE)ó óunun0 0(FALSE). (FALSE). É´ menor igual que, ŃE´ distinto que, produce un 1 (TRUE) ó un 0 (FALSE). ´LE´ menor o igual que, produce un 1 (TRUE) ó un 0 (FALSE). ´GE´ mayor o igual que, produce un 1 (TRUE) ó un 0 (FALSE). [^] exponenciación. [#] multiplicación. [/] división. [\] división entera, produce un cociente entero. [@] modulo de la división, produce un resto entero. [+] suma y [-] resta.

El uso de funciones matemáticas en expresiones y la habilidad para mezclar SNAs dentro de una compleja expresión, es sumamente poderoso. Se puede definir variables de todo tipo para una expresión. Este método puede ser usado para generar precisiones sobre cualquier distribución de probabilidad teórica que se desee. Sin embargo, es todavía más eficiente pero menos exacto en el uso de funciones. Las expresiones deben estar bien formadas de acuerdo con las leyes del álgebra elemental. Están pueden contener los siguientes elementos: !

Enteros Fracciones decimales ! SNAs !

Estos elementos pueden ser combinaciones de funciones de librerías matemáticas, operadores aritméticos, y operadores lógicos, para construir una expresión a ser evaluada. El orden de evaluación de una expresión puede ser controlada usando paréntesis en torno a los términos a ser combinados. Si no se usan paréntesis para forzar el orden de evaluación , la evaluación procede de acuerdo a la prioridad del operador. Las expresiones son restringidas a menos de 80 caracteres. Si se necesita evaluar una expresión mas compleja, se tiene que definir mas de una entidad variable para que estas sean evaluadas. Se puede usar múltiples variables para evaluar expresiones mas complejas. Sin embargo, la recursión en la evaluación de variables no está permitido y causará un error de stop.


21/154

5/9/2018


Atributos numérico s del sistema – SNA’ s Los Atributos Numéricos del Sistema, o SNA's, son "variables de estado" simuladas disponibles para usar en declaraciones. objetos propios del sistema, casilleros que almacenan valores comunescuando a todasuna las transacciones. LosSon SNA's pueden ser accedidos desde el entorno o dentro de la simulación transacción activa intenta entrar a un bloque. Todas las SNA's retornan un valor numérico entero como resultado. Los valores fraccionales son truncados. Algunos SNA's son mantenidos automáticamente, y otros requieren un cálculo cuando son llamados. Por ejemplo, la cantidad acumulada de entradas a un bloque está disponible como un SNA. Hay alrededor de 45 clases de SNA, cada una de las cuales contribuyen al poder de las simulaciones. Muchos SNA's, tales como PR (prioridad), son evaluados sobre la misma transacción activa. Tales SNA's no pueden ser evaluados a menos que estén en una transacción activa. Por ejemplo, se debe ingresar el comando START antes de poder observar estos SNA's. Otros SNA's, tales como el reloj del sistema C1, puden ser evaluados sin referirse a una transacción. Entre los SNA's más importantes se encuentran los relacionados con Facilitys (recursos de uso exclusivo de las transacciones que se mueven por el sistema), Storages (recursos de mayor capacidad), Colas (se forman automáticamente), Cadenas (son como colas pero las forma el programador), Grupos numéricos y Grupos de transacciones. Estos SNA's nos brindan información acerca de si funcionan o no los recursos, la ocupación actual, ocupación remanente, cantidad promedio, porcentaje de uso, cantidad de transacciones que usaron el recurso, cantidad que hubo como máximo, tiempo promedio de uso del recurso, cantidad de ceros (entradas sin tener que esperar en cola), etcétera.


22/154

5/9/2018


E Ess p e c i f i c a c i o n e s d e u n a En t i d a d S SN NA Muchos SNAs pueden ser especificados en más de una forma. Por ejemplo el SNA W22 retorna el número de transacciones esperando en el bloque número 22. El bloque identificado en este caso es el número 22, pero hay otras posibilidades. Este SNA pudo haber sido especificado usando alguna de las siguientes especificaciones: !

Wj- donde j es un entero positivo, el número de bloque en la simulación. WSname- donde name es la posición del bloque deseado. ! W*j- donde j es un entero positivo, el número del parámetro de la transacción activa que contiene el número del bloque deseado. Esto es direccionaminto indirecto. ! W*name- donde name es el nombre del parámetro de la transacción activa que contiene el número del bloque deseado. Esto es direccionamiento indirecto. ! W*parámetro- denota que tanto W*j, W*name, o W*Sname pueden ser usados. !

Algunas clases de SNA, tales como AC1, C1, M1, MP, PR, y TG1, son SNAs "atómicos". Los SNAs atómicos son completos y no comprenden una entidad especifica.

S N A ’s D is ponible s Los siguientes SNAs están disponibles para su uso en los campos de operandos y expresiones de sentencias. En todos los casos entnum debe ser reemplazado por alguna entidad especifica. La entidad especificada deberá ser un nombre (precedido por un separador [$]) o número, o si es por direccionamiento indirecto, ésta deberá ser un asterisco, [*] , seguido por un número o nombre. La lista completa de SNAs disponibles en VisualSIS son: ! ! ! ! ! ! ! ! ! ! ! ! ! ! !

AC1- Valor absoluto del reloj del sistema. Tiempo simulado desde el ultimo CLEAR. Bventnum C1- Valor relativo del sistema de reloj. Tiempo simulado desde el ultimo RESET. CAentnum- Promedio del contenido de la cadena de usuario. El tiempo promedio de la cantidad de transacciones encadenadas en la cadena de usuario entnum. CCentnum- Total de entradas en la cadena de usuario. El contador de todas las transacciones encadenadas por la cadena de usuario entnum. CHentnum- Contenido corriente de la cadena de usuario. El número actual de transacciones encadenadas por la cadena de usuario entnum. CMentnum - Máximo contenido de la cadena de usuario. El número máximo de transacciones encadenadas por la cadena de usuario entnum. CTentnum – Promedio del tiempo de residencia en la cadena de usuario. La duración promedio de transacciones en la cadena de usuario entnum. Fentnum – Facility ocupada. Si la facility entnum esta actualmente ocupada, Fentnum retorna 1, sino retorna 0. FCentnum – Cantidad de facilitys capturadas. El número de veces que la facility entnum a sido SEIZEd o PREEMPTed por una transacción. FIentnum – Facility entnum interrumpida. Si la facility entnum esta actualmente intrerrumpida, FIentnum retorna 1, sino retorna 0. FNentnum – Función. Resultado de evaluación de la función entnum. FRentnum – Utilización de facility. La fracción de tiempo que facility entnum ha sido ocupada. FRentnum es expresada en partes por mil por eso retorna un entero de 0-1000. FTentnum – Tiempo promedio de retención de la facility. El tiempo promedio de la facility entnum es apropiada por una transacción. FVentnum – Facility en estado disponible. FV entnum retorna 1 si la facility entnum esta en estado disponible, sino retorna 0.


23/154

5/9/2018


!

GNentnum – Cuenta un grupo numérico. GN entnum retorna la cantidad de miembros de el grupo numérico entnum. ! GTentnum – Cuenta grupo de transacciones. GT entnum retorna la cantidad de miembros del grupo de transacciones entnum. ! LSentnum – Setea una llave lógica. LSentnum retorna 1 si la llave lógica esta en estado "set", sino retorna 0. ! ! ! ! ! !

entnum

entnum

entnum

MB – Empareja bloque. MB set) que retorna 1 si hay una transacción en elretorna bloque0. la cual esta en el mismo en grupo (assembly la transacción activa, en otro caso MPentnum – Tiempo de transito, parámetro. MXentnum (m,n) – Matrix savevalue. El valor en la fila m, columna n de la matriz entnum es retornado. M1- Tiempo de tránsito. Nentnum – Cuenta entradas a un bloque. El número total de transacciones que han ingresado en el bloque entnum es retornado. Pparameter o *parameter – Valor del parámetro. Pparameter o *parameter retorna el valor del parámetro parameter de la transacción activa.

El direccionamiento indirecto usa la notación SNA*parámetro. ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! !

! !

PR – Prioridad de la transacción. El valor de la prioridad de la transacción activa . Qentnum – Contenido actual de una cola (QUEUE). El actual valor de la queue entnum. QAentnum – Contenido promedio de la queue. La cantidad de tiempo promedio en la queue entnum. QCentnum – Total de entradas en la queue. La suma de todas las entradas en la queue entnum. QMentnum - Contenido máximo de una queue. La máxima cantidad en la queue entnum. QTentnum – Tiempo de residencia promedio en la queue. QXentnum – Tiempo promedio de residencia en queue excluyendo la entrada cero. QZentnum – Cantidad de entradas cero en queue. El número de entradas en la queue entnum con tiempo de residencia cero. Rentnum –Capacidad de storage disponible. La capacidad disponible en el storage para ser usado por transacciones. RNentnum –Número aleatorio (Random). RNentnum retorna un entero aleatorio entre 0-999 desde el generador de números aleatorios entnum. Sentnum – Storage en uso. Sentnum retorna la cantidad de contenido del storage actualmente en uso por transacciones al storage entnum. SAentnum – Uso promedio de storage. SCentnum – Cuenta el uso de storage. Número total de unidades en el storage que han sido adquiridos desde el storage entnum. SEentnum – Storage vacío. SEentnum retorna 1 si el storage entnum esta completamente disponible, en otro caso retorna 0. SFentnum – Storage completo. SFentnum retorna 1 si el storage entnum esta completamente usado, en otro caso 0. SRentnum – Utilización de storage. SRentnum esta expresado en partes por mil y por lo tanto retorna un entero 0-1000. SMentnum – Máximo uso en storage. STentnum – Tiempo retenido por una unidad un storage. SVentnum – Storage en estado disponible. SV entnum retorna 1 si el storage entnum está en el estado disponible, en otro caso retorna 0. TBentnum – Promedio de entradas en la tabla entnum. TCentnum – Cantidad de entradas en la tabla entnum. TDentnum – desviación estandar de entradas en la tabla entnum. TG1 – Cuenta de terminación restante. TG1 retorna la cuenta que es decrementada por el bloque TERMINATE con un operando positivo A. Este valor es inicializado por la sentencia START e indica la conclusión de la simulación cuando esta es 0. Ventnum –Resultado de la evaluación aritmética de una entidad variable de punto flotante entnum. Wentnum – Cuenta de bloque actual. El número actual de transacciones en el bloque entnum.


24/154

5/9/2018


!

Xentnum – Número de transacción activa. El número de transacción de la transacción activa es retornado.


25/154

5/9/2018


Direccionamiento indirecto Todas las entidades tienen un número positivo de entidad. Cuando uno se refiere a una entidad por el nombre, valor delque nombre es igualado con el número entidad de la entidad. El direccionamiento indirecto elsignifica el número de entidad está ende un parámetro de transacción. Para usar direccionamiento indirecto, se debe poner un asterisco [*], en el operando. Por ejemplo, el SNA Q*2 usa el valor del parámetro 2 como el número de entidad queue. Este SNA retorna el contenido actual de esa entidad queue. Se debe mover un número de entidad (o nombre valor) dentro de un parámetro de una transacción antes de que es SNA sea evaluado. El direccionamiento indirecto usa la notación SNA*parámetro. Otro ejemplo, para hacer un SEIZE a la facility cuyo número es el valor da la función cuyo número esta en el parámetro llamado TALLERSELECTOR, se debe tipear:

SEIZE FN*TALLERSELECTOR


26/154

5/9/2018


PARTE II

ENTIDADES


27/154

5/9/2018


Entidades VisualSIS VisualSIS está construido por varias abstracciones elementales llamadas entidades. Para que se pueda crear de simulación complejos, se debe adquirir un entendimiento entidades y deque las reglasmodelos por las cuales ellas pueden ser manipuladas. Las entidades VisualSIS de sonestas objetos abstractos existen en una simulación. Si se quiere una noción mas concreta, se puede pensar en una entidad como un conjunto de números en la memoria de la computadora. La colección de todas las entidades es llamado el modelo corriente. Los tipos más prominentes de entidades son las transacciones y los bloques, la simulación, por una larga extensión, consiste de muchas transacciones moviendose desde un bloque hacia el siguiente. En todas, hay una docena o mas tipos de entidades, y una simulación puede contener muchas instancias de algún tipo de entidad. Las entidades están numeradas. Cuando se usa un nombre para referirse a una entidad, el valor entero asociado con el nombre es usado para encontrar la entidad. Ahora bien, normalmente no se asigna estos valores enteros a nombres, aunque la sentencia EQU permite hacer esto. Muchas entidades son creadas automáticamente cuando se necesitan. Por ejemplo, una referencia a una facility usando el nombre BARBERO deberá causar la creación de una facility si esta no existe antes. Algunas entidades deben ser específicamente declaradas antes que ase puedan usar. Generalmente estas tienen atributos y el tamaño que se da a conocer a VisualSIS. El nombre en el campo Etiqueta es usado para referirse a la entidad. Las siguientes entidades deben ser declaradas antes de ser usadas: ! ! ! ! ! ! ! ! !

Storage se deben declarar con la sentencia STORAGE. Variables aritméticas deben ser declaradas con la sentencia VARIABLE. Variables de punto flotante deben ser declaradas con la sentencia FVARIABLE. Variables booleanas deben ser declaradas con la sentencia BVARIABLE. Las Matrices deben ser declaradas con la sentencia MATRIX. Las Tablas deben ser declaradas en la sentencia TABLE. Las Qtable deben ser declaradas con la sentencia QTABLE. Las funciones deben ser declaradas con la sentencia FUNCTION. Los parámetros de las transacciones deben ser declarados con los bloques ASSIGN, MARK o TRANSFER.

Algunas tipos de entidades producen una o más relaciones especiales a transacciones. Las entidades storage y facility pueden ser parcialmente o totalmente propietarios de transacciones. Otras transacciones pueden entonces estar en reposo en el modelo mientras que espera por un propietario. Para asegurarse que el propietario es eventualmente liberado por el propietario original, se debe ingresar a un bloque RETURN o RELEASE. Algunos bloques tales como PREEMPT y FUNAVAIL tienen la opción de desviar el camino de la transacción propietaria.


28/154

5/9/2018


Enti dad Transacción Las transacciones se mueven desde un bloque hacia otro bloque en una simulación de manera que representan el modelo, sistema del realhasta que que se esta modelando. Una vez quese la bloquea. transacción comienza a moverse en el éstamundo continua ingresa en un bloque en que La transacción que esta intentando moverse a través del modelo en algún instante es llamada la transacción activa. Si una transacción fracasa al encontrar condiciones favorables cuando intenta ingresar en un bloque, es puesta en reposo. Entonces otra transacción es elegida para comenzar a moverse a través del modelo. Las transacciones están numeradas secuencialmente durante una sesión comenzando con 1. Una sentencia CLEAR empieza la numeración de transacciones en 1 nuevamente. La conducta de una transacción es determinada por varios atributos o estado de variables. Los atributos importantes de una transacción son: !

Parámetros – Los parámetros de las transacciones son un conjunto de enteros asociados con una transacción. Cada transacción puede tener cualquier número de parámetros. Cada parámetro tiene un número propio por el cual es referenciado y un valor. Estos dos valores son enteros con valor y precisión ilimitado. El valor de algún parámetro de la transacción activa puede ser retornado por el SNA Pparámetro donde parámetro es el nombre o número del parámetro. Si un operando de bloque especifica un nombre o número de parámetro P$parámetro o Pparámetro no deberia ser usado, solamente se debe usar el nombre o número de parámetro. Los parámetros son usados en VisualSIS con direccionamiento indirecto. Cuando el número la entidad deseada es guardado en un valor de parámetro de la transacción activa, el nombre o número de la entidad especificada deseada puede ser reemplazado con una referencia indirecta por el parámetro de la transacción. Los bloques ASSIGN, MARK, y TRANSFER crean un parámetro de transacción si éste no existe.

!

Prioridad – La prioridad de una transacción determina la preferencia recibida cuando ésta y otra transacción están esperando por el mismo recurso. La prioridad más importante es la de QUEUE (cola) en el modelo son la Cadena de Eventos Corrientes , la cadena de espera por facility, y la cadena de espera por storage. La Cadena de Eventos Futuros no es una cadena de prioridad. El efecto de la prioridad es que una transacción deberá ser elegida según se aumenta o disminuye la prioridad de la transacción cuando una nueva transacción activa, o una facility o storage es elegida. Las transacciones sin una prioridad son usualmente programadas primero en llegar primero en servir.

!

Marca (MARK) de tiempo – El tiempo absoluto de reloj que la transacción desde la primera vez que entra a la simulación, o ingresa a un bloque MARK sin operando A.

!

Assembly set – El conjunto al que pertenecen las transacciones que son descendientes de la misma transacción padre. EL bloque SPLIT puede ser usado para crear transacciones descendientes.

!

Indicador de Delay (retraso) – Setea la negativa para entrar a un bloque, se resetea entrando a un bloque TRANSFER SIM.

!

Bloque actual – El número de bloque actual en el que está la transacción.

!

Bloque siguiente – El número del bloque donde la transacción deberá intentar ingresar seguidamente.


29/154

5/9/2018


!

Cadenas – El estado de una transacción está determinado según la cadena en que reside. Una transacción esta exactamente en uno de estos varios estados: "

ACTIVE – La transacción es la de mayor prioridad en la Cadena de Eventos Corrientes.

" SUSPENDIDA – La transacción esta esperando en la Cadena de Eventos Futuros o en la Cadena de Eventos Corrientes para llegar a ser la transacción activa. " PASIVA – La transacción ha llegado a reposar en el modelo corriente en un cadena de usuario, cadena de retraso (delay), o cadena pendiente. "

TERMINADA – La transacción ha sido destruida y no existe en el modelo corriente.

Ademas, hay otro estado que no se excluye mutuamente con los otros: " APROPIADA – La transacción ha sido apropiada por una facility y está en una o más cadenas de interrupción.

SNAs Relacionados Los SNAs relacionados con las transacciones son: MBentnum, MPentnum, M1, Pparameter, PR, XN1.


30/154

5/9/2018


Entidad Bloque La entidad bloque es el elemento básico estructural del modelo corriente. Es útil pensar en un modelo como un diagrama depueden bloques. Cada transacción en el modelo está contenida exactamente en un bloque, pero muchos bloques contener muchas transacciones. La secuencia de bloques encontrada por varias transacciones determina la naturaleza y mucho del resultado de alguna simulación. Cada transacción entra en un bloque luego al siguiente, hasta que es terminada (TERMINATE) o la simulación finaliza. Ocasionalmente las transacciones deben esperar en un bloque hasta que las condiciones sean favorables para entrar al siguiente bloque. Cada tipo de bloque esta asociado con una acción que transforma otra entidad en la simulación. En general un bloque primero determina si la transacción activa puede entrar. Si es así, varios bloques, transacciones, y un sistema de estadística amplio son actualizados. Entonces el bloque realiza una acción especifica y la transacción elige al bloque siguiente. Usualmente el "bloque secuencial siguiente" (NSB) es programado. Se insertan bloques dentro del modelo corriente conforme a su ubicación en el texto. Referencias a otros bloques en el modelo corriente son generalmente hechas usando un nombre simbólico de dirección. Los bloques, tales como otras entidades, están numerados. Pero diferente a otras entidades ellos están numerados comenzando por 1, cada vez que la simulación es activada. Esto significa que el valor numérico asociado con una dirección de bloque puede cambiar de una simulación a la siguiente. Por esta razón es prudente usar solamente nombres en vez números de entidad cuando se referencia a un bloque.

SNAs Relacionados Los SNAs relacionados con los bloques son: Nentnum y Wentnum.


31/154

5/9/2018


Entidad Facilit y Una facility es una entidad que tiene varios atributos. Una facility puede estar ocupada por una simple transacción. Esta puede estartransacción libre, en talque casonunca esta ociosa. Diferente a una entidad Storage, una facility de no puede ser liberada por una la poseyó. La transacción adquiere la pertenencia una facility con éxito ingresando a los bloques SEIZE o PREEMPT. Un bloque PREEMPT tiene el poder para destituir al propietario existente de la facility. Una facility tiene varias lineas de espera por transacciones que están esperando por algún evento a ocurrir. Cada facility tiene una cadena de retraso (delay) de transacciones esperando, una cadena de pendientes de apropiaciones en modo interrupción, y una cadena de interrupción de transacciones previamente apropiadas. Las transacciones esperando en una cadena de retraso (delay), una cadena de pendientes, o una cadena de interrumpidas están "en contienda" por la facility. Cada transacción que apropia una facility debe eventualmente librar la pertenencia ingresando a un bloque RELEASE o RETURN. Puesto que una transacción competidora deberá generalmente volverse la propietaria de la facility, la disputa por una facility lleva la obligación de eventualmente liberar la facility. Las transacciones que fracasan en el intento de entrar a un bloque SEIZE descansarán en orden de prioridad en la cadena de demora de la facility. Cuando una facility es liberada por una transacción , la siguiente propietaria es elegida desde las ocupantes de las cadenas de la facility. Las pendientes de apropiaciones (PREEMPTED) en modo interrupción son elegidas primero, seguidas por las transacciones previamente apropiadas, seguidas por las transacciones demoradas en orden de prioridad.

Estados de la Entidad Una facility que está apropiada por una transacción está en el estado "ocupada". Si una facility no es apropiada por una transacción, está en el estado "inactiva". Una facility puede estar disponible o no disponible. Cuando está disponible, las transacciones adquieren y obtienen la pertenencia de la facility normalmente. Cuando la facility está no disponible, la pertenencia no es dada hasta transacciones arribando nuevamente. Los bloques FAVAIL son usados para colocar una facility en el estado disponible, y los bloques FUNAVAIL son usados para colocarlas en el estado no disponible.

Bloques Relacionados Hay varios bloques que pueden ser usados con facilitys: ! ! ! ! ! !

SEIZE intenta tener posesión de una facility. RELEASE abandona la posesión de una facility. PREEMPT intenta tener la posesión de una facility, posiblemente destituyendo al propietario existente. RETURN abandona la posesión de una facility. FAVAIL coloca una facility en el estado disponible. FUNAVAIL coloca a una facility en el estado no disponible.

SNAs Relacionados Los SNAs asociados con las facilitys son: Fentnum, FCentnum, FIentnum, FRentnum, FTentnum y FVentnum.


32/154

5/9/2018


Enti dad Funció n Las entidades función son usadas para retornar un valor derivado de algún argumento, semejantes a un número SNA puede ser por usado Una función es definida por una sentenciaaleatorio. de controlAlgún FUNCTION, seguida una como o más argumento. sentencias definitorias de función. El operando A de la sentencia FUNCTION especifica el argumento, y el operando B especifica el tipo de función y el número de pares de datos a aparecer en la sentencias seguidas de función. Son los números, nombres, y/o SNAs en las sentencias seguidas de función que completan la definición de la entidad función. Existen 5 diferentes tipos de entidad función: ! ! ! ! !

Tipo C – Función estimada "Continua". Tras una interpolación lineal, la función trunca el resultado y retorna un entero. Un argumento aleatorio es un caso especial. Tipo D – Función estimada "Discreta". Cada masa de probabilidad o valor de argumento es asignado a un valor entero. Un argumento aleatorio es un caso especial. Tipo E – Discreta, Función "estimar atributo". Cada masa de probabilidad o valor de argumento es asignado a un SNA para ser evaluado. Un argumento aleatorio es un caso especial. Tipo L – Función estimada Listar o enumerar. El valor del argumento es usado para determina la posición en la lista del valor a ser retornado. Tipo M - Función estimada Listar o enumerar. El valor del argumento es usado para determina la posición en la lista del SNA. Este SNA es evaluado y retornado como el resultado de la función.

Las funciones son a menudo usadas como una eficiente manera de aproximarse a una distribución probabilistica. Una función usada en el operando B de un bloque ADVANCE o GENERATE es llamada "función modificadora". La interpolación lineal cuando es evaluada una entidad función aleatoria involucra un entero aleatorio entre 0-999999 tomado desde el generador de números aleatorios especificado. Este entero aleatorio es multiplicado por el factor interpolar, truncado a un entero, y adicionado a la base de el intervalo.

SNAs Relacionados El SNA asociados con las funciones es: FNentnum.


33/154

5/9/2018


Entidad Llave lógica - Logicswit ch Una entidad llave lógica (logicswitch) es una simple entidad con solamente dos estados: "set" o "reset". Existen bloques que alteran una llave lógica y SNAs que retornan el estado de éstas.

Bloques Relacionados !

El bloque LOGIC setea, resetea, o invierte el estado de una llave lógica.

SNAs Relacionados El SNA asociado con una llave lógica es: LSentnum.


34/154

5/9/2018


Enti dad Matriz La entidad matriz es un arreglo de enteros. No hay limite para la magnitud de precisión de los elementos de una entidad matriz. Una entidad matriz es definida con una sentencia MATRIX.


MSAVEVALUE modifica o asigna un valor a un elemento de una matriz.

Sentencias de Control Relacionados La sentencia INITIAL asigna un valor a un elemento de una matriz, sin la necesidad de una transacción activa.

SNAs Relacionados El SNA asociado con una matriz es: MXentnum.


35/154

5/9/2018


Entidad Cola - Queue Una entidad cola no debe ser confundida con un bloque QUEUE, los cuales son instancias de una entidad bloque. Las entidades cola actual, son usadas para recolección de estadísticas, tales como acumulación del contador total principalmente de entradas, total delaentradas encontradas con contador actualuna en cero, el conteo máximo, y el contador de tiempo. Los bloques QUEUE y DEPART son usados para actualizar las estadísticas relacionadas con una entidad cola. El procedimiento usual es hacer un "sandwich" entre los bloques SEIZE, PREEMPT, o ENTER entre medio de los bloques QUEUE y DEPART.

Estados en la Entidad El más importante atributo de una entidad cola es su contenido. El contenido de una cola es cambiado cuando un bloque QUEUE y DEPART son ingresados. Varias estadísticas relacionadas con el contenido son mantenidas automáticamente. Estas son accedidas por medio de los SNAs descritos.

Bloques Relacionados Existen varios bloques que pueden ser usados con la entidad cola: ! !

QUEUE incrementa el contenido de la entidad cola. DEPART reduce el contenido de la entidad cola.

SNAs Relacionados Los SNAs asociados con las colas son: Qentnum, QAentnum, QCentnum, QMentnum, QTentnum, QXentnum, QZentnum.


36/154

5/9/2018


Enti dad Storage Una entidad storage puede ser usada como un

"estanque de símbolos" para controlar el flujo de

transacciones en el modelo. Cuando una transacción ingresa a un storage, esta ocupa una o más unidades de storage de la entidad. Una transacción es negada a ingresar dentro de un bloque ENTER si su demanda de unidades de storage no puede ser cumplida. Tales transacciones descansan en una cadena de demora de la entidad storage. Después esta debe esperar hasta que otra transacción libere unidades de storage suficientes cuando ingresa en un bloque LEAVE. Cuando una transacción ingresa en un bloque LEAVE y libera una o más unidades de storage, otras transacciones verifican si su demanda de storage puede ser satisfecha. Una disciplina primera en encajar con salto es usada para programar las transacciones que están esperando. Esto significa que cada transacción en la cadena de demora es testeada para encajar en la entidad storage, comenzando con la de mayor prioridad. Si una encaja, la transacción es removida desde la cadena de demora, permitiendole ingresar al bloque ENTER, y colocarse en la CEC detrás de su compañero en prioridad. Luego la siguiente transacción en una cadena de demora de storage es testeada. Los bloques ENTER y LEAVE son usados para agregar estadística asociada con la entidad storage y varios SNAs están disponibles. Una entidad storage debe ser definida por una sentencia STORAGE.

Estados de la Entidad Una entidad storage está vacía cuando todas sus unidades están disponibles y completa cuando no hay unidades que estén disponibles.

Bloques Relacionados Existen varios bloques que pueden ser usados con storage: !

ENTER intenta incrementar el contenido de unidades en la entidad storage LEAVE decrementa el contenido de unidades en la entidad storage. ! SUNAVAIL coloca un storage en el estado no disponible. !

SNAs Relacionados Los SNAs asociados con un storage son: Rentnum, Sentnum, SAentnum, SCentnum, SEentnum, SFentnum, SRentnum, SMentnum, STentnum, SVentnum.


37/154

5/9/2018


Enti dad Save value Una entidad savevalue está asociada con un entero de magnitud y precisión ilimitada. El valor debe ser asignado o modificado por bloques y puede ser retornado por un SNA clase X.


SAVEVALUE asigna o modifica el valor de un savevalue.

Sentencias de Control Relacionadas !

INITIAL asigna un valor a una entidad savevalue, sin la necesidad de una transacción activa.

SNA Relacionado El SNA asociado con los savevalue es Xentnum.


38/154

5/9/2018


Entidad Tabla Una entidad tabla es un conjunto de enteros usados para acumular datos para un histograma. Cada entero representa una clase de frecuencia en un histograma y tiene una magnitud y precisión ilimitada. Una entidad tabla es definida por la sentencia TABLE.

Bloque Relacionado !

TABULATE actualiza el histograma de datos acumulados en una entidad tabla.

SNAs Relacionados Los SNAs asociados con una tabla son: TBentnum, TCentnum, TDentnum.


39/154

5/9/2018


Entidad Userchain Una entidad userchain es una transacción cola especial que puede ser manipulada por los bloques LINK y UNLINK. Las userchain son útiles para modelar complejas programaciones (scheduleing).

Bloques Relacionados ! !

LINK condicionalmente coloca una transacción en una cadena de usuario. UNLINK remueve transacciones desde una cadena de usuario.

SNAs Relacionados Los SNAs asociados con userchain son: CAentnum, CCentnum, CHentnum, CMentnum, CTentnum.


40/154

5/9/2018


Entidad Variable Una entidad variable es una compleja expresión quie puede ser calculada en demanda. Todas las entidades variable ypueden ser definidas desde expresiones que incluyen SNAs, funciones librería aritmética operadores lógicas. Sin embargo, la evaluación de la constantes, expresión es completada por de el tipo de variable. Una variable es definida por una sentencia de control VARIABLE, FVARIABLE, o BVARIABLE. !

VARIABLE crea entidades variables aritméticas que cuando son evaluadas por una llamada de SNA, realiza todas las operaciones con números de punto flotante de doble precisión, truncando a un valor entero todos los resultados intermedios intermedio antes de proceder a la siguiente expresión. El resultado final es truncado a un entero. ! FVARIABLE crea una entidad variable de punto flotante. Sólo trunca el resultado final. ! BVARIABLE crea una entidad variable booleana que retorna un 1 si el resultado es distinto de 0, en otro caso retorna 0.

SNAs Relacionados Los SNAs asociados con una variable son: BVentnum, Ventnum.


41/154

5/9/2018


Entidad Grupo Numérico Un grupo numérico es un conjunto de enteros. No hay limite en el tamaño del conjunto o el valor de sus miembros. Lossimulando. grupos numéricos son útiles para grabar eventos o para describir el estado de un proceso cuando se está

Bloques Relacionados Los bloques asociados con los grupos numéricos son: !

JOIN coloca un valor dentro de un grupo numérico. REMOVE lleva un valor fuera de un grupo numérico. ! EXAMINE testea los valores en un grupo numérico. !

SNAs Relacionados El SNA asociado con un grupo numérico es GNentnum.


42/154

5/9/2018


Enti dad Grupo de Transacciones Una grupo de transacciones es un conjunto de transacciones. No hay un limite en el número de transacciones en el grupo. Los grupos de transacciones son útiles para clasificar y acceder transacciones.


JOIN coloca la transacción ingresante dentro de un grupo de Transacciones. REMOVE lleva algún grupo de miembros fuera de un grupo de transacciones. ! EXAMINE testea los miembros de un grupo de transacciones. ! SCAN testea y/o modifica miembros de un grupo de transacciones. ! ALTER testea y/o modifica miembros de un grupo de transacciones. !

SNAs Relacionados El SNA asociado con grupo de transacciones es GTentnum.


43/154

5/9/2018


PARTE III

BLOQUES DE CONTROL


44/154

5/9/2018


Declaraciones de bloques de control

Las sentencias en uno programa sentenciascrear de bloques, queno-bloques permiten construir bloques dentro del modelo, sentenciasVisualSIS de controlson queo permiten entidades que controlan el camino de la ejecución de la simulación. Las sentencias de control del lenguaje son ! ! ! ! ! ! ! ! ! ! ! !

BVARIABLE - define una entidad variable booleana. CLEAR - reestablece estadísticas y borra transacciones. EQU - asigna un entero a un nombre. FUNCTION - define una entidad función. FVARIABLE - define una entidad variable de punto flotante. INITIAL - inicializa o modifica una llave lógica, savevalue, o matriz. MATRIX - define una entidad matriz. QTABLE - define una entidad qtable. RESET - reinicializa la acumulación de estadística en los bloques. STORAGE - define una entidad storage. TABLE - define una entidad tabla. VARIABLE - define una entidad variable aritmética.


45/154

5/9/2018


BVARIABLE Una sentencia BVARIABLE define una entidad bvariable.

Sintaxis NOMBRE

BVARIABLE

X

Etiqueta/Operadores NOMBRE X-

Nombre de referencia para esta entidad. Requerido. Expresión. Requerido.

Descripción Las entidades BVARIABLE permiten tomar decisiones en un único bloque basado en el estado y valor de muchas entidades del lenguaje. Son conbinaciones booleanas de los valores de varios Atributos Numéricos y otras variables. Dan como resultado 1 (uno), si las condiciones especificadas son cumplidas, o 0 (cero) si no lo son.

Operadores Son permitidos tres tipos de operadores: operadores lógicos, condicionales y booleanos. Los operadores lógicos están asociados con las entidades del lenguaje (facilities, storages, logicswitchs) y son usados para determinar el estado de estas entidades. Los operadores condicionales hacen comparaciones algebraicas entre operandos. Estos operadores deben ser indicados entre comillas simples. Los operadores booleanos permiten realizar operaciones AND y OR.

Ejemplos LINEA

BVARIABLE

(BV$CLKÁND´BV$FASE)

Cuando es evaluada, el resultado 1 ("verdad") si las variables booleanas CLK y FASE son verdaderas cuando son evaluadas. De otra manera, la bvariable LINEA retorna 0 ("falso").

ESINT

BVARIABLE

FNI2

Esta bvariable determina si la Facility 2 cumple la condición de "no estar interrumpida". Si es así, devuelve 1, sino 0.

MASGDE

BVARIABLE

V2'G'5

En este ejemplo, la bvariable MASGDE devuelve 1 si la Variable 2 es mayor que 5 y cero en otro caso.

Acción Cuando una sentencia BVARIABLE es reconocida, VisualSIS crea o redefine una entidad bvariable. La entidad bvariable creada es evaluada cuando un SNA de la clase BV, referenciando a esta entidad en particular, es encontrada por el procesador de VisualSIS. La expresión contenida en la sentencia BVARIABLE es evaluada en aritmética de doble precisión, con


46/154

5/9/2018


todos los SNAs regresando valores enteros. El resultado final es convertido a el entero 0, si es 0, o a 1 si el resultado es distinto de cero.

Restricciones Especiales •

LOG() retorna una condición de excepción aritmética si el argumento es negativo.

•

SQR() retorna condición de excepción si el argumento es negativo. Algunos SNAs,una tales como M1, PR y esosaritmética que requieren un parámetro, no pueden ser evaluados a menos que haya una transacción activa. •

SNAs Relacionados •

BVentnum – Resultado de evaluar la variable booleana entnum.


47/154

5/9/2018


CLEAR Una sentencia CLEAR retorna al modelo corriente al estado sin uso.

Sintaxis CLEAR Etiqueta/Operadores No posee.

Acción La sentencia de control CLEAR resetea todos los acumuladores estadísticos, elimina todas las transacciones del modelo, y luego prepara a cada bloque GENERATE con su primer transacción. El estado de todas las facilitys y storages es reseteado mostrando una condición de desocupado. El contenido de todos los bloques es puesto en cero. Cuando una sentencia CLEAR es realizada: • • • • • • • •

Todas las transacciones son eliminadas del modelo corriente. Los contadores actuales son seteados a cero. El reloj del sistema es seteado en cero. Las facilitys se vuelven ociosas y disponibles. Las tablas son seteadas en cero. Los savevalues son seteados en cero. Las llaves lógicas son reseteadas. Los elementos de matriz son seteados en cero.

•

Los storages son seteados a totalmente disponible. Los tiempos de facility, storages, colas, y cadenas de usuarios son seteados a 0. Las cantidades totales son seteados a 0. Los valores mínimos y máximos son seteados a los contenidos actual en colas, cadenas de usuarios y storages. Los generadores de números aleatorios no son reseteados. El contador de transacciones generadas en un bloque GENERATE es seteado a 0. Los miembros de todos los grupos numéricos son removidos. • • •

• • •

Restricciones Especiales Ninguna.

SNAs Relacionados Ninguno.


48/154

5/9/2018


EQU Una sentencia EQU evalúa una expresión y asigna el resultado truncado a el valor de un nombre

Sintaxis NOMBRE

EQU

X


Referencia al nombre que recibe el valor. Requerido. Expresión. Requerido.

Ejemplos FECHA

EQU

1995

Esta sentencia define al nombre FECHA y le asigna el valor 1995. Referencias futuras a el nombre FECHA son equivalentes a 1995.

PRECIO

EQU

9.50

En este ejemplo, PRECIO tendrá el valor 9, que es el resultado de la evaluación de la expresión.

Acción Cuando se ingresa una sentencia EQU, VisualSIS crea una redefinición del nombre y evalúa la expresión de la sentencia. El nombre creado es asociado con el valor igualado al resultado truncado de la evaluación de la expresión. Cuando en el modelo se referencia al nombre declarado, éste es reemplazado por su valor. El campo de expresión de la sentencia EQU es evaluada en aritmética de doble precisión, con todos los SNAs regresando un valor entero. El resultado final es convertido a un entero truncándolo y asignándolo al valor del nombre. Las expresiones son evaluadas de acuerdo con las reglas elementales del álgebra. Se puede utilizar operadores lógicos o aritméticos. Si un SNA es utilizado en la fila de una expresión, ellos son evaluadas con respecto a la transacción activa. Si no hay una transacción activa porque la simulación no ha sido comenzada, y una es necesitada para la evaluación., algún mensaje de error será escrito en pantalla. Un nombre al que no se le ha asignado explícitamente un valor no puede ser usado como un término en una expresión. Para hacer esto se debe asignar un valor con una sentencia EQU antes de que la expresión sea evaluada.


Los valores de las etiquetas de bloques no pueden ser cambiados con una sentencia

EQU.

LOG() retorna una condición de excepción aritmética si el argumento es negativo. SQR() retorna una condición de excepción aritmética si el argumento es negativo. Algunos SNAs, tales como M1, PR y esos que requieren un parámetro, no pueden ser evaluados a menos que haya una transacción activa. • • •



49/154

5/9/2018


FUNCTION Una sentencia FUNCTION, y sus sentencias seguidas, define una función de SNAs y distribuciones probabilisticas.

Sintaxis NOMBRE

FUNCTION

A,B

Etiqueta/Operadores NOMBRE Referencia al nombre de la entidad. Requerido. A– Argumento de la función. Requerido. El operando debe ser un nombre, entero positivo, SNA, o SNA*parámetro. B– Tipo de la función (una letra) seguida inmediatamente por el número de pares de datos en la función seguida por sentencias. Requerido.

Acción Una sentencia FUNCTION junto con una o más sentencias de funciones, define una entidad función. Referencias posteriores a un SNA de clase FN deberá evaluar la función y retornar el resultado. Existen varios tipos de funciones que deben ser consideradas individualmente. El tipo está especificado en el operando B de la sentencia FUNCTION. Después de ingresar uno o más pares de datos separados por barras, denotados como X1,Y1/ X2,Y2 / y así sucesivamente. Cada par de datos tiene un valor X y un valor Y (o SNA) separados por comas. Las sentencias de funciones crean tablas en el modelo corriente las cuales permiten que una función de una variable sea evaluada. Cuando VisualSIS encuentra una referencia a un SNA FNentnum, éste evalúa la entidad función y regresa el resultado. Las tablas y la manera en que ellas son referenciadas depende del tipo de función. La clases SNA FN usadas en el operando B de los bloques GENERATE y ADVANCE son llamadas funciones modificadoras. Tienen reglas especiales de evaluación. Cuando una transacción ingresa en un bloque GENERATE o ADVANCE con una función modificadora el resultado de doble precisión de la función es calculado. Este es multiplicado por una forma de doble precisión de el evaluado operando A. El resultado es truncado y usado como el incremento en el bloque GENERATE o ADVANCE. Existen 5 tipos diferentes de entidades funciones:

•

Funciones de Tipo C

Función de estimación "continua". Obtiene un valor X, tras una interpolación lineal, la función trunca el resultado y regresa un entero como un valor Y. Un argumento aleatorio es un caso especial. En una función de tipo C, sin un argumento aleatorio, los pares de datos definen una función lineal del argumento. El primer par de datos define el punto de la izquierda y el último par de datos define el punto más hacia la derecha. Los valores de X e Y son cargados como números de punto flotante de simple precisión. La evaluación de la función comienza con la evaluación del argumento. El resultado es siempre un entero, y es usado para identificar el segmento de linea de la función. El argumento es luego usado en una interpolación lineal de doble precisión para arribar al resultado de doble presición de la función. Si es


50/154

5/9/2018


usado en una función modificadora, el resultado de doble precisión es tomado. En otro caso, este es truncado a un entero y regresado como el resultado de la evaluación de la función. Si el argumento cae fuera del punto final de la definición de la función, el valor que esté más próximo al punto final es retornado. Cuando el operando A de la sentencia FUNCTION es una clase SNA RN, la función tiene un argumento aleatorio. Una continua. función de tipoes Cuncon un especial. argumento para definir probabilística Este caso Laaleatorio función es es usada especificada como una una distribución función de distribución acumulativa (CDF) con 0 como el valor del punto final izquierdo y 1 el valor del punto final derecho. Como antes, la CDF esta especificada como una función lineal con un generador de números aleatorios usado como el argumento. Cuando esta función es evaluada, un número aleatorio entre 0 y .999999 es tomado del generador de números aleatorios y es usado en una interpolación lineal para arribar al valor de doble precisión de la función. Si no es usada como función modificadora, el resultado es truncado a un numero entero.

Ejemplo SALIDA FUNCTION 1.1,10.1/20.5,98.7/33.3,889.2

V$ENTRADA,C3

Este ejemplo define a una función lineal con dos segmentos de linea. En este ejemplo, todos los números son cargados en la forma de punto flotante de simple precisión. Cuando la entidad función es evaluada por un SNA FN$SALIDA, primero el argumento de la función V$ENTRADA es evaluado. Si el resultado del argumento esta fuera del rango definido, 1.1 a 33.3, el punto extremo más cercano es retornado. Por ejemplo, si V$ENTRADA retorna un valor menor o igual a 1, FN$SALIDA retorna 10 (10.1 como una función modificadora).

•

Funciones de Tipo D

Función de estimación discreta. A cada valor de argumento de probabilidad le es asignado un valor entero. Un argumento aleatorio es una caso especial. En una función de tipo D, sin un argumento aleatorio, los pares de datos definen un conjunto de valores de argumentos los cuales son asociados con valores de funciones especificas. Los valores X en la función no deben ser decrecientes. Internamente son almacenados como enteros. Cuando la función es evaluada, los valores X de la función son buscados desde el valor más bajo hasta el más alto. Cuando un valor X mayor o igual que el valor de argumento es encontrado, el valor entero correspondiente Y es retornado. Si no existe tal valor X, el valor Y o valor de nombre asociado con el valor grande X es retornado.

Ejemplo DIS1 FUNCTION 1,6/2,7/6,9/7,10/9,12

X$A2,D5

Una función de tipo D con un argumento aleatorio es usado para definir una distribución probabilistica discreta. La función es especificada como una función de distribución acumulativa (CDF) con 0 como el valor del punto final izquierdo y 1 el valor del punto final derecho. Cuando la función es evaluada, un número aleatorio entre 0 y .999999 es tomado del generador de números aleatorios. El valor más chico X en la función que es mayor o igual que el número aleatorio es seleccionado. El valor asociado Y es retornado como un valor entero de la función.

Ejemplo RAN1 FUNCTION 0,0/.2,7/.4,6/.8,9/1.0,10

RN1,D5


51/154

5/9/2018


•

Funciones de Tipo E

Función de atributos evaluados en forma discreta. Cada valor de argumento o masa probabilistica es asignado a un SNA a ser evaluado. Un argumento aleatorio es un caso especial. Una función de tipo E es evaluada de la misma manera que una de tipo D, excepto que una de tipo E requiere pasoel mas. Después el valor X es elegido, el SNA asociado (valor Y) es evaluado y retornadoun como resultado de la que función.

Ejemplo EDISC FUNCTION X$QRA,E5 1,S$STOR1/3,S$STOR2/5,S$STOR3/9,S$STOR5/10,S$STOR6

•

Funciones de Tipo L

Función de estimación de tipo lista. El valor de argumento es usado para determinar la posición de la lista del valor a ser retornado. La función define una lista de enteros donde el resultado es elegido. Cuando la función es evaluada, el argumento es evaluado y usado como el número ordinal (valorX) de la lista de miembros. El valor Y con la posición dentro de la lista numerada es retornado como el resultado. Si el argumento es muy grande o menor que 1, un error de stop ocurre. Los valores de X deben comenzar en 1 y ser incrementados en 1 en cada par de datos sucesivos.

Ejemplo LISTTYPE FUNCTION Q$BARB, L5 1, PART1/2,PART2/3,PART3/4,PART4/5,PART5

•

Funciones de Tipo M

Función estimación de lista de argumentos. El valor de argumento es usado para determinar la posición de la lista del SNA a ser evaluado y regresado como el resultado. Una función de tipo M es evaluada de la misma forma que de una función de tipo L, excepto que requiere un paso mas. Luego de que la posición de la lista es elegida, el SNA asociado es evaluado y retornado como el valor Y.

Ejemplo MLIST FUNCTION X$NAME1,M5 1,Q$NAM1/2,Q$NAMX/3,Q$NAM4/Q$NAM6/5,F$TAN1

Reglas para las Funciones Para crear funciones se debe tener en cuenta varias reglas. Estas son: Los valores de X de las declaraciones seguidas a la función no deben decrecer. Las declaraciones seguidas a la función no pueden contener mas de 50 pares de datos. Si mas de 50 pares de datos son deseados, la función deberia estar dividida en múltiples funciones que sean accedidas por una función cuyo propósito es solamente acceder a estas funciones. Una función que tiene un argumento aleatorio debe describir una distribución probabilistica acumulativa válida en las declaraciones seguidas a la función. Todos los campos en una sentencia de función son requeridos. • •

•

•


52/154

5/9/2018


Todos los valores X e Y en las declaraciones seguidas a la función son requeridos. El número de pares de datos declarados en el operando B de la sentencia FUNCTION deben corresponder a pares separados por [/], en las declaraciones seguidas a la función. X1, el primer valor de probabilidad especificando una función continua aleatoria debe ser 0. Los valores CDF deben ser no negativos, no decrecientes , y no deben exceder a 1. Las declaraciones seguidas a la función no tienen campos de comentario. • •

•

•

En las declaraciones seguidas a la función el valor X es seguido de [, ], [, ] es seguido por un valor Y, un valor Y es seguido por [/] o [CR], y [/] es seguido de un valor X. Los valores numéricos están cargados como enteros, excepto las funciones del tipo C donde ellos están cargados como un numero de punto flotante de simple precisión. Las CDFs deben ser no decrecientes enter 0 y 1, inclusive. Algunas probabilidades en funciones del tipo C son obtenidas por el intervalo mas a la derecha, en otro caso la pérdida de probabilidades es un error. Las funciones del tipo C, D, y L no pueden tener SNAs para valores Y. Las funciones M, y E deben tener SNAs para valores Y. Las funciones L y M no pueden tener argumentos aleatorios. Las declaraciones seguidas a las funciones del tipo L y M deben tener valores secuenciales de X comenzando en 1. •

•

•

• • • •


FNentnum. – Resultado de evaluar la función entnum.


53/154

5/9/2018


FVARIABLE Una sentencia FVARIABLE define una entidad variable aritmética de doble precisión. Esto proporciona cálculos aritméticos complejos dentro de la simulación.

Sintaxis NOMBRE

FVARIABLE

X


Nombre de referencia para esta entidad. Requerido. Expresión. Requerido.

Ejemplo VAR1

FVARIABLE

5#LOG(Q$WAITINGLINE)

Esta sentencia define una entidad variable de punto flotante que será evaluada cuando V$VAR1 es encontrada. Las variables definidas con ambas sentencias VARIABLE y FVARIABLE son accedidas por SNA de clase V. Cuando el SNA V$VAR1 es evaluado, la expresión que define la entidad variable llamada VAR1 debe ser evaluada. Esta comienza con la evaluación del SNA Q$WAITINGLINE. El logaritmo del resultado de doble precisión es calculado y multiplicado por 5. El resultado es truncado y retornado como el valor de el SNA.

Acción Cuando una sentencia FVARIABLE es encontrada, VisualSIS crea o redefine una entidad variable de punto flotante. La entidad variable creada es evaluada cuando un SNA de clase V, referenciando a esta entidad particular, es encontrada por el procesador de VisualSIS. La expresión contenida en una sentencia FVARIABLE es evaluada en aritmética de doble precisión. El resultado final es convertido a un entero. La entidad variable aritmética de punto flotante es diferente a una entidad aritmética definida por una sentencia VARIABLE. Una sentencia VARIABLE define una entidad variable aritmética la cual trunca cada resultado intermedio antes de proceder al próximo cálculo. Una sentencia FVARIABLE realiza el truncamiento sólo al resultado final, no a valores intermedios.

Restricciones Especiales LOG() retorna una condición de excepción aritmética si el argumento es negativo. SQR() retorna una condición de excepción aritmética si el argumento es negativo. Algunos SNAs, tales como M1, PR y esos que requieren un parámetro, no pueden ser evaluados a menos que haya una transacción activa. • • •


Ventnum. – Resultado de evaluar la variable entnum.


54/154

5/9/2018


INITIAL Una sentencia INITIAL inicializa una llave lógica, savevalue, o un elemento de una entidad matriz.

Sintaxis INITIAL

A,B

Etiqueta/Operadores Llave lógica, savevalue, o elemento de una matriz especificada como SNA. El A– operando A debe tener la forma de un SNA de clase LS, X, o MX. Requerido. El operando debe ser LSenteropos, LS$nombre, Xenteropos, X$nombre, MXenteropos (), o MX$nombre(). Las coordenadas deben ser enteropos o nombre. B– Valor a ser asignado. El default es 1. Opcional. El operando debe ser nulo, entero o nombre.

Acción La sentencia INITIAL causa que un valor, especificado por el operando B, sea asignado a una entidad llave lógica, savevalue, o matriz especificado por un SNA de clase LS, MX, o X en el operando A. Si el operando B no es usado, un valor de 1 es asignado a la entidad, o elemento. Si el operando A especifica una llave lógica, solamente un valor 0 ó 1 es asignado. Si el operando B es explícitamente especificado como 0, el valor de 0 es asignado. En otro caso, el valor 1 es asignado.

Ejemplo INITIAL

MX$INVENTARIO(PART_39, NIVELSTOCK) , 200

Esta sentencia asigna el valor 200 al elemento de la entidad matriz llamada INVENTARIO en la fila número PART_39, y número de columna de NIVELSTOCK. Los nombres PART_39 y NIVELSTOCK deben tener previamente asignados el entero apropiado en una sentencia EQU.

Restricciones Especiales • •

El operando A debe tener la forma de un SNA de clase LS, X, o MX. No se puede usar parámetros de transacciones en ninguna parte del operando A.

SNAs Relacionados LSentnum – Llave lógica. El valor de la llave lógica entnum es retornado. MXentnum (m,n) – Matriz savevalue. El valor de fila m, columna n de la matriz entnum es retornado. Xentnum – Savevalue. El valor del savevalue entnum es retornado. • •

•

Bloques Relacionados • • •

LOGIC – Asigna un valor a una llave lógica. MSAVEVALUE – asigna o incrementa un elemento a la entidad matriz. SAVEVALUE – asigna o incrementa una entidad savevalue.


55/154

5/9/2018


MATRIX Una sentencia MATRIX define una entidad matriz.

Sintaxis NOMBRE

MATRIX

A,B,C

Etiqueta/Operadores NOMBRE – A– B– C–

Referencia el nombre de esta entidad. Requerido. Campo sin uso. Números de filas de la matriz. Requerido. El operando debe enteropos. Número de columnas de la matriz. Requerido. El operando debe ser enteropos.

Ejemplo INVENTARIO MATRIX

,1000,5

Esta sentencia define una entidad matriz llamada INVENTARIO con 1000 filas y 5 columnas.

Acción Una sentencia MATRIX crea una matriz en el modelo corriente. Una entidad matriz está limitada a no más de 8191 elementos. Si se necesitan más elementos se deben definir entradas adicionales en la matrices.


Está limitada a 8191 entradas.

SNAs Relacionados MXentnum (m,n) – Elemento de la entidad matriz. El valor de fila m, columna n de la matriz entnum es retornado. •

Bloques Relacionados •

MSAVEVALUE – asigna o incrementa un elemento a la entidad matriz.


56/154

5/9/2018


QTABLE Una sentencia QTABLE inicializa una tabla de distribución de frecuencias de tiempo en colas.

Sintaxis NOMBRE

QTABLE

A,B,C,D

Etiqueta/Operadores NOMBRE – A–

Nombre de referencia para esta entidad. Requerido. Nombre de la entidad cola. Requerido. El operando debe ser enteropos, o

nombre.

B– Límite superior de la primera clase de frecuencia. El máximo argumento que causa que el primer grupo de frecuencias sea actualizado. Requerido. El operando debe ser 0 ó enteropos. C– Tamaño de las clases de frecuencias. Es la diferencia entre el límite superior y el límite inferior de cada clase de frecuencias. Requerido. El operando debe ser enteropos. D– Cantidad de clases de frecuencias. No puede exceder a 8191. Requerido. El operando debe ser enteropos. Acción Usando una sentencia de definición QTABLE las estadísticas serán guardadas automáticamente para las transacciones que entran a un bloque QUEUE y luego a un bloque DEPART referenciando a la misma entidad cola referida por el operando A de la sentencia de definición QTABLE. Cuando una transacción entra a un bloque QUEUE que hace referencia a una entidad cola que tiene una o más qtables, un tiempo de marca especial es creado y guardado con la transacción. Para coleccionar un dato, una transacción debe entrar en un bloque DEPART que referencie a esta misma cola. Cuando tal bloque DEPART es ingresado, un argumento de la tabla es calculado sustrayendo el viejo tiempo de marca guardado desde el el tiempo de sistema actual. Si el argumento de la tabla calculado es menor o igual que el operando B de la sentencia QTABLE, la primera clase de frecuencia de la tabla es elegida. Si el argumento de la tabla no se ajusta dentro de la primera clase de frecuencia, la clase es elegida dividiendo el valor del argumento por el operando C de la sentencia QTABLE. El límite inferior de una clase de frecuencia es incluído en la clase previa. Si la tabla no es lo bastante grande para acomodar este valor, la última clase de frecuencia de la tabla es elegida. Luego el entero en la clase de frecuencia seleccionada y el contador acumulado para todas las clases es incrementado por el operando B de la sentencia DEPART. Finalmente, los acumuladores para la media y desviación estándar de la qtable son actualizados.

Ejemplo WAITTIMES

QTABLE

WAITINGLINE,100,100,10

En este ejemplo, la distribución de los intervalos QUEUE-DEPART son ingresados dentro de la tabla llamada WAITTIMES. La sentencia QTABLE crea una tabla con un total de 10 clases de frecuencias. Todos los intervalos de tiempo por debajo de 100 causan la actualización de la primera clase de frecuencia de la tabla. Normalmente esto significa que el entero para la primer clase de frecuencias sea incrementado en 1. Sin embargo, un factor de peso está disponible en el operando B del bloque DEPART. Este tiene el efecto de adicionar el factor de peso al entero de la clase de frecuencia. El factor de peso es aplicado a la media y desviación estándar también, teniendo el mismo efecto de múltiples entradas dentro del bloque DEPART.


57/154

5/9/2018


Si el intervalo de tiempo de la transacción es mayor que 900, esta se deberá poner en la décima, y última, clase de frecuencia. Si el intervalo de tiempo no cae ni en la primer clase ni en la última clase de frecuencias, éste es usado para elegir desde los grupos de frecuencias de igual espacio desde la segunda hasta la novena. Por ejemplo, si el intervalo de tiempo es 290, la tercera clase de frecuencias será actualizada.


SNAs Relacionados Qentnum – Contenido actual de la cola. El contenido actual de la cola entnum. QAentnum – Contenido promedio de la cola. La cantidad de tiempo ponderado promedio de la cola entnum. QCentnum – Cantidad de entradas total. La suma de todas las entradas a la cola entnum. QMentnum – Contenido máximo de la cola. El contenido máximo de la cola entnum. QTentnum –Tiempo de residencia en cola promedio. La cantidad de tiempo ponderado • •

• • •

entnum. promedio de la cola QXe ntnum –Tiempo de residencia en cola promedio excluyendo entradas cero. La cantidad de tiempo ponderado promedio de la cola entnum no contando entradas con tiempo de residencia cero. QZentnum – Cantidad de entradas cero. El número de entradas a la cola entnum con un tiempo de residencia cero. •

•

Bloques Relacionados • •

QUEUE – registra estadísticas para el comienzo de un tiempo de espera. DEPART - registra estadísticas para el final de un tiempo de espera usando un factor de

peso opcional.


58/154

5/9/2018


RESET Una sentencia RESET marca el comienzo de un período de medida.

Sintaxis RESET Acción Una sentencia RESET inicializa los acumuladores estadísticos sin remover las transacciones de la simulación. Esto es útil para réplica de simulación de experimentos. RESET inicializa el tiempo de comienzo del período de medida al reloj de sistema actual, y luego inicializa los acumuladores estadísticos para facilitys, colas, storages, tables y qtables. Una sentencia RESET no remueve transacciones del modelo corriente, mientras que una sentencia CLEAR si lo hace. RESET no tiene efecto sobre generadores de números aleatorios, el reloj del sistema, o la numeración de transacciones. •

Los productos de espacio-tiempo de facilitys, storages, queues y cadena de usuarios son

seteados a cero. Las cantidades totales son seteados iguales a las cantidades actuales. Los valores máximos y mínimos son seteados iguales al contenido actual en queues, cadenas de usuario, y storages. Los generadores de números aleatorios no son reseteados. Las cantidades totales de los bloques son setados a cero. Las cantidades y valores de tables y qtables son seteados a cero. • •

• • •

En lo que respecta a savevalues, logicswitchs y matrices, VisualSIS permite la ejecución de cuatro tipos de RESET distintos: 1. Los valores de savevalues y matrices son seteados a cero y las logicswitchs a estado "reset". 2. Quedan con el último valor que tenían después de finalizada la simulación previa. 3. Son inicializados con el valor que se les dió en el bloque INITIAL, y los que no fueron inicializados son seteados en cero / "reset". 4. Son inicializados con el valor que se les dió en el bloque INITIAL, y los que no fueron inicializados quedan con el último valor.




59/154

5/9/2018


STORAGE Una sentencia STORAGE define una entidad storage en el modelo corriente.

Sintaxis NOMBRE

STORAGE

A

Etiqueta/Operadores NOMBRE – A–

Referencia al nombre de esta entidad. Requerido. Capacidad tatal del storage. Requerido. El operando debe ser enteropos.

Ejemplo SALON STORAGE

20

Esta sentencia define una entidad storage llamada SALON con una capacidad total de 20 unidades.

Acción Una sentencia STORAGE define una entidad storage en el modelo corriente. Cuando una transacción intenta ingresar en un bloque ENTER, su demanda de unidades de storage es comparada con la disponibilidad del storage. Si la demanda puede ser otorgada, la transacción ingresa al bloque ENTER y la capacidad del storage disponible es reducida. Si la demanda de la transacción no puede ser satisfecha, la transacción queda bloqueada en el modelo corriente en la Delay cahin de esa entidad storage.


SNAs Relacionados Sentnum – Storage en uso. Devuelve la cantidad de unidades de storage actualmente en uso por las transacciones que entraron al storage entnum. SAentnum – Storage en uso promedio. Devuelve el tiempo ponderado promedio de unidades de storage en uso en el storage entnum. SCentnum – Cantidad de uso del storage. Devuelve la cantidad de unidades de storage a ser usadas en el storage entnum. SEentnum – Storage vacio. Devuelve 1 si el storage entnum está vacio, 0 en otro caso. SFentnum – Storage lleno. Devuelve 1 si el storage entnum está completamente en uso, 0 en otro caso. SRentnum – Utilización del storage. Devuelve la fracción del uso total representado por el storage en uso promedio del storage entnum. Srentnum es expresado en partes por mil y por lo tanto retorna un entero de 0-1000. SMentnum – Uso del storage máximo. Devuelve la cantidad máxima de unidades de storage en uso del storage entnum. STentnum – Tiempo de uso promedio por unidad en el storage entnum. SVentnum – Storage en estado disponible. Devuelve 1 si el storage entnum está en estado disponible, 0 en otro caso. •

•

•

• •

•

•

• •


60/154

5/9/2018


Bloques Relacionados • •

ENTER – toma o espera por capacidad de storage disponible. LEAVE – libera capacidad de storage.


61/154

5/9/2018


TABLE Una sentencia TABLE inicializa una tabla de distribución de frecuencias.

Sintaxis NOMBRE

TABLE A,B,C,D

Etiqueta/Operadores NOMBRE – Referencia al nombre de esta entidad. Requerido. Argumento de la tabla. El item de dato cuya distribución de frecuencia será A– tabulada. Requerido. B– Límite superior de la primera clase de frecuencias. El argumento máximo que causa que la primer clase de frecuencias sea actualizada. Requerido. El operando debe ser un nombre o entero. C– Tamaño de las clases de frecuencias. La diferencia entre el límite superior y el límite inferior de cada clase de frecuencias. Requerido. El operando debe ser un enteropos. D– Cantidad de clases de frecuencias. No puede exceder los 8191. Requerido. El operando debe ser enteropos.

Acción Una sentencia TABLE es usada para definir una entidad table para coleccionar una distribución de frecuencias, sus frecuencias relativas acumulativas, su media, y su desviación estándar. Para coleccionar un item de dato, una transacción debe ingresar a un bloque TABULATE que referencie a esta entidad TABLE. Cuando un bloque TABULATE es ingresado, el argumento de la tabla (operando A en la sentencia TABLE) es evaluado. Si éste es menor o igual que el operando B de la sentencia TABLE, la primer clase de frecuencias es actualizada. Si el argumento de la tabla no encaja dentro de la primer clase de frecuencias, la clase es elegida dividiendo el valor del argumento por el operando C de la sentencia TABLE. El límite inferior de una clase de frecuencias está incluido dentro de la clase previa. Si la tabla no es lo suficientemente grande como para acomodar este valor, la última clase de frecuencias es elegida. Luego el entero en la clase de frecuencia elegida y el contador acumulado es incrementado por el operando B de la sentencia TABULATE. El incremento por defecto es de 1. Finalmente, los acumuladores para la media y la desviación estándar del argumento de la tabla son actualizados.

Ejemplo SALESTABLE TABLE P$PRICE, 995, 1000, 10 En este simple ejemplo, la distribución del parámetro PRICE de transacciones es ingresado dentro de la tabla llamada SALESTABLE. La sentencia TABLE crea una tabla con un total de 10 clases de frecuencias. Todas los valores de PRICE menores a 995 actualizan la primera clase de frecuencias. Normalmente esto significa que el entero para la primer clase de frecuencias es incrementado en 1. Sin embargo, un factor de peso está disponible en el operando B del bloque TABULATE. Este tiene el efecto de adicionar el factor de peso al entero para la clase de frecuencia. El factor de peso es aplicado a la media y a la desviación estándar también, teniendo el efecto de múltiples entradas dentro del bloque TABULATE.


62/154

5/9/2018


Si el valor no encaja dentro de la primer clase de frecuencias y el valor del parámetro de la transacción es mayor que 8995, la décima, y última, clase de frecuencias deberá ser actualizada. Si el valor del parámetro PRICE es mayor que 900, este deberá ser colocado en la décimo, y último, clase de frecuencias. Si el valor del parámetro PRICE no encaja en ni en la primer clase ni en la última, éste es usado para elegir desde la segunda a la novena clase. Por ejemplo, si el valor de PRICE es de 2949, la tercera clase de frecuencias es elegida para ser actualizada.


Las entidades table están limitadas a no más de 8191 entradas.

SNAs Relacionados • • •

TBentnum – Promedio no ponderado de entradas en la tabla entnum. TCentnum – Cantidad de entradas no ponderadas a la tabla entnum. TDentnum – Desviación estándar de entradas no ponderadas en la tabla entnum.

Bloques Relacionados TABULATE – registra estadísticas para un item de dato en una entidad table. •


63/154

5/9/2018


VARIABLE Una sentencia VARIABLE define una entidad variable aritmética. Esta permite hacer cálculos complejos dentro de una simulación. Los resultados intermedios son truncados.

Sintaxis NOMBRE

VARIABLE

X

Etiqueta/Operadores NOMBRE – X–

Referencia al nombre de esta entidad. Requerido. Expresión. Requerido.

Ejemplo VAR1

VARIABLE

5#LOG(Q$WAITINGLINE)

Esta sentencia define a una entidad variable que será evaluada cuando V$VAR1 es encontrado. Cuando este SNA es evaluado, la expresión definiendo la entidad variable llamada VAR1 debe ser evaluada. Esta comienza con la evaluación del SNA Q$WAITINGLINE. El logaritmo del resultado de doble precisión es primero truncado y luego multiplicado por 5.

Acción Cuando una sentencia VARIABLE es ingresada, VisualSIS crea una entidad variable aritmética. La entidad variable es evaluada cuando un SNA de clase V, refieriéndose a ésta entidad particular, es encontrada por el procesador de VisualSIS. La expresión contenida en la sentencia VARIABLE es evaluada con aritmética de doble precisión, con todos los SNAs retornando valores enteros. El resultado final y los resultados intermedios son también truncados. Una entidad variable definida por una declaración VARIABLE es distinta de una entidad variable aritmética de "punto flotante". Una declaración VARIABLE define una variable aritmética que trunca cada resultado intermedio antes de proceder con el siguiente cálculo. Una declaración FVARIABLE define una entidad variable aritmética de "punto flotante" la cual trunca solamente el resultado final y no los resultados intermedios.

Restricciones Especiales LOG() retorna una condición de excepción aritmética si el argumento es negativo. SQR() retorna una condición de excepción aritmética si el argumento es negativo. Algunos SNAs, tales como M1, PR y esos que requieren un parámetro, no pueden ser evaluados a menos que haya una transacción activa. • • •


Ventnum – Devuelve el resultado de evaluar la entidad variable aritmética entnum.


64/154

5/9/2018


PARTE IV

BLOQUES EJECUTABLES


65/154

5/9/2018


Declaraci ones de bloques ejecutables Las sentencias de bloques causan que un bloque sea creado, el cual realiza una acción cuando una transacción ingresa a éste. Las sentencias de bloques son insertadas dentro del programa salvable y el bloque asociado es insertado dentro de su correspondiente posición en el modelo corriente. Cuando un bloque es borrado desde el programa salvable, la entidad bloque correspondiente es removida del modelo corriente.

Operandos Las sentencias tienen usualmente uno o más operandos que deben ser especificados por el programador. Muchos operandos tienen varias formas diferentes que son válidas.

Sentencias de Bloques del GPSS Las sentencias de bloque del lenguaje son

ADVANCE - coloca transacciones en la cadena de eventos futuros. ALTER - testea y modifica transacciones en un grupo. ! ASSEMBLE - espera por y destruye transacciones relacionadas. ! ASSIGN - modifica parámetros de transacciones. ! BUFFER - coloca transacciones en el final da la cadena de eventos corrientes, sin prioridad. ! COUNT - coloca el contador de entidades dentro de un parámetro de una transacción. ! DEPART - elimina transacciones de una entidad cola. ! ENTER - ocupa o espera por unidades de storage en una entidad storage. ! EXAMINE - testea un grupo relacionado. ! FAVAIL - cambia el estado de una entidad facility a "disponible". ! FUNAVAIL - cambia el estado de una entidad facility a "no disponible". ! GATE - testea una entidad y modifica el flujo de transacciones. ! GATHER - espera por transacciones relacionadas. ! GENERATE - crea transacciones y las coloca en la cadena de eventos futuros. ! INDEX - modifica el parámetro de una transacción. ! JOIN - coloca un miembro dentro de un grupo numérico o de transacciones. ! LEAVE - libera unidades de storage de una entidad storage. ! LINK - mueve transacciones a una entidad cadena. ! LOGIC - modifica una entidad llave lógica. ! LOOP - decrementa un parámetro, salta a un bloque diferente si el resultado es distinto de cero. ! MARK - coloca un valor de la hora del sistema dentro del parámetro de una transacción. ! MATCH - espera por transacciones relacionadas. ! MSAVEVALUE - asigna un valor a un elemento de una entidad matrix. ! PREEMPT - destituye la propietariedad de una facility. ! PRIORITY - modifica la prioridad de una transacción. ! QUEUE - adiciona contenido a una entidad queue. ! RELEASE - libera una facility. ! REMOVE - saca un miembro de un grupo numérico o grupo de transacciones. ! RETURN - libera una facility. ! SAVAIL - cambia el estado de una entidad storage a "disponible". ! SAVEVALUE - asigna un valor a una entidad savevalue. ! SCAN - testea un grupo de transacciones, coloca un valor en un parámetro de una transacción activa. ! SEIZE - asume la propietariedad de una facility o espera por ella. ! !


66/154

5/9/2018


! ! ! ! ! ! !

!

SELECT - coloca un número en un parámetro de una entidad seleccionada. SPLIT - crea transacciones relacionadas. SUNAVAIL - cambia el estado de una entidad storage a " no disponible". TABULATE - actualiza una entidad table. TERMINATE - destruye transacciones, decrementa el contador de terminación. TEST - testea condiciones aritméticas y modifica el flujo de transacciones. TRANSFER - muevetransacciones hacia un bloque especificado. de una entidad cadena de usuario. UNLINK - remueve


67/154

5/9/2018


ADVANCE Un bloque ADVANCE retarda el progreso de una transacción por una cantidad especificada de tiempo de simulación.

Sintaxis ADVANCE

A,B

Operadores El incremento de tiempo medio. Requerido. El operando debe ser un nombre, entero, A– SNA, o SNA*parámetro. B– La desviación del incremento de tiempo o, si es una función, la función modificadora. Opcional. El operando debe ser nulo, nombre, enteropos, SNA, o SNA*parámetro.

Ejemplo ADVANCE

100, 50

Este ejemplo crea un bloque que escoge un número aleatorio entre 50 y 150 inclusive (100 más/menos 50), y demora el progreso de la transacción esa cantidad de tiempo de simulación.

Acción Un bloque ADVANCE calcula un incremento de tiempo y coloca la transacción de entrada en la FEC por esa cantidad de tiempo de simulación. El incremento de tiempo puede ser calculado de varias maneras. Si únicamente el operando A es especificado, éste es evaluado y usado como el incremento de tiempo. Si los operandos A y B son presentados, y B no tiene especificado una función, ambos A y B son evaluados y un número aleatorio entre A-B y A + B, inclusivamente, es usado como el incremento de tiempo. El generador de números aleatorios número 1 es usado como la fuente de los números aleatorios. Si B es un SNA de clase FN, llamada función modificadora, el resultado de doble precisión de evaluar B es multiplicado por el resultado de la evaluación del operando A. El producto es truncado a un entero y usado como el incremento de tiempo. Si el incremento de tiempo es cero (ADVANCE 0), la transacción es ubicada en la CEC en frente de sus pares de igual prioridad.


Si un número negativo es calculado como el incremento de tiempo, ocurre un error de

stop.

Modo de rechazo Normalmente, las transacciones no son rechazadas a ingresar a un bloque ADVANCE. Sin embargo, como a las transacciones interrumpidas de alguna facility no le es permitido existir en la FEC, dicha transacción no puede entrar en el bloque ADVANCE con incremento de tiempo positivo (distinto de cero). Cuando una transacción es rechazada a entrar, su indicador de demora es seteado y permanece así hasta que la transacción ingresa en modo "simultaneo" a un bloque TRANSFER.


68/154

5/9/2018


ALTER Un bloque ALTER modifica la prioridad o un parámetro de miembros seleccionados de un grupo de transacciones.

Sintaxis ALTER O

A,B,C,D,E,F,G

Operadores Operador condicional. Relaciona los operandos E y F para que la alteración ocurra. O– Opcional. El operando debe ser nulo, E, G, GE, L, LE, MAX, MIN o NE. A– Grupo de transacciones. Grupo cuyos miembros deberán ser testeados para alterarlos. Requerido. El operando debe ser un nombre, enteropos, SNA, o SNA*parámetro. B– Límite. El número máximo de transacciones a ser alteradas. Por defecto son todas (ALL). Opcional. El operando debe ser ALL, nulo, nombre, enteropos, SNA, o SNA*parámetro. C– Atributo alterado. PR o número de parámetro. El parámetro de transacción miembro a ser alterado, o PR para alterar la prioridad de dicha transacción. Requerido. El operando debe ser PR o nombre, enteropos, SNA, o SNA*parámetro. Valor de reemplazo. El valor que debe ser reemplazado en el atributo C. Requerido. El D– operando debe ser nombre, entero, SNA, o SNA*parámetro. Valor de testeo. PR o número de parámetro. El parámetro de la transacción miembro E– que determina si cada miembro del grupo debe ser alterado, o PR para usar la prioridad de la transacción para la determinación. Este es evaluado con respecto al miembro del grupo de transacciones. Opcional. El operando debe ser PR o nulo, nombre, enteropos, SNA, o SNA*parámetro. F– Valor de referencia. El valor contra el cual el operando E es comparado. Este es evaluado con respecto a la transacción activa. Opcional. El operando debe ser nulo, nombre, entero, SNA, o SNA*parámetro. G– Número de bloque alternativo. El destino alternativo para la transacción activa. Opcional. El operando debe ser nulo, nombre, enteropos, SNA, o SNA*parámetro.

Ejemplo ALTER

INVENTORY, ALL, PRICE, 4995

En este ejemplo, todas las transacciones en el grupo de transacciones llamado INVENTORY tiene su parámetro llamado PRICE seteado igual a 4995.

Acción Un bloque ALTER selecciona transacciones de un grupo y altera uno de los atributos de dichas transacciones. Cuando un miembro del grupo es alterado, su atributo de transacción especificado por el operando C le es dado al valor especificado por el operando D. Las transacciones alteradas no son desplazadas de su contexto. Sin embargo, la transacción que ingresa al bloque ALTER puede ser redirigida conforme al operando G. Si no se usa un operador condicional, y no se usa el operando E o F, todas las transacciones por encima del límite (operando B) son alteradas. En este caso, ninguna prioridad o parámetro de prueba determina si se hace o no la alteración al atributo del miembro. Si los operandos E, F o el operador condicional son usados, cada miembro del grupo debe pasar un test antes de ser alterado. El operando E especifica que atributo de las transacciones miembros serán testeadas. Este puede ser comparado al mínimo o máximo de todos los atributos de los miembros del grupo usando MIN o MAX como operador condicional. Todas las transacciones que son testeadas y


69/154

5/9/2018


tienen el atributo máximo o mínimo son alteradas. En este caso no se debe usar el operando F. Se puede comparar el atributo del miembro del grupo con el operando F, con o sin operador condicional. En este caso, el operador condicional no debe ser MIN o MAX. El operando E siempre se refiere al miembro del grupo a ser testeado. Sin embargo, si algún otro operando es un SNA relacionado a una transacción , éste es evaluado con respecto a la transacción de entrante al bloque. Se puede usar un operador condicional para especificar la relación entre el atributo de una transacción (operando E) y el valor de referencia (operando F) los cuales iniciarán la alteración de la transacción. Por defecto el operador condicional es E (igual). Si no se usa un operador condicional, pero se usa el operando E y F, los valores deben ser iguales para la transacción miembro a ser alterada. El operando B aísla al grupo examinado cuando éste es igual al número de transacciones que han sido alteradas. El valor por defecto es ALL. Si no hay atributos a testear, es decir, no existe operando E, las transacciones son alteradas hasta que la cantidad de alteraciones sea igual a B o hasta que el total del grupo a sido alterado. El operando G indica un bloque de destino alternativo a ser tomado por la transacción de entrada cuando ocurre una condición especial. El operando G es usado como el próximo bloque bajo las siguientes condiciones: • •

Ninguna transacción es alterada. La cantidad de transacciones alteradas especificadas por el operando B no ha sido

alcanzada. Si el operando G no es usado, la transacción de entrada siempre va al próximo bloque secuencial.

Operadores Condicionales Los operadores condicionales pueden ser E, G, GE, L, LE, MAX, MIN, o NE. Si no se usa un operador condicional, E (igualdad) es asumido. Cuando la condición es verdadera, la transacción que esta siendo testeada es alterada. Las condiciones son definidas como sigue: E – El atributo de la transacción miembro especificado por el operando E debe ser igual al valor de referencia especificado en el operando F para que la transacción miembro sea alterada. G - El atributo de la transacción miembro especificado por el operando E debe ser mayor al valor de referencia especificado en el operando F para que la transacción miembro sea alterada. GE - El atributo de la transacción miembro especificado por el operando E debe ser mayor o igual al valor de referencia especificado en el operando F para que la transacción miembro sea alterada. L - El atributo de la transacción miembro especificado por el operando E debe ser menor al valor de referencia especificado en el operando F para que la transacción miembro sea alterada. LE - El atributo de la transacción miembro especificado por el operando E debe ser menor o igual al valor de referencia especificado en el operando F para que la transacción miembro sea alterada. MAX - El atributo de la transacción miembro especificado por el operando E debe ser igual que el atributo más grande de todas las transacciones en el grupo para que la transacción miembro sea alterada. MIN - El atributo de la transacción miembro especificado por el operando E debe ser igual que el atributo más chico de todas las transacciones en el grupo para que la transacción miembro sea alterada. NE - El atributo de la transacción miembro especificado por el operando E debe ser distinto al valor de referencia especificado en el operando F para que la transacción miembro sea alterada. •

•

•

•

•

•

•

•

Restricciones Especiales


70/154

5/9/2018


Si el operando E es usado, entonces se debe usar el operando F o se debe usar los operadores condicionales MAX o MIN. Si el operando F es usado, se debe usar el operando E, y no MAX o MIN. Si MAX o MIN son usados, el operador E debe ser usado y el operando F no debe ser usado. •

• •

Modo de rechazo Una transacción nunca es rechazada a entrar en un bloque ALTER.

Ejemplo Detallado ALTER NE

BIN7, 10, PRICE, 4995, P$PARTNUM, 127, OUT

En este ejemplo, cuando una transacción entra al bloque ALTER, el grupo de transacciones llamado BIN7 es examinado para las transacciones que no tienen un valor de 127 en su parámetro llamado PARTNUM. Las primeras diez transacciones que cumplan dicho testeo tendrán el valor de su parámetro llamado PRICE seteado a 4995. Si no se han encontrado las diez transacciones que pasen el testeo, la transacción de entrada intenta ingresar en el bloque llamado OUT. En otro caso, ésta procede al próximo bloque secuencial.

Bloques Relacionados Las transacciones y enteros son adicionados a grupos por un bloque JOIN. Las transacciones en grupos pueden ser referenciadas por los bloques ALTER, EXAMINE, REMOVE, y SCAN. Los números en grupos numéricos pueden ser referenciados por los bloques EXAMINE y REMOVE.

SNAs Relacionados GTentnum – Cantidad en el grupo de transacciones. Devuelve la cantidad de miembros del grupo entnum. •


71/154

5/9/2018


ASSEMBLE Un bloque ASSEMBLE es usado para sincronización. Las transacciones relacionadas son destruidas.

Sintaxis ASSEMBLE

A

Operadores Cantidad de transacciones. Requerido. El operando debe ser nombre, enteropos, SNA, A– SNA*parámetro.

Ejemplo ASSEMBLE

2

Esta es la manera más simple de usar un bloque ASSEMBLE. La primera transacción de un conjunto de reunión (assembly set) es puesta a esperar cuando ingresa en el bloque ASSEMBLE. Cuando otra transacción del mismo conjunto de reunión ingresa al bloque, ésta es destruida y la transacción que esperaba es permitida para que continúe.

Acción Cuando una transacción ingresa en un bloque ASSEMBLE, se busca en la match chain del bloque una transacción que esté esperando del mismo conjunto de reunión. Si no hay otro miembro del mismo conjunto de reunión presente, el operando A es evaluado, decrementado en uno y en un lugar de la transacción. Si este número es cero, la transacción inmediatamente intenta ingresar al próximo bloque secuencial. En otro caso la transacción es ubicada en una cola llamada match chain para esperar el arribo de otro miembro de este conjunto de reunión. Cuando una transacción ingresa en un bloque ASSEMBLE, si una transacción esperando es encontrada, la transacción de entrada es destruida y el contador de transacciones es reducido en uno. Cuando este contador llega a cero, la transacción esperando es removida de la match chain. Si esta transacción no ha sido interrumpida de alguna facility, ésta intenta entrar al próximo bloque secuencial. Cuando esto ocurre, ésta es programada detrás de las transacciones activas de la misma prioridad. Las transacciones interrumpidas que completan un conjunto de reunión de algún bloque ASSEMBLE no son permitidas a liberar el bloque hasta que todas las interrupciones han sido despejadas. Las transacciones interrumpidas que han sido removidas de la match chain no participan luego en las búsquedas en los conjuntos de reunión, incluso aún cuando ellas permanezcan en el bloque ASSEMBLE. Los bloques ASSEMBLE difieren de los GATHER en que las transacciones no son destruidas por el bloque GATHER.

Restricciones Especiales Las transacciones que están actualmente interrumpidas de alguna facility no son permitidas a dejar el bloque ASSEMBLE. •

Modo de rechazo Una transacción nunca es rechazada a entrar en un bloque ASSEMBLE.


72/154

5/9/2018


ASSIGN Un bloque ASSIGN es usado para colocar o modificar un entero en un parámetro de una transacción.

Sintaxis ASSIGN

A,B,C

Operadores Número de parámetro de la transacción activa. Requerido. El operando debe ser un A– nombre, enteropos, SNA, o SNA*parámetro, seguido por +, -, o nulo. Valor. Requerido. El operando debe ser un nombre, entero, SNA, o SNA*parámetro. B– C– Número de función. Opcional. El operando debe ser nulo, un nombre, enteropos, SNA, o SNA*parámetro.

Ejemplos ASSIGN

2000, 150000

Esta es la forma más simple de usar el bloque ASSIGN. El entero 150000 es asignado al parámetro número 2000 de la transacción que entra al bloque. Si tal parámetro no existe, éste es creado.

ASSIGN

2000+, -3

En este ejemplo, el + seguido al operando A indica que al valor del parámetro 2000 le será sumado el valor del operando B. Este bloque adiciona un –3 al valor contenido en el parámetro número 2000 de la transacción. Si no existe tal parámetro, es creado e inicializado a cero antes de la adición. En este caso, el valor del parámetro de la transacción se vuelve –3.

ASSIGN

2000-, -3

En este ejemplo, el – seguido al operando A indica que el valor del operando B será sustraído del valor original del parámetro 2000 de la transacción. Este bloque resta un –3 al valor contenido en el parámetro número 2000 de la transacción. Si no existe tal parámetro, es creado e inicializado a cero antes de la resta. En este caso, el valor del parámetro de transacción se vuelve 3.

Acción Cuando una transacción ingresa en un bloque ASSIGN, el valor del parámetro de la transacción identificado en el operando A es seteado de acuerdo a los operandos B y C. Un parámetro de transacción es creado si es necesario. Se puede asignar, sumar , o restar un valor en el parámetro de una transacción. Si no hay operando C, el operando B es evaluado y es usado como el nuevo valor a asignar, incrementar o decrementar. Sumar y restar son especificados por un sufijo + ó – inmediatamente seguido al operando A. Si no existe tal sufijo, el operando B es evaluado y el resultado es asignado al valor del parámetro de la transacción. Opcionalmente, el operando C puede ser usado para determinar el número de una función, aquí llamada "función modificadora". Si es especificado, la función es evaluada, multiplicada por el valor del operando B evaluado, truncada, y luego sumada, restada, o asignada a el parámetro de la transacción dependiendo del sufijo opcional del operando A.



73/154

5/9/2018


El operando A debe ser positivo, pero puede estar seguido por los sufijos + ó -.

Modo de rechazo Una transacción nunca es rechazada a entrar en un bloque ASSIGN.

SNAs Relacionados P parámetro o * parámetro – Valor del parámetro. Devuelve el valor del parámetro parámetro. •


74/154

5/9/2018


BUFFER Un bloque BUFFER ubica a la transacción activa en la CEC detrás de sus pares de igual prioridad.

Sintaxis BUFFER Operadores Ninguno.

Ejemplo BUFFER Este ejemplo crea un bloque que dá a otras transacciones que no son la activa la posibilidad de ser programadas.

Acción Cuando una transacción ingresa a un bloque BUFFER, ésta es ubicada en la CEC detrás de las transacciones de igual prioridad. La transacción planificada intenta mover la transacción activa hasta donde ésta pueda en el modelo corriente. En efecto, la transacción planificada remueve a la transacción activa de la CEC, llama a la rutina para el próximo bloque secuencial, y a menos que algo extraordinario ocurra, reubica la transacción activa en la CEC en frente de sus pares de igual prioridad. Este reemplazo es modificado por los bloques PRIORITY o BUFFER. Después de que una transacción entra a un bloque BUFFER, ésta es colocada detrás de sus pares de igual prioridad en la CEC. Los bloques BUFFER son usados para permitir a las transacciones reactivarse nuevamente y poder ubicarse en frente de la CEC para ser la transacción activa.

Modo de rechazo Una transacción nunca es rechazada a entrar en un bloque BUFFER.


75/154

5/9/2018


COUNT Un bloque COUNT ubica una entidad contador dentro de un parámetro de la transacción activa.

Sintaxis COUNT

O

A,B,C,D,E

Operadores Operador condicional u operador lógico. Requerido. El operando debe ser FNV, FV, I, O– LS, LR, NI, NU, SE, SF, SNE, SNF, SNV, SV, U, E, G, GE, L, LE, MIN, MAX, o NE. Número del parámetro a recibir el contador. Requerido. El operando debe ser un A– nombre, enteropos, SNA, SNA*parámetro. B– Número o nombre de la entidad dele extremo menor del rango. El número de entidad de la primera entidad a ser testeada. El tipo de entidad es implícitamente especificado por el operador lógico o el operando E. Requerido. El operando debe ser un nombre, enteropos, SNA, SNA*parámetro. C– Número o nombre de entidad del extremo mayor del rango. El número de entidad de la última entidad a ser testeada. Requerido. El operando debe ser un nombre, enteropos, SNA, SNA*parámetro. Valor de referencia para el operando E. Requerido únicamente en modo condicional. D– Opcional. El operando debe ser nulo, nombre, entero, SNA, o SNA*parámetro. Nombre de clase SNA. Especificador de atributo de entidad para testeo en modo E– condicional. Requerido únicamente en modo condicional. El tipo de SNA implica el tipo de entidad. No se especifica el número de entidad en el operando E. Esto es hecho automáticamente cuando el rango de número de entidad es alcanzado. Se puede usar cualquier entidad clase SNA. Opcional. El operando debe ser nulo o entidadSNAclase.

Ejemplos COUNT

SF

FULLCOUNT,

WAREHOUSE1,

WAREHOUSE13 En este ejemplo, el número de storages llenos cuyos números de entidad caen entre WAREHOUSE1 y WAREHOUSE13 será almacenado en el parámetro de la transacción llamado FULLCOUNT.

COUNT

E

EMPTYCOUNT,

FIRSTQUEUE,

LASTQUEUE, 0 En este ejemplo, el bloque COUNT opera en modo condicional. El operando E especifica un SNA de clase Q, que referencia a una entidad cola. Cada entidad cola con número de entidad entre FIRSTQUEUE y LASTQUEUE es testeada. Cualquier entidad cola cuyo contenido actual sea cero es contada. EMPTYCOUNT es el nombre del parámetro de la transacción activa que va a recibir la cantidad de entidades cola "vacías" en el rango especificado.

Acción Cuando el bloque COUNT es ingresado, la entidad especificada por el operando B es testeada. Si la entidad no existe y no requiere una declaración de control para su definición, una nueva entidad es creada. Después de esto, cada entidad en el rango indicado entre los operandos B y C es testeada. Un SNA es construido automáticamente por cada entidad. La clase de SNA usada para construir el SNA es tomado del operando E o es especificado por el operador lógico. Un bloque COUNT opera en cualquier modo, lógico o condicional, dependiendo de si un operador lógico


76/154

5/9/2018


o condicional es usado. Cuando un operador lógico es usado, los operandos A, B y C son usados. La condición especificada por el operador lógico es testeada para las entidades cuyo número cae entre B y C. La cuenta de entidades en esta condición es colocada en el parámetro de la transacción de entrada cuyo número es dado por el operando A. El tipo de entidad esta implícito por el operador lógico. Cuando un operador condicional es usado, los operandos A, B, C, D, y E son usados. Los operandos A, B, C son usados para especificar el parámetro destino, y el rango de números de entidades. Pero ahora el operador condicional especifica la relación entre los operandos D y E que se debe llevar a cabo para que la entidad sea contada. En modo condicional, las clase SNA está combinada con las entidades especificadas en orden a construir un SNA. El SNA completo es construído desde la clase y el número de la entidad a ser testeada. Cada SNA es evaluado por cada entidad y comparado con el valor de referencia del operando D. Si la condición es pasada, la entidad es contada.

Operadores Condicionales Tanto un operador condicional o un operador lógico es requerido. Los operadores condicionales pueden ser E, G, GE, L, LE, MAX, MIN, o NE. Las condiciones son definidas como sigue: E – El valor del SNA automático debe ser igual al valor de referencia especificado en el operando D para que la entidad sea contada. G – El valor del SNA automático debe ser mayor al valor de referencia especificado en el operando D para que la entidad sea contada. GE – El valor del SNA automático debe ser mayor o igual al valor de referencia especificado en el operando D para que la entidad sea contada. L – El valor del SNA automático debe ser menor al valor de referencia especificado en el operando D para que la entidad sea contada. LE – El valor del SNA automático debe ser menor o igual al valor de referencia especificado en el operando D para que la entidad sea contada. MAX – El valor del SNA automático debe ser igual al mayor de todos los SNAs, para que la entidad sea contada. MIN – El valor del SNA automático debe ser igual al menor de todos los SNAs, para que la entidad sea contada. NE – El valor del SNA automático debe ser distinto al valor de referencia especificado en el operando D para que la entidad sea contada. •

•

•

•

•

•

•

•

Operadores Lógicos Tanto un operador condicional o un operador lógico es requerido. Los operadores lógicos pueden ser FNV, FV, I, LS, NI, NU, SE, SF, SNE, SNF, SNV, SV, o U. Cuando el operador lógico es verdadero, la entidad a ser testeada es contada. Las condiciones son definidas como sigue:

FNV – La facility tiene que estar no disponible para que sea contada. FV – La facility tiene que estar disponible para que sea contada. I – La facility tiene que esta actualmente interrumpida (preempted) para que sea

LS – La llave lógica tiene que estar seteada (en el estado "on") para que sea contada. LR – La llave lógica tiene que estar seteada (en el estado "off") para que sea contada. NI – La facility no tiene que estar actualmente interrumpida (preempted) para ser

NU – La facility no tiene que estar en uso para que sea contada.

• • •

contada. • • •

contada. •


77/154

5/9/2018


SE – El storage tiene que estar vacío para que sea contado. SF - El storage tiene que estar lleno para que sea contado. SNE - El storage no tiene que estar vacío para que sea contado. SNF - El storage no tiene que estar lleno para que sea contado. SNV - El storage no tiene que estar disponible para que sea contado. SV - El storage tiene que estar disponible para que sea contado.

U – La facility tiene que estar en uso para que sea contada.

• • • • • • •


D y E son requeridos si O es un operador condicional. Cuando es evaluado, C debe ser mayor o igual que B.

Modo de rechazo Una transacción nunca es rechazada a entrar en un bloque COUNT.


78/154

5/9/2018


DEPART Un bloque DEPART registra estadísticas que indican una reducción en el contenido de una entidad queue.

Sintaxis DEPART

A,B

Operadores Nombre o número de la entidad cola. Requerido. El operando debe ser un nombre, A– enteropos, SNA, o SNA*parámetro. B– Cantidad de unidades a decrementar en el contenido de la cola. El valor por defecto es 1. Opcional. El operando debe ser nulo, un nombre, enteropos, SNA, o SNA*parámetro.

Ejemplo DEPART

WAITINGLINE

En este ejemplo el contenido de la entidad cola llamada WAITINGLINE es reducida en uno y los acumuladores estadísticos asociados son actualizados.

Acción Cuando una transacción ingresa a un bloque DEPART, el operando A es evaluado y usado para encontrar la entidad cola con ese número. La entidad cola es creada si es necesario. Si una entidad cola es creada, la intención de decrementar el contenido de la cola causará un error de stop. El operando B especifica el valor a ser usado para decrementar el contenido de la entidad cola. Si el operando B es especificado, éste es evaluado y usado como el resultado. Si el operando B no es especificado, el valor usado es 1. Finalmente, las estadísticas acumuladas de la entidad cola son actualizadas. Si una o más entidades qtable han sido definidas para esa entidad cola, ellas son actualizadas.


A y B deben ser positivos, si son especificados. Si el contenido de la entidad cola está por ser negativo, un error de stop ocurrirá.

Modo de rechazo Una transacción nunca es rechazada a entrar en un bloque DEPART.

SNAs Relacionados Qentnum – Contenido actual de la cola. El contenido actual de la cola entnum. QAentnum – Contenido promedio de la cola. La cantidad de tiempo ponderado promedio de la cola entnum. QCentnum – Cantidad de entradas total. La suma de todas las entradas a la cola entnum. QMentnum – Contenido máximo de la cola. El contenido máximo de la cola entnum. QTentnum –Tiempo de residencia en cola promedio. La cantidad de tiempo ponderado promedio de la cola entnum. • •

• • •


79/154

5/9/2018


QXentnum –Tiempo de residencia en cola promedio excluyendo entradas cero. La cantidad de tiempo ponderado promedio de la cola entnum no contando entradas con tiempo de residencia cero. QZentnum – Cantidad de entradas cero. El número de entradas a la cola entnum con un tiempo de residencia cero. •

•


80/154

5/9/2018


ENTER Cuando una transacción intenta ingresar en un bloque ENTER, ésta o toma o espera por un número especificado de unidades de storage.

Sintaxis ENTER

A,B

Operadores Nombre o número de una entidad storage. Requerido. El operando debe ser un nombre, A– enteropos, SNA, o SNA*parámetro. B– Cantidad de unidades a ser decrementadas a la capacidad disponible del storage. Valor por defecto es 1. Opcional. El operando debe ser nulo, nombre, enteropos, SNA, o SNA*parámetro.

Ejemplo ENTER

SALON, 2

En este ejemplo la transacción activa demanda 2 unidades de storage de las unidades de storage disponibles en la entidad storage llamada SALON. Si ellas no están disponibles, la transacción descansa en la Delay chain de la entidad storage.

Acción Cuando una transacción ingresa en un bloque ENTER, el operando A es evaluado y usado para encontrar la entidad storage con ese número. Si la entidad storage no existe, ocurre un error de stop. En otro caso, el operando B es usado para determinar la demanda de storage. Si B es especificado, el operando B es evaluado y usado como el resultado. Si B no es especificado, el valor 1 es usado. Si la entidad storage está en estado disponible, y si hay suficientes unidades de storage disponibles para satisfacer la demanda, la transacción es permitida a ingresar al bloque ENTER y la demanda es satisfecha reduciendo las unidades de storage disponibles de acuerdo a la cantidad demandada. En otro caso, la transacción es ubicada en la Delay chain de la entidad storage en orden de prioridad. Cuando las unidades de storage son liberadas por un bloque LEAVE, una disciplina de "first-fit-withskip" (primero en ajustarse) es usada para seleccionar la/las próxima/s transaccion/es a ser permitidas entrar enel bloque ENTER. Cuando una transacción ingresa en un bloque ENTER o LEAVE, las estadísticas acumuladas son actualizadas.

Restricciones Especiales • • •

A debe ser positivo. B debe ser no negativo. Una demanda por más storage que el existente causará un error de stop.

Modo de rechazo La transacción activa es rechazada a entrar en el bloque ENTER si su demanda de storage no puede ser satisfecha. La transacción activa es rechazada a entrar al bloque ENTER si la entidad storage está •

•


81/154

5/9/2018


en estado no disponible.

SNAs Relacionados

•

Rentnum – Capacidad de storage disponible. Devuelve la cantidad de unidades de

entnumde storage disponibles para usar por las transacciones que entran al storage . storage actualmente en Sentnum – Storage en uso. Devuelve la cantidad de unidades •

uso por las transacciones que entraron al storage entnum. SAentnum – Storage en uso promedio. Devuelve el tiempo ponderado promedio de unidades de storage en uso en el storage entnum. SCentnum – Cantidad de uso del storage. Devuelve la cantidad de unidades de storage a ser usadas en el storage entnum. SEentnum – Storage vacio. Devuelve 1 si el storage entnum está vacio, 0 en otro caso. SFentnum – Storage lleno. Devuelve 1 si el storage entnum está completamente en uso, 0 en otro caso. SRentnum – Utilización del storage. Devuelve la fracción del uso total representado por el storage en uso promedio del storage entnum. Srentnum es expresado en partes por mil y por lo tanto retorna un entero de 0-1000. •

•

• •

•

•

SMentnum – Uso del storage máximo. Devuelve la cantidad máxima de unidades de storage en uso del storage entnum. STentnum – Tiempo de uso promedio por unidad en el storage entnum. SVentnum – Storage en estado disponible. Devuelve 1 si el storage entnum está en estado disponible, 0 en otro caso. • •


82/154

5/9/2018


EXAMINE Un bloque EXAMINE puede ser usado para testear a miembros de un grupo numérico o de transacciones.

Sintaxis EXAMINE

A,B,C

Operadores Número de grupo. Grupo cuyos miembros serán examinados. Requerido. El operando A– debe ser un nombre, enteropos, SNA, o SNA*parámetro. Solamente en modo numérico. El valor a ser testeado en miembros de un grupo B– numérico. Opcional. El operando debe ser nulo, nombre, entero, SNA, o SNA*parámetro. C– Número de bloque. Destino alternativo para la transacción activa si no es encontrado ningún miembro. Requerido. El operando debe ser un nombre, enteropos, SNA, o SNA*parámetro.

Ejemplos

EXAMINE NOT_CORRECT_COLOR

VALID_COLORS,

P$COLOR,

En este ejemplo, si el grupo numérico llamado VALID_COLORS no incluye el valor contenido en el parámetro da la transacción llamado COLOR, la transacción activa procede a ejecutar el bloque NOT_CORRECT_COLOR. Si el valor es un miembro del grupo numérico, la transacción activa procede al próximo bloque secuencial (NSB).

EXAMINE

VALID_XACTS, , NOT_VALID_XACT

En este ejemplo, si la transacción activa no es un miembro del grupo de transacciones llamado VALID_XACTS, la transacción activa procede a la dirección del bloque NOT_VALID_XACT. Si la transacción es un miembro del grupo, ésta procede al próximo bloque secuencial (NSB).

Acción Un bloque EXAMINE opera o en modo numérico o en modo transacción. Si el operando B es usado, el bloque EXAMINE opera en modo numérico. En este caso el valor del operando B es testeado para saber si es miembro del grupo. Si el operando B no es usado, el bloque EXAMINE opera en modo transacción. Es la transacción activa la que es testeada para saber si es miembro del grupo de transacciones. Cuando una transacción ingresa en un bloque EXAMINE, el operando A es evaluado y la entidad grupo apropiado es encontrado. Si no hay tal grupo, uno es creado. Si el operando B es usado, éste es evaluado y el resultado es testeado con respecto a los números miembros en el grupo numérico. Si el operando B no es usado, la transacción activa es testeada con respecto a los números miembros en el grupo de transacciones especificado por el operando A. Si el testeo del grupo falla, el operando C es evaluado y usado como el número de bloque destino para la transacción activa. Si el número de miembro testeado es satisfecho, la transacción activa procede al próximo bloque secuencial (NSB).


A y C deben ser positivos.


83/154

5/9/2018


•

C debe ser una dirección de bloque en el modelo corriente.

Modo de rechazo Una transacción nunca es rechazada a entrar en un bloque EXAMINE.

SNAs Relacionados GNentnum – Cantidad de un grupo numérico. Devuelve la cantidad de miembros del grupo numérico entnum. GTentnum – Cantidad de un grupo de transacciones. Devuelve la cantidad de miembros del grupo de transacciones entnum. •

•

Bloques Relacionados Las transacciones y enteros son agregados a los grupos usando el bloque JOIN. Las transacciones en grupos pueden ser referenciadas por los bloques ALTER, EXAMINE, REMOVE, y SCAN. Los números en grupos numéricos pueden ser referenciados por los bloques EXAMINE y REMOVE.


84/154

5/9/2018


FAVAIL Un bloque FAVAIL garantiza que una facility esté en el estado disponible.

Sintaxis FAVAIL

A

Operadores Número de facility. Requerido. El operando debe ser nombre, enteropos, SNA, o A– SNA*parámetro.

Ejemplo FAVAIL

TALLER

Este bloque, cuando es ingresado por una transacción, asegura que la facility llamada TALLER esté en el estado disponible.

Acción Un bloque FAVAIL asegura que una facility esté en estado disponible. Si la facility fue previamente inactiva, el bloque FAVAIL intenta dar la propiedad a una transacción en espera. Si la facility estaba ya disponible, el bloque FAVAIL no tiene efecto. FAVAIL cancela el efecto del bloque FUNAVAIL en la facility, pero no afecta las transacciones desplazadas.

Modo de rechazo Una transacción nunca es rechazada a entrar en un bloque FAVAIL.

SNAs Relacionados Fentnum – Facility ocupada. Si la facility entnum está actualmente ocupada, devuelve 1, sino devuelve 0. FCentnum – Cantidad de captura de la facility. Devuelve el número de veces que la facility entnum ha sido apropiada por una transacción. FIentnum – Facility interrumpida. Si la facility entnum está actualmente interrumpida, devuelve 1, sino devuelve 0. FRentnum – Utilización de la facility. Devuelve la fracción de tiempo que la facility entnum estuvo ocupada. FRentnum es expresado en partes por mil y por lo tanto devuelve un entero entre 0-1000. FTentnum – Tiempo de uso promedio de la facility. Devuelve el tiempo promeido que la facility entnum estuvo apropiada por una transacción que la capturó. FVentnum – Facility en estado disponible. Si la facility entnum está en estado disponible, devuelve 1, sino devuelve 0. •

•

•

•

•

•


85/154

5/9/2018


FUNAVAIL Un bloque FUNAVAIL es usado para hacer a una facility no disponible de apropiaciones por transacciones.

Sintaxis FUNAVAIL

A,B,C,D,E,F,G,H

Operadores Nombre o número de facility. Requerido. El operando debe ser un nombre, enteropos, A– SNA, o SNA*parámetro. B– Modo REmove o COntinue para la transacción propietaria. Opcional. El operando debe ser RE, CO, o nulo. C– Número de bloque. Nuevo bloque para la transacción propietaria de la facility. Opcional. El operando debe ser nulo, nombre, enteropos, SNA, o SNA*parámetro. D– Número de parámetro. Parámetro a recibir el tiempo residual si la transacción propietaria es removida de la FEC. Opcional. El operando debe ser nulo, nombre, enteropos, SNA, o SNA*parámetro. Modo REmove o COntinue para transacciones interrumpidas. Opcional. El operando E– debe ser RE, CO, o nulo. Número de bloque. Nuevo bloque para las transacciones interrumpidas de la facility. F– Opcional. El operando debe ser nulo, nombre, enteropos, SNA, o SNA*parámetro. G– Modo REmove o COntinue para transacciones pendientes o demoradas en la facility (en la pending chain o en la delay chain). Opcional. El operando debe ser RE, CO, o nulo. H– Número de bloque. Nuevo bloque para las transacciones pendientes o demoradas en la facility. Opcional. El operando debe ser nulo, nombre, enteropos, SNA, SNA*parámetro.

Ejemplo FUNAVAIL

TALLER

Esta es la manera más simple de usar el bloque FUNAVAIL. La facility llamada TALLER es "congelada" durante el período de no disponibilidad. Varios tipos de otras transacciones que la transacción activa son afectadas. Si una transacción propietaria está en un bloque ADVANCE, esta deberá ser replanificada en la FEC automáticamente cuando la facility esté nuevamente disponible. El tiempo remanente en el bloque ADVANCE ("tiempo residual") es calculado y salvado automáticamente cuando la transacción es removida de la FEC. El tiempo residual se convierte en el incremento de tiempo cuando la transacción es replanificada en la FEC. Otras transacciones retrasadas o pendientes en TALLER no serán capaces de moverse durante el período de no disponibilidad.

Acción La complejidad del bloque FUNAVAIL es debida a las tres clases de transacciones que deben ser distribuidas: 1. Las transacciones propietarias (operandos B-D). 2. Las transacciones interrumpidas en la Interrupt chain (operandos E-F). 3. Las transacciones retrasadas en la Delay chain y Pending chain (operandos G-H). Un bloque FUNAVAIL permite poner a una facility "fuera de acción" y controlar el destino de las transacciones esperando, usando, o interrumpidas en la facility. Las transacciones que arriban durante el período de no disponibilidad serán retrasadas y no tendrán la propietariedad de la facility. Un bloque FUNAVAIL no tiene efecto si la facility está actualmente no disponible.


86/154

5/9/2018


Cuando la opción REmove es usada, las transacciones son removidas de la contienda por la facility. Si la opción REmove es usada para transacciones pendientes y retrasadas, es decir, G es RE, entonces H debe ser usado para redireccionar las transacciones. Cuando la opción COntinue es usada, las transacciones en las cadenas de la facility pueden continuar a poseer la facility, incluso durante aelincluir período de no disponibilidad. En este caso, las estadísticas de utilización de facility son ajustadas el tiempo. Cuando un bloque alternativo es usado, las transacciones son desplazadas desde su contexto actual y redirigidas al nuevo bloque. Las transacciones retrasadas y pendientes, que son controladas por los operandos G y H, no pueden ser redirigidas sin además usar la opción REmove. La transacción propietaria, controlada por los operandos B a D, y las transacciones interrumpidas, controladas por los operandos E y F, pueden permanecer en contienda por la facility y aún ser desplazadas a un nuevo destino. Esto es hecho especificando un destino alternativo sin usar la opción RE correspondiente. Cuando una transacción es desplazada usando los operandos C, F, o H, se le dá un nuevo bloque de destino y es descolada desde: • • • • •

FEC (con tiempo residual salvado automáticamente) PENDING (esperando a interrumpir) CHAINS DELAY (esperando por apoderarse) CHAINS USER CHAINS RETRY CHAINS

y no descolada desde: • • •

CEC INTERRUPT (interrumpidas) CHAINS de otras facilities. GROUP CHAINS.

Cuando una transacción es desplazada desde el contexto actual a cualquier parte en el modelo, usando un destino alternativo, esta esdesplazada removida es deprogramada cualquier condición dealbloqueo las interrupciones no son liberadas. Tal transacción para entrar bloque pero especificado por el operando C de la sentencia FUNAVAIL. Cuando una transacción propietaria hace un RELEASE o RETURN de una facility, la próxima propietaria es elegida de la cabeza de la Pending chain, la Interrupt chain, o la Delay chain, en ese orden.

La Transacción Propietaria Los operandos B-D son usados para controlar la transacción propietaria. Si B es CO, la transacción propietaria no es removida de su propiedad. Esta puede, sin embargo, tener un nuevo destino con el operando C. Si B es RE, la transacción propietaria es removida de la contienda por la facility. Esto significa que la transacción puede continuar circulando en el modelo sin restricciones debido a interrupciones de esta facility (puede tener interrupciones de otras facilities). Esto también significa que la transacción propietaria no debe intentar realizar un RETURN o RELEASE de la facility. El operando C debe ser usado para redireccionar el curso de tal transacción. Si B es nulo, la transacción propietaria es interrumpida y colocada en la Interrupt chain de la facility. Si esta es tomada desde la FEC y el operando C no es usado, esta será automáticamente restablecida a la FEC usando el tiempo residual salvado automáticamente cuando la facility esté nuevamente disponible.


87/154

5/9/2018


El operando C puede ser usado indiferente del operando B. Esto permite desplazar la transacción propietaria, y obtener así un nuevo bloque de destino. Si se elige retornar la transacción a la FEC, haciendo uso del operando C, se debe explícitamente enrutar la transacción a un bloque ADVANCE. El operando D permite salvar el tiempo residual en un parámetro de la transacción propietaria. El valor del tiempo residual es después disponible para explicitar una replanificacion cuando se use el valor del parámetro como operando A de un bloque ADVANCE.

Transacciones Interrumpidas Los operandos E y F son proporcionados para controlar el destino de transacciones actualmente interrumpidas de esta facility. Si E es CO, las transacciones interrumpidas no son removidas de la contienda por la facility, y pueden apropiarse de la facility durante un período de no disponibilidad. A las transacciones interrumpidas se les puede dar un nuevo destino con el operando F. Si E es RE, las transacciones interrumpidas son removidas de la contienda por la facility. Esto significa que las transacciones pueden continuar circulando en el modelo sin restricciones debido a una interrumpción de esta facility (pueden tener interrupciones de otras facilities). Esto también significa que las transacciones interrumpidas no deben intentar realizar un RETURN o RELEASE de la facility. Opcionalmente, el operando F está disponible para redireccionar el curso de tales transacciones. Si E es nulo, las transacciones interrumpidas son dejadas en la Interrupt chain de la facility, y no pueden ser propietarias de la facility durante el período de no disponibilidad. El operando F puede ser usado sin tener en cuenta al operando E. Esto causa que las transacciones interrumpidas sean desplazadas, y se les dá un nuevo bloque destino. Las transacciones interrumpidas no pueden estar en la FEC por lo que las opciones de tiempo residual no son reelevantes. Si E es nulo, la interrupción no es liberada para las transacciones desplazadas.

Transacciones Pendientes en Modo Interrupción. Los operandos G y H son proporcionados para controlar el destino de transacciones de la Pending chain (por ejemplo pendientes en un PREEMPT en modo interrupt) o de la Delay chain. Si G es CO, las transacciones retrasadas no son eliminadas de la contienda por la facility, y pueden poseer la facility durante cualquier período de no disponibilidad. Si G es RE, las transacciones retrasadas son removidas de la contienda por la facility y permitidas a circular en el modelo. Estas transacciones no deben intentar realizar un RETURN o RELEASE de la facility. El operando H debe ser usado para redireccionar el curso de tales transacciones. Si G es nulo, las transacciones retrasadas son dejadas en la Delay o Pending chain de la facility, y no pueden ser propietarias de la facility durante el período de no disponibilidad. El uso del operando H es inválido cuando el operando G es nulo.


Si B es RE, C debe ser usado. Si H es usado, G debe ser RE. Si G es RE, H debe ser usado.

Modo de rechazo Una transacción nunca es rechazada a entrar en un bloque FUNAVAIL.


88/154

5/9/2018


Ejemplo Detallado FUNAVAIL

TLR1, RE, TLR2, 300, RE, MGR, CO

En este ejemplo, la facility TLR1 es hecha no disponible. Esto significa que las transacciones nuevas arribando deberán ser demoradas. Las transacciones en o interrumpidas en TLR1 son distribuidas de acuerdo a los yoperandos Si laestransacción es propietaria de la300. facility está enpropietaria la FEC, ésta es descolada el tiempoB-H. residual salvado enque su parámetro número LasTLR1 transacción es desplazada y enviada hacia el bloque llamado TLR2. Las transacciones actualmente interrumpidas en TLR1 son eliminadas de la contienda y enviadas al bloque llamado MGR. Las transacciones actualmente retrasadas en la facility TLR1 son permitidas de apropiarse de la facility, incluso aunque ésta este en el estado no disponible.

SNAs Relacionados Fentnum – Facility ocupada. Si la facility entnum está actualmente ocupada, devuelve 1, sino devuelve 0. FCentnum – Cantidad de captura de la facility. Devuelve el número de veces que la facility entnum ha sido apropiada por una transacción. FIentnum – Facility interrumpida. Si la facility entnum está actualmente interrumpida, devuelve 1, sino devuelve 0. FRentnum – Utilización de la facility. Devuelve la fracción de tiempo que la facility entnum estuvo ocupada. FRentnum es expresado en partes por mil y por lo tanto devuelve un entero entre 0-1000. FTentnum – Tiempo de uso promedio de la facility. Devuelve el tiempo promeido que la facility entnum estuvo apropiada por una transacción que la capturó. FVentnum – Facility en estado disponible. Si la facility entnum está en estado disponible, devuelve 1, sino devuelve 0. •

•

•

•

•

•


89/154

5/9/2018


GATE Un bloque GATE altera el flujo de transacciones basado en el estado de una entidad.

Sintaxis GATE

O

A,B

Operadores Operador condicional. Condición requerido de la entidad para ser testeada por testeo O– exitoso. Requerido. El operando debe ser FNV, FV, I, LS, LR, M, NI, NM, UN, SE, SF, SNE, SNF, SNV, SV, o U. A– Nombre o número de entidad a ser testeada. El tipo de entidad es implícito por el operador condicional. Requerido. El operando debe ser un nombre, enteropos, SNA, o SNA*parámetro. B– Número de bloque destino cuando el testeo no es exitoso. Opcional. El operando debe ser nulo, nombre, enteropos, SNA, o SNA*parámetro.

Acción Un bloque GATE opera en ambos modos de rechazo o salida alternativa. Si el operando B no es usado, el bloque GATE opera en modo de rechazo. Cuando una transacción intenta ingresar en modo de rechazo a un bloque GATE, y el testeo no es exitoso, la transacción es bloquead hasta que el testeo es repetido y es exitoso. Si el test es exitoso, la transacción activa ingresa al bloque GATE y luego procede al proximo bloque secuencial. Si el operando B es usado, el bloque GATE opera en modo de salida alternativa. Cuando una transacción intenta entrar en tal bloque GATE, y el test no es exitoso, la transacción ingresa al bloque GATE, es planificada hacia el bloque de destino alternativo especificado por el operando B, y es colocada en la CEC adelante de su par en prioridad. Si el testeo es exitoso, la transacción activo ingresa al bloque GATE y luego procede al proximo bloque en secuencia.

Ejemplo GATE

SNF

MOTORPOOL

En este ejemplo de un bloque GATE en modo de rechazo, la transacción activa ingresa al bloque GATE si la entidad storage llamada MOTORPOOL no esta llena (si la capacidad de storage es menor a una unidad). Si el storage esta lleno, la transacción activa es bloqueada hasta que 1 o mas unidades de storage estén disponibles.

GATE

SNE

MOTORPOOL, CUPBOARD_IS_BARE

En este ejemplo de un bloque GATE en modo de salida alternativa, la transacción activa siempre ingresa al bloque GATE. Si la entidad storage llamada MOTORPOOL esta no vacía (si por lo menos 1 unidad de storage esta en uso) la transacción procede al NSB. Si el storage esta vacío (testeo no exitoso), la transacción activa es planificada a ingresar al bloque de la dirección llamada CUPBOARD_IS_BARE.

Operadores Condicionales Los operadores condicionales son requeridos. Los operadores lógicos pueden ser FNV, FV, I, LS, LR, M, NI, MN, NU, SE, SF, SNE, SNF, SNV, SV, o U. Cuando la condición es verdadera, la transacción ingresa al bloque GATE y procede al NSB. Las condiciones son definidas como sigue:


90/154

5/9/2018


FNV – La facility especificada implícitamente por el operando A debe ser no disponible para un testeo exitoso. FV – La facility especificada implícitamente por el operando A debe ser disponible para un testeo exitoso. I – La facility especificada implícitamente por el operando A debe ser interrumpida actualmente para un testeo exitoso. •

•

•

•

LS – La entidad llave lógica especificada implícitamente por el operando A debe estar en el estado "set" para un testeo exitoso. LR – La entidad llave lógica especificada implícitamente por el operando A debe estar en el estado "reset" para un testeo exitoso. M – El bloque Match especificado implícitamente por el operando A debe tener una transacción relacionada (la transacción activa) esperando por una condición match. NI – La facility especificada implícitamente por el operando A debe estar no interrumpida para un testeo exitoso. NM - El bloque Match especificado implícitamente por el operando A debe no tener una transacción relacionada (la transacción activa) esperando por una condición match. NU – La facility especificada implícitamente por el operando A no debe estar en uso para un testeo exitoso. SE – La entidad storage especificada implícitamente por el operando A debe estar vacía •

•

•

•

•

•

para un testeo exitoso. Todas las unidades de storage deben estar disponibles. SF - La entidad storage especificada implícitamente por el operando A debe estar lleno para un testeo exitoso. No debe estar disponible ninguna unidad de storage. SNE - La entidad storage especificada implícitamente por el operando A no debe estar vacía para un testeo exitoso. Por lo menos una unidad de storage debe estar disponible. SNF - La entidad storage especificada implícitamente por el operando A no debe estar lleno para un testeo exitoso. Debe haber por lo menos una unidad de storage disponible. SNV - La entidad storage especificada implícitamente por el operando A debe estar en estado "no disponible" para un testeo exitoso. SV - La entidad storage especificada implícitamente por el operando A debe estar en estado "disponible" para un testeo exitoso. U – La facility especificada implícitamente por el operando A debe estar en uso para un testeo exitoso. •

•

•

•

•

•

Restricciones Especiales Si B es especificado debe ser la dirección de un bloque en el modelo corriente. Los bloques GATE son extremadamente poderosos, pero ellos pueden causar un tiempo de computación a ser usado para testeos sin éxito. Se puede necesitar colocar en el modelo para reducir la frecuencia de testeos sin éxitos. Esto puede ser hecho colocando transacciones con ninguna chance de un testeo exitoso en la Cadena de Usuario usando los bloque LINK y UNLINK. • •

Modo de rechazo Un bloque GATE operando en modo rechaza deberá rechazar la entrada a una transacción cuando el testeo falle. La transacción rechazada deberá ser bloqueada hasta que el testeo sea exitoso. Cuando una transacción es negada a ingresar, su indicador de demora es seteado y permanece así hasta la entrada de la transacción al bloque TRANSFER en modo "simultaneo".


91/154

5/9/2018


GATHER Un bloque GATHER sincroniza transacciones.

Sintaxis GATHER

A

Operadores Contador de transacciones. Requerido. El operando debe ser un nombre, enteropos, A– SNA, o SNA*parámetro.

Ejemplo GATHER

2

Esta es una simple manera de usar el bloque GATHER. La primer transacción de un conjunto de reunión (assembly set) es espera cuando esta ingresa al bloque GATHER. Cuando otra transacción del mismo conjunto de reunión ingresa al bloque, ambas transacciones relacionadas son liberadas y puestas en la CEC.

Acción Cuando una transacción ingresa a un bloque GATHER, la Cadena Match del bloque es buscada por una transacción de espera del mismo conjunto de reunión. Si no hay otro miembro del mismo conjunto de reunión presente, el operando A es evaluado, decrementado en uno y salvado en una dirección de carga en la transacción activa. Si este número es cero, la transacción inmediatamente intenta ingresar al NSB. En otro caso la transacción es colocada en una cola llamada Cadena Match para esperar el arribo de otros miembros de su conjunto de reunión. Si la transacción activa arriba para encontrar otros miembros de su conjunto de reunión ya en la Cadena match, la transacción activa es también colocada en la cadena y la cuenta de transacciones salvada en la primera transacción encadenada es reducida en uno. Cuando esta cuenta llega a cero, todas las transacciones relacionadas son liberadas de la Cadena Match. Todas las transacciones que no son apropiadas de alguna facility son colocadas en la CEC detrás de su par en prioridad. Las transacciones apropiadas que tienen completado un conjunto en un bloque GATHER no son permitidas a dejar el bloque hasta que todas las apropiaciones han sido eliminadas. Las transacciones apropiadas que han sido removidas de la Cadena Match no participan en agrupaciones de assembly set posteriores incluso aunque ellos permanezcan en el bloque GATHER. Los bloques GATHER difieren de los bloques ASSEMBLE en que las transacciones después las primeras no son destruidas como en el bloque GATHER.


A debe ser positivo. Las transacciones que son actualmente apropiadas no son permitidas a dejar los bloques

GATHER.

Modo de rechazo A una transacción nunca se le niega la entrada a un bloque GATHER.


92/154

5/9/2018


GENERATE Un bloque GENERATE crea transacciones para entradas futuras dentro de la simulación.

Sintaxis GENERATE

A,B,C,D,E

Operadores Tiempo de intergeneracion menor. Opcional. El operando debe ser nulo, nombre, A– enteropos, o directSNA. No se puede usar parámetros de transacciones. Tiempo medio de intergeneracion o una función modificadora. Opcional. El operando B– debe ser nulo, nombre, enteropos, o directSNA. No se puede usar parámetros de transacciones. C– Tiempo de demora desde el comienzo. Tiempo incrementado por la primera transacción. Opcional. El operando debe ser nulo, nombre, enteropos, o directSNA. No se puede usar parámetros de transacciones. D– Limite de creación. El valor por defecto es sin limite. Opcional. El operando debe ser nulo, nombre, enteropos, o directSNA. No se puede usar parámetros de transacciones. E– Nivel de Prioridad. El valor por defecto es cero. Opcional. El operando debe ser nulo, nombre, entero, o directSNA. No se puede usar parámetros de transacciones.

Ejemplo GENERATE

1

Esta es una simple manera de usar un bloque GENERATE. Este bloque permite ingresar una transacción con prioridad cero a la simulación por unidad de tiempo.

Acción Cuando una simulación es comenzada, cualquier bloque GENERATE que no ha sido "primed" es llamado para planificar su primer transacción. Tales transacciones son planificadas para ingresar al bloque GENERATE y colocadas en la FEC si ellas tienen un incremento de tiempo positivo. El operando C puede ser usado para especificar un incremento de tiempo positivo para la primer transacción. En otro caso, el primer tiempo de incremento es calculado desde los operandos A y B. No se puede usar parámetros en los operandos de los bloques GENERATE. Las transacciones generadas recientemente no tienen parámetros, y su entrada dentro de un bloque GENERATE deberia causar un error de stop. Cuando una transacción ingresa en un bloque GENERATE, una nueva transacción es creada y un tiempo de interarribo es calculado por este. Si es positivo, la recientemente transacción creada es colocada en la FEC. Si es cero, esta es colocada en la CEC. Antes de que la nueva transacción sea creada, el operando D es evaluado para ver si todas las transacciones deseadas han sido creadas. Si el limite de creación no ha sido excedido, continua procediendo. El bloque GENERATE luego crea la nueva transacción asignando a esta el proximo número de transacción., la prioridad desde el operando E, y la marca de tiempo de la transacción es asignada al valor en el relativo reloj del sistema. La nueva transacción representa un nuevo conjunto de reunión (assembly set) con un miembro. El tiempo de interarribo de la nueva transacción es calculado por los operandos A, B y C. Si únicamente el operando A es especificado, este es evaluado y usado como el tiempo de incremento. Si los operandos A y B son presentados, y B no tiene especificado una función, ambos A y B son evaluados y un número


93/154

5/9/2018


aleatorio entra A-B y A+B, inclusivamente, es usado como el tiempo de incremento. El generador de números aleatorios número 1 es usado como la fuente de los números aleatorios. Cuando el operando B es un SNA de clase FN, esto es un caso especial llamado una "función modificadora". En este caso, el tiempo de incremento calculado es iniciado multiplicando el resultado de doble precisión de la función por el operando evaluado A. El resultado global es truncado y usado como el tiempo de incremento. Si el operando C es especificado, este es evaluado y usado como el tiempo de incremento para la primera transacción. Si el tiempo de incremento es estrictamente positivo (no cero), la transacción es colocada en la FEC, si esta es cero la transacción es puesta en la CEC detrás de su par en prioridad, si esta es negativa un error de stop ocurrirá.


Los valores de tiempo no deben ser negativos. Los operandos A y D deben ser usados.

Modo de rechazo A una transacción nunca se le niega la entrada a un bloque GENERATE.


94/154

5/9/2018


INDEX Un bloque INDEX actualiza un parámetro de la transacción activa.

Sintaxis INDEX

A,B

Operadores Número de parámetro. Parámetro con el valor fuente. Requerido. El operando debe ser A– un nombre, enteropos, SNA, o SNA*parámetro. Valor numérico. Número a ser sumado al contenido del parámetro. El resultado es B– metido dentro del parámetro 1. Requerido. El operando debe ser un nombre, entero, SNA, o SNA*parámetro.

Ejemplo INDEX

2,1

En este ejemplo, cuando una transacción ingresa en el bloque INDEX su parámetro número 1 le es dado la suma de 1 y el valor del parámetro 2 de la transacción activa.

Acción El bloque INDEX suma un entero al contenido del parámetro de una transacción y pone el resultado dentro del parámetro 1. Si el parámetro fuente no existe, un error de stop ocurre. En otro caso, si el parámetro 1 no existe en la transacción activa, este es creado.


A debe ser positivo.

Modo de rechazo A una transacción nunca se le niega la entrada a un bloque INDEX.


Pentnum o *entnum.


95/154

5/9/2018


JOIN Un bloque JOIN agrega a la transacción activa a un grupo de transacciones, o agrega un número a un grupo numérico.

Sintaxis JOIN

A,B

Operadores Número de Grupo. Grupo al cual un miembro debe ser agregado. Requerido. El A– operando debe ser nombre, enteropos, SNA, o SNA*parámetro. B– Valor numérico. Número a ser agregado al grupo numérico. Opcional. El operando debe ser nulo, nombre, entero, SNA, o SNA*parámetro.

Ejemplo JOIN

SOLDITEMS

Esta es una manera simple de usar el bloque JOIN. La transacción de entrada al bloque JOIN se vuelve un miembro del grupo de transacciones SOLDITEMS.

Acción Los bloques JOIN operan en modo numérico cuando un número es especificado por el operando B, y en otro caso en modo transacción. En modo numérico, los operandos A y B son evaluados y el número especificado por B es incluido en el grupo numérico especificado por A. Si este número esta ya es un miembro de un grupo numérico, la operación no es realizada. En modo transacción, la transacción de entrada es incluida en el grupo de transacciones especificado por el operando A. Si la transacción ya es miembro de un grupo, la operación no es realizada. Los nuevos miembros son colocados en una cadena de grupos en orden a su arribo. Los grupos numéricos son diferentes a los grupos de transacciones incluso si tienen el mismo número de grupo. Las transacciones no son de ninguna manera restringidas debido a su ocupación en una cadena de grupo. Luego el grupo es JOINED, la transacción de entrada procede al NSB. La única manera que la transacción de entrada pueda ser removida del grupo es por ser terminada por un bloque TERMINATE o ASSEMBLE, o por ser elegida para ser removida por un bloque REMOVE.



Modo de rechazo A una transacción nunca se le niega la entrada a un bloque JOIN.


GNentnum.


96/154

5/9/2018


•

GTentnum.

Bloques Relacionados Las transacciones en grupos de transacciones pueden ser referenciados por los bloques ALTER, EXAMINE, REMOVE, y SCAN. Los números en grupos numéricos pueden ser referenciados por los bloques EXAMINE y REMOVE.


97/154

5/9/2018


LEAVE Un bloque LEAVE hace a las unidades de storage disponibles para otras transacciones.

Sintaxis LEAVE

A,B

Operadores Nombre o número de la entidad storage. Requerido. El operando debe ser un nombre, A– enteropos, SNA, o SNA*parámetro. Cantidad de unidades de storage. El valor por defecto es 1. Opcional. El operando debe B– ser nulo, nombre, enteropos, SNA, o SNA*parámetro.

Ejemplo LEAVE

REPAIRMEN, 10

En este ejemplo, cuando una transacción ingresa a un bloque LEAVE, las unidades de storage disponibles de la entidad storage llamada REPAIRMEN es incrementada en 10.

Acción Cuando una transacción ingresa a un bloque LEAVE el operando A es evaluado y la correspondiente entidad de storage es encontrada. Si tal entidad no existe, ocurre un error de stop. Las entidades storage deben ser definidas con una sentencia STORAGE. La cantidad de unidades de storage a ser liberadas es encontrada por la evaluación del operando B. Si B no es usado, entonces este es asumido como 1. Después la disponibilidad de storage de una entidad storages incrementada por el valor del operando B. Si el resultado excede la capacidad original del storage , ocurre un error de stop. Si no ocurre un error, la transacción es planificada hacia el NSB y es colocada en la CEC delante de su par en prioridad. Cuando un storage se vuelve disponible, la Cadena de Demora de la entidad storage es examinada en prioridad decreciente para transacciones cuya demanda puede ahora ser satisfecha. Una disciplina "primero en encajar" es usada. Las transacciones con éxito son permitidas a ingresar en el bloque ENTER que era negada a ellas y luego son colocadas en la CEC detrás de su par en prioridad.


STORAGE. • •

A debe referenciar a una entidad storage previamente definida por una sentencia B debe ser no negativo. Un intento por liberar mas storage que el que fue definido causara un error de stop.

Modo de rechazo A una transacción nunca se le niega la entrada a un bloque LEAVE.

SNAs Relacionados


98/154

5/9/2018


• • • • • • • • • •

Rentnum. Sentnum. SAentnum. SCentnum. SEentnum. SFentnum. SRentnum. SMentnum. STentnum. SVentnum.


99/154

5/9/2018


LINK Un bloque LINK controla la colocación de la transacción activa en una Cadena de Usuario.

Sintaxis LINK

A,B,C

Operadores Número de la Cadena de Usuario. La Cadena de Usuario que debe recibir a la A– transacción entrante. Requerido. El operando debe ser nombre, enteropos, SNA, o SNA*parámetro. Cadena de clasificación. La colocación de nuevas transacciones en la cadena de B– usuario. Requerido. El operando debe ser LIFO, FIFO, nombre, entero, SNA, o SNA*parámetro. C– Dirección del proximo bloque. La dirección del bloque para transacciones que encuentran el indicador link de la cadena de usuario en el estado off (reset). Opcional. El operando debe ser nulo, nombre, enteropos, SNA, o SNA*parámetro.

Ejemplo LINK

ONHOLD, FIFO

En este ejemplo, la transacción activa es colocada al final de la Cadena de Usuario llamada ONHOLD. Esta es removida de todas las cadenas excepto de la Cadena de Grupo y la Cadena de Interrupción. En otras palabras, las apropiaciones no son limpiadas. Las transacciones permanecen en la cadena de usuario hasta que alguna otra transacción ingrese en un bloque UNLINK y específicamente remueva a esta. En el presente ejemplo, la transacción es colocada al final de la cadena de usuario llamada ONHOLD.

Acción La simple operación de un bloque LINK ocurre cuando el operando C es no usado. En este caso, la transacción de entrada es siempre colocada en la cadena de usuario especificada por el operando A. Esta es removida de todas las cadenas excepto que las apropiadas no son limpiadas. La colocación de la transacción en la cadena de usuario es controlada por el operando B. Si FIFO es usado por el operando B, nuevas transacciones arribando son colocadas en la cola de la cadena de usuario. Si LIFO es usado por el operando B, las nuevas transacciones que arriban son colocadas en la cabeza de la cadena de usuario. Cualquier otro ítem usado en el operando B es evaluado por la transacción activa y de nuevo por cada transacción mayor. Cuando una transacción cuyo valor es menor que ese de la transacción activa es encontrada, la transacción activa es colocada en la cadena de usuario inmediatamente en el frente. Si el valor de la transacción activa nunca excede el valor de un ocupante de la cadena de usuario, la transacción activa es colocada al final de la cadena. Si no se usa FIFO o LIFO en el operando B, se debe normalmente usar una transacción orientada a un SNA tales las clases como PR, M1 o P. Sin embargo, el dereccionamiento indirecto puede ser muy útil. Si PR es usado, las transacciones son colocadas en orden de prioridad. Y finalmente, si un número de prioridad es especificado, la transacción es incertada dentro de la cadena inmediatamente detrás de estas transacciones cuyo valor de parámetro es menor que ese de la transacción de entrada. La simulación es mas complicada cuando el operando C es usado. Un interruptor llamado un "indicador link" es parte de cada entidad userchain. El indicador link es útil para usar en cadenas de usuario para controlar la cola de transacciones en un recurso. Este es on (set) cuando el hipotético recurso esta "ocupado" y off (reset) cuando esta "disponible". Cuando el indicador link de una entidad userchain esta en off, si el operando C es usado, el bloque LINK no deberá colocar la


100/154

5/9/2018


transacción en la cadena de usuario. El indicador link es útil para permitir a la primera de varias transacciones evitar la cadena de usuario y para permitir a las transacciones siguientes ser colocadas en la cadena de usuario. Si el operando C es usado, la transacción de entrada deberá no ser colocada en la cadena de usuario si el indicador link esta en off. En cambio, la transacción deberá proceder al bloque especificado por C, y luego el cadena indicador link deberá ser set. Las siguientes transacciones entrantes al bloque LINK deberan ir hacia la de usuario. El indicador link es manipulado por ambos bloques LINK y UNLINK. Este es apagados (reset) cuando un bloque UNLINK es encuentra la cadena de usuario vacía. Es útil pensar a un indicador link como representando la " condición ocupada" de un hipotético recurso. Cuando el indicador link es set, el recurso esta "ocupado". Cuando una transacción encuentra al recurso inactivo esta no deberia esperar (en la cadena de usuario). La transacción deberia proceder al bloque especificado por el operando C en el bloque LINK sets al indicador link de la userchain. Considerando a dos transacciones arribando a un bloque LINK, una después de otra. Si, por ejemplo, la primer transacción no ingresa a un bloque UNLINK antes de que la segunda transacción arribe, la segunda transacción deberia encontrar el indicador link en (set), y deberia ser colocada en la cadena de usuario. En este ejemplo, cuando la primera transacción ingresa a un bloque UNLINK, la segunda transacción es removida de la cadena de usuario. A esta altura, el indicador link permanece en (set). Luego, cuando la segunda transacción ingresa al bloque UNLINK, y las transacciones no esperando son encontradas en la cadena de usuario, el indicador link es finalmente apagado (reset). Las cadenas de usuario permiten manipular el mecanismo de cola de transacciones con mucho mas detalle que una facility. Es posible implementar complicados algoritmos de planificaciones usando los bloques LINK y UNLINK. Las cadenas de usuario pueden ser usadas para reducir la cantidad de tiempo de computo gastado en test sin éxito asociados con los bloques GATE, TEST, TRANSFER BOTH, y TRANSFER ALL. Se puede crear rápidas simulaciones colocando transacciones bloqueadas en cadenas de usuario cuando no hay posibilidad de testeos de relaciones exitosos. Luego, se debe introducir cada transacción de atrás dentro de su bloque de testeo cuando un evento ocurre que puede desbloquear a la transacción.


A, B y C, si son especificados, deben ser positivos. C, si es especificado, debe ser una dirección de bloque en el modelo corriente.

Modo de rechazo A una transacción nunca se le niega la entrada a un bloque LINK.

SNAs Relacionados • • • • •

CAentnum. CCentnum. CHentnum. CMentnum. CTentnum.


101/154

5/9/2018


LOGIC Un bloque LOGIC cambia el estado de una entidad llave lógica.

Sintaxis LOGIC O

A

Operadores Operador llave lógica. Requerido. El operando debe ser S, R, o I. O– Número de llave lógica. Requerido. El operando debe ser un nombre, enteropos, SNA, A– o SNA*parámetro.

Ejemplo LOGIC

S

POWERSWITCH

En este ejemplo, la llave lógica llamada POWERSWITCH es colocada en verdadero o estado "set".

Acción Un bloque LOGIC es usado para set, reset, o invertir el estado de una entidad llave lógica. Una entidad llave lógica tiene dos estados set y reset. Si el operador lógico es S o R, la llave lógica especificada por el operando A es puesta en el estado set o reset, respectivamente. Si el operador lógico es I, el estado de la llave lógica especificada por el operando A es invertido. Esto significa que si esta en el estado set, esta deberá ser cambiado a reset, y viceversa.

Operadores Lógicos Un operador llave lógica es requerido. Este puede ser S, R, o I. El operador llave lógica tiene el siguiente efecto: • • •

S – La llave lógica es puesta en el estado "set". R – La llave lógica es puesta en el estado "reset". I – La llave lógica es invertida.

Modo de rechazo A una transacción nunca se le niega la entrada a un bloque LOGIC.


LSentnum.


102/154

5/9/2018


LOOP Un bloque LOOP modifica un parámetro y controla el destino de la transacción activa basado en el resultado.

Sintaxis LOOP

A,B

Operadores Parámetro a contener la cuenta. Requerido. El operando debe ser un nombre, enteropos, A– SNA, o SNA*parámetro. B– Número de bloque. Proximo bloque a ir si la cuenta no es cero después de decrementarla. El operando debe ser nulo, nombre, enteropos, SNA, o SNA*parámetro.

Ejemplo LOOP

CUSTOMERCOUNT, STRAT_OVER

Le permite asumir en este ejemplo que el bloque START_OVER precede al bloque LOOP en el modelo corriente. En este ejemplo, cuando una transacción ingresa al bloque LOOP su parámetro llamado CUSTOMERCOUNT es decrementado por 1. Si el resultado no es cero, la transacción procede hacia la dirección de bloque START_OVER. Este causa a la transacción continuar hacia el bloque LOOP hasta que el valor del parámetro llamado CUSTOMERCOUNT es 0. La transacción entonces procede a el NSB.

Acción Cuando una transacción ingresa a un bloque LOOP, el operando A es evaluado y usado para encontrar el parámetro de transacción con ese número. Si tal parámetro no existe, ocurre un error de stop. En otro caso el valor del parámetro es decrementado por 1. Si el nuevo valor del parámetro no es cero y el operando B es especificado, la transacción es planificada hacia la dirección especificada en el operando B. En otro caso, la transacción procede al NSB.



Modo de rechazo A una transacción nunca se le niega la entrada a un bloque LOOP.


Pparámetro o *parámetro.


103/154

5/9/2018


MARK Un bloque MARK coloca una marca de tiempo absoluta de reloj dentro de la transacción activa o dentro de su parámetro.

Sintaxis MARK A Operadores Número de parámetro. Parámetro a recibir el valor del reloj del sistema. Opcional. El A– operando debe ser nulo, nombre, enteropos, SNA, o SNA*parámetro.

Ejemplos MARK BEGINNING En este ejemplo, cuando una transacción ingresa al bloque MARK, su parámetro llamado BEGINNING le es dada un valor igual al valor absoluto del reloj del sistema, AC1.

MARK En este ejemplo, cuando una transacción ingresa al bloque MARK, su "marca de tiempo" es seteada igual al valor absoluto del reloj del sistema.

Acción Cuando una transacción ingresa a un bloque MARK y el operando A no es especificado, Su "marca de tiempo" es seteada igual al valor absoluto del reloj del sistema. Si el operando A es especificado, el parámetro de la transacción activa con ese número es encontrado y se le da un valor igual al valor absoluto del reloj del sistema. Si el parámetro no existe, este es creado. La transacción activa luego procede al NSB. La marca seteada por el bloque MARK puede ser recuperada por las clases de SNA M1 y MP. M1 retorna el "tiempo de transito", que es el valor absoluto del reloj del sistema menos la marca de tiempo de la transacción. La clase SNA MP retorna un valor igual al valor absoluto del reloj del sistema menos el valor de un parámetro de transacción.


A, si es especificado, debe ser positivo.

Modo de rechazo A una transacción nunca se le niega la entrada a un bloque MARK.

SNAs Relacionados • •

MPentnum. M1.


104/154

5/9/2018


MATCH Un bloque MATCH causa a transacciones esperar por otras transacciones.

Sintaxis MATCH

A

Operadores Nombre o número de bloque. Conjugar un bloque MATCH para ser testeado por A– transacciones iguales (mismo conjunto de reunión). Requerido. El operando debe ser un nombre, enteropos, SNA, o SNA*parámetro.

Ejemplo A_IS_DONE

MATCH

B_IS_DONE

B_IS_DONE

MATCH

A_IS_DONE

Este ejemplo muestra dos bloques MATCH conjugados. Ellos deberan normalmente ser colocados separadamente en el modelo corriente, y uno deberia eventualmente recibir a una transacción SPLIT (mismo conjunto de reunión). Si cada bloque MATCH esta colocado después de un conjunto de bloques representando algunos procesos, la pareja de transacciones relacionadas deberia preceder de bloques MATCH anteriores únicamente cuando ambas transacciones tienen completados sus respectivos procesos.

Acción Cuando una transacción ingresa a un bloque MATCH, el operando A es evaluado y el bloque conjugado MATCH es encontrado. Si no existe tal bloque, ocurre un error de stop. Si el bloque conjugado MATCH contiene una transacción (en su cadena match) del mismo conjunto de reunión que la transacción activa, la transacción relacionada es removida de la cadena de match. Si esta no se apropia de alguna facility, es colocada en la CEC detrás de su par en prioridad. Similarmente, si la transacción activa no esta actualmente apropiada de alguna facility esta es colocada en la CEC, pero delante de su par. Si cada transacción matching esta actualmente apropiada de una facility, a esta no le es permitido dejar el bloque MATCH hasta que todas las apropiaciones han sido limpiadas en su nombre. Si, cuando la transacción activa ingresa al bloque MATCH, no encuentra una transacción matching, esta descansa en la cadena match del bloque MATCH.


A debe ser la dirección de un bloque MATCH en el modelo corriente. Las transacciones que actualmente están apropiadas no son permitidas a dejar el bloque

MATCH.

Modo de rechazo A una transacción nunca se le niega la entrada a un bloque MARK.


105/154

5/9/2018



Mbentnum.


106/154

5/9/2018


MSAVEVALUE Un bloque MSAVEVALUE actualiza un elemento de una entidad matriz.

Sintaxis MSAVEVALUE A,B,C,D


107/154

5/9/2018


PREEMPT Un bloque PREEMPT destituye a una transacción de la propietariedad de una facility.

Sintaxis PREEMPT

A,B,C,D,E

Operadores Nombre o número de facility. El operando debe ser un nombre, enteropos, SNA, o A– SNA*parámetro. Modo prioridad. PR, para modo prioridad, o modo interrupción, si es omitida. B– Opcional. El operando debe ser PR, o nulo. C– Nombre o número de bloque. Nuevo destino para la transacción actualmente propietaria e la facility. Opcional. El operando debe ser nulo, nombre, enteropos, SNA, o SNA*parámetro. D– Número de parámetro. Parámetro de la transacción apropiada a recibir el tiempo residual si la transacción apropiada es removida de la FEC. Opcional. El operando debe ser nulo, nombre, enteropos, SNA, o SNA*parámetro. Modo REmove. Transacciones apropiadas removidas de la contención de la facility. E– Opcional. El operando debe ser RE, o nulo. Si es RE, se debe especificar un destino en el operando C.

Ejemplo PREEMPT

TELLER1

Esta es una simple manera de usar el bloque PREEMPT. Cuando una transacción ingresa en un bloque PREEMPT, a esta le es dada la propiedad de la facility a menos que esta (la facility) este actualmente apropiada. Si una transacción debe ser destituida de la propietariedad de la facility, esta no es permitida recidir en la FEC y sus movimientos en el modelo corriente es restringido.

Acción Un bloque PREEMPT se comporta como un bloque SEIZE cuando la facility esta desocupada. En otro caso, el bloque PREEMPT opera en ambos modos "de prioridad" o "de interrupción". Esto es determinado por el operando B. Si esta en modo prioridad, únicamente la transacción con mayor prioridad puede destituir a la transacción que posee la facility. Si una posible apropiación no tiene la suficiente prioridad, esta es colocada en la Cadena de Demora de la facility en orden de prioridad. Si esta en modo interrupción, si la facility ya esta apropiada la transacción activa es colocada en la Cadena Pendientes. Las transacciones en la Cadena de Pendientes son preferidas para darles la propiedad de la facility antes que transacciones apropiadas o a transacciones en la Cadena de Demora. Los operandos C y E están involucrados con que hacer con el propietario actual de la facility que deberá ser apropiada. Las transacciones apropiadas que están indefinido tiempo en un bloque ADVANCE pueden ser reemplazadas en la FEC automáticamente omitiendo el operando C y E. Alternativamente, si se escoge reemplazar a la transacción de la FEC uno mismo, se debe utilizar el operando D y eventualmente enviar la transacción apropiadas el bloque ADVANCE. Una transacción apropia puede ser removida de la contención de su facility (removiendo de todas las cadenas de la facility) usando la opción RE en el operando E. La opción RE remueve las restricciones colocadas en las transacciones apropiadas debido a la apropiación de esta facility, y cualquier intento


108/154

5/9/2018


subsecuente a RETURN o RELEASE la facility da una condición de error de stop. Una transacción apropiada no existe en la FEC. Cualquier nueva transacción apropiada en el bloque ADVANCE que esta en la FEC es removida de la FEC y la duración de tiempo residual es salvado. Si el operando D es usado, el tiempo residual es también salvado en un parámetro de transacción. Si tal parámetro no existe, este es creado. El tiempo residual es usado para replanificar la transacción en la FEC cuando estaapropiada recupere debe la propiedad lasnuevo facilitys las que compite. Alternativamente, transacción ser dada adeuntodas bloque para por intentar ingresar usando el operando C. una Una transacción apropiada permanece en disputa por una facility incluso si esta es desplazada por el operando C, a menos que RE sea usado en el operando E. Si una transacción apropiada, que esta todavía en disputa por la facility, intenta ingresar a un bloque TERMINATE ocurre un error de stop. Tales transacciones deben ingresar a un bloque RELEASE o RETURN antes de ellas sean permitidas a TERMINAR. Cuando una transacción es desplazada usando el operando C, esta es dada a un nuevo bloque de destino y es encolada por: • • • • •

FEC (el tiempo residual es salvado automáticamente) CADENA PENDING (modo de interrupción apropiación) CADENA DE DEMORA (mayor prioridad) CADENA DE USUARIO CADENA DE REINTENTO

y no son encoladas por: • • •

CEC CADENAS DE INTERRUPCION (apropiadas) CADENAS DE GRUPOS

Cuando el operando C no es usado, una transacción apropiada que ha dejado la FEC deberá automáticamente regresar a esta. Las transacciones apropiadas que no han sido desplazadas usando el operando eventualmente a ingresararriba a un bloque RETURNooRELEASE RELEASEantes en orden a obtener la la propiedadCdeesperan la facility. Si tal transacción a un RETURN de recuperar propiedad de la facility, la transacción es removida de la disputa por la facility. No ocurre error de stop. Una transacción puede ser apropiada de cualquier cantidad de facilitys y continua circulando en el modelo. Sin embargo, esto es subjetivo por dos restricciones: · Esta es negada a ingresar a los bloques ADVANCE con argumentos de tiempos positivos. · Esta no debe intentar liberar un bloque ASSEMBLE, GATHER, o MATCH hasta que todas las apropiaciones sean limpiadas. Una facility puede ser apropiada cualquier cantidad de veces. Sin embargo, una vez que la transacción ha sido apropiada esta no puede intentar tomar la facility desde que esta a sido apropiada. Una transacción puede apropiarse de cualquier cantidad de facilitys.

Restricciones Especiales · ·

Si E es RE, C debe ser usado. Una transacción no puede apropiarse a si misma.

Modo de rechazo


109/154

5/9/2018


Una transacción es negada a ingresar a un bloque PREEMPT si, en modo interrupción, la facility esta actualmente apropiada. Tales transacciones son colocadas al final de la Cadena de Pendientes de la facility. Una transacción es negada a ingresar a un bloque PREEMPT si, en modo prioridad, la facility esta actualmente ocupada por una transacción de mayor o igual prioridad que la transacción activa. La transacción activa es colocada en orden de prioridad en la Cadena de Demora de la facility. •

•

•

UnaTales transacción es negada ingresar en a un en el estado no disponible. transacciones son acolocadas la bloque Cadena PREEMPT de Demora si delala facility facility,esta en orden de prioridad, FIFO sin prioridad.

Ejemplo Detallado PREEMPT

TELLER1, , TELLER2, 101, RE

En este ejemplo, el bloque PREEMPT opera en modo interrupción porque el operando B es omitido. Esto significa que una transacción puede ingresar al bloque y apropiarse de la facility si la facility no esta actualmente en apropiada por una transacción apropiadora. La prioridad de las transacciones SON IGNORADAS. Cuando una transacción es apropiada, algún tiempo de permanencia en un bloque ADVANCE es grabado en el parámetro 101 de la transacción apropiada. La transacción apropiada es removida de la disputa por la facility y enviada al bloque con label TELLER2. Un error deberá resultar si tal transacción después intenta RELEASE o RETURN la facility llamada TELLER1, sin propiedad de nuevo.

PREEMPT

TELLER1, PR, TELLER2.

En este ejemplo, el bloque PREEMPT opera en modo prioridad. Esto significa que una transacción puede entrar al bloque y apropiar la facility si la facility no esta ya apropiada por una transacción de igual o mayor prioridad. Cualquier transacción apropiada no es removida de la disputa por una facility. Esto significa que tal transacción no puede estar largo tiempo en la FEC o dejar los bloques ASSEMBLE, GATHER, o MATCH. Bajo estas restricciones, las transacciones apropiadas pueden continuar circulando en el modelo corriente, y en este caso son enviadas al bloque de dirección TELLER2. Tales transacciones permanecen en disputa por la facility llamada TELLER1, y normalmente deberan recuperar la propiedad de esta. Una transacción apropiada puede RETURN o RELEASE una facility incluso si esta no tiene propiedad de esta. Esta remueve la transacción de la disputa por la facility removiendo a esta de la Cadena de Interrupción da la facility.

SNAs Relacionados • • • • • •

Fentnum. FCentnum. FIentnum. FRentnum. FTennum. FVentnum.


110/154

5/9/2018


PRIORITY Un bloque PRIORITY setea la prioridad de la transacción activa.

Sintaxis PRIORITY

A,B

Operadores Nuevo valor de prioridad. Requerido. El operando debe ser nombre, entero, SNA, o A– SNA*parámetro. Opción buffer. Coloca a la transacción activa detrás de su par en prioridad en la CEC. B– Opcional. El operando debe ser BU o nulo.

Ejemplo PRIORITY

10

Este ejemplo es un bloque, que causa a cualquier transacción entrante a tener una prioridad de 10.

Acción Cuando una transacción ingresa en un bloque PRIORITY, el operando A es evaluado y asignado a la prioridad de la transacción activa. La transacción es planificada hacia el NSB y colocada en la CEC de acuerdo a su nueva prioridad. Si la opción Bu es usada en el operando B, la transacción es colocada detrás de su par en prioridad en la CEC. En otro caso, esta es colocada al frente de su par en prioridad.

Modo de rechazo A una transacción nunca se le niega la entrada a un bloque PRIORITY.


PR.


111/154

5/9/2018


QUEUE Un bloque QUEUE actualiza las estadísticas de la entidad queue para reflejar un incremento en el contenido.

Sintaxis QUEUE A,B Operadores Nombre o número de la entidad queue. Requerido. El operando debe ser nombre, A– enteropos, SNA, o SNA*parámetro. B– Cantidad de unidades a ser incrementadas en el contenido de la entidad queue. El valor por defecto es 1. Opcional. El operando debe ser nulo, nombre, enteropos, SNA, o SNA*parámetro.

Ejemplo QUEUE WAITINGLINE En este ejemplo el contenido de la entidad queue llamada WAITINGLINE es incrementado por uno y son actualizados los acumuladores de estadística asociados.

Acción Cuando una transacción ingresa al bloque QUEUE, el operando A es evaluado y usado para encontrar a la entidad queue con ese número. La entidad queue es creada si es necesario. El operando B especifica el valor a ser usado par incrementar el contenido de la entidad queue. Si el operando B fue especificado, este es evaluado y usado como el incremento. Si B no es especificado, el valor usado es 1. Finalmente, la acumulación de estadística en nombre de la entidad queue es actualizada.


B, si es especificado, debe ser positivo.

Modo de rechazo A una transacción nunca se le niega la entrada a un bloque QUEUE.

SNAs Relacionados • • • • • • •

Qentnum. QAentnum. QCentnum. QMentnum. QTentnum. QXentnum. QZentnum.


112/154

5/9/2018


RELEASE Un bloque RELEASE libera la propiedad de una facility, o remueve a una transacción apropiada por la disputa de una facility.

Sintaxis RELEASE

A


Ejemplo RELEASE

TELLER1

En este ejemplo, cuando una transacción posee una facility llamada TELLER1 ingresa al bloque RELEASE, esta deja la propiedad de la facility.

Acción Cuando una transacción ingresa al bloque RELEASE, esta remueve a si mismo de la contención de la facility. Esto puede suceder de dos maneras: Primero, la transacción con la propiedad de la facility. En este caso, deja la propiedad y procede al NSB. Segundo, la transacción que ha sido apropiada de la propiedad de la facility. En este caso la transacción es removida de la Cadena de Interrupción de la facility. La propiedad no es afectada. Si la transacción es limpiada de una apropiación, esta puede moverse normalmente en el modelo corriente. La transacción de entrada es removida de la propiedad o de la contención de la facility e intenta ingresar al proximo bloque. Si la propiedad de la facility esta por ser decidida, el proximo propietario es tomado de la Cadena de Pendientes, la Cadena de Interrupción, y finalmente la Cadena de Demora. Si esta en modo interrupción al primer pendiente se le otorga la propiedad de la facility. En otro caso, la propiedad es retornada a la transacción mas recientemente apropiad. Si la Cadena de Pendientes (esperando en modo de interrupción PRREMPTs) y la Cadena de Interrupción (transacciones apropiadas) están vacías, la transacción de mayor prioridad en la Cadena de Demora le es dada la propiedad. Cuando un nuevo propietario es elegido de la Cadena de Demora o la Cadena de Pendientes, esta ingresa al bloque SEIZE o PREEMPT inmediatamente, y luego es planificada colocándola en la CEC detrás de su par de prioridad.

Restricciones Especiales Una transacción de entrada debe poseer, o concurrentemente ser apropiada de la facility. En otro caso ocurre un error de stop. •

Modo de rechazo A una transacción nunca se le niega la entrada a un bloque RELEASE.


113/154

5/9/2018



Fentnum. FCentnum FIentnum. FRentnum. FTentnum. FVentnum.


114/154

5/9/2018


REMOVE Un bloque REMOVE remueve miembros de un grupo.

Sintaxis REMOVE

O

A, B, C, D, E, F,

Operadores Operador condicional. Relación de D a E para quitar a ocurrir. Opcional. El operando O– debe ser nulo, E, G, GE, L, LE, MAX, MIN, O NE. Número de grupo. Grupo de donde un miembro o miembros deberan ser removidas. A– Requerido. El operando debe ser nombre, enteropos, SNA, o SNA*parámetro. B– Limite a remover. La cantidad máxima de transacciones a ser removidas. Opcional. El operando debe ser ALL, nulo, nombre, enteropos, SNA, o SNA*parámetro. C– Valor numérico. El valor numérico a ser removido del un grupo numérico. Opcional. El operando debe ser nulo, nombre, entero, SNA, o SNA*parámetro. D– Valor a testear. PR o número de parámetro. El atributo del miembro que determina si cada miembro del grupo de transacciones deberá ser removido, o PR para usar la prioridad de la transacción para la determinación. Esta es evaluado con respecto a el miembro del grupo de transacciones. Opcional. El operando debe ser PR o nulo, nombre, enteropos, SNA, o SNA*parámetro. Valor de referencia. El valor contra el cual el operando D es comparado. El valor de E– referencia es evaluado con respecto a la transacción activa. Opcional. El operando debe ser nulo, nombre, entero, SNA, o SNA*parámetro. F– Número de bloque. El destino alternativo para la transacción activa. Opcional. El operando debe ser nulo, nombre, enteropos, SNA, o SNA*parámetro.

Ejemplo REMOVE

INVENTORY

Este es una manera simple de usar el bloque REMOVE. La transacción de entrada al bloque REMOVE es testeada por números de miembros en el grupo de transacciones llamado INVENTORY. Si la transacción es un miembro esta es removida del grupo.

Acción Un bloque REMOVE excluye valores numéricos desde números de miembros en un grupo numérico, o transacciones miembros de un grupo de transacciones. Las transacciones no son desplazadas de su contexto. Sin embargo, hay una excepción. La transacción ingresante al bloque REMOVE debe ser redirigida de acuerdo al operando F. Un bloque REMOVE opera en modo numérico si el operando C es usado. En modo numérico, los operandos A y C son evaluados y el número especificado por C es testeado con respecto a números de miembros en el grupo numérico especificado por A. Si este número es un miembro del grupo numérico, este es removido del grupo. Si el valor numérico no es un miembro del grupo numérico y el operando F es usado, la transacción de entrada procede al bloque especificado por F. En otro caso, la transacción de entrada procede al NSB. Unicamente A, C, y F pueden ser usados en modo numérico. Un bloque REMOVE opera en modo transacción si el operando C no es usado. En modo transacción, hay varias opciones disponibles para seleccionar a la/las transacciones a ser removidas del grupo. Si no se especifican los operandos B, D, o E, entonces solamente la transacción de entrada al bloque REMOVE son removidas. Este modo de operación es llamada remover a si mismo. En otro caso, un grupo examinado es realizado.


115/154

5/9/2018


En un grupo examinado, se puede testear cada transacción a ser removida usando el operador condicional y/o operandos D y E. También, se puede limitar la cantidad de transacciones a ser removidas por el operando B. El operando D siempre se refiere a el grupo de miembros a testear. Anuncia que cualquier SNA puede ser usado en unactual operando Cualquier SNA que regresado requiere una para su evaluación el grupo de miembros a ser D. testeado. El resultado portransacción cualquier SNA, otro que PR, usa es usado como un número de parámetro, cuyo valor es retornado como el valor final. En un grupo examinado se puede usar un operador condicional para especificar la relación entre el atributo de la transacción (operando D) y el valor de referencia (operando E) que debe iniciar la remoción de las transacciones. El valor de defecto para el operador condicional es E por igual. Si se no usa el operador condicional, pero se usa el operando D y el operando E, los valores deben ser igual a la transacción a ser removida del grupo. Si MIN o MAX es usado como operador condicional, todas las transacciones con atributo mayor o menor (operando D) son removidas, hasta el limite especificado por el operando B. El operando F es usado en ambos modos, numérico y transacción. Este indica un destino alternativo a ser tomado por la transacción de entrada cuando una condición de excepción ocurre. El operando F es usado por el bloque destino bajo las siguientes condiciones: En modo numérico, si el valor numérico (operando C) no fue un miembro del grupo. En modo remover a si mismo, si la transacción ingresante al bloque REMOVE no fue un miembro del grupo de transacciones. En modo examinar grupo, si no es removida la transacción. En modo examinar grupo, si la cantidad removida especificada por el operando B no puede ser alcanzada. • •

• •

Si el operando F no es usado, la transacción de entrada siempre va hacia el NSB.

Operadores Condicionales Los operadores condicionales pueden ser E, G, GE, L, LE, MAX, MIN, o NE. Si no es usado un operador condicional, E (igual) es asumido. Cuando la condición es verdadera, la transacción es testeada y removida del grupo. Las condiciones son definidas como sigue: E – El atributo de la transacción especificado por el operando D debe ser igual al valor de referencia especificado por el operando E de la transacción a ser removida del grupo. G – El atributo de la transacción especificado por el operando D debe ser mayor al valor de referencia especificado por el operando E de la transacción a ser removida del grupo. GE – El atributo de la transacción especificado por el operando D debe ser mayor o igual al valor de referencia especificado por el operando E de la transacción a ser removida del grupo. L – El atributo de la transacción especificado por el operando D debe ser menor al valor de referencia especificado por el operando E de la transacción a ser removida del grupo. LE – El atributo de la transacción especificado por el operando D debe ser menor o igual al valor de referencia especificado por el operando E de la transacción a ser removida del grupo. MAX – El atributo de la transacción especificado por el operando D debe ser igual al mayor de los atributos de todas las transacciones en el grupo de la transacción a ser removida del grupo. MIN – El atributo de la transacción especificado por el operando D debe ser igual al menor de los atributos de todas las transacciones en el grupo de la transacción a ser removida del grupo. NE – El atributo de la transacción especificado por el operando D debe ser distinto al valor de referencia especificado por el operando E de la transacción a ser removida del grupo. •

•

•

•

•

•

•

•



116/154

5/9/2018


Si un grupo numérico es referenciado, no se debe usar un operador condicional. Si un grupo numérico es referenciado, no se debe usar los operandos B, D, o E. Si el operando D es usado, se debe usar el operando E o sino se debe usar el operador condicional MIN o MAX. Si el operando E es usado, se debe usar el operando D. • • •

•

Si MIN o MAX es usado por el operador condicional, el operando D debe ser usado y el operando E no debe ser usado. •

Modo de rechazo A una transacción nunca se le niega la entrada a un bloque REMOVE.

Ejemplo Detallado REMOVE

G

3, 10, , 300, 11, JUMPBLOCK

En este ejemplo, el grupo de transacciones 3 es examinado por transacciones que tengan el valor en su parámetro 300 mayor a 11. Las primeras 10 transacciones que se encuentren en el test son removidas del grupo. Si no se encuentran 10 transacciones el test, la transacción ingresante intenta ingresar al bloque llamado JUMPBLOCK. En otro caso,que estapasen procede al NSB.

SNAs Relacionados • •

GNentnum. GTentnum.

Bloques Relacionados Las transacciones y enteros son adicionados a un grupo con el bloque JOIN. Las transacciones en grupos pueden ser referenciados por los bloques ALTER, EXAMINE, REMOVE, y SCAN. Los números en grupos numéricos pueden ser referenciados por los bloques EXAMINE y REMOVE.


117/154

5/9/2018


RETURN Un bloque RETURN libera la propiedad de una facility, o remueve a transacciones apropiadas de la contención de una facility.

Sintaxis RETURN

A


Ejemplo RETURN

TELLER1

En este ejemplo, cuando una transacción que posee una facility llamada TELLER1 ingresa al bloque RETURN, esta deja la propiedad de la facility.

Acción Cuando una transacción ingresa a un bloque RETURN esta se remueve a si mismo de la contención de la facility. Esto puede hacerse de dos maneras: Primero, la transacción que posee la facility. En este caso, esta deja la propiedad de la facility y procede al NSB. Segundo, la transacción que ha sido apropiada de la propiedad de las facility. En este caso la transacción es removida de la Cadena de Interrupción de la facility. La propiedad no es afectada. Si la transacción esta libre de la apropiación, esta se puede mover libremente por el modelo corriente. La transacción de entrada es removida de la propiedad o de la contención de la facility e intenta ingresar al proximo bloque. Si la propiedad de la facility esta por ser decidida, el proximo propietario es tomado de la Cadena de Pendientes, la Cadena de Interrupción, y finalmente la Cadena de Demora. Si esta en modo interrupción al primer pendiente se le otorga la propiedad de la facility. En otro caso, la propiedad es retornada a la transacción mas recientemente apropiad. Si la Cadena de Pendientes (esperando en modo de interrupción PRREMPTs) y la Cadena de Interrupción (transacciones apropiadas) están vacías, la transacción de mayor prioridad en la Cadena de Demora le es dada la propiedad. Si no hay transacciones esperando, la facility se vuelve ociosa. Cuando un nuevo propietario es elegido de la Cadena de Demora o la Cadena de Pendientes, esta ingresa al bloque SEIZE o PREEMPT inmediatamente, y luego es planificada colocándola en la CEC detrás de su par de prioridad.

Restricciones Especiales Una transacción de entrada debe poseer, o concurrentemente ser apropiada de la facility. En otro caso ocurre un error de stop. •

Modo de rechazo


118/154

5/9/2018


A una transacción nunca se le niega la entrada a un bloque RETURN.




119/154

5/9/2018


SAVAIL Un bloque SAVAIL asegura que una entidad storage este en el estado disponible.

Sintaxis SAVAIL

A

Operadores Número de storage. Requerido. El operando debe ser nombre, enteropos, SNA, o A– SNA*parámetro.

Ejemplo SAVAIL

MOTORRPOOL

En este ejemplo, cuando una transacción ingresa al bloque SAVAIL, la entidad storage es asegurada a estar en el estado disponible.

Acción Un bloque SAVAIL asegura que una entidad storage sea disponible. Si algunas transacciones están esperando en la Cadena de Demora del storage, a ellas se les da la chance de ingresar a la entidad storage de acuerdo a la disciplina primero en encajar. Esas transacciones cuya demanda de storage no pueden ser satisfechas esperan en la Cadena de Demora del storage. Si la entidad storage esta ya en el estado disponible, el bloque SAVAIL no tiene ningún efecto.

Modo de rechazo A una transacción nunca se le niega la entrada a un bloque SAVAIL.

SNAs Relacionados • • • • • • • • • •

Rentnum. Sentnum. SAentnum. SCentnum. SEeentnum. SFentnum. SRentnum. SMentnum. STentnum. SVentnum.


120/154

5/9/2018


SAVEVALUE Un bloque SAVEVALUE cambia el valor de una entidad savevalue.

Sintaxis SAVEVALUE

A,B

Operadores Número de la entidad savevalue. Puede ser seguida de + o – para indicar la suma o la A– resta al valor existente. Requerido. El operando debe ser nombre, enteropos, SNA, o SNA*parámetro, seguido por +, -, o nulo. B– El valor a ser cargado, sumado, o restado. Requerido. El operando debe ser nombre, entero, SNA, o SNA*parámetro.

Ejemplo SAVEVALUE

ACCOUNT, 10000

En este ejemplo, el valor guardado en la entidad llamada ACCOUNT toma el valor 10000.

Acción Un bloque SAVEVALUE es usado para asignar, incrementar, o decrementar el valor de un valor guardado en la entidad. El operando A es evaluado y usado como el número de entidad a guardar el valor. El operando B es evaluado y usado para determinar el nuevo valor para el valor a guardar. Si el operando A esta seguido por +, entonces el operando B es sumado a el viejo valor. Si el operando A es seguido de -, el operando B es restado a el viejo valor. Si el operando A no esta seguida por un signo, el viejo valor guardado es reemplazado por B.

Modo de rechazo A una transacción nunca se le niega la entrada a un bloque SAVEVALUE.


Xentnum.


121/154

5/9/2018


SCAN Un bloque SCAN comunica información de un miembro de un grupo de transacciones a la transacción activa.

Sintaxis SCAN O

A, B, C, D, E, F

Operadores Operador condicional. Relaciona a B con C con respecto al grupo de miembros a ser O– cambiados. Opcional. El operando debe ser nulo, E, G, GE, L, LE, MAX, MIN, O NE. A– Número de grupo. Grupo cuyos miembros deberan ser examinados. Requerido. El operando debe ser nombre, enteropos, SNA, o SNA*parámetro. B– Valor a testear. PR o número de parámetro. El atributo del miembro que determina si cada miembro del grupo de transacciones deberá ser seleccionado, o PR para usar la prioridad de la transacción para la determinación. Este es evaluado con respecto a el miembro del grupo de transacciones. Opcional. El operando debe ser PR o nulo, nombre, enteropos, SNA, o SNA*parámetro. C– Valor de referencia. El valor contra el cual el operando B es comparado. El valor por defecto es 0. Opcional. El operando debe ser nulo, nombre, entero, SNA, o SNA*parámetro. D– Valor recuperado. ¨PR o número de parámetro. El atributo de un miembro que esta por ser asignado a un parámetro de la transacción activa. Este es evaluado con respecto a miembros del grupo de transacciones. Requerido. El operando debe ser PR o nombre, enteropos, SNA, o SNA*parámetro. E– Número de parámetro recepcionado. El número de parámetro de la transacción activa que deberá recibir el valor recuperado desde el operando D. Requerido. El operando debe ser nombre, entero, SNA, SNA*parámetro. F– Número de bloque alternativo. El destino alternativo para la transacción de entrada. Opcional. El operando debe ser nulo, nombre, enteropos, SNA, o SNA*parámetro.

Ejemplo SCAN MAX

INVENTORY, PRICE, , PARTNUMBER, 100

En este ejemplo, todas las transacciones en el grupo de transacciones INVENTORY son examinadas en orden para encontrar el parámetro llamado PRICE con el mayor valor. La primer transacción con el valor de parámetro PRICE máximo es luego seleccionada para la evaluación del operando D. El valor del parámetro PARTNUMBER del miembro del grupo seleccionado es asignado al número de parámetro 100 de la transacción activa. Si el grupo esta vacío, ocurre un error de stop.

Acción Un bloque SCAN encuentra la primer transacción en un grupo que pasa todos los test, y carga uno de estos atributos en un parámetro de la transacción ingresante al bloque SCAN. Si tal parámetro no existe para la transacción activa, uno es creado. Si una apropiada transacción miembro del grupo no puede ser apropiada, no es cargado el valor. El miembro del grupo de transacciones puede ser elegido en base a un testeo de uno de sus atributos. Esto es hecho usando el operando B, C, y/o un operador condicional. Si tal testeo no es usado, la primera transacción en el grupo, si hay alguna, es seleccionada. Cuando un miembro de un grupo de transacciones es encontrado satisfactoriamente con respecto a un testeo (opcional), su atributo, que es especificado por el operando D, es copiado dentro del parámetro de la transacción ingresante, especificada por el operando E. En este caso, la transacción ingresante al bloque SCAN siempre procede al NSB.


122/154

5/9/2018


Si no es encontrada una transacción que satisfaga los requerimientos, la transacción ingresante al bloque SCAN puede opcionalmente ser direccionada a el bloque especificado por el operando F. En otro caso, esta procede al NSB. Si se usa el operando B, C, o un operador condicional, el primer miembro del grupo que pase el testeo es seleccionado. El operando B especifica quedeatributo delatributos miembrodetransacción estadel porgrupo ser testeado. Este puede ser comparado al mínimo o máximo todos los los miembros usando MIN o MAX como operador condicional. La primer transacción en el grupo que tenga el máximo o mínimo atributo es seleccionado. Si se usa MIN o MAX no se debe usar el operando C. Se puede comparar al atributo del miembro del grupo al operando C, con o sin operador condicional. En este caso, el operador condicional no debe ser MIN o MAX. El valor por defecto del operando C es 0. Los operandos B y D siempre se refieren a el miembro de grupo a ser testeado. Notar que cualquier SNA puede ser usado en un operando D. Cualquier SNA que requiere una transacción para su evaluación usa el grupo de miembros actual a ser testeado. El resultado regresado por cualquier SNA, otro que PR, es usado como un número de parámetro, cuyo valor es retornado como el valor final. El valor por defecto del operador condicional es E por igual. Si no se usa un operador condicional, pero se usa los operandos B y C, los valores deben ser igual al atributo de la transacción miembro a ser seleccionado. El operando F indica un destino de bloque alternativo a ser tomado por la transacción de entrada cuando no es encontrada una transacción que satisfaga las condiciones especificadas . Si el operando F no es usado, la transacción de entrada siempre procede al NSB.

Operadores Condicionales Los operadores condicionales pueden ser E, G, GE, L, LE, MAX, MIN, o NE. Si no es usado un operador condicional, E (igual) es asumido. Cuando la condición es verdadera, la transacción es testeada y seleccionada del grupo. Las condiciones son definidas como sigue: E – El atributo de la transacción especificado por el operando B debe ser igual al valor de referencia especificado por el operando C de la transacción a ser seleccionada del grupo. G – El atributo de la transacción especificado por el operando B debe ser mayor al valor de referencia especificado por el operando C de la transacción a ser seleccionada del grupo. GE – El atributo de la transacción especificado por el operando B debe ser mayor o igual al valor de referencia especificado por el operando C de la transacción a ser seleccionada del grupo. L – El atributo de la transacción especificado por el operando B debe ser menor al valor de referencia especificado por el operando C de la transacción a ser seleccionada del grupo. LE – El atributo de la transacción especificado por el operando B debe ser menor o igual al valor de referencia especificado por el operando C de la transacción a ser seleccionada del grupo. MAX – El atributo de la transacción especificado por el operando B debe ser igual al mayor de los atributos de todas las transacciones en el grupo de la transacción a ser seleccionada del grupo. MIN – El atributo de la transacción especificado por el operando B debe ser igual al menor de los atributos de todas las transacciones en el grupo de la transacción a ser seleccionada del grupo. NE – El atributo de la transacción especificado por el operando B debe ser distinto al valor de referencia especificado por el operando E de la transacción a ser seleccionada del grupo. •

•

•

•

•

•

•

•


Si el operando C es usado, se debe usar el operando B.


123/154

5/9/2018


•

Si MIN o MAX es usado por el operador condicional, el operando C no debe ser usado.

Modo de rechazo A una transacción nunca se le niega la entrada a un bloque SCAN.

Ejemplo Detallado SCAN E

LOT11, P$PARTNUM, 127, P$PRICE, PRICE, PHONE

En este ejemplo, cuando una transacción ingresa a un bloque SCAN, la transacción del grupo llamado LOT11 es examinado por la primer transacción que tenga un valor de 127 en su parámetro llamado PARTNUM. Si tal transacción es encontrada, el valor en su parámetro llamado PRICE es transferido a el correspondiente parámetro de la transacción de entrada al bloque SCAN. La transacción de entrada luego procede al NSB. Si tal miembro de grupo no es encontrado, la transacción de entrada procede al bloque con label PHONE. Los operandos D y E no necesitan especificar el mismo parámetro de transacción.


GTentnum.

Bloques Relacionados Las transacciones y enteros son adicionados a un grupo con el bloque JOIN. Las transacciones en grupos pueden ser referenciados por los bloques ALTER, EXAMINE, REMOVE, y SCAN. Los números en grupos numéricos pueden ser referenciados por los bloques EXAMINE y REMOVE.


124/154

5/9/2018


SEIZE Cuando la transacción activa intenta ingresar a un bloque SEIZE , esta espera por adquirir la posesión de una facility.

Sintaxis SEIZE

A

Operadores Número de la facility. Requerido. El operando debe ser nombre, enteropos, SNA, o A– SNA*parámetro.

Ejemplo SEIZE

TELLER1

En este ejemplo, cuando una transacción intenta ingresar al bloque SEIZE, el estado de la facility llamada TELLER1 es testeado. Si esta está ociosa, la posesión es dada a la transacción activa, que es permitida a ingresar al bloque SEIZE y procede al NSB. Si la facility esta ocupada, la transacción activa descansa en la Cadena de Demora de la facility.

Acción Un bloque SEIZE habilita a una transacción a adquirir la posesión de una facility. Si la facility esta ociosa, la transacción inmediatamente adquiere la posesión de esta, ingresa al bloque SEIZE, e intenta ingresar al proximo bloque. Si la facility esta ya apropiada, la transacción descansa, ultima sin su prioridad, en la Cadena da Demora de la facility y no entra al bloque SEIZE.

Operandos •

El nombre o número de la facility.

Modo de rechazo Una transacción es negada a ingresar a un bloque SEIZE si no puede inmediatamente recibir la posesión de la facility. La transacción activa es negada a ingresar al bloque SEIZE si la facility esta en el estado no disponible. •

•

Cuando una transacción es negada a entrar , su indicador de demora es seteado y permanece así hasta que la transacción ingresa al bloque TRANSFER en modo simultaneo.




125/154

5/9/2018


SELECT Un bloque SELECT elige una entidad y coloca su número de entidad en un parámetro de la transacción activa.

Sintaxis SELECT

O

A, B, C, D, E, F

Operadores Operador condicional u operador lógico. Requerido. Opcional. El operando debe ser O– FNV, FV, I, LS, LR, NI, NU, SE, SF, SNE, SNF, SNV, SV, U , E, G, GE, L, LE, MAX, MIN, o NE. A– Número de parámetro a recibir el número de la entidad elegida. Requerido. El operando debe ser nombre, enteropos, SNA, o SNA*parámetro. B– Número menor de la entidad. Requerido. El operando debe ser nombre, enteropos, SNA, o SNA*parámetro. C– Número mayor de la entidad. Requerido. El operando debe ser nombre, enteropos, SNA, o SNA*parámetro. D– Valor de referencia para el operando E que esta en modo condicional. Opcional. El operando debe ser nulo, nombre, integer, SNA, o SNA*parámetro. No es usado con MAX o MIN. E– Nombre de clase SNA. Atributo de entidad especificado por el modo condicional de testeo. Requerido únicamente para el modo condicional. El tipo de SNA implica el tipo de entidad,. No se debe especificar el número de entidad en el operando E. Esto es hecho automáticamente como el rango de números de entidad buscados. Se debe usar una clase de SNA entidad. El operando debe ser nulo o entitySNAclass. F– Número de bloque alternativo. El destino alternativo si no es seleccionada una entidad. Opcional. El operando debe ser nulo, nombre, enteropos, SNA, o SNA*parámetro.

Ejemplo SELECT

SF

FULL1, BIN1, BIN13

En este ejemplo , el número de entidad del primer storage lleno cuyo número de entidad cae entre BIN1 y BIN13 deberá ser cargado en el parámetro de transacción llamado FULL1.

Acción Cuando el bloque SELECT es ingresado, la entidad especificada por el operando B es testeado. Si la entidad no existe y no se requiere una sentencia de control para su definición, una nueva entidad es creada. Después de esto, cada entidad en el rango indicado por el operando B y C es testeado. Un SNA es construido automáticamente por cada entidad. La clase de SNA usada para construir el SNA es tomado del operando E o especificado por el operador lógico. Un bloque SELECT opera en modo lógico como en modo condicional, dependiendo en si un operador lógico o condicional es usado. Cuando un operador lógico es usado , los operandos A, B, y C son usados. La condición especificada por el operador lógico es testeado por la entidad cuyo número cae dentro de B y C. El número de entidad de la primer entidad encontrada en esa condición es colocada en el parámetro de la transacción de entrada cuyo número es obtenido del operando A. El tipo de entidad es implicado por el operador lógico que es usado. Si la entidad no es encontrada, 0 es colocado en el parámetro de la transacción activa. Cuando un operador condicional es usado, los operandos A, B, C, E y usualmente D son usados. Los operandos A, B, C son usados para especificar el parámetro objetivo, y el rango de números de entidad, como antes. Pero ahora el operador condicional especifica la relación entre el operando D y E que debe


126/154

5/9/2018


influenciar por la entidad a seleccionar. En modo condicional, la clase de SNA es combinada con la especificaciones de entidad en orden a construir un SNA. El tipo de entidad es implicado por cada clase de SNA. El SNA completo es construido desde esta clase y el número de la entidad comienza a ser testeada. Cada SNA es evaluado por cada entidad y comparado a el valor de referencia en el operando D. El operando D es evaluado con respecto transacción y es el valor dedereferencia operando E, que especificaa lalaclase de SNAde (y entrada por consiguiente el tipo entidad) apor sercomparación evaluado. El del operador condicional especifica la relación, que el operando E, evaluado con cada entidad, debe tener con el operando D, evaluado en nombre de la transacción de entrada, en orden a la entidad a ser seleccionada. Si MIN o MAX son usados como operadores condicionales, El operando D es ignorado. En ambos modos, el operando F puede ser usado para dirigir la transacción de entrada a un nuevo bloque en el evento que no se puede seleccionar una entidad. Si F no es usado, la transacción ingresante deberá siempre proceder al NSB.

Operadores Lógicos Tanto los operadores condicionales como lógicos son requeridos. Los operadores lógicos pueden ser FNV, FV, I, LS, NI, UN, SE, SF, SNE, SNF, SNV, SV, o U. Cuando el operador lógico es verdadero, la entidad comienza a ser testeada es seleccionada. Las condiciones son definidas como sigue:

•

FNV – La facility tiene que estar no disponible para que sea seleccionada. FV – La facility tiene que estar disponible para que sea seleccionada. I – La facility tiene que esta actualmente interrumpida (preempted) para que sea

•

LS – La llave lógica tiene que estar en set (en el estado "on") para que sea

•

LR – La llave lógica tiene que estar en reset (en el estado "off") para que sea

•

NI – La facility no tiene que estar actualmente interrumpida (preempted) para ser

seleccionada. seleccionada. seleccionada. seleccionada. • •

• • • • • • • •

NU – La facility no tiene que estar en uso para que sea seleccionada. SE – El storage tiene que estar vacío para que sea seleccionado. SF - El storage tiene que estar lleno para que sea seleccionado. SNE - El storage no tiene que estar vacío para que sea seleccionado. SNF - El storage no tiene que estar lleno para que sea seleccionado. SNV - El storage no tiene que estar disponible para que sea seleccionado. SV - El storage tiene que estar disponible para que sea seleccionado. U – La facility tiene que estar en uso para que sea seleccionado.

Operadores Condicionales Tanto los operadores condicionales como lógicos son requeridos. Los operadores condicionales pueden ser E, G, GE, L, LE, MAX, MIN, o NE. Cuando la condición es verdadera, la entidad comenzada a ser testeada es seleccionada. Las condiciones son definidas como sigue: E – El atributo de entidad especificado por el operando E debe ser igual al valor de referencia especificado en el operando D de la entidad a ser seleccionada. G – El atributo de entidad especificado por el operando E debe ser mayor que el valor de referencia especificado en el operando D de la entidad a ser seleccionada. GE – El atributo de entidad especificado por el operando E debe ser mayor o igual al valor de referencia especificado en el operando D de la entidad a ser seleccionada. L – El atributo de entidad especificado por el operando E debe ser menor que el valor de referencia especificado en el operando D de la entidad a ser seleccionada. •

•

•

•


127/154

5/9/2018


LE – El atributo de entidad especificado por el operando E debe ser menor o igual al valor de referencia especificado en el operando D de la entidad a ser seleccionada. MAX – El atributo de entidad especificado por el operando E debe ser igual al mayor de todos los SNAs, de la entidad a ser seleccionada. MIN – El atributo de entidad especificado por el operando E debe ser igual al menor de todos los SNAs, de la entidad a ser seleccionada. •

•

•

•

NE – El atributo de entidad especificado por el operando E debe ser distinto que el valor de referencia especificado en el operando E de la entidad a ser seleccionada.

Restricciones Especiales • • • •

Tanto los operadores condicionales como lógicos son requeridos. Los números de entidades evaluadas deben ser enteros positivos. D y E son requeridos si O es un operador condicional distinto que MIN o MAX. Cuando es evaluado, C debe ser mayor o igual que B.

Modo de rechazo A una transacción nunca se le niega la entrada a un bloque SELECT.

Ejemplo Detallado SELECT

E

EMPTY1, QUEUE1, QUEUE9, 0, Q

En este ejemplo, el bloque SELECT opera en modo condicional. Cada entidad queue con número entre QUEUE1 y QUEUE9, inclusive, es testeada. La primer entidad queue cuyo contenido actual sea 0 es seleccionada. EMPTY1 es el nombre del parámetro de la transacción de entrada a recibir el número de entidad de la primer queue vacía en el rango especificado.


128/154

5/9/2018


SPLIT Un bloque SPLIT crea transacciones del mismo conjunto de reunión (assembly set) que la transacción activa.

Sintaxis SPLIT

A, B, C

Operadores Contador. Cantidad de transacciones relacionadas a ser creadas. Requerido. El A– operando debe ser nombre, enteropos, SNA o SNA*parámetro. B– Número de bloque. Destino para la nueva transacción. Opcional. El operando debe ser nulo, nombre, enteropos, SNA o SNA*parámetro. C– Número de parámetro. Parámetro a recibir el número serial. Opcional. El operando debe ser nulo, nombre, enteropos, SNA o SNA*parámetro.

Ejemplo SPLIT

1

Esta es una simple manera de usar el bloque SPLIT. Una copia de la transacción padre es creada la cual deberá seguir a la transacción padre al proximo bloque. La nueva transacción tiene la misma prioridad, valores de parámetro, y marcas de tiempo que su padre.

Acción Un bloque SPLIT crea nuevas transacciones que comparten los atributos de su padre. Cada transacción hijo tiene la misma prioridad y marca de tiempo del padre, y esta en el mismo conjunto de reunión. Si la señal de reloj es seteada en la transacción padre, esta es encendida en la transacción hijo. La nueva transacción debe ser enviada a un destino alternativo, usando un número de bloque en el operando B. El nuevo número de bloque es evaluado por cada nueva transacción. El operando opcional C es especifica el número de parámetro de la transacción padre y la transacción nueva creada recibe un número en serie. La numeración comienza con el valor correspondiente del parámetro original de la transacción padre, mas 1. También, el parámetro de la transacción padre es el primero a ser renumerado. Por ejemplo, una transacción con número de parámetro 120 teniendo el valor 15 ingresa al bloque SPLIT 3, , 120. Cuando esta ingresa al bloque, su parámetro número 120 le es dado el valor 16 y su hijo toma el valor de 17, 18,y 19. Si la transacción padre no tiene tal parámetro, la numeración comienza en 1. Usando tanto el operando B como C es posible enviar a cada nueva transacción a diferentes destinos. La transacción padre y todas las transacciones hijo todas pertenecen al mismo conjunto de transacciones llamado conjunto de reunión. Todas las transacciones pertenecen exactamente a un conjunto de reunión, e hijos de hijos pertenecen al conjunto de reunión del padre. Los miembros del mismo conjunto de reunión están relacionados. La relación de transacciones debe ser testeada y usada en los bloques ASSEMBLE, GATHER, MATCH, y GATE para sincronización y otros propósitos.


A, B, y C, si son especificados deben ser positivos.


129/154

5/9/2018


Modo de rechazo A una transacción nunca se le niega la entrada a un bloque SPLIT.

Ejemplo Detallado SPLIT 3, P20, 20 En este ejemplo, cada vez que el bloque SPLIT es ingresado, 3 nuevas transacciones son creadas. Cada transacción tiene la misma prioridad, marca de tiempo, y valores de parámetro que la transacción padre, con la excepción del parámetro número 20. Cada transacción hijo deberá tener un número en serie en su parámetro número 20 basado en el valor del parámetro número 20 de la transacción padre. El bloque de destino del operando B es evaluado con respecto a cada nueva transacción cread. Si el parámetro 20 de la transacción padre contiene un número de bloque, n, entonces la primer transacción deberá ir al bloque n+2, la segunda a n+3 y la tercera a n+4. El ejemplo de arriba es único porque el parámetro 20 es usado en ambos operandos B y C. Por consiguiente, el número serial es usado para determinar la dirección del bloque destino. Los operandos B y C pueden ser útiles para separar propósitos, el operando b contiene un simple destino de la transacción hijo y C, un número en serie que puede ser usado para dirigir a las transacciones individualmente a alguna dirección mas distante en el modelo.

SPLIT

3, PRO, 17

En este ejemplo, cada vez que el bloque SPLIT es ingresado, 3 nuevas transacciones son creadas. La transacción padre va hacia el NSB, los hijos a un bloque llamado PRO, y el parámetro 17 que debe haber sido creado previamente en relación a la transacción padre deberá recibir la serializacion. Si el parámetro de la transacción padre ha sido inicializado en 0 el padre deberá, después de pasar a través del bloque SPLIT, tener un 1 en el parámetro 17 y los hijos deberan tener 2, 3, y 4 en el parámetro 17.


130/154

5/9/2018


SUNAVAIL Un bloque SUNAVAIL asegura que una entidad storage este en el estado no disponible.

Sintaxis SUNAVAIL

A

Operadores Número de storage. Requerido. El operando debe ser nombre, enteropos, SNA, o A– SNA*parámetro.

Ejemplo SUNAVAIL

MOTORRPOOL

En este ejemplo, cuando una transacción ingresa al bloque SUNAVAIL, la entidad storage es asegurada a estar en el estado no disponible.

Acción Un bloque SUNAVAIL asegura que una entidad storage sea no disponible. Esto significa que todas las transacciones que demanden storage deberan ser colocadas en la Cadena de Demora del storage. O es permitido ingresar transacciones al bloque ENTER si la entidad storage esta en estado no disponible. Si la entidad storage esta ya en el estado no disponible, el bloque SUNAVAIL no tiene ningún efecto.


El operando A debe ser el nombre o número de una entidad storage predefinida.

Modo de rechazo A una transacción nunca se le niega la entrada a un bloque SUNAVAIL.


Rentnum. Sentnum. SAentnum. SCentnum. SEeentnum. SFentnum.

• • • •

SRentnum. SMentnum. STentnum. SVentnum.


131/154

5/9/2018


TABULATE Un bloque TABLATE dispara un ítem dato de una colección en una tabla.

Sintaxis TABULATE

A,B

Operadores Nombre o número de la entidad tabla. Requerido. El operando debe ser nombre, A– enteropos, SNA, o SNA*parámetro. Factor de peso. Opcional. El operando debe ser nulo, nombre, enteropos, SNA, o B– SNA*parámetro.

Ejemplo TABULATE

SALES

Cuando una transacción ingresa a este bloque TABULATE, la entidad tabla llamada SALES es encontrada. SALES debe haber sido definida con una sentencia TABLE. Luego las estadísticas asociadas con la tabla son actualizadas sin ningún peso.

Acción Cuando una transacción ingresa a un bloque TABULATE, el operando A es evaluado, y usado para encontrar a la entidad tabla. Si tal entidad no existe ocurre un error de stop. Las entidades tabla deben ser definidas con una sentencia TABLE. La entidad table es luego actualizada de acuerdo a los operandos en la sentencia TABLE. Si el operando B es usado, este es evaluado y usado como un factor de peso. En otro caso, el factor es tomado en 1.


A debe ser positivo. B, si es especificado, debe ser positivo. A debe ser el nombre o número de una entidad storage predefinida.

Modo de rechazo A una transacción nunca se le niega la entrada a un bloque TABULATE.

SNAs Relacionados • • •

TBentnum. TCentnum. TDentnum.


132/154

5/9/2018


TERMINATE Un bloque TERMINATE remueve a la transacción activa de la simulación y opcionalmente reduce el contador de terminación.

Sintaxis TERMINATE

A

Operadores Decremento del contador de terminación. Por defecto es 0. El operando debe ser nulo, Anombre, enteropos, SNA, o SNA*parámetro.

Ejemplo TERMINATE

1

En este ejemplo, cuando una transacción ingresa al bloque TERMINATE esta es removida de la simulación. También, el contador de terminación, que esta seteado por una sentencia START es decrementado en 1.

Acción Cuando una transacción ingresa al bloque TERMINATE, el operando A es evaluado y usado par decrementar el contador de terminación. Si el operando A no es usado, el contador de terminación no es cambiado. La transacción activa es luego removida de la simulación, y una nueva transacción es elegida. El contador de terminación es seteado por la sentencia START. Cuando el contador de terminación llega a 0, la simulación termina, y a menos que sea suprimida por la sentencia START, un reporte estándar es escrito.


A, si es especificado, debe ser positivo.

Modo de rechazo A una transacción nunca se le niega la entrada a un bloque TERMINATE.


TG1.


133/154

5/9/2018


TEST Un bloque TEST compara valores, normalmente SNAs, y controla el destino de la transacción activa basada en el resultado de la comparación.

Sintaxis TEST

O

A, B, C

Operadores Operador relacional. Relaciona el operando A con el B por un testeo con éxito. O– Requerido. El operando debe ser E, G, GE, L, LE, o NE. A– Valor de testeo. Requerido. El operando debe ser nombre, entero, SNA, o SNA*parámetro. B– Valor de referencia. Requerido. El operando debe ser nombre, entero, SNA, o SNA*parámetro. C– Número de bloque de destino. Opcional. El operando debe ser nulo, nombre, enteropos, SNA, o SNA*parámetro.

Acción Un bloque TEST opera en dos modos " de rechazo" o " alternativa de salida". Si el operando C no es usado, el bloque TEST opera en modo de rechazo. Cuando una transacción intenta ingresar en modo de rechazo al bloque TEST, y el testeo no es exitoso, la transacción es bloqueada hasta que el test es repetido y tiene éxito. Si el testeo es exitoso, la transacción activa ingresa al bloque TEST y luego procede al NSB. Si el operando C es usado, el bloque TEST opera en modo alternativa de salida. Cuando una transacción ingresa en modo alternativa de salida a un bloque TEST, y el testeo no tiene éxito, la transacción ingresa al bloque TEST, es planificada hacia el destino alternativo especificado por el operando C, y es colocada en la CEC en el frente de su par en prioridad. Si el testeo es exitoso, la transacción activa ingresa al bloque TEST y procede al NSB.

Ejemplos TEST

G

C1, 70000

En este ejemplo de un bloque en modo de rechazo, la transacción activa ingresa al bloque TEST si el reloj del sistema es mayor que 70000. En otro caso, la transacción es bloqueada hasta que el testeo sea verdadero.

TEST

G

Q$TELLER1_LINE, Q$TELLER2_LINE, TELLER1

En este ejemplo de un bloque en modo alternativa de salida, la transacción activa siempre ingresa al bloque TEST. Si el contenido de la entidad queue llamada TELLER1_LINE es mayor que el contenido de la entidad queue llamada TELLER2_LINE la transacción procede al NSB. En otro caso, la transacción activa es planificada a ingresar al bloque de dirección llamado TELLER1.

Operadores Relacionales El operador relacional es requerido. Este puede ser E, G, GE, L, LE, o NE. Los testeos exitosos son definidos como sigue:


134/154

5/9/2018


• • • • • •

E – El valor del operando A debe ser igual al valor del operando B. G – El valor del operando A debe ser mayor que el valor del operando B. GE – El valor del operando A debe ser mayor o igual al valor del operando B. L – El valor del operando A debe ser menor que el valor del operando B. LE – El valor del operando A debe ser menor o igual al valor del operando B. NE – El valor del operando A debe ser distinto que el valor del operando B.


C debe ser una dirección de bloque en el modelo corriente.

Modo de rechazo Un bloque TEST operando en modo de rechazo deberá rechazar la entrada de transacciones cuando el testeo falle. La transacción rechazada deberá ser bloqueada hasta que el test sea exitoso. Cuando una transacción es rechazad , su indicador de demora es seteado y permanece así hasta que la transacción ingresa al bloque TRNASFER en modo simultaneo.


135/154

5/9/2018


TRANSFER Un bloque TRANSFER causa que la transacción activa salte a una nueva dirección.

Sintaxis TRANSFER

A, B, C, D

Operadores Modo de transferencia de bloque. Opcional. El operando debe ser BOTH, ALL, PICK, A– FN, P, SBR, SIM, fracción, nombre, enteropos, SNA, SNA*parámetro, o nulo. Número de bloque o dirección. Nombre o número de parámetro en modo P. Opcional. B– El operando debe ser nulo, nombre, enteropos, SNA, o SNA*parámetro. C– Número de bloque o dirección. Valor de incremento en modo FN o P. Opcional. El operando debe ser nulo, nombre, enteropos, SNA, o SNA*parámetro. D– Número de bloque a incrementar en modo ALL. Por defecto es 1. Opcional. El operando debe ser nulo, nombre, enteropos, SNA, o SNA*parámetro.

Acción Un bloque TRANSFER puede operar en 9 modos, cada uno con propiedades diferentes. Cuando una transacción ingresa a un bloque TRANSFER, el operando A es usado para determinar el modo de operación del bloque. El significado del operando B y C depende del modo. Cuando no se especifica un operando con la correspondiente dirección de bloque, el NSB después del bloque TRANSFER es usado.

Modo Incondicional Cuando el operando A es omitido, el bloque TRANSFER opera en modo incondicional. En este modo, la transacción activa siempre salta a la dirección especificada por el operando B.

TRANSFER

, NEW_PLACE

Cuando una transacción ingresa en este bloque TRANSFER, esta es inmediatamente planificada hacia la dirección de bloque llamada NEW_PLACE.

Modo Fraccional Cuando el operando A no es una palabra clave, el bloque TRANSFER opera en modo fraccional. En este modo, la transacción activa salta a la dirección especificada por el operando C con una probabilidad dada por el operando A. Si el operando A es un entero no negativo, este es interpretado como partes por mil y es convertido a una probabilidad fraccional. El destino alternativo esta especificado por el operando B, o el NSB si el operando B es omitido.

TRANSFER

.75, , NEW_PLACE

Cuando una transacción ingresa a este bloque TRANSFER, esta procede a la dirección llamada NEW_PLACE con una probabilidad de .75. Las demás veces se procede al NSB.

Modo Ambos Cuando el operando A es BOTH, el bloque TRANSFER opera en modo ambos. En este modo, el bloque especificado por el operando B es testeado. Si este se niega a recibir a la transacción activa, el bloque especificado por el operando C es testeado. El primer bloque que admita a la transacción deberá ser el


136/154

5/9/2018


nuevo destino. Si ningún bloque admite a la transacción, esta permanece en el bloque TRANSFER hasta que pueda ingresar en uno u otro.

TRANSFER

BOTH, FIRST_PLACE, SECOND_PLACE

Cuando una transacción ingresa en este bloque TRANSFER, el bloque de destino FIRST_PLACE es testeado. Si La la transacción esta loEn hace. no, laesta dirección de bloque SECOND_PLACE es testeada. transacción puede ingresaingresar, si esta puede. otroSicaso, permanece en el bloque TRANSFER hasta que esta pueda liberarce.

Modo Todo Cuando un operando A es ALL, el bloque TRANSFER opera en modo Todo. En este modo, el bloque especificado por el operando B es testeado. Si este bloque rechaza la admisión de la transacción activa, bloques son testeados en serie e incluyendo la dirección especificada en el operando C, a menos que uno de estos bloques testeados admita a la transacción anterior para alcanzar el bloque especificado en el operando C. La dirección de cada bloque testeado en serie es calculada adicionando al operando D el testeo de la dirección de bloque previo. Si el operando D no es usado, cada bloque entre estos especificados por los operandos B y C, inclusive, son testeados. Si el operando C no es usado, únicamente un bloque es testeado. Ningún bloque con la dirección mayor que el operando C es testeado. El primer bloque que admita a la transacción deberá ser la nueva dirección. Si no hay bloques que admitan a la transacción, esta permanece en el bloque TRANSFER hasta que esta puede entrar en uno.

TRANSFER

ALL, FIRST_PLACE, LAST_PLACE, 2

Cuando una transacción ingresa a este bloque TRANSFER, el bloque de dirección FIRST_PLACE es testeado. Si la transacción puede entrar, lo hace. Si no, el bloque con dirección mayor segunda es testeada. La transacción entra si esta puede. Si todos los bloques la rechazan, el testeo finaliza con la dirección de bloque LAST_PLACE. Si ningún bloque la acepta, la transacción permanece en el bloque TRANSFER hasta que esta sea liberada.

Modo Selección Cuando el operando A es PICK, el bloque TRANSFER opera en modo selección. En este modo, un destino es seleccionado aleatoriamente.

TRANSFER

PICK, FIRST_PLACE, LAST_PLACE

Cuando una transacción ingresa a este bloque TRANSFER, una dirección es elegida aleatoriamente que numéricamente se encuentra entre FIRST_PLACE y LAST_PLACE, inclusive. La dirección elegida es el proximo destino para la transacción activa.

Modo Función Cuando el operando A es FN, el bloque TRANSFER opera en modo función. En este modo, el destino es elegido evaluando una entidad función, especificada en el operando B, y adicionando un incremento opcional especificado por C.

TRANSFER

FN, FUNC1, 5

Cuando una transacción ingresa a este bloque TRANSFER, la entidad función llamada FUNC1 es evaluada, y se le suma un 5, para determinar la dirección del destino.

Modo Parámetro Cuando el operando A es P, el bloque TRANSFER opera en modo parámetro. En este modo, la


137/154

5/9/2018


transacción activa salta a la dirección calculada de la suma del valor de un parámetro y el operando C. Si el operando C no es especificado, el valor del parámetro es la dirección del nuevo destino.

TRANSFER

P, PLACEMARKER, 1

Cuando una transacción ingresa a este bloque TRANSFER, esta es inmediatamente planificada hacia al bloque inmediatamente después de la dirección especificada en el parámetro de transacción llamado PLACEMARKER.

Modo Subrutina Cuando el operando A es SBR, el bloque TRANSFER opera en modo subrutina. En este modo, la transacción activa siempre salta a la dirección especificada por el operando B. La dirección del bloque transfer es colocada en el parámetro especificado por el operando C.

TRANSFER

SBR, NEW_PLACE, PLACEMARKER

Cuando una transacción ingresa a este bloque TRANSFER, esta es inmediatamente planificada hacia la dirección de bloque NEW_PLACE. LA dirección del bloque TRANSFER es colocada en el parámetro llamado PLACEMARKER. Si tal parámetro no existe, este es creado. Para retornar de la subrutina, usar un bloque TRANSFER en modo parámetro.

Modo Simultaneo Cuando el operando A es SIM, el bloque TRANSFER opera en modo simultaneo. En este modo, la transacción activa salta a una o dos direcciones dependiendo del indicador de demora de la transacción. Si el indicador esta seteado, la transacción salta hacia la dirección especificada por el operando C y el indicador de demora es reseteado. SI el indicador esta en reset, la transacción salta a la dirección especificad por el operando B. El indicador de demora de la transacción es seteado cuando la transacción es rechazada por un bloque. El indicador permanece seteado hasta que la transacción ingresa a un bloque TRANSFER en modo simultaneo.

TRANSFER

SIM, NODELAY_PLACE, DELAY_PLACE

Cuando una transacción ingresa a este bloque TRANSFER, esta es inmediatamente planificada hacia La dirección de bloque DELAY_PLACE si el indicador esta seteado, o NODELAY_PLACE si el indicador esta reseteado. Después de la transferencia, el indicador de demora es siempre reseteado.

Modo de rechazo Una transacción nunca es negada a ingresar a un bloque TRANSFER. Si una transacción llega a ser bloqueada por estar negado un bloque de destino, esta permanece en el bloque TRANSFER.


138/154

5/9/2018


UNLINK Un bloque UNLINK remueve transacciones de una cadena de usuario.

Sintaxis UNLINK

O

A, B, C, D, E, F

Operadores Operador relacional. Relaciona a D con E con respecto a la remoción a ocurrir. O– Opcional. El operando debe ser nulo, E, G, GE, L, LE, o NE. Número de Cadena de Usuario. Cadena de Usuario de la cual una o mas transacciones A– deberan ser removidas. Requerido. El operando debe ser nombre, enteropos, SNA, o SNA*parámetro. B– Número de bloque. El bloque destino para las transacciones removidas. Requerido. El operando debe ser nombre, enteropos, SNA, SNA*parámetro. C– Limite a remover. El número máximo de transacciones a ser removidas. Si no esta especificado, ALL es usado. Opcional. El operando debe ser ALL, nulo, nombre, enteropos, SNA, SNA*parámetro. D– Valor de testeo. El atributo de la transacción miembro a ser testeado, una variable booleana a ser testeada, o BACK para remover desde la cola de la cadena. Opcional. El operando debe ser nulo, nombre, entero, SNA, o SNA*parámetro, o BACK. Valor de referencia. El valor contra el cual el operando D es comparado. Opcional. El E– operando debe ser nulo, nombre, entero, SNA, o SNA*parámetro. El operando E no es usado si el operando D es una variable booleana. F– Número de bloque. El destino alternativo para la transacción de entrada. Opcional. El operando debe ser nulo, nombre, enteropos, SNA, o SNA*parámetro.

Ejemplo UNLINK

ONHOLD, REENTRY, 1

Esta es una simple manera de usar el bloque UNLINK. La primer transacción de la cabeza de la cadena de usuario llamada ONHOLD, si hay alguna, es sacada de la cadena y es dirigida hacia el bloque llamado REENTRY. Esta es puesta en la CEC detrás de su par en prioridad. La transacción ingresante al bloque UNLINK procede hacia el NSB.

Acción Un bloque UNLINK remueve transacciones desde la cadena de usuario y dirige a estas hacia un nuevo bloque. Las transacciones pueden ser seleccionadas para removerlas, y un limite puede ser impuesto del número de transacciones a remover. Si no hay transacciones en la cadena cuando el bloque UNLINK es ingresado, el indicador link de la cadena de usuario es reseteado. También, la transacción de entrada al bloque UNLINK debe ser redirigida de acuerdo al operando opcional F. Se puede limitar el número de transacciones a ser removidas de la cadena de usuario especificándolo en el operando C. Si el operando C es omitido, ALL es asumido. Se puede testear cada transacción a ser removida usando el operador relacional y/o los operandos D y E. Los operandos D y E y el operador relacional son opcionales. Cuando son omitidos, todas las transacciones son removidas desde el frente de la cadena, hasta que la cadena es agotada o el limite (operando C) es alcanzado. Se puede usar una de tres opciones para el operando D. Este puede ser una variable booleana, un número de parámetro, o la palabra BACK. Si este operando es una variable booleana, esta es evaluada con


139/154

5/9/2018


respecto a la transacción encadenada, y si el resultado es distinto de cero, la transacción encadenada es removida. Si el operando D es BACK, las transacciones son removidas de la cola de la cadena de usuario hasta que el limite es alcanzado. En otro caso, el operando D es evaluado con respecto a la transacción miembro de la cadena de usuario y usada como un número de parámetro, cuyo valor es retornado desde el miembro de la cadena de usuario como el resultado final. Este valor final es comparado con el resultado de la evaluación del operando E. El operando E es usado si y solamente si el operador relacional es usado. En este caso el operando D es requerido como fuente. La cadena de usuario es examinada desde el frente. Cada transacción, por encima del limite (operando C), es removida si el operando D tiene la misma relación con el operando E como es especificado por el operador relacional. Si el operando E es un SNA relacionado con una transacción, este es evaluado con respecto a la transacción activa. Se puede usar el operador relacional para especificar la relación entre el atributo de la transacción (operando D) y el valor de referencia (operando E) que deberá iniciar una remoción de la transacción. El valor por defecto del operador relacional es E. Si no se usa el operador relacional, pero se usan los operandos D y E, los valores deben ser igual a la transacción a ser removida de la cadena . El operando F es usado para especificar el destino alternativo a tomar por la transacción de entrada cuando el contador limite (operando C) no puede ser alcanzado, o cuando no se puede remover transacciones de la cadena de usuario. Si el operando F no es usado, La transacción de entrada siempre va hacia el NSB. La cadena de usuario tiene una compuerta autónoma llamada un indicador link. Cuando este es reseteado, los bloques LINK que tienen un operando C no deberan colocar una transacción de entrada en la cadena de usuario. La "compuerta" de la cadena de usuario esta cerrada cuando el indicador link esta reseteado. El indicador link es manipulado por los bloques LINK y UNLINK. Este es reseteado cuando un bloque UNLINK encuentra la cadena de usuario vacía. Esta condición puede representar el caso cuando la próxima transacción a arribar debe esperar (en la cadena de usuario). El indicador link representa la condición de ocupado de un hipotético recurso.

Operadores Relacionales El operador relacional puede ser E, G, GE, L, LE, o NE. Si no es especificado es asumido E. Cuando la condición es verdadera y el contador limite no ha sido alcanzado, la transacción comenzada a ser testeada es removida de la cadena de usuario. Las condiciones son definidas como sigue: E – El atributo de transacción especificado por el operando D debe ser igual al valor de referencia especificado en el operando E de la transacción a ser removida del grupo. G – El atributo de transacción especificado por el operando D debe ser mayor que el valor de referencia especificado en el operando E de la transacción a ser removida de la cadena. GE – El atributo de transacción especificado por el operando D debe ser mayor o igual al valor de referencia especificado en el operando E de la transacción a ser removida de la cadena. L – El atributo de transacción especificado por el operando D debe ser menor que el •

•

•

•

valor de referencia especificado en el operando E de la transacción a ser removida de la cadena. LE – El atributo de transacción especificado por el operando D debe ser menor o igual al valor de referencia especificado en el operando E de la transacción a ser removida de la cadena. NE – El atributo de transacción especificado por el operando D debe ser distinto que el valor de referencia especificado en el operando E de la transacción a ser removida de la cadena. •

•


A, B, C, y F, si son especificados, deben ser positivos.


140/154

5/9/2018


• •

B y F, deben ser direcciones de bloques en el modelo corriente. Si el operando D es usado pero sin la clase SNA BV ni BACK, entonces debe usarse el

operando E. Si el operando D es BACK o una variable booleana, entonces no se debe usar el operando E ni un operador relacional. Si se utiliza el operador relacional, se debe usar el operador D, y E, y DF no ser •

•

variable booleana. Si se usa el operando E se debe usar el operando D. Los operandos D y E no pueden ser 0. • •

Modo de rechazo A una transacción nunca se le niega la entrada a un bloque UNLINK.

SNAs Relacionados • • • • •

CAentnum. CCentnum. CHentnum. CMentnum. CTentnum.


141/154

5/9/2018


CAPITULO 3

CONCEPTOS AVANZADOS


142/154

5/9/2018


Cadenas de T ransacciones Las transacciones son temporariamente ligadas a entidades ocupando listas vinculadas llamadas cadenas. Algunas entidades, tales como las facilitys, tienen varias cadenas. Otras entidades tienen una única cadena. Cada transacción puede estar en cualquier número de cadenas. Sin embargo, si ocupan algún tipo de cadena es posible que no pueden ocupar otras. Por ejemplo, una transacción en una o más cadenas de interrupción no puede estar en la cadena de eventos futuros. Una transacción no puede estar en más de una de las siguientes cadenas: !

Cadena de Eventos Corrientes (CEC) Cadena de Eventos Futuros (FEC) ! Cadena de Demora o Retraso en una facility o storage (DELAY CHAIN) ! Cadena de Pendientes de una facility (PENDING CHAIN) !

!

Cadena de Usuario (USER CHAIN)

Una transacción puede estar esperando por la ocurrencia de algún número de condiciones, puede estar en cualquier número de grupo de transacción, y puede ser apropiada desde cualquier número de facilitys. Esto significa que una misma transacción puede estar en cualquier número de cadenas de interrupción y cualquier número de cadenas de grupo y en cualquier número de cadenas de reintento al mismo tiempo.


143/154

5/9/2018


Cadena de Eventos Corrient es - CEC La Cadena de Eventos Corrientes (CEC) es una lista encadenada de transacciones preparadas que ya tienen bloques para la sertransacción ingresados activa antes que la simulación avance.a Antes que la CEC guardada en orden de prioridad, es usualmente retornada la CEC delante de sea su par de igual prioridad. Por esta razón, cuando una transacción comienza a moverse en el modelo corriente, ésta tiende a seguir moviéndose, a menos que una transacción de mayor prioridad sea reactivada. Cuando la transacción activa descansa en alguna caden, la primer transacción de mayor prioridad en la CEC se vuelve la transacción activa. Si la CEC esta vacía, la transacción(s) más inminente en la Cadena de Eventos Futuros (FEC) es o son movidas a la CEC. Esta acción siempre causa un avance en el sistema de reloj.


144/154

5/9/2018


Cadena de Event os Futuros - FEC La Cadena de Eventos Futuros (FEC) es una cadena ordenada en el tiempo que retiene transacciones que deben esperar por un tiempo delasimulación. Cuando toda simulación durante de reloj corriente es completada, siguiente transacción es actividad tomada dedelalaFEC. Esta acción es el la tiempo que causa que el sistema de reloj se actualize. El valor del reloj del sistema es siempre igual al tiempo de programación de la ultima transacción a ser tomada de la FEC. Los bloques ADVANCE y GENERATE son la única manera de colocar una transacción en la FEC. Estos bloques generan un incremento de tiempo como operando y calculan el tiempo absoluto antes de poner la transacción en la FEC. Cuando el sistema de reloj alcanza este tiempo absoluto, la transacción es movida a la CEC la cual debe resumir sus movimientos dentro del modelo corriente. De esta manera, una duración o intervalo de tiempo puede ser simulado.


145/154

5/9/2018


Cadenas de Re intento – RETRY Chains Las transacciones que fallan todos los testeos requeridos para entrar a un bloque son colocadas en una "Cadena de Reintento". Estoso testeos ocurrenBOTH. cuando Cada una transacción intenta en un GATE, TEST, TRANSFER ALL, TRANSFER entidad tiene unaentrar cadena debloque transacciones bloqueadas, llamada Cadena de Reintento (RETRY CHAIN). Las transacciones en una Cadena de Reintento esperan por el cambio de valor de algún SNA. Cuando el valor del SNA cambia, una transacción en la Cadena de Reintento de la entidad es reactivada y puesta en la CEC. Cuando la transacción llega a ser la transacción activa, la condición especifica de testeo es repetida. Después de este proceso a menudo la computadora usa el tiempo sin avanzar transacciones en el modelo, un imprudente cambio de condiciones puede llevar a una simulación ineficiente. El poder del bloque GATE y del bloque TEST debe ser ejercido con cuidado. Las transacciones en la Cadena de Reintento son reemplazadas en la CEC por el proceso de reactivación. Si en un reintento algún testeo es satisfecho, la transacción ingresa en el siguiente bloque. Cuando la transacción ingresa a un bloque ésta es removida de todas las Cadenas de Reintento automáticamente.


146/154

5/9/2018


Cadenas de Facilities Cada entidad facility tiene cuatro cadenas de transacciones. Estas son: !

Cadena de Pendientes (PENDING CHAIN) – Una lista de transacciones esperando por APROPIAR (PREEMPT) la facility en "modo interrupción". ! Cadena de Interrupción (INTERRUPT CHAIN) – Una lista de transacciones que han sido apropiadas (preempted) desde la propiedad de la facility. ! Cadena de Demora (DELAY CHAIN) – Una cadena de prioridad de transacciones esperando por la propiedad de una facility. ! Cadena de Reintento (RETRY CHAIN) – Una lista de transacciones que están esperando por el cambio de estado de una facility. La Cadena de Pendientes retiene transacciones esperando entrar en un bloque PREEMPT en modo de interrupción. Una transacción que intenta ingresar a un bloque PREEMPT en modo de interrupción en una facility es negada a entrar al bloque PREEMPT si algunas transacciones interrumpidas están en la Cadena de Interrupción de la Facility. Una transacción que es negada a entrar es colocada en la Cadena de Pendientes de la facility. Esto causa que las transacciones descancen en el modelo corriente. Cuando una transacción obtiene la apropiación de una facility, la primer transacción en la Cadena de Pendientes es la propietaria y se le permite entrar al bloque PREEMPT. La cadena de interrupción es una lista de transacciones preempted o interrumpidas. Cuando una transacción ingresa a un bloque PREEMPT, y la facility es concurrentemente ocupada por otra transacción, la propiedad es dada a la nueva transacción. La vieja transacción es colocada en la Cadena de Interrupción para que su apropiación pueda ser restaurada luego. Las transacciones en una o más Cadenas de Interrupción pueden aún moverse en el modelo corriente, sin embargo, sus movimientos son restringidos. Semejante a una transacción no puede existir en la FEC y no puede dejar un bloque ASSEMBLE, GATHER, MATCH donde esta ha sido colocada en una condición. Cuando una transacción obtiene la propiedad de una facility, si la Cadena de Pendientes esta vacía, la primer transacción en la Cadena de Interrupción se le otorga la propiedad de la facility. La Cadena de Demora retiene transacciones esperando por la propiedad. Una transacción que intenta ingresar en un bloque SEIZE de una facility en uso le es negada la entrada a este bloque SEIZE y es colocada en la Cadena de Demora de la facility en orden de prioridad. Similarmente, una transacción que intenta ingresar a un bloque PREEMPT de una facility en uso (por una transacción de igual o mayor prioridad) es negada su entrada y es colocada en la Cadena de Demora de la facility en orden de prioridad. En estos casos la transacción descansa en el modelo activo y una nueva transacción es elegida. Entonces, cuando una transacción obtiene la propiedad de una facility, si la Cadena de Pendientes y la Cadena de Interrupción están vacías, la transacción de mayor prioridad en la Cadena de Demora se le da la propiedad de la facility. La Cadena de Reintento es una lista de transacciones esperando por el cambio de estado de una facility. Estas transacciones son reactivadas cuando la facility cambia de un estado a otro. Las transacciones esperando en la Cadena de Demora, o Cadena de Interrupción, o apropiaron una facility están en conexión con la facility. Desde que una transacción compite deberá eventualmente llevar la propiedad de la facility, la competencia por una facility acarrea la obligación de liberar la facility. Si una transacción que es dueña de una facility intenta salir de la simulación al ingresar a un bloque TERMINATE o ASSEMBLE, un error de stop ocurrirá. Sin embargo, a una transacción interrumpida le es permitida dejar una simulación. Normalmente, cada transacción permanece en competición hasta que voluntariamente ingresa a un bloque RELEASE o RETURN en nombre de la facility. Sin embargo, los bloques PREEMPT o FUNAVAIL tienen opciones que pueden remover otras


147/154

5/9/2018


transacciones desde una competencia por una facility. Para resumir, cuando una facility es liberada por una transacción propietaria, las transacciones PREEMPTED en modo interrupción son las primeras en apropiar la facility, seguida por las transacciones en la Cadena de Interrupción, seguidas por las transacciones esperando normalmente en orden de prioridad en la Cadena de Demora. Cuando un nuevo propietario es elegido de la Cadena de Demora la cadena Pendientes, este a un bloque SEIZE o PREEMPT inmediatamente, y entonces oesde coloca en la de CEC detrás de su paringresa de igual prioridad.


148/154

5/9/2018


Cadenas de Storages Cada entidad storage tiene dos cadenas de transacciones. Estas cadenas son listas encadenadas de transacciones: !

Cadena de Demora (DELAY CHAIN) – una Cadena de Prioridad de transacciones esperando por una unidad storage. ! Cadena de Reintento (RETRY CHAIN) – una lista de transacciones que están esperando por el cambio de estado del storage. La Cadena de Demora retiene transacciones esperando por una o más unidades de storage. Cuando una transacción intenta ingresar a un bloque ENTER de una entidad storage, demanda unidades de storage, que son comparadas con el número de unidades de storage disponibles. El máximo disponible es definido en una sentencia STORAGE. Si la demanda de storage no puede ser satisfecha, la transacción es negada a entrar al bloque ENTER y es colocada en la Cadena de Demora del storage en orden de prioridad. En este caso la transacción descansa en el modelo activo. Una nueva transacción activa es elegida. Luego, cuando una transacción obtiene unidades de storage, la Cadena de Demora es explorada en orden de prioridad, reactivando transacciones que demandan storage que pueden ser satisfechas. Un procedimiento de "primero en encajar" es usado. Cada transacción, en turno, es testeada. Si su demanda puede ser satisfecha esta es permitida para ingresar al bloque ENTER y es colocada en la CEC detrás de su par en prioridad. Si esta demanda no puede ser satisfecha, esta permanecerá en la Cadena de Demora. La Cadena de Reintento es una lista de transacciones esperando por el cambio de estado de una entidad storage. Estas transacciones son reactivadas, colocadas luego en la CEC, cuando el estado del storage cambia.


149/154

5/9/2018


Cadenas de Usuario – User Chains Cada entidad Cadena de Usuario contiene una cadena de transacción llamada Cadena de Usuario. Las Cadenas de Usuario son listas encadenadas de transacciones que han sido removidas de la Cadena de Eventos Corrientes por un bloque LINK. Tradicionalmente existen dos usos para la Cadena de Usuario. Primero, es posible implementar disciplinas de programación (scheduled) de transacciones extremadamente complejas con estas Cadenas de Usuario. Esto se puede hacer asignando el resultado de una clase de SNA V hacia un parámetro de transacción antes de linkear una transacción a una Cadena de Usuario. Segundo es más eficiente para evitar condiciones de testeo que no pueden posiblemente resultar en un testeo exitoso. En este caso, se puede colocar las transacciones bloqueadas en una Cadena de Usuario hasta que exista una posibilidad de éxito.


150/154

5/9/2018


Ejecución de una simulación me diante VisualSIS Al comenzar una simulación, cada uno de los bloques Generate genera un futuro nacimiento de transacciónes, el cual es puesto en una cadena interna de Eventos Futuros (FEC: Future Event Chain), la cual está ordenada cronológicamente. Para continuar la simulación, VisualSIS observa en la FEC cuál es el próximo evento que debería ejecutarse, y coloca el reloj de la simulación en el instante de ese evento (recordemos que VisualSIS utiliza un lenguaje manejado por eventos). Por lo tanto ese(esos) evento(s) futuro(s) se tranforma(n) en corriente(s), y son puestos en una cadena denominada Current Event Chain (CEC), conformada por todos los eventos que se deben ejecutar ahora, ya. VisualSIS maneja simultaneidad deteniendo el reloj y ejecutando todo lo que debe suceder en un determinado instante. En ese instante, lo que era un nacimiento futuro es una gestación actual. 1.

La transacción recién nacida se mueve por el sistema todo lo que puede, o sea, hasta que: a) b)

c)

d) e) f) g)

Intenta tomar un recurso y éste no está disponible: es puesto en una cadena Delay Chain (una cadena por recurso). Luego pasa a la CEC. Una condición falsa sin opciones alternativas. Ejemplo: puerta cerrada, semáforo rojo, barrera baja. Se pone en una Retry Chain (una por condición) hasta que la condición cambie, donde pasa a la CEC. Intenta arrebatar (interrumpir) un recurso y no puede porque su prioridad es menor que el que está usando el recurso: se coloca en una Pending Chain, la cual tiene prioridad sobre la Delay Chain. La transacción muere en un terminate o en un Assemble. Es la primera transacción de un Assemble que espera más de una transacción, por lo que queda esperando en una cadena juntar las transacciones de la familia faltantes. Se encadena en una cadena de usuario. Comienza a realizar una tarea (ejecuta el Advance con tiempo mayor que cero). En este caso se coloca en la FEC, porque el terminar la tarea es un evento futuro.

Luego busca en la CEC la transacción de mayor prioridad para repetir el proceso 1. Mientras la transacción se mueve por el modelo provoca eventos (libera recursos, cambia el estado de los semáforos, etcétera), lo cual puede hacer que la Delay o Retry Chain se tranformen en la CEC. La regla es ejecutar todo lo que hay en la CEC sin correr el reloj. Una vez ejecutadas todas las transacciones de la CEC, toma la próxima de FEC, la pasa a la CEC y actualiza el reloj.


151/154

5/9/2018


El programador (Scheduler) de Transacciones Es conveniente pensar en una simulación VisualSIS como un conjunto de transacciones que ocupa bloques en unmuchos diagrama de bloques. algún cualquier momento,número cada transacción está en Cada exactamente en un bloque, pero bloques pueden En contener de transacciones. transacción en turno obtiene una oportunidad para moverse conforme a un camino prescrito a través del diagrama de bloques. Cuando una transacción es negada a ingresar en un bloque, esta debe esperar en su bloque actual hasta que las condiciones se vuelvan favorables para su movimiento. La parte de VisualSIS que es responsable de este movimiento es llamada la programación de transacciones. Cada tipo de bloque tiene su propia rutina que es ejecutada cuando una transacción intenta ingresar a ese tipo de bloque. Es trabajo del programador de transacciones llamar a la apropiada rutina. La primera cosa que la programación de transacciones hace es identificar a la transacción activa. Si la CEC no esta vacía, la transacción con mayor prioridad en la CEC será la transacción activa. Si la CEC esta vacía, el programador de transacciones llenará la CEC con transacciones de la FEC con el menor valor de tiempo. Esta acción también actualiza el sistema de reloj. El programador de transacciones entonces intenta mover la transacción activa tan lejos como pueda en el modelo corriente. En efecto, quitará la transacción activa de la CEC, llamará a la rutina para la próxima secuencia de bloques (NSB), y a menos que algo extraordinariamente ocurra, reemplaza la transacción en el frente del par de igual prioridad en la CEC. Esto dá a la transacción de mayor prioridad la oportunidad de moverse en el modelo. La ubicación de la CEC puede ser modificada por los bloques PRIORITY y BUFFER. Luego de que una transacción ingresa a un bloque BUFFER, es ubicada detrás de su par de igual prioridad en la CEC. Los bloques BUFFER son útiles si una transacción reactivada debe estar al frente de las transacciones en la CEC. Por ejemplo, ADVANCE calcula un tiempo de programación positivo y coloca la transacción en la FEC. Otros bloques tales como LINK, ENTER, SEIZE y PREEMPT pueden causar que la transacción activa descanse en una cadena de transacciones. Quitar desde o reemplazar en la CEC no afecta al sistema de reloj. El tiempo de simulación disminuye hasta que no haya transacciones en el lado izquierdo de las CEC. Reemplazos continuos de la transacción activa en la CEC darán reactivaciones nuevamente de transacciones con mayor prioridad en la CEC con oportunidad de llegar a ser la transacción activa. Cuando la transacción activa descanse en la Cadena de Demora o no pueda moverse por alguna otra condición, la programación de transacciones escoge otra transacción activa e intenta moverla en el modelo corriente.

El Movimiento de Transacciones Las transacciones deben estar en la CEC listas a moverse. En cada ocasión la transacción activa intenta moverse entre bloques llamado a esto "Programación de Transacciones". Desde que una transacción se le niega la entrada a un bloque, una programación de transacciones no debe llevarla a una entrada de bloque. Por esta razón, muchas simulaciones tienen menos entradas de bloques que programaciones de transacciones. Cuando la transacción activa intenta ingresar en un bloque, el programador de transacciones llama a la rutina del bloque asociada con ese tipo de bloque. Es la rutina de bloque que decide si una transacción ingresa o no a un bloque. Varios tipos de bloques niegan la entrada de la transacción. Estos son: ENTER, SEIZE, PREEMPT, GATE, TEST, y demás, si la transacción ha sido eliminada de todas sus apropiaciones, esta deberá ser negada por los bloques ADVANCE y no deberá ser permitida su partida de los bloques ASSEMBLE, GATHER Y MATCH. Cuando la transacción activa no puede entrar en algún bloque se pone a descansar dentro del modelo corriente. Esta es entonces quitada de la CEC y colocada en una de las cadenas de transacciones. Luego,


152/154

5/9/2018


una transacción diferente es elegida para ser la transacción activa.

Bloqueo y Reactivación La transacción activa esta "bloqueada" cuando debe esperar por una o más cambios de estado de entidades. bloques TEST TRANSFER pueden requerir que condiciones se encuentren Los en una o más GATE, entidades antesyque la transacción activa sea permitida a proseguirespecificas en el modelo. Cada entidad tiene una Cadena de Reintento para transacciones que están bloqueadas mientras intentan entrar sobre un bloque. Cuando el estado de una entidad es cambiada por alguna otra transacción, todas las transacciones en la Cadena de Reintento asociadas son reemplazadas en la CEC detrás de su par en prioridad. La reactivación es el movimiento de transacciones bloqueadas en la CEC. Si la transacción activa cambia el estado de una entidad, es posible que una o más transacciones sean reactivadas antes que la transacción activa intente ingresar al próximo bloque. Si una transacción de mayor prioridad es reactivada, esta deberá volverse la transacción activa. Si se desea nuevamente reactivar una transacción para progresar inmediatamente, se debe colocar la transacción activa en la CEC detrás de su par en prioridad (bloque BUFFER o PRIORITY, con opción BU), o se debe causar la reactivación de la transacción que tiene la mayor prioridad que la transacción activa vieja. Cuando una transacción reactivada se vuelve la transacción activa, el testeo del bloqueo original es reintentado. Si un estado de entidad cambia mas de una vez antes de que se actualice el sistema de reloj, algunos estados intermedios no serán detectados. Esto sucederá si el estado de la entidad es cambiado dos veces antes de que la transacción bloqueada suspendida testee la condición. Usualmente, esta posibilidad puede estar excluida por un uso cuidadoso del bloque BUFFER.


153/154

5/9/2018


Sincronización Conjuntos de Reunión (Assembly Set) Un Conjunto de Reunión es una colección de transacciones con un ancestro en común. El ancestro, en si mismo, es también incluido en el Conjunto de Reunión. Los Conjuntos de Reunión son útiles para causar sincronización entre transacciones. Es fácil de crear, esperar por, y destruir miembros en el Conjunto de Reunión en la simulación. Esto hace fácil representar procesos que en algún punto deben esperar por cierto evento a ocurrir. Los siguientes bloques sirven para tal propósito: !

ASSEMBLE – espera y destruye transacciones relacionadas. GATHER – espera por transacciones relacionadas. ! MATCH – espero por transacciones relacionadas para alcanzar en conjunto un bloque MATCH. ! SPLIT – crea transacciones relacionadas. !

http://slide pdf.c om/re a de r/full/ma nua l-gpss

154/154

Manual Gpss

Recommend Documents