Lustre v6 介绍

Lustre v6 语言及其编译器自2020年起维护在 verimag gitlab1。Lustre v6 是 Lustre v4 的后继版本，最近的语言手册为 20年发布的 “The Lustre V6 Reference Manual”。

相比 Lustre v6 相比前序版本的改进包括[2]:

• Package 机制。引入包机制，从而支持对程序的封装，对大型程序构建提供支持。
• Merge 算子。起到合并不同时钟流的作用。
• Structure 类型。
• 参数化节点。
• 针对数组类型的高阶算子。
• 递归节点。

注意到，在 JL Colaco 介绍 Scade 6 时提到，Scade 6 相比 Lustre 的重要不同之一在于引入 merge 替代 lustre 中的 current[3]。Lustre v6 中对 merge 概念的支持，在时钟流的处理能力上接近了 Scade 6。

[2]: “The Lustre V6 Reference Manual”, Erwan Jahier, Pascal Raymond, Nicolas Halbwachs
[3]: Scade 6: A Formal Language for Embedded Critical Software Development