跳到主要内容
文章
开放式访问

MULTILISP:并发符号计算语言

出版:1985年10月1日出版历史
跳过抽象节

摘要

Multilisp是Lisp方言Scheme的一个版本,它使用用于并行执行的构造进行了扩展。与Scheme一样,Multilisp面向符号计算。与某些并行编程语言不同,Multilisp包含用于产生副作用和显式引入并行性的构造。并行结构的性质和对抽象数据类型的支持减轻了在并行环境中处理副作用的潜在复杂性:提出了一种推荐的Multilisp编程风格,如果遵循这种风格,将产生高度并行、易于理解的程序。

Multilisp正在32处理器上实现音乐会多处理器;然而,它最终用于更大的多处理器。当前的实现称为音乐会Multilisp,已足够运行Multilisp编译器本身,并已在Concert原型上运行,其中包括多达八个处理器。Concert Multilisp使用新技术进行任务调度和垃圾收集。任务调度器通过不公平的调度策略帮助控制过度的资源利用;垃圾收集器使用基于Baker增量垃圾收集器的多处理器算法。

工具书类

  1. 2ACKERMAN,W.和DENNIS,J.VAL——一种面向价值的算法语言。LCS技术代表TR-218。麻省理工学院计算机科学实验室,马萨诸塞州剑桥,1979年。谷歌学者谷歌学者
  2. 安德森,T.《多处理器开发系统的设计》。技术代表TR-279,麻省理工学院计算机科学实验室,马萨诸塞州剑桥,1982年9月。谷歌学者谷歌学者
  3. 4阿尔文,哥斯特罗,$。G.,AND PLOUrFE,W.异步编程语言和计算机器。众议员TR114a,加州大学欧文分校,1978年。谷歌学者谷歌学者
  4. 5BACKUS,J.编程能从冯·诺依曼风格中解放出来吗?函数风格及其程序代数。Commun公司。ACM 21、8(1978年8月)。谷歌学者谷歌学者
  5. 6BAKER,H.实时计算的行动者系统。技术代表TR-197,麻省理工学院计算机科学实验室,马萨诸塞州剑桥,1978年3月。谷歌学者谷歌学者
  6. 7BAKER,H.和HEWITT,C.《过程的增量垃圾收集》。人工智能实验室备忘录454,麻省理工学院,马萨诸塞州剑桥,1977年12月。谷歌学者谷歌学者
  7. 8英国广播公司。语音通道系统的开发:季度技术报告。BBN报告4845(1982年1月)和5284(1983年4月)。博尔特、贝拉内克和纽曼,马萨诸塞州剑桥市。谷歌学者谷歌学者
  8. 9BOUKNIGHT,W.J.等人。伊利亚克四世体系。程序。IEEE 60,4(1972年4月),369-388。谷歌学者谷歌学者
  9. 10布鲁克斯,F.《神话人月:软件工程论文》,马萨诸塞州雷丁市艾迪森·韦斯利出版社,1975年。谷歌学者谷歌学者
  10. 11COHEN,S.、ROSNER,R.、ANO ZIDON,A.Paralisp模拟器(参考手册)。1983年1月,以色列耶路撒冷,希伯来大学计算机科学系研究报告83-2。谷歌学者谷歌学者
  11. 12CORRELL,S.8-1单处理器体系结构。S-1项目1979年年度报告。劳伦斯·利弗莫尔国家实验室,加利福尼亚州利弗莫尔市,1979年。谷歌学者谷歌学者
  12. 13DEMINET,J.具有多处理器算法的经验。IEEE传输。计算。C-31,4(1982年4月),278-288。谷歌学者谷歌学者
  13. 14DIJKSTRA,E.W.“The”多道程序设计系统的结构。Commun公司。ACM 11,5(1968年5月)。谷歌学者谷歌学者
  14. 15DIJKSTRA,E.W.,ET AL.现场垃圾收集:合作实践。语言层次和接口(计算机科学课堂讲稿46)。施普林格出版社,纽约,1976年。谷歌学者谷歌学者
  15. 16FODERARO,J.K.,SKLOWER,K.,AND LAYER,K.《弗兰兹Lisp手册》。加利福尼亚大学UNIX发行版,1983年。谷歌学者谷歌学者
  16. 17FRIEDMAN,D.和WISE,D.并行处理应用程序设计方面。IEEE传输。计算。C-27,4(1978年4月),289-296。谷歌学者谷歌学者
  17. 18FRIEDMAN,D.和WLSE,D.CONS不应评估其论点。S.Michaelson和R.Milner(编辑),《自动化》,《语言与编程》,爱丁堡大学出版社,1976年,第257-284页。谷歌学者谷歌学者
  18. 19GABRIEL,R.P.和MCCARTHY,J.基于队列的多处理Lisp。在ACM Syrnp上发表。Lisp和函数编程(德克萨斯州奥斯汀,1984年8月)。谷歌学者谷歌学者
  19. 20GOLDBERG,A.和ROBSON,D.SmaUtalk-80:语言及其实现。艾迪生-卫斯理,雷丁,马萨诸塞州,1983年。谷歌学者谷歌学者
  20. 21纽约大学超级计算机——设计MIMD共享内存并行计算机。IEEE传输。计算。C-32,2(1983年2月),175-189。谷歌学者谷歌学者
  21. 22GOTTLIEB,A.、LUBACHEVSKY,B.和RUDOLPH,L.高效协调大量协同序列处理器的基本技术。ACM事务处理。程序。语言系统。5、2(1983年4月),164-189。谷歌学者谷歌学者
  22. 23GURD,J.、KIRKHAM,C.和WATSON,I.曼彻斯特原型数据流计算机。Commun公司。ACM 28,I(1985年1月),34-52。谷歌学者谷歌学者
  23. 24HALSTEAD,R.多处理机的架构。在IEEE COMPCON Spring 81(旧金山,1981年2月)中,299-302。谷歌学者谷歌学者
  24. 25HALSTEAD,R.多处理机的架构。J.Solinsky(编辑),《高级计算机概念》。加州拉荷亚拉荷伊拉研究所,1981年。谷歌学者谷歌学者
  25. 26HALSTEAD,R.Multilisp的实现:多处理器上的Lisp。程序中。ACM交响乐团。Lisp和函数编程(德克萨斯州奥斯汀,1984年8月),9-17。谷歌学者谷歌学者
  26. 27参考树网络:虚拟机与实现。马萨诸塞州剑桥市计算机科学技术M.I.T.实验室代表TR-222,1979年7月。谷歌学者谷歌学者
  27. 28HALSTEAD,R.和LOAIZA,J.在Multisp中的异常处理。发表于1985年国际会议并行处理(圣查尔斯,伊利诺伊州,1985年8月)。谷歌学者谷歌学者
  28. 29HAYNES,C.、FRIEDMAN,D.和WAND,M.继续和协同程序。程序中。ACM糖浆。关于Lisp和函数编程(德克萨斯州奥斯汀,1984年8月),293-298。谷歌学者谷歌学者
  29. 30HENDERSON,P.和MORRIS,J.H.懒惰的评估者。程序。第三届ACM程序设计语言原理研讨会(1976年),95-103。谷歌学者谷歌学者
  30. 31HEWITT,C.将控制结构视为传递消息的模式。工作文件92,人工智能实验室,麻省理工学院,剑桥,马萨诸塞州,1976年4月。谷歌学者谷歌学者
  31. 32HOARE,C.A.R.传达顺序过程。Commun公司。ACM 21、8(1978年8月)。谷歌学者谷歌学者
  32. 33HOARE,C.A.R.Monitors:操作系统结构概念。Commun公司。ACM 17,10(1974年10月),549-557。谷歌学者谷歌学者
  33. 34ICHBIAH,J.D.,ET AL.初步ADA参考手册。SIGPLAN不是。第14、6节,A部分(1979年6月)。谷歌学者谷歌学者
  34. 35IEEE任务P796/D2。提出了微机系统796总线标准。IEEE计算。13、10(1980年10月),89-105。谷歌学者谷歌学者
  35. 36KELLSR,R.Redifiow多处理。IEEE COMPCON Spring 84(1984年2月,旧金山)。谷歌学者谷歌学者
  36. 37KELLER,R.和LIN,F.基于简化的多处理机的模拟性能。IEEE计算。17、7(1984年7月),70-82。谷歌学者谷歌学者
  37. 38KERN1OHAN,B.和RITCHIE,D.C编程语言。普伦蒂斯·霍尔,新泽西州恩格尔伍德悬崖,1978年。谷歌学者谷歌学者
  38. 39KNUEVEN,P.、HIBBARD,P.和LEVERETT,B.多处理器环境的语言系统。程序中。第四届国际算法语言设计与实现大会(纽约大学数学研究所,1976年6月),264-274。谷歌学者谷歌学者
  39. 40KUCK,D.,MURAOKA,Y.,AND CHEN,S.-C.关于类Fortran程序中同时可执行的操作数及其加速。}EEE变速器。计算。C-21,12(1972年12月),1293-1310。谷歌学者谷歌学者
  40. 41LAMPSON,B.和SPROULL,R.用于单用户机器的开放操作系统。程序中。第七糖浆。《操作系统原理》(加利福尼亚州阿西洛马尔,1979年12月),98-105。谷歌学者谷歌学者
  41. 42MARTI,J.和FITCH,J.巴斯并行Lisp机器。83年EUROCAM(计算机科学讲义)。施普林格出版社,纽约,1983年。谷歌学者谷歌学者
  42. 43MCCARTHY,J.,ET AL.LISP 1.5程序员手册。麻省剑桥麻省理工学院出版社,1965年。谷歌学者谷歌学者
  43. 44MCGRAW,J.,ET AL.SISAL——单赋值语言中的流和迭代。《语言参考手册》(1.0版),劳伦斯·利弗莫尔国家实验室,加利福尼亚州利弗莫尔市,1983年7月。谷歌学者谷歌学者
  44. 45MOLLER-NIELSEN,P.和STAUNSTRUP,J.多处理器实验。1984年11月,丹麦奥胡斯,奥胡斯大学计算机科学系,技术代表PB-185。谷歌学者谷歌学者
  45. 46RETTBERG,R.,ET AL.语音通道系统的开发:设计报告。BBN Rep.4088,Bolt,Beranek,and Newman,Cambridge,Mass.,1979年8月。谷歌学者谷歌学者
  46. 47RUSSELL,R.M.CRAY-1计算机系统。Commun公司。ACM 21,i(1978年1月),63-72。谷歌学者谷歌学者
  47. 48SCHWARTZ,J.超级计算机。ACM事务处理。程序。语言系统。第2、4页(1980年10月),第484-521页。谷歌学者谷歌学者
  48. 49SEITZ,C.L.宇宙立方体。Commun公司。ACM 28,i(1985年1月),22-33。谷歌学者谷歌学者
  49. 50S~APIRO,E.Y.并发Prolog的子集及其解释器。新一代计算机技术研究所代表TR-0031983年1月。谷歌学者谷歌学者
  50. 51SMITH,B.J.一种流水线、共享资源的MIMD计算机。程序中。国际Conf.并行处理,1978年。谷歌学者谷歌学者
  51. 52STEELE,G.L.Rabbit:方案编译器。麻省理工学院人工智能实验室技术代表AI-TR-474,马萨诸塞州剑桥市,1978年5月。谷歌学者谷歌学者
  52. 53SUGIMOTO,S.,ET AL.并发Lisp的多微处理器系统。程序中。1983年国际会议并行处理(1983年6月)。谷歌学者谷歌学者
  53. 54TURNER,D.应用语言的一种新实现技术。柔和。实际。专家。9,1(1979年1月),31-49。谷歌学者谷歌学者
  54. 55温瑞布·D和蒙·D·利普机器手册。Symbolics Corp.,马萨诸塞州剑桥市,1984年。谷歌学者谷歌学者
  55. 56WENG,K.递归数据流模式中的面向流计算。技术备忘录TM-68,马萨诸塞州剑桥市麻省理工学院计算机科学实验室,1975年10月。谷歌学者谷歌学者

