Speculative parallel graph reduction for lambda calculus

Yong-Hack Lee, Suh-Hyun Cheon
{"title":"Speculative parallel graph reduction for lambda calculus","authors":"Yong-Hack Lee, Suh-Hyun Cheon","doi":"10.1109/ICICS.1997.652110","DOIUrl":null,"url":null,"abstract":"In a parallel graph reduction system, speculative evaluation can increase parallelism but waste machine resources by evaluating an expression which may eventually be discarded. When a speculative task reduces a lambda expression to WHNF (weak head normal form), substitution can lead to unbounded growth of the graph size and require a copy operation. This speculative task may be unnecessary. In that case the performance is affected by the overheads to terminate all tasks to be propagated from a speculative task and to refresh the memory cells to be allocated for the copy operation. We propose a lambda form called DSF (deferred substitution form) in which substitution is deferred until a mandatory task evaluates the substitution. In a speculative task to the DSF, since there is no substitution, it cannot grow the graph size and require a copy operation. Therefore the overhead can be decreased when a expression reduced to the DSF is eventually unnecessary. In addition we propose an evaluation model for the DSF to increase the parallelism.","PeriodicalId":71361,"journal":{"name":"信息通信技术","volume":"47 19 1","pages":"903-906 vol.2"},"PeriodicalIF":0.0000,"publicationDate":"1997-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"信息通信技术","FirstCategoryId":"1093","ListUrlMain":"https://doi.org/10.1109/ICICS.1997.652110","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0

Abstract

In a parallel graph reduction system, speculative evaluation can increase parallelism but waste machine resources by evaluating an expression which may eventually be discarded. When a speculative task reduces a lambda expression to WHNF (weak head normal form), substitution can lead to unbounded growth of the graph size and require a copy operation. This speculative task may be unnecessary. In that case the performance is affected by the overheads to terminate all tasks to be propagated from a speculative task and to refresh the memory cells to be allocated for the copy operation. We propose a lambda form called DSF (deferred substitution form) in which substitution is deferred until a mandatory task evaluates the substitution. In a speculative task to the DSF, since there is no substitution, it cannot grow the graph size and require a copy operation. Therefore the overhead can be decreased when a expression reduced to the DSF is eventually unnecessary. In addition we propose an evaluation model for the DSF to increase the parallelism.
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
λ演算的推测并行图约简
在并行图约简系统中,推测性求值可以增加并行性,但由于求值的表达式最终可能被丢弃,从而浪费了机器资源。当推测任务将lambda表达式缩减为WHNF(弱头范式)时,替换可能导致图大小无限增长,并需要复制操作。这种推测的任务可能是不必要的。在这种情况下,终止从推测任务传播的所有任务和刷新为复制操作分配的内存单元的开销会影响性能。我们提出了一种称为DSF(延迟替换形式)的lambda形式,其中替换被延迟到强制任务评估替换。在对DSF的推测任务中,由于没有替换,它不能增加图的大小并需要复制操作。因此,当最终不需要简化为DSF的表达式时,可以减少开销。此外,我们还提出了DSF的评估模型,以提高并行性。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
自引率
0.00%
发文量
1369
期刊介绍:
期刊最新文献
HMM speech recognition with reduced training Recovering three dimenensional hand motions of sign language from monocular image sequence A full section overhead processing chip set for 10 Gbit/s SDH-based optical fiber transmission system Processing of sound field signal of a constrained panel by cross-correlation Non-Gaussian signal detection from multiple sensors using the bootstrap
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1