Inicio › Tecnología › Concurrencia
La concurrencia es la capacidad de un programa para estructurar y gestionar varias tareas de forma qué su ejecución se solape en el tiempo, aunque en un procesador con un único núcleo eso signifique alternar rápidamente entre ellas y no ejecutarlas literalmente al mismo instante. Es un concepto distinto del paralelismo: la concurrencia es una cuestión de diseño -cómo se estructura el código para manejar múltiples flujos de trabajo independientes-, mientras qué el paralelismo es ejecución física simultánea en varios núcleos o procesadores. Los lenguajes modernos ofrecen distintos modelos para lograrla: hilos con memoria compartida en Java o C++, corrutinas ligeras en Python o Kotlin, o el modelo de actores basado en paso de mensajes usado en Erlang. Gestionar mal la concurrencia provoca errores difíciles de reproducir como las condiciones de carrera.
Es qué un programa pueda atender varias cosas a la vez, como un camarero qué toma nota en una mesa mientras lleva un plato a otra: no hace las dos cosas en el mismo instante exacto, pero organiza su tiempo para avanzar en ambas sin qué ninguna se quede parada esperando. Programar bien esto es difícil porque dos tareas pueden intentar tocar el mismo dato a la vez y liarla.
Un servidor web qué atiende miles de peticiones simultáneas usa concurrencia para no bloquearse esperando a qué cada petición termine de leer un archivo o consultar una base de datos: mientras una petición espera esa respuesta lenta, el servidor atiende otras en paralelo, y frameworks como Node.js o las corrutinas de Python (asyncio) están diseñados para exprimir este modelo sin un hilo del sistema operativo por conexión.
No. La concurrencia es diseñar el programa para manejar varias tareas independientes qué progresan de forma intercalada; el paralelismo es ejecutarlas físicamente al mismo tiempo en distintos núcleos. Puede haber concurrencia sin paralelismo real.
Es un error qué ocurre cuando dos tareas concurrentes acceden y modifican el mismo dato compartido sin coordinación, y el resultado final depende del orden exacto en qué se ejecuten, produciendo comportamientos difíciles de reproducir en pruebas.
Bloqueos y semáforos qué impiden el acceso simultáneo a un recurso, estructuras de datos inmutables qué eliminan el problema de raíz, y modelos de paso de mensajes entre actores, donde cada unidad de trabajo tiene su propio estado privado.