Modelo de computación concurrente en el que entidades independientes llamadas actores encapsulan estado local, se comunican únicamente mediante paso asíncrono de mensajes, pueden crear nuevos actores y designar comportamientos para mensajes futuros; en el modelo abstracto no hay estado mutable compartido entre actores.

Principio

La concurrencia surge de la localidad y la mensajería asíncrona: cada actor procesa mensajes de forma secuencial en su propio contexto, de modo que la concurrencia a nivel de sistema proviene de muchos actores que ejecutan independientemente e interactúan solo mediante envío de mensajes y creación de actores.

Demostración

Un servicio web se puede modelar con un actor supervisor que recibe peticiones entrantes y crea un actor trabajador por petición que la procesa y envía una respuesta; las fallas pueden aislarse con estrategias de supervisión que reinician o sustituyen actores hijos defectuosos sin coordinación por memoria compartida.

Aplicación incorrecta

Tratar a los actores como hilos ligeros con variables mutables compartidas, asumir entrega síncrona de mensajes o garantías de orden global más allá de lo que el sistema de actores especifica, o diseñar sistemas que dependan de la consistencia inmediata de buzones distribuidos sin coordinación explícita.

Consecuencia

Aplicado correctamente, el modelo de actores produce diseños con fuerte localidad, escalabilidad, aislamiento de fallos y distribución natural; fomenta la consistencia eventual, arquitecturas dirigidas por mensajes y la composición mediante creación de actores y jerarquías de supervisión.

Inversión

Los modelos de multihilo con memoria compartida exponen estado mutable compartido y usan bloqueos u operaciones atómicas, planteando otras preocupaciones de sincronización; los modelos con canales síncronos (CSP) requieren comunicación por encuentro en lugar de paso asíncrono de mensajes.

Límite

El modelo de actores es un modelo abstracto de computación; por sí mismo no garantiza orden de entrega, puntualidad, persistencia ni semántica exactly‑once —estas propiedades la proporcionan implementaciones o protocolos concretos. El modelo abstrae planificador, implementación del buzón y fallos de red salvo que se especifiquen.

Tensión semántica

Tensión entre el modelo de actores y otros modelos de concurrencia (memoria compartida, CSP, dataflow); también tensión entre el modelo abstracto (sin estado compartido) y frameworks pragmáticos que añaden futures, recepciones bloqueantes o almacenamiento compartido implícito.

Síntesis

El modelo de actores es un paradigma concurrente asíncrono orientado a mensajes, en el que actores aislados encapsulan estado, solo interactúan enviando mensajes y creando actores, permitiendo diseños escalables, distribuidos y tolerantes a fallos.