[论文解读] Organizing the Aggregate: Languages for Spatial Computing

Jacob Beal, Stefan Dulman+3 more|arXiv (Cornell University)|Feb 24, 2012

Modular Robots and Swarm Intelligence被引用 23

一句话总结

本文提出了一套统一框架，用于分析和比较空间计算中的领域特定语言（DSL），重点在于全局到局部的编译，以弥合应用聚合层规格与底层设备编程之间的差距。该研究调研了8类空间DSL，识别出关键抽象与设计模式，并为通用空间语言（GPSL）及其与专用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-Program”，以说明如何表达聚合行为并将其编译为单个设备的操作。
• 调研8个主要空间DSL领域——非定形计算、生物建模、基于代理的系统、传感器网络、普适计算、群体机器人、可重构计算与形式演算，使用代表性语言（如Proto、MGS、NetLogo、Regiment、TOTA、$3\pi$）。
• 将DSL分类为三类：设备抽象语言、模式语言与信息移动语言，并与通用空间语言（GPSL）进行对比。
• 通过对比分析，识别语言设计中的共性与差异，包括表达能力、可扩展性以及对空间推理的支持。

实验结果

研究问题

• RQ1 如何建立一个统一框架，以在多个领域中分析和比较多样化空间计算DSL？
• RQ2 在不同应用领域中，成功空间DSL所依赖的核心抽象与操作模式是什么？
• RQ3 通用空间语言（GPSL）在多大程度上可作为专用DSL的基础？如何扩展GPSL以支持领域特定需求？
• RQ4 当前空间DSL在可扩展性、表达能力以及全局到局部编译支持方面存在哪些关键局限？
• RQ5 如何设计GPSL，以同时支持高层次的聚合编程与高效的底层设备执行？

主要发现

• 基于时空操作、抽象设备模型与全局到局部编译原则，开发出一个全面分析空间DSL的框架。
• 调研识别出8类不同的空间DSL，每类具有不同的设计目标与抽象，涵盖从基于模式的语言到信息移动导向的系统。
• 通用空间语言（GPSL）展现出广泛的表达能力，但将其应用于特定领域需投入大量工程工作。
• 专用DSL在其特定领域内通常提供更好的可用性与性能，但缺乏跨领域的可重用性与组合性。
• 亟需加强GPSL与专用DSL之间的集成，使GPSL能通过库或语言扩展作为DSL开发的基础。
• 研究结论认为，未来研究应聚焦于使GPSL支持专用DSL所需的所有空间抽象，同时提升可扩展性与编译效率。