AI 요약
핵심 인사이트
- Actor 모델은 “동시성”을 다루기 위한 근본적인 계산 모델이다
- 이 논문은 병렬·분산 시스템에서 계산을 어떻게 정의해야 하는가라는 질문에 대한 근본적인 답으로 Actor 모델을 제시한다.
- Actor 모델에서 동시성은 하드웨어 자원의 한계와 논리적 의존성만으로 제한되며, 중앙 제어 또는 전역 상태에 의존하지 않는다 → 즉, 동시성은 예외가 아니라 기본 상태다.
- Actor는 “상태 + 메시지 + 생성 능력”을 가진 최소 단위다
Actor는 다음 네 가지 능력만을 가진다.
- 메시지를 수신한다
- 내부 상태를 변경한다
- 다른 Actor에게 메시지를 보낸다
- 새로운 Actor를 생성한다
이 단순한 규칙만으로 복잡한 병렬 시스템 전체를 구성할 수 있음을 논문은 보여준다.
- 공유 메모리가 없는 비동기 메시징이 핵심이다 Actor 간에는 상태 공유가 존재하지 않으며, 모든 상호작용은 비동기 메시지 전달로만 이루어진다.
이 구조 덕분에:
- 전통적인 락(lock) 기반 시스템에서 발생하는
- 데드락
- 레이스 컨디션
- 전역 상태로 인한 병목
을 구조적으로 회피할 수 있다.
- Actor 모델은 “열린 시스템(Open System)”을 전제로 한다
이 모델은 외부에서 언제든 메시지가 들어올 수 있는 시스템을 기본 가정으로 한다. 즉, “모든 것을 미리 아는 닫힌 세계(closed world)” 가정을 하지 않는다.
→ 이는 이후 인터넷, 클라우드, 마이크로서비스, 에이전트 시스템의 개념과 정확히 맞닿아 있다.
- 데드락은 ‘존재하지 않거나 탐지·회피 가능’한 문제가 된다
Actor 시스템에서는 전통적인 의미의 데드락이 존재하지 않으며, 비동기·버퍼링된 메시지 구조 덕분에 의미론적 수준에서 데드락을 감지하고 제거할 수 있다
주요 디테일
형식적 정의 (Formal Semantics)
- 논문은 Actor 시스템을 설명하기 위해 **두 가지 전이 관계(transition relation)**를 정의한다:
- Possibility Transition → 메시지 전달 순서의 비결정성(nondeterminism)을 표현
- Subsequent Transition → 메시지가 결국 전달된다는 **공정성(fairness)**을 보장
Actor 언어
- 최소 Actor 언어(minimal actor language)를 정의하고,
- 지연 평가(lazy), 즉시 평가(eager) 같은 고급 개념은 기본 Actor 연산 위에서 파생 가능함을 보인다.
구성성과 추상화
- Actor 시스템은 **메시지 기반 합성(composition)**이 가능하다.
- 외부 세계와의 인터페이스를 Actor로 표현함으로써, 모듈 단위 시스템 구성이 가능하다.
기존 모델과의 비교
논문은 Actor 모델을 다음과 비교한다:
- 데이터플로우 모델
- 함수형 프로그래밍
- CSP, 프로세스 모델
결론은 명확하다:
Actor는 동적 재구성과 상태 변화가 필요한 현실 시스템을 가장 자연스럽게 표현할 수 있다.
결론부의 핵심 주장
- 미래의 컴퓨팅은 대규모 병렬·분산 구조로 갈 수밖에 없으며
- 수백만 개의 병렬 실행 단위를 사람이 직접 관리하는 것은 불가능하다
- Actor는 프로그래머를 “병렬화 지시자”가 아니라 병렬 복잡도를 설계하는 존재로 만들어준다
출처:HACKERNEWS...