迈向混合内涵式编程:GIPSY中的JLucid、Objective Lucid与通用命令式编译器框架
编程语言
2009-12-21 v3 软件工程
摘要
纯Lucid程序具有极细粒度的并发性。顺序线程(ST)是用于增大粒度的函数;在通用内涵式编程系统(GIPSY)中,它们通过通信过程(CP)从服务器传递给工作节点。JLucid程序将用于ST的Java代码与用于并行控制的Lucid代码相结合。因此,首先,在本论文中,我们描述了新的JLucid编译器生成ST和CP的方式。JLucid还引入了数组支持。进一步的探索涉及Lucid语言家族为使Java对象及其成员能够在通用内涵式编程语言(GIPL)和索引Lucid中使用而经历的额外变换:首先是以JLucid的形式允许使用伪对象,然后是通过专门设计的Objective Lucid语言。本文提供了Objective Lucid的语法和语义定义,以及内涵式程序中Java对象的含义,并附有讨论和示例。最后,有许多有用的科学和实用例程是用除Java之外的多种命令式编程语言编写的,例如C、C++、Fortran、Perl等。因此,提供一个框架以促进将这些语言纳入GIPSY并供Lucid程序使用是明智的。本文提出了一个通用命令式编译器框架及其具体实现来解决这个问题。
引用
@article{arxiv.0907.2640,
title = {Towards Hybrid Intensional Programming with JLucid, Objective Lucid, and General Imperative Compiler Framework in the GIPSY},
author = {Serguei A. Mokhov},
journal= {arXiv preprint arXiv:0907.2640},
year = {2009}
}
备注
222 pages, 82 figures, 2 tables, index, appendices; Master's thesis, October 2005. Also appears at http://clues.concordia.ca/record=b2222169~S0 and at http://books.google.com/books?id=A2QvOzOxtC8C ; this revision fixes empty Nat42.tex example