15.08.2013 Views

Actas - ISSI - Universidad Politécnica de Valencia

Actas - ISSI - Universidad Politécnica de Valencia

Actas - ISSI - Universidad Politécnica de Valencia

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Introducción al Cálculo-Pi con Prioridad<br />

Figura 2. Cambio <strong>de</strong> Emisora (<strong>de</strong> R2 a R1) para un Cliente (A2) en la Red <strong>de</strong> Streaming<br />

encarga <strong>de</strong> la gestión <strong>de</strong>l sistema. Por lo <strong>de</strong>más, los nodos <strong>de</strong> la red pue<strong>de</strong>n actuar como<br />

emisora (R) o como cliente (A), roles que aquí se <strong>de</strong>scriben por separado 5 .<br />

Con el fin <strong>de</strong> simplificar el ejemplo, se utilizarán únicamente dos niveles <strong>de</strong> prioridad;<br />

por tanto, N = { 0, 1}. Esto significa que el nivel normal <strong>de</strong> funcionamiento es<br />

1, y que todo canal creado con prioridad 0 es un canal <strong>de</strong> emergencia. En este caso, y<br />

siguiendo a [4], se pue<strong>de</strong> adoptar también la notación nb = nb:0 y nb = nb:1, <strong>de</strong> modo<br />

que se asume que todo nombre convencional tiene la prioridad mínima, y todo nombre<br />

subrayado <strong>de</strong>signa a un canal <strong>de</strong> emergencia con la prioridad máxima.<br />

Se adopta también la convención –innecesaria, pero a menudo conveniente– <strong>de</strong> que<br />

cuando se crea un nombre para enviarlo a través <strong>de</strong> un canal c <strong>de</strong> prioridad k, este<br />

nombre tenga también la misma prioridad k. Por tanto, toda señal enviada por un canal<br />

<strong>de</strong> emergencia será también una señal <strong>de</strong> emergencia. Intuitivamente, el motivo es evitar<br />

que la gestión <strong>de</strong> una “interrupción” activada <strong>de</strong>s<strong>de</strong> un canal <strong>de</strong> alta prioridad se <strong>de</strong>tenga<br />

a la mitad <strong>de</strong> su ejecución <strong>de</strong>bido al uso <strong>de</strong> un canal intermedio <strong>de</strong> prioridad baja.<br />

Como pue<strong>de</strong> verse en la Figura 2, en el ejemplo se <strong>de</strong>scribe una red con un controlador<br />

central (E), dos emisoras (R1 y R2) y dos clientes <strong>de</strong> estas emisoras (A1 y A2).<br />

Se asume que los clientes reciben la emisión <strong>de</strong> streaming <strong>de</strong> las emisoras a través <strong>de</strong>l<br />

canal r. No se muestra el origen <strong>de</strong> la emisión, por no ser relevante para el ejemplo.<br />

El ejemplo muestra cómo cuando una emisora (R2, en la Figura) va a <strong>de</strong>sconectarse,<br />

emite una señal <strong>de</strong> emergencia (h2, <strong>de</strong> alta prioridad) al controlador (E) para solicitar la<br />

i<strong>de</strong>ntificación (c1) <strong>de</strong> otra emisora (R1). A continuación, transmite esa i<strong>de</strong>ntificación a<br />

sus clientes (sólo A2, en la Figura) a través <strong>de</strong> un canal <strong>de</strong> prioridad (d). Los clientes se<br />

reconectan a la nueva emisora, y la transmisión <strong>de</strong>l programa continúa.<br />

5 En el texto se ha preferido usar las <strong>de</strong>nominaciones <strong>de</strong> controlador, emisora y cliente para<br />

<strong>de</strong>scribir a los distintos roles <strong>de</strong>l sistema, por consi<strong>de</strong>rar que son más intuitivas en el contexto<br />

este ejemplo. Sin embargo, los nombres <strong>de</strong> los procesos correspondientes en la especificación<br />

<strong>de</strong> la Figura 1 se refieren a sus papeles en la <strong>de</strong>finición original <strong>de</strong>l sistema <strong>de</strong> streaming. Así,<br />

se refieren respectivamente a emisora central (E), repetidor (R) y agente (A).<br />

133

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!