×
皮埃尔·埃蒂安·莫罗；奥利维尔·曾德拉

GC（^{2}）：ATERM库的代保守垃圾收集器。 （英语） Zbl 1067.68577号

J.日志。阿尔盖布。程序。 59，第1-2号，第5-34号（2004年）.
摘要：ATERM库是重写社区中设计良好且知名的库。本文讨论了当前随库提供的垃圾收集器，并强调了内存管理系统可以利用此函数库的一些特性。我们解释了我们是如何设计和实现GC（^2）的，它是ATERM Library基于这些特性开发的一种新的标记和扫描分代垃圾收集器。在各种程序上的实验结果验证了我们的方法，并表明我们的新算法的性能非常好。

MSC公司：

第68季度第42季度 语法和重写系统
68周05 非数值算法

软件：

米兰达；ELAN公司；ATERM公司；小埃菲尔；GC公司
PDF格式BibTeX公司 XML格式引用
\textit{P.-E.Moreau}和\textit{O.Zendra}，J.Log。阿尔盖布。程序。59，第1-2,5-34号（2004年；兹bl 1067.68577）
全文： 内政部

参考文献：

[1] 凯伦·阿佩比（Karen Appleby）；卡尔森，Mats；赛义夫·哈里迪；Sahlin，Dan，基于WAM的Prolog垃圾收集，ACM通信，31,6719-741（1988）
[2] Andrew W.Appel，M.J.R.Gonçalves，散列垃圾收集，技术报告CS-TR-412-93，普林斯顿大学计算机科学系，1993年2月；Andrew W.Appel，M.J.R.Gonçalves，散列垃圾收集，技术报告CS-TR-412-93，普林斯顿大学计算机科学系，1993年2月
[3] Andrew W.Appel，《用续句汇编》（1992），剑桥大学出版社，第205-214页（第16章）
[4] Baker，Henry G.，婴儿死亡率和代际垃圾收集，ACM SIGPLAN通知，28，4，55-57（1993）
[5] 布莱希特，蒂姆；阿约曼迪（Arjomandi，Eshrat）；李，张；Pham，Hang，《控制垃圾收集和堆增长以减少java应用程序的执行时间》，（in：面向对象编程系统语言和应用程序会议论文集（2001），ACM出版社），353-366
[6] Joel F.Bartlett，《主要是复制垃圾收集拾取代和C++》，技术说明，DEC西部研究实验室，加利福尼亚州帕洛阿尔托，1989年10月。来源于<ftp://gatekeeper.dec.com/pub/dec/CCgc网站>; Joel F.Bartlett，《大部分复制垃圾收集拾取世代和C++》，技术说明，DEC西部研究实验室，加利福尼亚州帕洛阿尔托，1989年10月。来源于<ftp://gatekeeper.dec.com/pub/dec/CCgc网站>
[7] Boehm，Hans-Juergen；阿兰·德默斯（Alan J.Demers）。；Scott Shenker，《大部分并行垃圾收集》，ACM SIGPLAN Notices，26，6，157-164（1991）
[8] 彼得·博罗万斯克（Peter Borovansk）、克劳德·基什内尔（Claude Kirchner）、海莱内·基什内尔皮埃尔雷·伊蒂安·莫罗（Pierre-Etienne Moreau）、玛丽安·维特克（Marian Vittek）、，ELAN公司：基于计算系统的逻辑框架，J.Meseguer（Eds.），《重写逻辑及其应用第一届国际研讨会论文集》，WRLA’96，理论计算机科学电子笔记，第4卷，1996年9月；彼得·博罗万斯克（Peter Borovansk）、克劳德·基什内尔（Claude Kirchner）、海莱内·基什内尔皮埃尔雷·伊蒂安·莫罗（Pierre-Etienne Moreau）、玛丽安·维特克（Marian Vittek）、，ELAN公司：基于计算系统的逻辑框架，J.Meseguer（Eds.），第一届重写逻辑及其应用国际研讨会论文集，WRLA’96，理论计算机科学电子笔记，第4卷，1996年9月·Zbl 0912.68091号
[9] Boehm，Hans Juergen，节省空间的保守垃圾收集，（in：SIGPLAN'93编程语言设计与实现会议记录。in：SIGPLAN'93编程语言设计与实现会议记录，ACM SIGPLAN Notices，vol.28（6）（1993），ACM Press:ACM Press Albuquerque，NM），197-206
[10] Boehm，Hans-Juergen；韦瑟，马克，《不合作环境中的垃圾收集》，《软件实践与经验》，18，9，807-820（1988）
[11] David A.Barett。；Zorn，Benjamin G.，《使用寿命预测器提高内存分配性能》，（1993年ACM SIGPLAN编程语言设计与实现会议（PLDI’93）。1993年ACM SIGPLAN编程语言设计与实现会议（PLDI’93），SIGPLAN通告，第28卷（1993），ACM出版社），187-196
[12] 多米尼克·科尔内；菲利普·库考德；Zendra，Olivier，《定制标记和扫描算法的编译器支持》，（Jones，Richard，ISMM’98第一届内存管理国际研讨会论文集，ISMM'98第一届存储管理国际研讨会文献集，ACM SIGPLAN通知，第34卷（3）（1998），ACM出版社），154-165，ISMM是IWMM系列研讨会的继承者
[13] Deutsch，L.Peter；Daniel G.Bobrow，《高效增量自动垃圾收集器》，《ACM通信》，第19、9、522-526页（1976年）·兹伯利0329.68033
[14] 阿兰·德默斯（Alan Demers）；韦瑟，马克；巴里·海耶斯（Barry Hayes）；Daniel G.Bobrow。；Scott Shenker，《将世代垃圾收集与保守垃圾收集相结合：框架与实现》，（in：第十七届美国计算机学会编程语言原理研讨会会议记录），in：第十八届美国计算机协会编程语言原理会议会议记录，《美国计算机学会SIGPLAN通告》（1990），ACM出版社：ACM Press San Francisco，CA），261-269
[15] 约翰·福德拉罗（John K.Foderaro）。；理查德·法特曼（Richard J.Fateman），《VAX Macsyma的特征描述》（in:1981 ACM Symposium on Symbolic and Algebraic Computation（1981），ACM出版社：ACM Press Berkeley，CA），14-19
[16] Barry Hayes，《使用关键对象机会主义收集旧对象》（Paepcke，Andreas，in：OOPSLA’91 ACM Conference on object-Oriented Systems，Language and Application），in：面向对象系统，语言和应用的OOPSLA'91 ACM会议，ACM SIGPLAN通知，第26卷（11）（1991），ACM出版社：亚利桑那州凤凰城ACM出版社），33-46
[17] ISE Eiffel的垃圾收集，技术报告，ISE TR-EI-56/GC，3.3.9版，Interactive Software Engineering，Inc.，1999年；ISE Eiffel的垃圾收集，技术报告，ISE TR-EI-56/GC，3.3.9版，Interactive Software Engineering，Inc.，1999年
[18] Jones，R.E.，《垃圾收集：自动动态内存管理的算法》（1996），Wiley，附R.Lins关于分布式垃圾收集的一章·兹比尔0945.68508
[19] Patricia Johann；Visser，Eelco，《战略中的温暖融合：程序转换系统生成的案例研究》，《数学与人工智能年鉴》（2000）·Zbl 1014.68034号
[20] 赫莱内·基什内尔；Moreau，Pierre-Etienne，《促进重写为编程语言：结合交换理论中非确定性重写程序的编译器》，《函数编程杂志》，11，2，207-251（2001）·Zbl 0979.68055号
[21] John McCarthy，符号表达式的递归函数及其机器计算，ACM通信，3184-195（1960）·Zbl 0101.10413号
[22] Marvin L.Minsky，《使用串行二级存储的Lisp垃圾收集器算法》，技术报告备忘录58（修订版），MAC项目，麻省理工学院，剑桥，马萨诸塞州，1963年12月；Marvin L.Minsky，使用串行二级存储的Lisp垃圾收集器算法，技术报告备忘录58（修订版），MAC项目，麻省理工学院，马萨诸塞州剑桥市，1963年12月
[23] Pierre-Etienne Moreau，Christophe Ringeissen，Marian Vittek，多目标语言的模式匹配编译器，摘自：《第十二届编译器构造会议论文集》，华沙（波兰），《计算机科学讲义》，第2622卷，斯普林格-Verlag，2003年，第61-76页；Pierre-Etienne Moreau，Christophe Ringeissen，Marian Vittek，多目标语言的模式匹配编译器，摘自：《第十二届编译器构造会议论文集》，华沙（波兰），《计算机科学讲义》，第2622卷，斯普林格-Verlag，2003年，第61-76页·Zbl 1032.68920号
[24] Robson，J.M.，《动态存储分配所需的存储大小估计》，《ACM杂志》，第18期，第3期，第416-423页（1971年）·Zbl 0221.68022号
[25] Patrick M.Sansom。；Peyton Jones，Simon L.，Haskell的生成垃圾收集，（Hughes，R.John M.，《1993年函数编程与计算机体系结构会议记录》，格拉斯哥大学，1993年6月。1993年功能编程和计算机体系结构会议记录，格拉斯哥大学，1993年6月，计算机科学讲稿，第523卷（1993年），斯普林格-Verlag，（格拉斯哥大学）
[26] 《K虚拟机内部》（KVM），在Sun 2000年全球Java开发人员大会（JavaOne）上的演示，Sun Microsystems，Inc.，加利福尼亚州旧金山，2000年；《K虚拟机内部（KVM）》，在Sun 2000年全球Java开发人员大会（JavaOne）上的演示，Sun Microsystems，Inc.，加利福尼亚州旧金山，2000年
[27] 《Java热点性能引擎体系结构》，《关于Sun第二代性能技术的白皮书》，Sun Microsystems，Inc.，2000年；Java热点性能引擎体系结构，关于Sun第二代性能技术的白皮书，Sun Microsystems，Inc.，2000年
[28] Turner，David A.，Miranda——一种具有多态性类型的非限定函数语言，（Jouannaud，Jean-Pierre，《1985年函数编程和计算机体系结构会议记录》，1985年函数程序设计和计算机体系结构会议记录，计算机科学讲义，第201卷（1985），斯普林格·弗拉格：法国南希斯普林格尔·弗拉格），1-16·Zbl 0592.68014号
[29] Ungar，David M.，《代清理：一种无中断的高性能存储回收算法》，ACM SIGPLAN Notices，19，5，157-167（1984），另以ACM Software Engineering Notes 9，3（1984年5月）的形式出版——ACM/SIGSOFT/SIGPLAN Software Enginengineering Symposium on Practical Software Development Environments，1984年，第157-167页
[30] 范登·布兰德，马克·G·J。；德容，Hayco A。；Paul Klint；Olivier，Pieter，高效注释术语，软件实践与经验，30259-291（2000）
[31] 范登·布兰德，马克·G·J。；Paul Klint；Olivier，Pieter，《ASF+SDF的编译和内存管理》，（Jähnichen，Stefan，《编译器构造第八届国际会议论文集》，第八届世界会议论文集，计算机科学讲义，第1575卷（1999），Springer），198-213
[32] Wilson，Paul R.，《单处理器垃圾收集技术》，（Bekkers，Yves；Cohen，Jacques，《德克萨斯大学记忆管理国际研讨会论文集》，1992年9月16日至18日。德克萨斯大学记忆管理国际研讨会论文集，1992年9月16日至18日，计算机科学讲稿，第637卷（1992），Springer-Verlag:Springer-Verlag USA）
[33] Paul R.Wilson，单处理器垃圾收集技术。技术报告，德克萨斯大学，1994年1月。IWMM92论文的扩展版本；Paul R.Wilson，单处理器垃圾收集技术。技术报告，德克萨斯大学，1994年1月。IWMM92论文的扩展版本
[34] 奥利维埃·泽德拉（Olivier Zendra）；Colnet，Dominique，《GNU Eiffel编译器实现中的混叠处理》，《软件实践与经验》，31，6，601-613（2001）·Zbl 1009.68880号
[35] Benjamin G.Zorn，垃圾收集算法的比较性能评估，博士论文，加州大学伯克利分校，1989年3月，技术报告UCB/CSD 89/544；Benjamin G.Zorn，垃圾收集算法的比较性能评估，博士论文，加州大学伯克利分校，1989年3月，技术报告UCB/CSD 89/544
[36] Benjamin Zorn，垃圾收集对缓存性能的影响，技术报告CU-CS-528-91，科罗拉多大学博尔德分校，1991年5月；Benjamin Zorn，垃圾收集对缓存性能的影响，技术报告CU-CS-528-91，科罗拉多大学博尔德分校，1991年5月
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。