[논문 리뷰] What are the fundamental structures of concurrency? We still don't know!

Samson Abramsky|arXiv (Cornell University)|2014. 01. 20.

Computability, Logic, AI Algorithms참고 문헌 4인용 수 5

한 줄 요약

이 논문은 프로세스 계산법과 동시성 이론 분야에서 수십 년에 걸친 발전에도 불구하고, 핵심적인, 문법에 종속되지 않는 동시성 이론이 아직 도출되지 않았다고 주장한다. 페트리 넷, 물리학, 기하학—특히 범주론적이고 다이어그램 기반의 접근을 통해—이 분야는 물리학의 그것과 유사한 통합된 기초가 부족하며, 진정한 정보 역학 이론을 달성하기 위해 양자 정보 이론과 기하학적 구조와의 깊은 통합이 필요하다고 주장한다.

ABSTRACT

Process algebra has been successful in many ways; but we don't yet see the lineaments of a fundamental theory. Some fleeting glimpses are sought from Petri Nets, physics and geometry.

연구 동기 및 목표

• 프로세스 계산법의 성공에도 불구하고 동시성에 대한 근본적인 이론이 도출되지 않은 이유를 질문하는 것.
• 다양한 프로세스 계산법의 폭발적 증가가 인과성과 동시성과 같은 核심 개념의 문법에 종속되지 않은 내재적 정의가 부족함을 보여주는 것.
• 이산 모델과 범주론적 프레임워크에 영감을 받아 동시성 이론과 물리학 및 기하학 간의 깊은 통합을 주장하는 것.
• 양자 정보 이론과 기하학적 구조의 통찰이 통합된 동시성 이론을 위한 빈곤한 기초를 제공할 수 있는지 탐색하는 것.
• 페트리 넷과 관련 형식체계가 그들의 한계에도 불구하고 현재 가장 유망한 기초 동시성 구조 후보로 위치지어지는 것.

제안 방법

• 프로세스 계산법의 역사적 발전과 그가 정점적이고 근본적인 이론을 달성하는 데서 나타나는 한계를 분석하는 것.
• 차분한 미분 방정식, 푸리에 변환 등 확립된 과학 도구 세트와의 유사성을 도출하여, 실용적 유용성에 비해 기초 완전성은 낮다는 것을 강조하는 것.
• 페트리 넷과 이벤트 구조를 문법에 종속되지 않은 프레임워크로 분석하여 동시성, 인과성, 프로세스의 내재적 정의를 제공하는 것.
• 특히 상대성 이론과 양자역학이 동시성의 개념적 기초에 미친 영향을 검토하며, 인과 집합과 비국소성과 같은 개념을 포함하는 것.
• 범주론적이고 다이어그램 기반의 형식체계(예: 양자역학과 상호작용 기하학에서의 응용)를 통합적 프레임워크로 탐색하는 것.
• 위상적 불변량(예: 조너스 다항식)과 동시성 구조 간의 연결을 강조하여 깊이 있는 기하학적 기초를 시사하는 것.

실험 결과

연구 질문

• RQ1 프로세스 계산법의 성공에도 불구하고, 왜 단일의 근본적인 동시성 이론이 도출되지 않았는가?
• RQ2 인과성, 동시성, 프로세스와 같은 핵심 동시성 개념의 내재적이고 문법에 종속되지 않은 정의는 무엇인가?
• RQ3 특히 이산 시공간 모델과 양자 얽힘을 포함한 물리학의 통찰이 동시성 이론의 기초에 어떻게 기여할 수 있는가?
• RQ4 기하학적 및 범주론적 구조가 현대 이론 물리학의 그것과 유사하게 동시성에 대한 통합적 프레임워크를 제공할 수 있는가?
• RQ5 양자 정보 이론과 계산 생물학은 정보 역학의 더 깊이 있는, 근본적인 이론을 형성하는 데 어떤 역할을 할 수 있는가?

주요 결과

• 프로세스 계산법은 실용적으로 강력하지만, 문법에 종속되지 않은 기초 이론이 부족하여 유사하지만 서로 다른 형식체계의 폭발적 증가를 초래한다.
• 페트리 넷과 이벤트 구조는 동시성의 내재적 정의를 제공하는 가장 유망한 기존 프레임워크를 제공하지만, 아직 완전하지 않다.
• 물리학—특히 상대성 이론과 양자역학—이 페트리의 원초적 작업에 미친 영향은 동시성 이론이 본질적으로 물리 원리와 연결되어 있을 수 있음을 시사한다.
• 양자역학에서의 범주론적이고 다이어그램 기반의 접근(예: 코크의 연구에서의 응용)은 상호작용 기하학과 동시성과의 강력한 형식적 유사성을 보이며, 깊이 있는 구조적 연결을 시사한다.
• 동시성에 대한 '처치의 논제'나 표현 완전성의 개념이 부재함은 완전하거나 보편적인 모델이 무엇인지를 둘러싼 합의가 부족함을 나타낸다.
• 기하학, 특히 위상적 불변량과 인과 집합을 통해, 근본적인 동시성 이론을 위한 빈곤한 수학적 언어가 제공될 수 있다.