×
斯维特拉纳·雅克西奇;卢卡·帕多瓦尼

无副本消息传递的异常处理。 （英语） Zbl 1283.68208号

科学。计算。程序。 84, 22-51 (2014).
摘要：无拷贝消息传递是一种通信范式，在发送方和接收方进程之间只交换指向消息的指针。由于其固有的低开销，无拷贝消息传递适合高效实现通信密集型软件系统，其中进程可以访问共享地址空间。不幸的是，由于指针的显式使用和数据共享，这种范式的本质助长了编程错误的扩散。在本文中，我们研究了一种无复制消息传递的类型规则，该规则与运行时系统的一些最低限度的支持一起，能够保证在出现异常时不会出现通信错误、内存故障和内存泄漏。为了将过程的语义形式化，我们从软件事务记忆中获得灵感：在我们的案例中，事务是一个旨在完成某些消息交换的过程，它要么应该完全执行，要么如果被异常中止，则不应该有任何可观察的效果。

引用于三文件

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
68甲15 编程语言理论

关键词：

无拷贝消息传递;会话类型;异常处理;内存泄漏预防

软件：

口香糖
PDF格式BibTeX公司 XML格式引用
\textit{S.Jakšić}和\textit{L.Padovani}，科学。计算。程序。84，22-51（2014年；兹比尔1283.68208）
全文： 内政部

参考文献：

