Programación

Concurrente

Algoritmos
Concurrentes y
Paralelos

1
 1. Introducción
La concurrencia en sistemas de software hace referencia a los procesos del
sistema que se ejecutan en forma simultánea y que, en algunos casos,
pueden interactuar entre sí. Un sistema informático distribuido es la
Cuando se habla de arquitectura de sistema que logra que un conjunto de computadoras,
concurrencia se hace estaciones de trabajo y servidores se comporten como sistema informático
referencia a tareas, único. En este tipo de entorno informático, los usuarios desconocen dónde
actividades o procesos se están ejecutando sus procesos, pero pueden utilizarlos desde cualquier
que ocurren en un
mismo momento de
punto del sistema sin ningún tipo de restricción.
tiempo.
Los sistemas informáticos distribuidos y concurrentes han sido estudiados
extensamente, lo que ha llevado a plantearse las dificultades por resolver y
los beneficios de usar dichos sistemas. Los actuales avances en el
procesamiento y la tecnología de redes y herramientas de software hacen
factible lograr las siguientes ventajas:

 mayor rendimiento;
 compartir recursos;
 mayor extensibilidad;
 mayor confiabilidad, disponibilidad y tolerancia a fallas;
 rentabilidad.

Figura 1: Ejemplo de concurrencia en una base de datos

Fuente: elaboración propia.

El diseño de sistemas distribuidos es varios órdenes de magnitud más difícil

que el diseño de sistemas centralizados. Implica tener en cuenta una gran
cantidad de opciones y decisiones, como la configuración física del sistema,
la red de comunicación y características de la plataforma informática,

2
 programación de tareas y asignación de recursos políticas y mecanismos,
control de consistencia, control de concurrencia y seguridad, por nombrar
solo algunos. Deben considerarse dificultades como la falta de madurez en
el campo de la computación distribuida y concurrente, el comportamiento
asincrónico e independiente de los sistemas y el comportamiento
relacionado con la dispersión geográfica.

Hubo éxitos limitados en el diseño de sistemas distribuidos de propósito

específicos como sistemas bancarios, sistemas de procesamientos de
transacciones en línea y sistemas de punto de venta. Sin embargo, el
diseño confiable de un sistema distribuido de propósito general, que reúna
las ventajas de los sistemas centralizados (accesibilidad, gestión y
coherencia) y los sistemas en red (intercambio, crecimiento, costo y
autonomía), sigue siendo un desafío.

Una de las técnicas que se puede utilizar para incrementar el rendimiento

Al hablar de sistemas de los sistemas (secuenciales) es implementar el procesamiento paralelo.
concurrentes no Existen implementadas arquitecturas de computadoras que proporcionan
siempre implica hablar un auténtico procesamiento paralelo que justifican el interés actual en
de sistemas paralelos.
Pero hablar de
llevar a cabo investigaciones y desarrollar el procesamiento paralelo, el
sistemas paralelos procesamiento concurrente, los sistemas distribuidos, los sistemas de
siempre implica hablar tiempo real, etcétera. Dentro de estos estudios e investigaciones, una
de sistemas parte importante está dedicada a la mejora en el diseño de algoritmos
concurrentes. paralelos y distribuidos, incluyendo el desarrollo de metodologías y
modelos de programación paralela que ayuden a la programación de estos
algoritmos (Dartheliber, 2013).

Los sistemas concurrentes posibilitan que las operaciones pueden ser

ejecutadas en un solo procesador, en múltiples procesadores en un solo
equipo o en múltiples procesadores en equipos separados, físicamente o
virtualmente, y, por supuesto, permitiendo distintos hilos de ejecución.
Existen diversos modelos matemáticos para el cálculo de la concurrencia,
como las redes de Petri, los procesos Calculi, el modelo máquina de
accesos random en paralelo, o bien el modelo actor y el lenguaje reo (San
Jose State University , s. f.).

La programación concurrente es la simultaneidad en la

ejecución de múltiples tareas. Estas tareas pueden ser un
conjunto de procesos o hilos de ejecución creados por un
único programa. Las tareas se pueden ejecutar en un solo
CPU (multiprogramación), en varios procesadores o en
una red de computadores distribuidos. La programación
concurrente está relacionada con la programación

3
 paralela, pero enfatiza más la interacción entre tareas.
