객체 실행을 위한 동시 모델

초록

이 논문은 기존에 제시한 함수 수준의 동시 실행 모델을 확장하여, 객체 지향 프로그래밍에서 객체의 동시 실행을 지원하는 추상 계산 모델을 제안한다. 객체와 메서드 호출을 독립적인 실행 단위로 보고, 스케줄링, 메모리 일관성, 동기화 메커니즘을 통합적으로 설계함으로써 전통적인 순차적 객체 실행을 하나의 구현 옵션으로 전락시킨다.

상세 분석

본 연구는 먼저 기존 함수 동시 실행 프레임워크를 재검토한다. 그 프레임워크는 함수 호출을 ‘작업(task)’이라는 추상 단위로 전환하고, 작업 간 의존성을 그래프 형태로 표현하여 스케줄러가 병렬적으로 배치하도록 설계되었다. 논문은 이 모델을 객체 지향 패러다임에 적용하기 위해 세 가지 핵심 문제를 제기한다. 첫째, 객체는 상태(state)와 행동(behavior)을 동시에 보유하므로, 상태 변경의 원자성 보장이 함수 수준보다 복잡하다. 둘째, 메서드 호출은 암묵적인 ‘this’ 레퍼런스를 포함하므로, 호출 대상 객체의 락(lock) 관리와 교착 상태(deadlock) 회피 전략이 필요하다. 셋째, 다형성(polymorphism)과 동적 바인딩(dynamic dispatch)으로 인해 실행 시점에 실제 호출 대상이 결정되므로, 스케줄러는 런타임 타입 정보를 활용해야 한다. 이를 해결하기 위해 저자는 ‘객체 작업(object‑task)’이라는 새로운 추상 단위를 도입한다. 객체 작업은 특정 객체의 메서드 실행을 의미하며, 작업 생성 시점에 대상 객체와 메서드 시그니처가 명시된다. 작업 간 의존성 그래프는 객체의 상태 접근(read/write) 패턴을 기반으로 자동 생성되며, 이는 기존 함수 그래프와 동일한 알고리즘으로 최적화된다. 또한, 논문은 ‘공유 객체 컨트롤러(shared object controller)’를 제안한다. 이 컨트롤러는 객체별 락 매니저와 버전 관리자를 포함해, 읽기‑쓰기 충돌을 감지하고 필요 시 작업을 재스케줄링한다. 동기화 메커니즘으로는 전통적인 뮤텍스 외에도 소프트웨어 트랜잭션 메모리(STM) 스타일의 낙관적 병행 제어를 지원한다. 마지막으로, 모델의 정형성 검증을 위해 라인즈(Lines)와 같은 프로세스 알제브라를 활용해, 객체 작업의 선형화(linearizability)와 교착 상태 자유성을 수학적으로 증명한다. 전체적으로 이 논문은 객체 지향 시스템에서 동시성을 체계적으로 모델링하고, 기존 순차 실행을 특수한 경우로 보는 통합적 프레임워크를 제공한다는 점에서 학술적·실용적 의의를 가진다.