[论文解读] Complete Context Calculus Design and Implementation in GIPSY

Xin Tong, Joey Paquet+1 more|arXiv (Cornell University)|Feb 23, 2010

Parallel Computing and Optimization Techniques参考文献 15被引用 11

一句话总结

本文在 GIPSY 框架中完整设计并实现了 Lucx 上下文演算，将上下文作为 Java 语法和语义中的一等值进行集成。它引入了带类型的标签集合（有序/无序、有限/无限），将上下文实体作为 GIPSY 类型系统中的一等对象进行嵌入，并将上下文演算操作符实现为 GIPSYContext 类中的方法，从而在编译时和运行时实现高效且类型安全的上下文操作。

ABSTRACT

This paper presents the integration into the GIPSY of Lucx's context calculus defined in Wan's PhD thesis. We start by defining different types of tag sets, then we explain the concept of context, the types of context and the context calculus operators. Finally, we present how context entities have been abstracted into Java classes and embedded into the GIPSY system.

研究动机与目标

• 在 GIPL 中通过扩展 GIPSY 的语法和语义，实现上下文作为一等值。
• 形式化标签集合的属性，如顺序性、有限性及类型（例如整数或字符串），超越默认的自然数假设。
• 将上下文数据类型和上下文演算操作符嵌入 GIPSY 类型系统和运行时环境。
• 通过静态和动态语义检查确保标签有效性及上下文操作中操作数的兼容性，实现类型安全。
• 提供高性能、一体化的上下文演算实现，避免先前基于流的模拟所带来的低效问题。

提出的方法

• 将标签集合定义为具有属性的带类型集合：有序/无序、有限/无限，并可扩展至未来类型。
• 使用集合论（有序集合需满足自反性、反对称性、传递性）为标签集合建立正式类型系统。
• 将上下文抽象为 GIPSYContext Java 类，包含 iContextType（SIMPLECONTEXT 或 CONTEXTSET）、oSet（维度容器）以及每个维度的 oCurrentTag。
• 将上下文演算操作符（如并集、交集）作为 GIPSYContext 类中的成员函数实现。
• 扩展 GIPSY 的静态和动态类型检查器，以在编译时和运行时验证标签集合成员资格及操作数兼容性。
• 将复杂标签表达式的检查推迟到运行时，而常量表达式则通过抽象语法树（AST）遍历在编译时完成验证。

实验结果

研究问题

• RQ1 如何在像 GIPL 这样的函数式、内涵式编程语言中，对上下文进行形式化表示和类型化？
• RQ2 标签集合需要具备哪些必要的类型属性（如有序性、有限性等）才能支持上下文演算操作？
• RQ3 如何高效且安全地将上下文演算操作符集成到语言的语法和类型系统中？
• RQ4 在静态和动态上下文求值过程中，需要哪些机制来确保类型安全？
• RQ5 如何改进上下文操作的性能，以超越先前基于流的模拟方案？

主要发现

• 本文成功将上下文演算操作符实现为 GIPSYContext 类中的方法，使得上下文可作为一等值被直接操作。
• 标签集合被形式化支持有序、无序、有限和无限类型，允许使用非整数标签（如行星名称）。
• GIPSY 类型系统被扩展以包含上下文类型，通过编译时和运行时检查确保类型安全。
• 通过抽象语法树（AST）遍历（编译时）和运行时求值（针对复杂表达式）实现了标签有效性及操作数兼容性的语义检查。
• 通过将上下文逻辑直接嵌入语言运行时，避免了早期基于流模拟的低效问题。
• 上下文演算操作符通过 JUnit 完全测试，确认其正确性，并已具备与 GEE（GIPSY 执行引擎）集成的准备条件。