Así, la correcta secuencia de interacciones o
comunicaciones entre los procesos y los nodos los
procesos coordinados de recursos que se comparten por
tareas son las claves de esta disciplina. (“Procesos
concurrentes”, s. f., https://bit.ly/2JKplKP).

Los procesos en un sistema concurrente pueden interactuar entre ellos

mientras se están ejecutando en el mismo equipo o en múltiples equipos.
Dado esto, el número de combinaciones posibles en su ejecución por sus
estados tiende a ser extremadamente grande, lo que da como resultado
final la posibilidad de ser indeterminado. Cuando el uso de recursos
compartidos es concurrente, tiende a problemas de indeterminación
dirigida a bloqueo mutuo e inanición (starvation) (“Sistemas distribuidos”,
2018).

Cuando hablamos de desarrollar sistemas concurrentes, estamos hablando

de implementar técnicas fiables para coordinar su ejecución, el
intercambio de información, la asignación de memoria y su ejecución
programada tendiente a minimizar la respuesta de tiempo y maximizar el
rendimiento (“Administración de memoria”, s. f).

4
2. Características y evolución
histórica
Tom Kilburn y David Howarth fueron pioneros en el uso de interrupciones
para simular ejecución simultánea (concurrencia) de varios programas en la
computadora Atlas y esta técnica de programación se conoció como
multiprogramación. Los primeros sistemas de multiprogramación fueron
programados en lenguaje ensamblador, sin ningún fundamento ni marco
conceptual. El menor error de programación podía hacer que estos
sistemas se comporten de una manera completamente errática, haciendo
que las pruebas de los programas fueran casi imposibles.

A finales de la década de los 60, los sistemas operativos multiprogramados

se habían convertido en algo tan grande y poco confiable que sus
diseñadores hablaron abiertamente de una crisis de software.

El concepto original de multitarea de [IBM OS / 360] preveía competencia

sin restricciones de recursos para realizar una serie de tareas
concurrentemente. De esta forma, a medida que el sistema evolucionó, se
descubrieron muchos casos deadlock.

A mediados de la década de 1960, los informáticos dieron los primeros

pasos hacia una investigación más profunda de la programación
concurrente. En menos de quince años, conceptos fundamentales fueron
descubiertos y expresados mediante notación de programación, que más
tarde fueron utilizados para construir lenguajes de programación, y estos
usados para desarrollar sistemas operativos.

Se introdujeron en las computadoras dispositivos controladores de

entrada-salida independientes llamados canales, que eran programables.
Los sistemas operativos se organizaron como una colección de procesos
ejecutándose concurrentemente, o sea, al mismo tiempo, algunos en los
canales y otros ejecutándose en el procesador principal.

En ese momento, la programación de sistemas con capacidades de

concurrencia se hacía a bajo nivel, en lenguaje ensamblador. Además de no
disponerse de lenguajes de alto nivel con capacidades de concurrencia, se
priorizaba la supuesta eficiencia del código escrito directamente en
ensamblador. En 1972, Brinch Hansen desarrolló el lenguaje de alto nivel
Concurrent Pascal y dio lugar a otros lenguajes de alto nivel para
incorporar concurrencia. Desde ese momento, la programación
concurrente ha ido ganando interés y actualmente se utiliza en la
implementación de numerosos sistemas.

5
De alguna forma, el desarrollo de la programación concurrente fue
motivado originalmente, por el deseo de desarrollar sistemas operativos
fiables.

Existen varios hitos que fortalecen el hecho de que la programación

concurrente sea tan importante, a saber:

 El desarrollo del concepto de thread o hilo: esto les permite a los

programas ejecutarse con mayor velocidad en comparación con los
programas que utilizan el concepto de proceso (los hilos se distinguen
de los procesos en el hecho de que estos son, por lo general,
independientes, por lo que guardan información de estados e
interactúan a través de mecanismos de comunicación del sistema; en
cambio, los hilos, generalmente, comparten recursos de forma directa)
(Historia de la programación concurrente, 2013).

 La aparición y desarrollo de Internet: es conocida también como la red

de redes. Esto nos conduce a pensar en sistemas distribuidos, lo que
fomenta el desarrollo y la utilización de programas concurrentes.

 La aparición y fácil disponibilidad de lenguajes orientados a objetos

de propósito general, como JAVA, que brindan librerías para la
programación concurrentes ha fortalecido el hecho de que aparezcan
más personas capacitadas en este tipo de desarrollo y, a su vez, más
interés en ello (Gamavi, 2008).

Fueron pioneros en este campo: Edsger Wybe Dijkstra, Per Brinch Hansen y
Charles Antony Richard.

 Edsger Wybe Dijkstra fue un científico de la computación de origen

holandés. Sus principales contribuciones fueron el algoritmo para
encontrar en un grafo la ruta más corta (SPF), conocido como algoritmo
Dijkstra, y usado actualmente como base para el protocolo de
enrutamiento open shortest path first (OSPF). También el concepto de
deadlock, o abrazo mortal, y su solución mediante semáforos y
regiones de código con acceso exclusivo. Este aporte fue la base de la
programación concurrente y parte fundamental de cualquier sistema
operativo. También es conocido por promover la verificación formal de
programas y la eliminación de la sentencia GOTO, entre otros tantos
aportes.

6
Figura 2: Edsger Dijkstra

Fuente: Richards, 2002, https://goo.gl/skAVx3

 Per Brinch Hansen fue un informático danés-estadounidense, pionero

de la programación concurrente y reconocido arquitecto de los
sistemas operativos. En la década de los 60 fue arquitecto de la
minicomputadora 4000 RC, donde estableció el concepto de Kernel del
sistema operativo. En los 70 desarrolló el primer lenguaje de
programación concurrente: Pascal concurrente. Sus principales trabajos
se volcaron en dos libros: Operating System Principles (Principios de los
sistemas operativos) y The Architecture of Concurrent Programs (La
arquitectura de los programas concurrentes).

Figura 3: Per Brinch Hansen

Fuente: [Imagen sin título sobre Brinch Hansen]. (1959). Recuperada de https://goo.gl/wcZasD

 Charles Antony Richard Hoare, también conocido como Tony Hoare, es

un científico en computación de origen británico. Recibió el premio
Turing en 1980, fue nombrado miembro de la Royal Society en 1982 y
sir por la reina británica en 2000. Actualmente, es investigador principal
en el Microsoft Research Center de Cambridge. Entre sus aportes se

7
 encuentran el algoritmo quicksort, el algoritmo de ordenación más
ampliamente usado en el mundo, cuyo origen se debió a la necesidad
de ordenar una lista de palabras como en un diccionario y para lo cual
se basó en la técnica “divide y vencerás”, a partir del cual convirtió un
problema complejo en muchos más simples. En su artículo de 1969,
“An axiomatic basis for computer programming”, se enuncian unas
leyes lógicas que permiten comprender el significado de los programas,
independientemente de las máquinas que los ejecutan. Esta lógica
(lógica Hoare, en su honor) proporcionó las reglas matemáticas de
inferencia para razonar sobre la corrección de programas imperativos.
Hoare también desarrolló el lenguaje formal CSP (communicating
sequential processes), que es un lenguaje formal para describir
patrones de interacción en sistemas concurrentes. También sirve de
base para la definición del lenguaje de programación Occam.

Figura 4: Charles Antony Richard Hoare

Fuente: Monniaux, 2005, https://goo.gl/xtfg5N

8
3. Herramientas de desarrollo
concurrente
En la programación concurrente, los lenguajes suelen usar diferentes
herramientas para el desarrollo del entorno de programación:

 Interfaces de programación de aplicaciones (API, por su siglas en

inglés application programming interface): se trata de un conjunto
de librerías añadidas a un lenguaje específico (en principio, sin
soporte concurrente). Estas librerías dan el soporte necesario al
lenguaje para la implementación de diferentes paradigmas de
programación.

 Middleware: es una capa software distribuida, que se sitúa sobre el

sistema operativo (de red) y antes de la capa de aplicación; de esta
forma, abstrae la heterogeneidad del entorno. Esta capa se integra
para simplificar la tarea de programación y gestión de las
aplicaciones distribuidas. Proporciona una serie de servicios de
valor añadido, como servicios de nombres, transacciones, etcétera,
como mecanismos para facilitar el desarrollo de aplicaciones
distribuidas. Su desafío principal es la integración de aplicaciones y
servicios, promoviendo la interoperabilidad cuando se ejecutan en
plataformas heterogéneas (por ejemplo, CORBA, DCOM, RMI,
SOAP, etc.) (Jorba Esteve y Suppi, 2008).

 Lenguajes específicos: existen lenguajes de programación que

ayudan al desarrollo concurrente, proveyendo técnicas y librerías
para soportar tareas concurrentes (p. ej. Ada y Occam) (Jorba
Esteve y Suppi, 2008).

9
 4. Aplicaciones concurrentes.
Ventajas e inconvenientes
Al momento de desarrollar aplicaciones concurrentes, es necesario tener
en cuenta algunos aspectos como sus ventajas e inconvenientes. Existen
ejemplos de aplicaciones, tanto reales como académicas, que también
pueden ilustrar algunas de las dificultades que se encuentran durante el
desarrollo de una aplicación concurrente.

4.1. Ventajas
 Velocidad de ejecución: el hecho de disponer de múltiples
actividades dentro de la aplicación permite que esta pueda concluir
su trabajo de manera más rápida.

 Escalabilidad: un sistema es considerado escalable cuando es capaz

Programar de administrar en forma adecuada las cargas de trabajo crecientes
concurrentemente
permite que nuestros
o cuando tiene la capacidad para crecer para adaptarse a tales
sistemas sean fácilmente cargas. En las aplicaciones concurrentes se pueden utilizar ambas
escalables, ya que, por un descripciones combinando la distribución y replicación de
lado, nos permite componentes.
modularidad y, por el
otro, nos ayuda a que
sean mucho más
 Gestión de las comunicaciones: el uso eficiente de los recursos
eficientes debido a la permite que aquellos relacionados con la comunicación entre
posibilidad de ejecución actividades sean explotados de forma sencilla en una aplicación
en paralelo de múltiples concurrente. Si la comunicación está basada en el intercambio de
instrucciones. mensajes a través de la red, esta comunicación no implicará que
toda la aplicación se detenga esperando alguna respuesta. El uso de
mecanismos sincrónicos de comunicación entre actividades se
puede integrar de manera natural en una aplicación concurrente.

 Flexibilidad: las aplicaciones concurrentes utilizan un diseño

modular y estructurado, en el que se pone atención a qué es lo que
debe hacer cada actividad, qué recursos requiere y qué módulos del
programa necesitará ejecutar. Si los requisitos de la aplicación
cambiaran, es relativamente sencillo identificar en qué módulos se
deben realizar ajustes para incorporar esas variaciones en la
especificación y a qué actividades implicarían.

 Menor hueco semántico: un buen número de aplicaciones

informáticas requieren el uso de varias actividades simultáneas. Si

10
 estas aplicaciones se implantan como programas concurrentes,
resulta más sencillo su diseño que si se intentara implantarlas como
un solo programa secuencial.

4.2. Desventajas

 Programación delicada: durante el desarrollo de aplicaciones

concurrentes se puede presentar lo que se conoce como “condición
de carrera” o competencia. Ocurre cuando dos o más procesos
acceden a un recurso compartido sin control, de manera que el
resultado combinado de este acceso depende del orden de llegada.
Esto puede generar inconsistencias imprevistas en el valor de las
variables o atributos compartidos entre las actividades, cuando
estas los modifiquen. Un segundo problema son los interbloqueos.

 Depuración compleja: una aplicación concurrente, al estar

compuesta por múltiples actividades, puede intercalar las
sentencias que ejecuten cada una de sus actividades de diferentes
maneras en cada ejecución. Por ello, aunque se proporcionen las
mismas entradas a la aplicación, los resultados generados pueden
ser diferentes en distintas ejecuciones. Si alguno de estos
resultados fuese incorrecto, resultaría bastante difícil la
reproducción de esa ejecución. Además, como para depurar
cualquier aplicación informática, se suelen utilizar herramientas
especializadas (diferentes tipos de depuradores). La propia gestión
del depurador podría evitar que se diera la traza que provocó ese
error.

11
 5. Aplicaciones reales
En esta sección revisaremos ejemplos de aplicaciones concurrentes reales,
Dos aplicaciones claras que proporcionarán la base para comprender algunos de los aspectos que
de los algoritmos
revisaremos posteriormente:
concurrentes son los
propios sistemas
operativos modernos, 1) Servidor web Apache: Apache es un servidor web gratuito y de código
que realizan múltiples abierto que emplea programación concurrente. El objetivo de un
operaciones en forma servidor web es la gestión de cierto conjunto de páginas web ubicadas
concurrente, y el en ese servidor. Dichas páginas resultan accesibles utilizando el
software de simulación
protocolo HTTP (o hypertext transfer protocol). Los navegadores deben
científica, que es
ejecutado en clusters realizar peticiones a estos servidores para obtener el contenido de las
computacionales páginas que muestran en sus ventanas.
(arquitectura paralela y
distribuida). El trabajo de un servidor web es proveer a muchos usuarios diferentes y
al mismo tiempo diferentes páginas. En este contexto, se vuelve
interesante tener múltiples hilos de ejecución, permitiendo que cada
uno de ellos atienda a un cliente distinto; de esta manera, habilita la
paralelización de la gestión de múltiples clientes (Bustos, 2018).