索引术语

  1. MULTILISP:并发符号计算语言

              建议

              评论

              布伦特·海尔珀

              MULTILISP是LISP的一种方言(实际上是SCHEME方言的一个版本),它添加了用于并行执行的构造。MULTILISP已在32处理器Concert多处理器上实现。它注定要在大型多处理器上实现。MULTILISP提供的主要语言扩展是“future(x) .“在执行“未来(x) ,则返回“立即的”未确定“值。x”并行出现,完成时结果替换为“待定”。当然,任何使用结果将阻塞父进程,直到计算完成。本文详细讨论了并行语言设计中的激励问题。作者提供了一组关于竞争性工作的优秀参考资料。作者讨论了懒惰评估、资源分配和实现的问题。实现问题包括中间指令集体系结构(MCODE)、同步、期货实现、任务管理、堆管理和垃圾收集。作者还根据处理器数量和算法中并行度的粒度(期货数量)进行了性能分析。这篇论文写得很好,有大量的脚注和参考文献。LISP基础知识和分布式处理中涉及的问题的背景会有所帮助,但不是必须的。

              访问计算机文献的关键评论在这里

              成为评论员用于计算评论。

              评论

              登录选项

              检查您是否可以通过登录凭据或您的机构访问本文。

              登录

              完全访问权限

              • 发布于

                封面图片ACM编程语言和系统汇刊
                程序设计语言与系统学报 第7卷第4期
                1985年10月
                185页
                国际标准编号:2016年4月925日
                EISSN公司:1558-4593
                内政部:10.1145/4472
                期刊目录

                版权所有©1985 ACM

                出版商

                计算机协会

                美国纽约州纽约市

                出版历史

                • 出版:1985年10月1日
                发布于托普拉斯第7卷第4期

                权限

                请求有关此文章的权限。

                请求权限

                检查更新

                限定符

                • 文章

              PDF格式

              以PDF文件查看或下载。

              PDF格式

              电子阅读器

              使用eReader联机查看。

              电子阅读器