[1] 亨特，G。；Larus，J.R。；M.阿巴迪。；艾肯，M。；巴勒姆，P。；Fähndrich，M。；Hawblitzel，C。；O.霍德森。；列维，S。；墨菲，N。；Steensgaard，B。；Tarditi，D。；沃伯，T。；Zill，B.，《奇点项目技术报告概述》，MSR-TR-2005-135，Microsoft Research（2005）
[2] 亨特，G。；Larus，J.R.，《奇点：重新思考软件堆栈》，SIGOPS操作系统评论，41，37-49（2007）
[3] Finley，S.，Ext2 on Singularity，技术报告，威斯康星大学（2008），网址：http://pages.cs.wisc.edu/remzi/Classes/736/Spring2008/Projects/Scott/Ext2
[4] Fähndrich，M。；艾肯，M。；Hawblitzel，C。；O.霍德森。；亨特，G。；Larus，J.R。；Levi，S.，《奇异操作系统中基于消息的快速可靠通信的语言支持》，（《欧洲系统学报》2006年版，ACM），177-190
[5] 斯坦格尔，Z。；Bultan，T.，《分析奇点渠道契约》，（第18届软件测试与分析国际研讨会论文集，第18届国际软件测试和分析会议论文集，ISSTA'09（2009），ACM），13-24
[6] 维拉德，J。；Lozes，E。；Calcagno，C.，《证明无拷贝消息传递》，（第七届亚洲编程语言与系统研讨会论文集，第七届亚太编程语言与体系研讨会论文集），APLAS’09。第七届亚洲编程语言与系统研讨会论文集。第七届亚洲编程语言与系统研讨会论文集，APLAS’09，LNCS，第5904卷（2009），Springer），194-209
[7] 波诺，V。；Padovani，L.，《打字无拷贝消息传递》，《计算机科学中的逻辑方法》，第8期，第1-50页（2012年）·Zbl 1238.68095号
[8] Honda，K.，《并元相互作用的类型》，（第四届并行理论国际会议论文集，第四届并发理论国际会议文献集，CONCUR’93）。第四届并行理论国际会议论文集。第四届并行理论国际会议论文集，CONCUR’93，LNCS，第715卷（1993），Springer），509-523
[9] 本田，K。；Vasconselos，V.T。；Kubo，M.，《结构化通信编程的语言原语和类型学科》，（第七届欧洲编程研讨会论文集，第七届欧盟编程会议论文集，ESOP’98）。第七届欧洲编程研讨会会议记录。第七届欧洲编程研讨会论文集，ESOP’98，LNCS，第1381卷（1998），Springer），122-138
[10] 雅克西奇，S。；Padovani，L.，无拷贝消息的例外处理，（第14届国际ACM SIGPLAN声明性编程原则与实践研讨会论文集。第14届ACM SIGPS声明性编程原理与实践国际研讨会论文集，PPDP’12（2012），ACM），151-162·兹比尔1283.68208
[11] Carbone，M。；本田，K。；Yoshida，N.，会话类型中的结构化交互例外，（《第19届并行理论国际会议论文集》，第19届并发理论国际会议文献集，CONCUR’08。第19届并行理论国际会议论文集。第19届并行理论国际会议论文集，CONCUR’08，LNCS，第5201卷（2008），Springer），402-417·Zbl 1160.68459号
[12] 卡佩基，S。；贾奇诺，E。；Yoshida，N.，《多党会议中的全球逃避》，（IARCS软件技术和理论计算机科学基础年会论文集。IARCS年度软件技术和计算机理论科学基础会议论文集，FSTTCS’10（2010）），338-351·Zbl 1245.68019号
[13] Milner，R.，《通信和移动系统：（pi）-演算》（1999），剑桥大学出版社：剑桥大学出版社，美国纽约州纽约市·Zbl 0942.68002号
[14] 盖伊，S。；Hole，M.，《微积分中会话类型的分类》，信息学学报，42191-225（2005）·Zbl 1079.68065号
[15] Peyton Jones，S.L。；Clack，C.D。；Salkild，J。；Hardie，M.，GRIP—一种用于并行图简化的高性能体系结构，（函数编程语言和计算机体系结构学报。函数编程语言与计算机体系结构杂志，FPCA’87。函数编程语言与计算机体系结构学报。函数编程语言与计算机体系结构学报，FPCA’87，LNCS，第274卷（1987），Springer），98-112
[16] Trinder，P.W。；哈蒙德，K。；Mattson，J.S。；Partridge，A。；Peyton Jones，S.L.，GUM:haskell的可移植并行实现，（《1996年ACM SIGPLAN编程语言设计与实现会议论文集》，1996年ACM-SIGPLAN程序设计与实现大会论文集，PLDI’96（1996），ACM），79-88
[17] Loidl，H.-W.，并行图的虚拟共享内存性能降低，（第二届IEEE集群计算与网格国际研讨会论文集。第二届IEEE集群计算与网格国际研讨会论文集，CCGRID'02（2002）），311-318
[18] 托夫特，M。；Talpin，J.-P.，基于区域的内存管理，信息和计算，132，109-176（1997）·Zbl 0876.68027号
[19] 霍夫曼，M。；Jost，S.，一阶函数程序堆空间使用的静态预测，（第30届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。第30届AC M SIGPLAN-SIGACT编程语言原理会议论文集，POPL'03（2003），ACM），185-197·兹比尔1321.68180
[20] 霍夫曼，M。；Jost，S.，基于类型的摊余堆空间分析，（第15届欧洲编程研讨会论文集，第15届欧盟编程研讨会论文集中，ESOP’06）。第15届欧洲编程研讨会会议记录。第15届欧洲编程研讨会论文集，ESOP’06，LNCS，第3924卷（2006），Springer），22-37·Zbl 1178.68143号
[21] 艾伯特·E。；根奈姆，S。；Gómez-Zamalloa，M.，Java字节码堆空间分析，（第六届内存管理国际研讨会论文集，第六届存储管理国际研讨会文献集，2007年ISMM，ACM），105-116
[22] Hammond，K.，《休谟的动态特性：一种具有有限时间和空间行为的基于功能的并发语言》，（第十二届函数语言实现国际研讨会论文集，第十二届功能语言实现国际会议论文集，IFL'00）。第十二届函数式语言实施国际研讨会论文集。第十二届函数语言实现国际研讨会论文集，IFL’00，LNCS，2011（2000）卷，Springer），122-139·Zbl 0987.68906号
[23] 苏埃纳加，K。；福田，R。；Igarashi，A.，共享内存并发的基于类型的安全资源释放，（第27届ACM SIGPLAN年会面向对象编程、系统、语言和应用会议论文集，ACM），1-20
[24] 岩马，F。；Igarashi，A。；Kobayashi，N.，功能语言的资源使用分析（2006年ACM SIGPLAN部分评估和基于语义的程序操作研讨会论文集。2006年ACM-SIGPLAN局部评估和基于语义学的程序操作会议论文集，PEPM’06（2006），ACM），38-47
[25] 维拉德，J。；Lozes，E。；Calcagno，C.，《用heap-hop跟踪跳跃的堆》，（第16届系统构建和分析工具和算法国际会议论文集，第16届国际系统构建与分析工具与算法会议论文集），TACAS’10。第十六届系统构建与分析工具与算法国际会议论文集。《第十六届系统构建和分析工具和算法国际会议论文集》，TACAS’10，LNCS，第6015卷（2010），Springer），275-279
[26] 费雷拉，C。；拉内斯，我。；拉瓦拉，A。；维埃拉，H.T。；Zavattaro，G.，《服务组合和事务的高级机制》，（面向服务系统的严格软件工程。面向服务系统严格软件工程，LNCS，第6582卷（2011），Springer），302-325
[27] 哈里斯·T。；马洛，S。；Peyton Jones，S。；Herlihy，M.，可组合内存事务，（ACM SIGPLAN并行编程原理与实践研讨会论文集。ACM SIGPLAN并行编程原理与实践研讨会论文集，PPoPP’05（2005），ACM），48-60
[28] 唐纳利，K。；Fluet，M.，事务事件，（第十一届ACM SIGPLAN函数编程国际会议论文集。第十一届AC M SIGPLAN函数编程国际大会论文集，ICFP'06（2006），ACM），124-135·Zbl 1321.68149号
[29] Weimer，W。；Necula，G.C.，《发现和防止运行时错误处理错误》，（第19届ACM SIGPLAN面向对象编程、系统、语言和应用年会论文集。第19届AC M SIGPLA面向对象编程，系统、语言与应用年会文献集，OOPSLA’04（2004），ACM）， 419-431
[30] Weimer，W.，Java中的异常处理错误和避免它们的语言扩展，（异常处理技术高级主题。异常处理技术的高级主题，LNCS，第4119卷（2006），Springer），22-41
[31] Weimer，W。；Necula，G.C.，《特殊情况和程序可靠性》，《美国计算机学会编程语言和系统汇刊》，第30期，第1-51页（2008年）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。