Para que la propia gestión de los hilos no genere un alto esfuerzo,

Apache utiliza un conjunto de hilos (o thread pool) en espera, que, a su
vez, son coordinados por un hilo adicional (una suerte de dispacher o
coordinador) que atiende las peticiones que van llegando; de esta
manera, asocia cada petición a los hilos del conjunto que queden
disponibles.

2) Videojuegos: gran parte de los actuales videojuegos se construyen

como aplicaciones concurrentes compuestas por múltiples hilos de
ejecución. Se suele utilizar un motor de videojuegos que se encarga de
proporcionar un soporte básico para la renderización, la detección de
colisiones, el sonido, las animaciones, etcétera. Los motores permiten
que múltiples hilos se encarguen de estas facetas. De esta forma, el
rendimiento de los videojuegos puede aumentar en caso de disponer de
un equipo, cuyo procesador disponga de múltiples núcleos.

3) Navegador web: cuando Google presentó su navegador Chrome en

diciembre de 2008, su arquitectura era muy distinta a la del resto de
navegadores web utilizados en ese momento (Microsoft Internet
Explorer, Mozilla Firefox, Opera, etc.). En Chrome, cada pestaña abierta
está soportada por un proceso independiente. De este modo, si alguna
de las pestañas falla, el resto de ellas puede seguir sin problemas.

