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

PARALLEL Abstract MACHINE MODEL OF FUNCTION LANGUAGE FOR TRANSPUTER NETWORK

作　　者：袁伟[1] 孙咏强 

机构地区：[1]上海交通大学计算机科学与工程系

出　　处：《软件学报》1995年第8期493-499,共7页Journal of Software

基　　金：国家教委博士基金;国家自然科学基金

摘　　要：本文基于函数式语言的并行ＬＥ计值语义，提出了一个针对ＴＲＡＮＳＰＵＴＥＲ网络的函数式语言的并行抽象机模型──并行ＬＥＭＡＣＨＩＮＥ．在该抽象机中由于ＬＥ计值分析方法的采用减少了函数式语言的惰性语义所带来的开销，并且在并行性开发中引入惰性计值的思想在保证充分利用系统中的并行处理能力的同时，基于ＴＨＲＥＡＤ的惰性进程生成法减少了一些不必要的并行性开发所带来的开销．双向链表的栈模型亦对并行进程的实现效率有较大的提高，原型系统的测试显示系统具有较高的执行效率．This paper puts forward a parallel abstract machine-parallel LE machine for transputer networks, which is based on the parallel LE semantic model. To increase the granularity of parallel process during the running time, the thread lazy process creation method is adapted in the LE machine, which decreases the time of process creation and explored the parallelism of the parallel process system at the same time. With the aid of bidirection linked stack frame structure, the prototype system of this method shows a good performance.

关 键 词：函数式语言 并行处理 抽象机模型 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]