跳到主要内容
10.1145/800087.802786acm会议文章/章节视图摘要出版物页面线性预测会议记录会议集合
第条
免费访问

基于连续性的多处理

出版:1980年8月25日出版历史

摘要

任何多处理设施都必须包括三个功能:基本排除、数据保护和进程保存。虽然基本排除必须取决于某些硬件设施(例如测试和设置指令),但其他两个要求由应用语言中已经存在的功能来满足。数据保护可以通过使用过程(闭包或funargs)获得,过程保存可以通过使用CATCH操作员获得。尤其是CATCH的使用,可以优雅地处理流程节省。

我们通过为多处理系统编写内核和一些模块来演示这些技术。内核很小。人们通常期望在内核中找到的许多函数都是完全分散的。我们考虑了其他调度程序、中断的实现,以及这些思想对语言设计的影响。

工具书类

  1. 1Atkinson,R.和Hewitt,C.,“演员系统中的同步”,第四届ACM交响乐会会议记录。《程序设计语言原理》(1977),267-280谷歌学者谷歌学者数字图书馆数字图书馆
  2. 2Brinch Hansen,P.,《操作系统原理》,Prentice-Hall,Englewood Cliffs,NJ,1973年。]]谷歌学者谷歌学者数字图书馆数字图书馆
  3. 三。Brinch Hansen,P.,《并发程序的体系结构》,普伦蒂斯·霍尔出版社,新泽西州恩格尔伍德克利夫斯,1977年。]]谷歌学者谷歌学者数字图书馆数字图书馆
  4. 4.Brinch Hansen,P.,“分布式进程:并发编程概念”,通信ACM 21,(1978),934-941谷歌学者谷歌学者数字图书馆数字图书馆
  5. 5Church,A.,The Calculi of Lambda-Conversion,《数学研究年鉴》,普林斯顿大学出版社,新泽西州普林斯顿,1941年。]]谷歌学者谷歌学者数字图书馆数字图书馆
  6. 6Dahl,O-J.和Hoare,C.A.R.,“分层程序结构”,摘自Dahl、O-J.、Dijkstra,E.W.和Hoare.,C.A.R,结构化程序设计,伦敦学术出版社,1972年,第175-220页。]]谷歌学者谷歌学者数字图书馆数字图书馆
  7. 7Demers,A.J.和Donahue,J.E.,“数据类型参数和类型检查”Conf.Rec.7 Ann.ACM Symp。《程序设计语言原理》(1980),12-23谷歌学者谷歌学者数字图书馆数字图书馆
  8. 8Dijkstra,E.W.,“转到被视为有害的声明”,《美国海关总署公告》第11卷(1968年),第147-148页。]]谷歌学者谷歌学者数字图书馆数字图书馆
  9. 9.Gordon,M.J.C.,《编程语言的外延描述》,Springer,1979年。]]谷歌学者谷歌学者数字图书馆数字图书馆
  10. 10.Hewitt,C.E.,“将控制结构视为传递消息的模式”,《人工智能》第8期(1977年),第323-364页。]]谷歌学者谷歌学者数字图书馆数字图书馆
  11. 11Hoare,C.A.R.,“监视器:操作系统结构概念”,《通信ACM》17(1974),549-557。]]谷歌学者谷歌学者数字图书馆数字图书馆
  12. 12.Holloway,J.、Steele,G.L.、Sussman,G.J.和Bell,A.,“SCHEME-79芯片”,麻省理工学院艺术与智能。备忘录。第559号(1979年12月)谷歌学者谷歌学者
  13. 13.James,J.S.,“微型计算机FORTH”,SIGPLAN通告13,10(1978年10月),33-39。]]谷歌学者谷歌学者数字图书馆数字图书馆
  14. 14Landin,P.J.,“ALGOL 60和Church’s Lambda标记之间的通信:第一部分”,《美国医学会通讯》第8卷(1965年),第89-101页。]]谷歌学者谷歌学者数字图书馆数字图书馆
  15. 15P.J.Landin,“未来700种编程语言”,通信ACM 9(1966)157-166。]]谷歌学者谷歌学者数字图书馆数字图书馆
  16. 16McCarthy,J.等人,《LISP 1.5程序员手册》,麻省理工学院出版社,马萨诸塞州剑桥,1965年。]]谷歌学者谷歌学者数字图书馆数字图书馆
  17. 17.Milne,R.和Strachey,C.,《编程语言语义理论》,查普曼和霍尔,伦敦,威利,纽约,1976年。]]谷歌学者谷歌学者数字图书馆数字图书馆
  18. 18Minsky,M.,“计算机科学中的形式和内容”,J.ACM 17(1970),197-215。]]谷歌学者谷歌学者数字图书馆数字图书馆
  19. 19.Morris,J.H.,“编程语言中的保护”,《通信ACM》第16卷(1973年),第15-21页。]]谷歌学者谷歌学者数字图书馆数字图书馆
  20. 20Reynolds,J.C.,“GEDANKEN——一种基于完整性原则和参考概念的简单无类型语言”,《美国通信管理委员会》第13卷(1970年),第308-319页。]]谷歌学者谷歌学者数字图书馆数字图书馆
  21. 21Reynolds,J.C.,“高阶程序设计语言的定义解释器”,Proc。ACM全国大会(1972年),717-740。]]谷歌学者谷歌学者数字图书馆数字图书馆
  22. 22Shaw,A.C.,《操作系统的逻辑设计》,新泽西州恩格尔伍德克利夫斯市普伦蒂斯·霍尔出版社。1974.]]谷歌学者谷歌学者数字图书馆数字图书馆
  23. 23Steele,G.L.,“LAMBDA:终极宣言”,麻省理工学院艺术与情报。第379号备忘录(1976年10月)谷歌学者谷歌学者数字图书馆数字图书馆
  24. 24Steele,G.L.和Sussman,G.J.,《SCHEME修订报告》,麻省理工学院艺术情报。第452号备忘录(1978年1月)。]]谷歌学者谷歌学者
  25. 25Steele,G.L.和Sussman,G.J.,“口译员的艺术,或模块情结”,麻省理工学院艺术与智能。第453号备忘录(1978年5月)谷歌学者谷歌学者数字图书馆数字图书馆
  26. 26Wand,M.,“SCHEME 3.1版参考手册”,印第安纳大学计算机科学系,技术报告第93号,1980年6月。]]谷歌学者谷歌学者
  27. 27Wirth,N.,“模块化:模块化多程序设计语言”,《软件——实践与经验》第7期(1977年),第3-35页。]]谷歌学者谷歌学者交叉引用交叉引用
  28. 28W.A.Wulf、D.B.Russell和A.N.Habermann,“BLISS:系统编程语言”,美国通信协会14(1971),780-790.]]谷歌学者谷歌学者数字图书馆数字图书馆

索引术语

  1. 基于连续性的多处理

      建议

      评论

      登录选项

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

      登录

      完全访问权限

      • 发布于

        封面图片ACM会议
        LFP’80:1980年ACM LISP和函数编程会议记录
        1980年8月
        247页
        国际标准图书编号:9781450373968
        内政部:10.1145/800087

        版权所有©1980 ACM

        如果复制品不是为了盈利或商业利益而制作或分发的,并且复制品的第一页载有本通知和完整引文,则允许免费制作本作品的全部或部分数字或硬拷贝以供个人或课堂使用。必须尊重ACM以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布,在服务器上发布或重新发布到列表,需要事先获得特定许可和/或付费。从请求权限[电子邮件保护]

        出版商

        计算机协会

        美国纽约州纽约市

        出版历史

        • 出版:1980年8月25日

        权限

        请求有关此文章的权限。

        请求权限

        检查更新

        限定符

        • 第条

        接受率

        总体验收率30属于109提交文件,28%

      PDF格式

      以PDF文件查看或下载。

      PDF格式

      电子阅读器

      使用eReader联机查看。

      电子阅读器