12
Podemos identificar muchas otras aplicaciones concurrentes, como
servidores en la nube procesando requerimientos de múltiples usuarios,
aplicaciones como el entorno Eclipse, que compila código
concurrentemente mientras editamos, y hasta nuestros propios celulares
inteligentes, que procesan aplicaciones de mensajería, captura de video y
edición al mismo tiempo, etcétera.

13
Referencias
Bustos, G. (2018). ¿Qué es Apache? Descripción completa del servidor web
Apache. Recuperado de https://www.hostinger.mx/tutoriales/que-es-apache/

Dartheliber. (2013). Programación concurrente y paralela. Recuperado de

http://pcp2013.blogspot.com/

Gamavi [Nombre de usuario]. (26 de noviembre de 2008). Programación

concurrente [PPT en línea] Recuperado de
https://es.slideshare.net/gamavi/programacion-concurrente-presentation-
790481

[Imagen sin título sobre Brinch Hansen]. (1959). Recuperado de

https://upload.wikimedia.org/wikipedia/commons/f/f5/Per_Brinch_Hanse
n_-_1959.jpg

Jorva Esteve, J. y Suppi, R. (2008). Programación concurrente. Recuperado

de
https://www.researchgate.net/publication/268289930_Programacion_con
currente

Monniaux, D. (2005). Charles Antony Richard Hoare [Imagen]. Recuperado

de https://commons.wikimedia.org/wiki/File:CAR_Hoare.jpg

Procesos concurrentes. (s. f.). [Artículo sin datos de autor]. Recuperado de

http://cursos.aiu.edu/SISTEMAS%20OPERATIVOS%20AVANZADOS/Sesi%C3
%B3n%205/PDF/SESION%205%20SISTEMAS%20OPERATIVOS%20AVANZAD
OS.pdf

Richards, H. (2002). Retrato de Edsger W. Dijkstra, uno de los grandes

matemáticos en la historia de la matemática moderna [Fotografía].
Recuperado de
https://upload.wikimedia.org/wikipedia/commons/d/d9/Edsger_Wybe_Dijkstra.j
pg

San Jose State University (s. f.). Procesos e hilos error marcador no
definido hilo. Recuperado de
https://www.coursehero.com/file/p7cof4i/Procesos-e-Hilos-Error-
Marcador-no-definido-Hilo-Error-Marcador-no-definido/

Sistemas distribuidos. (2018). [Artículo sin datos de autor]. Recuperado de

https://es.scribd.com/document/388440532/Sistemas-Distribuidos-docx

14