派克特 swMATH ID: 20001 软件作者： 斯宾塞·鲍曼；卡尔·弗里德里希·博尔兹（Carl Friedrich Bolz）；Robert Hirschfeld；瓦西里·基里切夫；佩佩，托拜厄斯；杰里米·西克（Jeremy G.Siek）。；萨姆·托宾·霍施塔特 描述： Pycket：函数语言的跟踪JIT。我们介绍了Pycket，一个用于Racket的高性能跟踪JIT编译器。Pycket支持Racket中的各种复杂功能，如契约、延续、类、结构、动态绑定等。平均而言，在一套标准的基准测试中，Pycket的性能优于现有的编译器，包括Racket的JIT和其他高度优化的Scheme编译器。此外，与现有系统相比，Pycket为Racket代理提供了更好的性能，大大减少了契约和渐进式键入的开销。我们通过对多个现有基准套件进行性能评估来验证这一说法。par Pycket实现作为RPython元跟踪框架（最初为PyPy创建）的应用程序具有独立的兴趣，该框架可以自动从解释器生成跟踪JIT编译器。先前关于元跟踪的工作集中在字节码解释器上，而Pycket是一个基于CEK抽象机的高级解释器，直接在抽象语法树上操作。Pycket支持正确的尾调用和一流的延续。在函数语言的环境中，递归和高阶函数比显式循环更为普遍，跟踪JIT最重要的性能挑战是识别哪些控制流构成了一个循环——我们讨论了两种识别循环和测量其影响的策略。 主页： http://dl.acm.org/citation.cfm？id=2784740 关键词： JIT编译器;球拍;合同;函数式语言;追踪 相关软件： JavaScript脚本;斯塔丹;RPython公司;GraalVM公司;派比;派克;科特林;菲律宾比索;Groovy语言;MongoDB数据库;红宝石;可视化C#;稳定器;荆棘;圣人;比格鲁;蟒蛇;LISP公司;CoCo公司;GHC公司 引用于： 2文件 全部的 前5名被10位作者引用 1 马提亚斯·费莱森 1 丹尼尔·费尔蒂 1 罗伯特·布鲁斯·芬德勒 1 彼得·福克。 1 本·格林曼 1 新，Max S。 1 Ryan R.牛顿。 1 Asumu Takikawa 1 阿里·瓦拉梅什 1 维泰克，简 连载1篇 1 函数编程杂志 在1个字段中引用 2 计算机科学（68至XX） 按年份列出的引文