Comunicación entre procesos

La comunicación entre procesos (comúnmente IPC, del inglés Inter-Process Communication) es una función básica de los sistemas operativos. Los procesos pueden comunicarse entre sí a través de compartir espacios de memoria, ya sean variables compartidas o buffers, o a través de las herramientas provistas por las rutinas de IPC. La IPC provee un mecanismo que permite a los procesos comunicarse y sincronizarse entre sí, normalmente a través de un sistema de bajo nivel de paso de mensajes que ofrece la red subyacente.

La comunicación se establece siguiendo una serie de reglas (protocolos de comunicación). Los protocolos desarrollados para internet son los mayormente usados: IP (capa de red), protocolo de control de transmisión (capa de transporte) y protocolo de transferencia de archivos, protocolo de transferencia de hipertexto (capa de aplicación).

Los procesos pueden estar ejecutándose en una o más computadoras conectadas a una red. Las técnicas de IPC están divididas dentro de métodos para: paso de mensajes, sincronización, memoria compartida y llamadas de procedimientos remotos (RPC). El método de IPC usado puede variar dependiendo del ancho de banda y latencia (el tiempo desde el pedido de información y el comienzo del envío de la misma) de la comunicación entre procesos, y del tipo de datos que están siendo comunicados.

Conceptos básicos

El sistema operativo provee mínimamente dos primitivas, enviar y recibir, normalmente llamadas send y receive. Asimismo, debe implementarse un enlace de comunicación entre los procesos de la comunicación. Este enlace puede ser unidireccional o multidireccional según permita la comunicación en solo uno o en varios sentidos.

Tipos de comunicación

La comunicación puede ser:

Síncrona o asíncrona
Persistente (persistent) o momentánea (transient)
Directa o indirecta
Simétrica o asimétrica
Con uso de buffers explícito o automático
Envío por copia del mensaje o por referencia
Mensajes de tamaño fijo o variable

Síncrona

Quien envía permanece bloqueado esperando a que llegue una respuesta del receptor antes de realizar cualquier otro ejercicio.

Asíncrona

Quien envía continúa con su ejecución inmediatamente después de enviar el mensaje al receptor.

Persistente

El receptor no tiene que estar operativo al mismo tiempo que se realiza la comunicación, el mensaje se almacena tanto tiempo como sea necesario para poder ser entregado (Ej.: e-Mail).

Momentánea (transient)

El mensaje se descarta si el receptor no está operativo al tiempo que se realiza la comunicación. Por lo tanto no será entregado.

Directa

Las primitivas enviar y recibir explicitan el nombre del proceso con el que se comunican. Ejemplo:

enviar (mensaje, A) envía un mensaje al proceso A

Es decir se debe especificar cual va a ser el proceso fuente y cual va a ser el proceso Destino.

Las operaciones básicas Send y Receive se definen de la siguiente manera: Send (P, mensaje); envía un mensaje al proceso P (P es el proceso destino). Receive (Q, mensaje); espera la recepción de un mensaje por parte del proceso Q (Q es el proceso fuente).

Nota: Receive puede esperar de un proceso cualquiera, un mensaje, pero el Send sí debe especificar a quién va dirigido y cuál es el mensaje.

Indirecta

La comunicación Indirecta: Es aquella donde la comunicación está basada en una herramienta o instrumento ya que el emisor y el receptor están a distancia.

Simétrica

Todos los procesos pueden enviar o recibir. También llamada bidireccional para el caso de dos procesos. Es una comunicación equilibrada donde tanto emisor como receptor reciben la misma información.

Asimétrica

Un proceso puede enviar, los demás procesos solo reciben. También llamada unidireccional. Suele usarse para hospedar servidores en Internet.

Uso de buffers automático

El transmisor se bloquea hasta que el receptor recibe el mensaje (capacidad cero).

RPC

(Remote Procedure Call / llamada a un procedimiento remoto) Permitir que los programas realicen llamadas a funciones localizadas en otras máquinas. Los programadores no se tienen que preocupar por los detalles de la programación de la red. Conceptualmente simple.

Desde el punto de vista de un programador la llamada a una función remota es y funciona de la misma manera que lo haría si la llamada fuese local. En este sentido, se logra transparencia.

