Comunicación de procesos secuenciales
Este artículo o sección necesita referencias que aparezcan en una publicación acreditada.
Busca fuentes: «Comunicación de procesos secuenciales» – noticias · libros · académico · imágenesEste aviso fue puesto el 24 de abril de 2014.
CSP (Comunicación de Procesos Secuenciales) es un modelo de programación de sistemas concurrentes basado en la comunicación entre procesos.[1][2]
Definición del modelo
[editar]- Estructuras de control secuenciales: órdenes con guarda de Dijkstra: <condición o guarda> -> <acción>.
- Ejecución concurrente de los procesos.
- Órdenes especiales de entrada/salida entre procesos: Pj!e Pi?x.
- La comunicación tiene lugar cuando un proceso 'Pi' nombra a otro proceso 'Pj' como destino de su salida, y 'Pj' nombra a 'Pi' como origen de su entrada.
- No existe buffering. Los procesos que van a enviar o recibir mensajes quedan bloqueados hasta que consiguen la comunicación (o no).
- No se crean ni se destruyen procesos durante la ejecución de los programas (son estáticos).
- No existe recursividad.
| Control de autoridades |
|
|---|
Datos: Q1120460
Referencias
[editar]Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.
Cover photo is available under {{::mainImage.info.license.name || 'Unknown'}} license.
Cover photo is available under {{::mainImage.info.license.name || 'Unknown'}} license.
Credit:
(see original file).
