GHC公司

格拉斯哥-哈斯克尔编译器内联线的秘密。通过编写kell这样的抽象语言来鼓励程序员构建更高层次的抽象语言。一个好的编译器必须内联许多这样的调用来恢复一个高效的可执行程序。原则上,倾斜非常简单:只需用函数体的一个实例来替换函数的调用。但是任何编译器编写者都会告诉你,倾斜是一门黑色的艺术,充满了微妙的折衷,这些折衷可以在没有不必要的代码膨胀的情况下提供良好的性能。因此,本文的目的是阐明我们从一个完整的“production”内联程序(Glasgow-Haskell编译器中使用的)中学到的关键经验教训。我们主要关注算法方面,但是我们也提供一些指示性的度量来证明内联线的各个方面的重要性。


zbMATH中的参考文献(参考 102篇文章,1标准件)

显示102个结果中的1到20个。
按年份排序(引用)
  1. Andrey Mokhov;Neil Mitchell;Simon Peyton Jones,Simon:《按订单构建系统:理论与实践》(2020)
  2. Hamana,Makoto:如何用二阶计算分析仪SOL证明方程理论的可判定性(2019)
  3. Tom Schrijvers;Oliveira,Bruno C.D.S.;Wadler,Philip;Marntirosian,Koar:COCHIS:稳定和连贯的隐含(2019)
  4. 2018年《机器学习》杂志《自动识别:杰弗里•穆特•卡德;自动识别:杰弗里•穆特
  5. Bendkowski,Maciej;Grygiel,Katarzyna;Tarau,Paul:封闭简单类型(\lambda)的随机生成——术语:逻辑编程与Boltzmann采样器之间的协同作用(2018)
  6. Panagiota Fatourou;Kallimanis,Nikolaos D.:锁振荡:提升并发数据结构的性能(2018)
  7. 石井,广美:嵌入Haskell的纯功能计算机代数系统(2018)
  8. Orchard,Dominic:container functors和comonads的复杂性边界(2018)
  9. Shaikhha,Amir;Dashti,Mohammad;Koch,Christoph:查询引擎中基于推拉的循环融合(2018)
  10. Spector Zabusky,Antal;Spector,Donald:Schrödinger's zebra:将相互信息最大化应用于图形半色调(2018)
  11. Ahn,Ki Yung;Vezzosi,Andrea:使用Prolog的多态类型系统的可执行关系规范(2016)
  12. Breitner,Joachim;Eisenberg,Richard A.;Peyton Jones,Simon;Weirich,Stephanie:Haskell的安全零成本强制(2016)
  13. Dieterle,M.;Horstmeyer,T.;Loogen,R.;Berthold,J.:骨架成分与伊甸园中的稳定过程系统(2016)
  14. 《中级微积分》的编辑者:保罗·唐纳里安(Simon Peytoner),2016年;保罗·唐纳瑞尔(Simon Townera),编译人:保罗·唐纳里翁(Simon-Downarion);2016年
  15. 吉本斯,杰里米:理解戒指。在菲尔·瓦德勒60岁生日之际(2016年)
  16. Kapfer,Simon:(K3)曲面上点的Hilbert格式积分上同调中的cup积(2016)
  17. Sivaramakrishnan,K.C.;Harris,Tim;Marlow,Simon;Peyton Jones,Simon:Haskell的可组合调度器激活(2016)
  18. 黑山,Manuel;Peña,Ricardo;Sánchez Hernández,Jaime:验证条件生成的通用中间表示法(2015)
  19. Newton,Ryan R.;Fogg,Peter P.;Varamesh,Ali:自适应无锁映射:纯功能到可伸缩(2015)
  20. Smetsers,Sjaak;van Eekelen,Marko:高阶严格性类型的推导和推断(2015)