基于TRANSPUTER网络的函数式语言的并行抽象机模型

本文基于函数式语言的并行ＬＥ计值语义，提出了一个针对ＴＲＡＮＳＰＵＴＥＲ网络的函数式语言的并行抽象机模型──并行ＬＥＭＡＣＨＩＮＥ．在该抽象机中由于ＬＥ计值分析方法的采用减少了函数式语言的惰性语义所带来的开销，并且在并行性开发中引入惰性计值的思想在保证充分利用系统中的并行处理能力的同时，基于ＴＨＲＥＡＤ的惰性进程生成法减少了一些不必要的并行性开发所带来的开销．双向链表的栈模型亦对并行进程的实现效率有较大的提高，原型系统的测试显示系统具有较高的执行效率．