Cada función pasa a tener dos partes: cliente, la máquina local donde se implementa la interface (prototipo de una función) para invocar las funciones remotas. Servidor, implementación de las funciones propiamente dichas.

Paso de parámetros

No debería de existir ningún problema si dos máquinas son homogéneas, sin embargo la realidad no suele ser ésta. Pueden surgir problemas de diferentes codificación de caracteres (ej.: mainframe IBM: EBCDIC, IBM PC: ASCII) o diferentes tipos de ordenación de bytes (ej.: Intel: little endian, Sun SPARC: big endian).

Como solución a estos problemas es importante lograr un acuerdo del protocolo usado. La parte encargada de generar los mensajes no debe de presuponer el uso de un lenguaje de programación específico.

Invocación remota de métodos (RMI)

Es un mecanismo de expansión de RPC cuyo objetivo es dar soporte a sistemas orientado a objetos.

La idea es tener objetos distribuidos. Para acceder al estado de un objeto sólo se realiza a través de métodos definidos por un objeto interface. Un objeto ofrece múltiples interfaces. Un interface puede ser implementado por múltiples objetos.

Comunicación orientada a mensajes

Las comunicaciones RPC se basan en la idea de que el receptor esté operativo para poder invocar una cierta función. No obstante, no podemos suponer que el receptor siempre estará operativo y esperando a comunicarse. La solución es definir la comunicación en término de paso de mensajes.

Mensajes momentáneos vs. mensajes persistentes

Momentáneos: no soportan el envío de mensajes persistentes. (1) Sockets, (2) Message-passing interface (MPI).

Sockets Berkeley

Sistema fuertemente acoplado a las redes TCP/IP

Sockets API:

socket: crea una nueva comunicación.
bind: añade la dirección local al socket.
listen: queda en espera de conexiones.
accept: queda bloqueado hasta la llegada de un pedido de conexión.
connect: pedido de establecimiento de conexión.
send: enviar datos por la conexión.
receive: recibir datos por la conexión.
close: desvincula el socket la dirección local.

Message-passing interface (MPI)

Diseñado para aplicaciones paralelas crea un nivel de abstracción más alto que el provisto por sockets. Provee una interface con primitivas más avanzadas. Por el contrario cuenta con una gran cantidad de implementaciones (librería y protocolos) propietarias lo que genera la necesidad de una interfaz estándar.

MPI API:

MPI_bsend: vincula la salida de mensajes con el buffer de salida local.
MPI_send: envía un mensaje y espera hasta que es copiado al buffer.
MPI_send: envía un mensaje y espera hasta que el receptor inicie.
MPI_sendrecv: envía un mensaje y espera respuesta.
MPI_isend: pasa la referencia de un mensaje y continúa.
MPI_issend: para la referencia de un mensaje y espera hasta que el receptor inicie.
MPI_recv: recibe un mensaje; se bloquea en el caso de no haberlo.
MPI_irecv: verifica si hay mensajes entrantes; no se bloquea.

Persistentes: el mensaje se encola y se entrega cuando se pide. (1) Message-oriented middleware (MOM)

Implementaciones

Hay un número de API que pueden ser usadas por IPC. Un número de plataformas independientes de API incluidas las siguientes:

Tuberías Anónimas y con nombre
Common Object Request Broker Architecture (CORBA)
Distributed Computing Environment (DCE)
Message Bus (MBUS) (especificado en RFC 3259)
ONC RPC
Sockets
XML XML-RPC or SOAP
ZeroC's Internet Communications Engine (ICE)

Las siguientes son plataformas específicas de API:

Apple Computer's Apple events (previamente conocido como Interapplication Communications (IAC)).
Freedesktop.org's D-Bus
KDE's Desktop Communications Protocol (DCOP)
Libt2n parar C++ solamente, manejos de objetos y excepciones complejos.
The Mach kernel's Mach Ports
Microsoft's ActiveX, Component Object Model (COM), Distributed Component Object Model (DCOM), Dynamic Data Exchange (DDE), Object Linking and Embedding (OLE), anonymous pipes, named pipes, Local Procedure Call
Novell's SPX
POSIX mmap, message queues, semaphores, and Shared memory
RISC OS's messages
Solaris's Doors
System V's message queues, semaphores, and Shared memory

Message-oriented middleware o Message-queuing systems

