[论文解读] From Declarative Languages to Declarative Processing in Computer Games

Benjamin Sowell, Alan Demers+4 more|ArXiv.org|Sep 9, 2009

Advanced Database Systems and Queries参考文献 10被引用 4

一句话总结

本文通过用声明式处理替代命令式脚本，提出游戏引擎设计的范式转变，将角色AI从命令式代码编译为关系代数，在类似内存数据库的引擎上执行。核心贡献在于提出声明式游戏系统的科研议程，强调原子操作、响应式编程、自适应查询计划，以及对并行和多人环境的支持，旨在彻底革新游戏引擎架构。

ABSTRACT

Recent work has shown that we can dramatically improve the performance of computer games and simulations through declarative processing: Character AI can be written in an imperative scripting language which is then compiled to relational algebra and executed by a special games engine with features similar to a main memory database system. In this paper we lay out a challenging research agenda built on these ideas. We discuss several research ideas for novel language features to support atomic actions and reactive programming. We also explore challenges for main-memory query processing in games and simulations including adaptive query plan selection, support for parallel architectures, debugging simulation scripts, and extensions for multi-player games and virtual worlds. We believe that these research challenges will result in a dramatic change in the design of game engines over the next decade.

研究动机与目标

• 通过用声明式处理替代命令式AI脚本，实现游戏引擎架构的变革。
• 通过将游戏逻辑编译为关系代数并采用内存数据库风格的查询处理，实现高性能执行。
• 解决声明式游戏系统在可扩展性、调试以及对并行和多人环境支持方面的挑战。
• 探索新型语言特性（如原子操作和响应式编程原语）在游戏逻辑中的应用。
• 为新一代基于声明式基础和高级查询优化的游戏引擎奠定基础。

提出的方法

• 将用命令式脚本语言编写的角色AI编译为关系代数表达式。
• 使用具备内存数据库系统特性的专用游戏引擎执行编译后的关系代数。
• 集成自适应查询计划选择机制，根据工作负载动态特性优化运行时性能。
• 通过数据并行执行模型利用并行架构，实现游戏逻辑处理的可扩展性。
• 通过溯源追踪和声明式查询接口，实现对仿真脚本的调试支持。
• 通过分布式声明式处理技术，将模型扩展以支持多人游戏和虚拟世界。

实验结果

研究问题

• RQ1 如何有效将命令式游戏AI代码编译为关系代数，以实现高效执行？
• RQ2 需要哪些语言特性（如原子操作和响应式编程）才能以声明式方式表达复杂的游戏行为？
• RQ3 自适应查询优化如何提升动态游戏环境中的性能表现？
• RQ4 在并行和分布式架构上扩展声明式游戏处理面临哪些挑战，又有哪些解决方案？
• RQ5 如何将调试和溯源追踪集成到声明式游戏逻辑执行中？

主要发现

• 本文确立了声明式处理可通过数据库风格的优化与执行，显著提升游戏AI的性能与可维护性。
• 关系代数编译支持了游戏仿真中角色行为的高效、可扩展且可调试的执行。
• 自适应查询计划选择对于应对实时游戏中典型动态且不可预测的工作负载至关重要。
• 对并行和分布式执行的支持是将声明式游戏引擎扩展至复杂、大规模虚拟世界的关键。
• 响应式编程与原子操作的集成显著提升了声明式游戏逻辑的表达力与正确性。
• 所提出的科研议程为游戏引擎设计向声明式、数据库启发式架构的根本性转变奠定了基础。