LENGUAJES SECUENCIALES

CONSTRUCTIVOS & CONCURRENTES

Definiciones:

Se habla de concurrencia cuando ocurren varios sucesos de

manera contempornea.

La programacin secuencial consiste en un proceso de toma de

decisiones.

La programacin constructiva es un conjunto de atributos,

tcnicas, herramientas, procedimientos, que son caractersticos
para un tipo de programacin en particular.
 LENGUAJES SECUENCIALES
CONSTRUCTIVOS & CONCURRENTES
Los lenguajes sncronos aseguran que exista una
concurrencia de manera fija pero en cambio tienen
fuertes restricciones en lo que se consideran
programas vlidos o constructivos.

Hasta mientras los lenguajes secuenciales como C y

Java ofrecen una programacin intuitiva y familiar,
pero no nos dan alguna garanta en cuanto a la
concurrencia.

El modelo constructivo secuencial de

computacin (SC MOC) que se presenta aqu
aprovecha el modelo sincrnico para lograr la
concurrencia que se requiere.
 LENGUAJES SNCRONOS LENGUAJES
Esterel, Lustre, Signal, SECUENCIALES
C, Java,
Programacin cclica
Concurrencia y deadlock Programacin asncrona
freedom (Si dos o ms
procesos estn tratando de No garantiza deadlock
entrar en su seccin crtica , freedom.
solo uno de ellos tendr
xito).
Programacin de manera
Fuertes restricciones por el intuitiva.
anlisis constructivo.

MODELO CONSTRUCTIVO SECUENCIAL DE COMPUTACIN (SC MOC)

todos los pequeos pasos todos los pequeos pasos de flujo de
de flujo de control concurrentes de control secuenciales son de mane-
son de manera descriptiva ra prescriptiva.
resuelto por el programa. resuelto por el programador.
SC MOC (MODELO CONSTRUCTIVO
SECUENCIAL DE COMPUTACIN)

El SC MOC es una ampliacin del clsico MOC, que permite

que las variables puedan ser ledas y escritas en cualquier
orden siempre y cuando la secuencia expresada en el
programa proporcione suficiente informacin de
programacin para descartar condiciones fuera de lugar.
DE ALGUNA MANERA, ES UNA FUSIN DE LOS LENGUAJES
SNCRONOS Y SECUENCIALES
EJEMPLO
EJEMPLO
CONCLUSIONES

Velocidad de ejecucin. Al subdividir un programa en procesos, stos se

pueden repartir entre procesadores o gestionar en un nico procesador segn
importancia

La programacin secuencial consiste en un proceso de toma de decisiones que

se utiliza sobre una base regular

El SC MOC presentado en este trabajo aprovecha la sincronizacin de los

modelos de computacin; donde realmente importa garantizar determinismo
cuando se accede a variables compartidas al mismo tiempo.