期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
基于TRANSPUTER网络的函数式语言的并行抽象机模型
1
作者 袁伟 孙咏强 《软件学报》 EI CSCD 北大核心 1995年第8期493-499,共7页
本文基于函数式语言的并行LE计值语义,提出了一个针对TRANSPUTER网络的函数式语言的并行抽象机模型──并行LEMACHINE.在该抽象机中由于LE计值分析方法的采用减少了函数式语言的惰性语义所带来的开销,并且在... 本文基于函数式语言的并行LE计值语义,提出了一个针对TRANSPUTER网络的函数式语言的并行抽象机模型──并行LEMACHINE.在该抽象机中由于LE计值分析方法的采用减少了函数式语言的惰性语义所带来的开销,并且在并行性开发中引入惰性计值的思想在保证充分利用系统中的并行处理能力的同时,基于THREAD的惰性进程生成法减少了一些不必要的并行性开发所带来的开销.双向链表的栈模型亦对并行进程的实现效率有较大的提高,原型系统的测试显示系统具有较高的执行效率. 展开更多
关键词 函数式语言 并行处理 抽象机模型
下载PDF
Optimized Parallel Execution of Declarative Programs on Distributed Memory Multiprocessors
2
作者 沈美明 田新民 +2 位作者 王鼎兴 郑纬民 温冬婵 《Journal of Computer Science & Technology》 SCIE EI CSCD 1993年第3期233-242,共10页
In this paper,we focus on the compiling implementation of parallel logic language PARLOG and functional language ML on distributed memory multiprocessors.Under the graph rewriting framework, a Heterogeneous Parallel G... In this paper,we focus on the compiling implementation of parallel logic language PARLOG and functional language ML on distributed memory multiprocessors.Under the graph rewriting framework, a Heterogeneous Parallel Graph Rewriting Execution Model(HPGREM)is presented firstly.Then based on HPGREM,a parallel abstract machine PAM/TGR is described.Furthermore,several optimizing compilation schemes for executing declarative programs on transputer array are proposed. The performance statistics on a transputer array demonstrate the effectiveness of our model,parallel ab- stract machine,optimizing compilation strategies and compiler. 展开更多
关键词 Declarative language parallel graph rewriting execution model optimized parallel compiler distributed memory multiprocessors parallel abstract machine
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部