[논문 리뷰] Organizing the Aggregate: Languages for Spatial Computing

Jacob Beal, Stefan Dulman외 3명|arXiv (Cornell University)|2012. 02. 24.

Modular Robots and Swarm Intelligence인용 수 23

한 줄 요약

이 논문은 공간 계산 분야의 도메인 특화 언어(DSL)를 분석하고 비교하기 위한 통합 프레임워크를 제안한다. 주로 집합 수준의 응용 프로그램 명세와 저수준 장치 프로그래밍 사이의 격차를 메우기 위해 전역에서 국소로의 컴파일링에 초점을 맞추고 있다. 8개의 공간 DSL 분야를 조사하고 핵심 추상화와 설계 패턴을 규명하며, 일반 목적의 공간 언어와 전용 DSL 간의 통합을 위한 향후 연구 방향을 제시한다.

ABSTRACT

As the number of computing devices embedded into engineered systems continues to rise, there is a widening gap between the needs of the user to control aggregates of devices and the complex technology of individual devices. Spatial computing attempts to bridge this gap for systems with local communication by exploiting the connection between physical locality and device connectivity. A large number of spatial computing domain specific languages (DSLs) have emerged across diverse domains, from biology and reconfigurable computing, to sensor networks and agent-based systems. In this chapter, we develop a framework for analyzing and comparing spatial computing DSLs, survey the current state of the art, and provide a roadmap for future spatial computing DSL investigation.

연구 동기 및 목표

• 장치 집합에 대한 사용자의 고수준 목표와 개별 장치 프로그래밍의 저수준 복잡성 사이의 격차를 해소하기 위해.
• 다양한 공간 계산 DSL 간의 공통된 추상화를 식별하고 형식화하여 체계적인 비교와 설계를 가능하게 하기 위해.
• 핵심 프로그래밍 추상화와 운영 의미론을 기반으로 한 공간 DSL의 분류 체계를 수립하기 위해.
• 일반 목적의 공간 언어(GPSL)와 전용 DSL 간의 통합을 위한 향후 연구 방향을 제시하기 위해.
• 언어 설계 원칙과 컴파일 기법을 통해 공간 분산 시스템의 프로그래밍을 더 스케일러블하고 유지보수 용이하며 사용자 友好的으로 만들기 위해.

제안 방법

• 응용 프로그램 로직과 저수준 구현을 분리하기 위해 추상 장치 및 시스템 관리 레이어를 포함한 일반적인 집합 프로그래밍 아키텍처를 제안한다.
• 시간-공간 연산 다섯 가지 유형을 정의한다: 측정, 패턴 계산, 조작, 물리적 진화, 메타 연산.
• 집합적 행동이 개별 장치 동작으로 어떻게 표현되고 컴파일될 수 있는지 보여주기 위해 "T-프로그램"이라는 기준 예제를 도입한다.
• 대표적인 언어(예: Proto, MGS, NetLogo, Regiment, TOTA, $3\pi$)를 사용하여 아모르피즘 컴퓨팅, 생물학적 모델링, 에이전트 기반 시스템, 센서 네트워크, 퍼스피asive 컴퓨팅, 군집 로봇, 재구성 가능한 컴퓨팅, 형식적 계산기 등 8개의 주요 공간 DSL 도메인을 조사한다.
• 장치 추상화 언어, 패턴 언어, 정보 이동 언어로 3종류의 DSL을 분류하고 일반 목적의 공간 언어(GPSL)와 대비시킨다.
• 비교 분석을 통해 언어 설계의 공통점과 차이점, 특히 표현력, 확장성, 공간 추론 지원 능력 등을 규명한다.

실험 결과

연구 질문

• RQ1 다양한 도메인에 걸쳐 다양한 공간 계산 DSL을 분석하고 비교하기 위한 통합 프레임워크를 어떻게 수립할 수 있는가?
• RQ2 다양한 응용 분야에서 성공적인 공간 DSL에 기반한 핵심 추상화와 운영 패턴은 무엇인가?
• RQ3 일반 목적의 공간 언어(GPSL)가 전용 DSL의 기초로 얼마나 잘 활용될 수 있으며, 도메인 특화 요구사항을 지원하기 위해 어떻게 확장될 수 있는가?
• RQ4 현재의 공간 DSL이 확장성, 표현력, 전역에서 국소로의 컴파일링 지원 측면에서 겪는 주요 한계는 무엇인가?
• RQ5 GPSL은 어떻게 설계되어 고수준 집합 프로그래밍과 효율적인 저수준 장치 실행을 동시에 지원할 수 있는가?

주요 결과

• 공간 DSL 분석을 위한 종합적인 프레임워크가 개발되었으며, 이는 시간-공간 연산, 추상 장치 모델, 전역에서 국소로의 컴파일링 원칙을 기반으로 한다.
• 조사를 통해 패턴 기반 언어에서 정보 이동 중심 시스템에 이르기까지 각기 다른 설계 목표와 추상화를 가진 8개의 공간 DSL 분야가 규명되었다.
• 일반 목적의 공간 언어(GPSL)는 넓은 표현력을 제공하지만 특정 도메인에 적용하기 위해 상당한 엔지니어링 노력이 필요하다는 것이 확인되었다.
• 특화된 DSL은 일반적으로 그 분야 내에서 더 뛰어난 사용성과 성능을 제공하지만, 도메인 간 재사용성과 조합 가능성에 빈도가 낮다.
• GPSL과 특화된 DSL 간의 더 나은 통합이 절실한데, GPSL이 라이브러리나 언어 확장 기반으로 DSL 개발의 기초로 기능하도록 해야 한다.
• 연구는 향후 연구가 특화된 DSL이 필요로 하는 공간 추상화의 전반적인 범위를 지원할 수 있도록 GPSL을 설계하고, 동시에 확장성과 컴파일 효율성을 향상시켜야 한다는 데서 맺는다.