Aparece un tercer componente de la conexión que realiza tareas de almacenamiento de mensajes. Esto permite que el emisor y el receptor estén inactivos. Permite comunicaciones persistentes asíncronas. Transferencia de mensajes que duren minutos a comparación de segundos o milisegundos. La aplicación más conocida que utiliza dicho modelo es el correo electrónico (e-Mail).

La idea básica consiste en insertar (putting) o quitar (taking) mensajes en una cola. Al emisor sólo se le puede garantizar que el mensaje ha sido insertado correctamente en la cola. No existen garantías de cuándo será leído dicho mensaje.

No está ligado a ningún tipo específico de modelo de red.

Message-queuing system API:

put: añadir un mensaje a una cola.
get: bloquear hasta que la cola no esté vacía, luego quitar el primer elemento.
poll: verificar si hay mensaje, quitar el primero. Nunca se bloquea.
notify: instalar en la cola un dispositivo que avisará cuando un nuevo mensaje se inserte en la cola.

Comunicación orientada a streams

Los modelos RPC, RMI y MOM realizan comunicaciones independientes del tiempo. Existen también sistemas donde el tiempo es crucial en la comunicación, o los resultados de salida serán incorrecto; es así el caso de trasmisión de audio, video, sensor de datos, etc. (comunicación continua de datos) donde cortes de comunicación generan retardos no deseados.

Comunicación entre procesos Linux

La comunicación puede simplemente ser cuestión de dejar que otro proceso sepa que ha ocurrido algún evento, o puede implicar la transferencia de datos de un proceso a otro.

Señales

El mecanismo estándar para informar a un proceso que ha ocurrido un evento es la señal. Se pueden enviar señales de un proceso a otro pero sin enviar información. Las señales no necesitan ser generadas por otro proceso, también puede ser generada por el kernel.

Linux también implementa un mecanismo de semáforos. Un proceso puede esperar un semáforo tan fácilmente como espera una señal.

Paso de datos entre procesos

El mecanismo de tubería (pipe) estándar permite a un proceso hijo heredar un canal de comunicación con su padre; los datos que se escriben en un extremo de la tubería se leen en el otro. También define un conjunto de servicios para trabajo en red que pueden enviar flujos de datos tanto a procesos locales como remotos.

Hay otro método que es la memoria compartida que ofrece una forma extremadamente rápida de comunicar cantidades grandes o pequeñas de datos; cualquier dato escrito por un proceso en una región de memoria compartida puede ser leído por cualquier otro proceso que haya mapeado dicha región en su espacio de direcciones.

Freedesktop

Para comunicación entre aplicaciones gráficas existe D-Bus, usado por GNOME y KDE entre otros. Permite fácilmente comunicar unas aplicaciones con otras o controlar cualquier elemento de una interfaz gráfica desde consola a con un programa hecho al efecto.

Comunicación multicast

Es la abstracción de diseminación de datos. Utilizando el soporte de difusión (broadcast) en las redes locales para realizar tareas como protocolos epidémicos.

Tabla de métodos de IPC

Método	Provisto por (sistema operativo u otro ambiente )
Archivo	Todos los sistemas operativos.
Señal	La mayoría de los Sistemas Operativos; algunos, como Windows, solo implementan señales en las librerías de C run-time de C y actualmente no proveen soportes para su uso como técnica de IPC.
Socket	La mayoría de los sistemas operativos.
Tubería / Pipes	Todos los sistemas POSIX.
Named pipe	Todos los sistemas POSIX.
Semáforo	Todos los sistemas POSIX.
Memoria compartida	Todos los sistemas POSIX.
Mensajes	Usado en el paradigma MPI, Java RMI, CORBA y otros.
Mapa de Memoria	Todos los sistemas POSIX. Windows también es apto para esta técnica, las API usadas son específicas de esta plataforma.
Cola de Mensajes	La mayoría de los Sistemas Operativos.
puertos	Algunos Sistemas Operativos.

Referencias

Silberschatz, Abraham; Galvin, Peter Baer (1999). Sistemas operativos (5ª edición). Addison Wesley Longman. ISBN 968-444-310-2.
Stallings, William (2005). Sistemas operativos: aspectos internos y principios de diseño (5ª edición). Pearson Prentice Hall. ISBN 978-84-205-4462-5.

Datos: Q751436