| 摘要: |
| 本文基于函数式语言的并行ＬＥ计值语义，提出了一个针对ＴＲＡＮＳＰＵＴＥＲ网络的函数式语言的并行抽象机模型──并行ＬＥＭＡＣＨＩＮＥ．在该抽象机中由于ＬＥ计值分析方法的采用减少了函数式语言的惰性语义所带来的开销，并且在并行性开发中引入惰性计值的思想在保证充分利用系统中的并行处理能力的同时，基于ＴＨＲＥＡＤ的惰性进程生成法减少了一些不必要的并行性开发所带来的开销．双向链表的栈模型亦对并行进程的实现效率有较大的提高，原型系统的测试显示系统具有较高的执行效率． |
| 关键词: 函数式语言，并行处理，抽象机模型 |
| DOI： |
| 分类号: |
| 基金项目:本研究课题得到国家教委博士基金,国家自然科学基金的资助. |
|
| PARALLEL Abstract MACHINE MODEL OF FUNCTION LANGUAGE FOR TRANSPUTER NETWORK |
|
Yuan Wei,Sun Yongqiang
|
| Abstract: |
| 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. |
| Key words: Function language,parallel process,abstract machine model. |
