写点什么

Unladen Swallow 的最后时光

  • 2011-04-02
  • 本文字数:1524 字

    阅读完需:约 5 分钟

unladen swallow 尝试将 LLVM 优化引入到 CPython 运行时,但是去年却没有取得重大进展。现在,一篇回顾unladen swallow 的文章已经确认了这个项目的死亡,不会再进行开发。

它的目标曾经是多么野心勃勃;引入 LLVM 运行时架构作为 CPython 的解释器,然后将其作为一个选项,能够在 JIT 编译的时候打开。LLVM 被用在一些高端项目中,例如全新的 Clang 模块编译器以及 LLDB 调试器,这些都在 Apple 的 Xcode4 中被采用。这些高端用户案例看起来非常诱人:

最开始选择使用 LLVM 是因为那个时候我们都没用 x86 汇编语言的丰富经验,而我们又真的希望能够支持 x86 和 x86_64,如果可能的话,将来也希望支持 ARM 架构。我们也坚信 LLVM 是一个更加健壮的 JIT,起码比现在看起来应该健壮很多。Apple 就在其产品中使用了 JIT 引擎,我们认为这是一个积极的信号,它表示 LLVM 也能够在我们的项目中很好工作。使用 LLVM 帮助我们很快地起步,但是它却很快成为了我们的负担,我们不得不在修复大量的对 JIT 进行支持的 bug 中结束我们的工作。不过它也给我们提供了诸多特性的支持,我们不需要开发新特性,但是我们也需要时间来做这件里程碑式的工作。

众所周知,编译器工具链是非常难以做到完美无 bug 的;最近有一篇论文的主题就是寻找和理解 C 编译器 bug ,它展示了一些在工具链不断开发和完善的过程中发现的非常著名的 bug。不过,unladen swallow 的这些问题却和这篇论文关系不大,它更多和例如 Python 这些解释性语言本身的性质相关,而不是单纯的代码问题:

不幸的是,从设计之初,LLVM 就是被作为一个静态编译器,优化器以及后端。LLVM 的代码生成和优化功能非常优秀,但是开销非常昂贵。这些优化都是着力于类似于 C 这样的静态语言生成的中间表示。而大多数对 Python 的优化却需要更高层的知识,例如程序在前一个迭代中是如何执行的,LLVM 并不能在此发挥作用。

在 JVMJIT 中使用的很多优化技术都需要了解程序是如何运行的,这样才能更好地在数据收集之后执行后续 JIT 操作。这个功能的最大好处就是方法调用的内联化;但是,我们也要明白 JVM 并不能够在程序执行前静态地完成这项工作,相反,一些其他的优化技术简化代码直到产生内联方法。例如运行一个基于 Python 的 JIT,那么将函数调用内联化将是一个加速性能的非常关键的技术,这些同样需要一些时间来将这个技术加入到 LLVM 架构中。

(值得提及的是,LLVM 现在正在进行更强大的随机测试,这个消息是在2010 年11 月的LLVM 开发者大会上宣布的)

但是,这些对unladen swallow 都无济于事。也许问题可能出现在资助上;大多数Python 的用户都不会在性能要求非常严格的任务中使用Python,所以优化并不会太多。其次,CPython 的关键开发者们对于LLVM 和产生的结果兴趣寥寥,甚至有可能在默认选项中禁用并且在未来放弃这个功能。

VMKit 的目的是在 LLVM 运行时上构建高层语言,它的特性包括对象支持,自动内存管理,不过这个工具是服务于 Java 或者.NET 运行时。

unladen swallow 小组现在将所有的精力转到 PyPy 上。这个是另外一个 Python 运行时,它自定义了 JIT 以加速执行效率。Python 提速需要考虑的问题之一便是并不是所有的代码都是“纯”Python;有许多原生扩展是使用 C 编写,这就需要妥善处理。(使用 Java 实现的 Python 运行时,Jython 就不直接支持 CPython 中利用 C 实现的特性,而是会使用 Java 重新实现)但是和其他解释语言一样,也许最影响执行效率的便是全局解释锁,它阻碍了多线程 Python 代码的运行。很不幸的是,PyPy 或者 unladen swallow 都不能改变这个现实。

LLVM2.9 预计于下周发布。不过这并不代表着其他的项目,例如 Rubinius ,将会使用 LLVM 作为运行时引擎。

查看英文原文: The Last Flight of the Unladen Swallow

2011-04-02 11:502704
用户头像

发布了 90 篇内容, 共 35.7 次阅读, 收获喜欢 5 次。

关注

评论

发布
暂无评论
发现更多内容

java课程培训学习能成为合格的程序员吗?

小谷哥

2. 背包问题

小白钊钊

算法 8月月更

Spring Security系列教程02--创建SpringSecurity项目

一一哥

Java spring security springboot 安全框架 spring-boot

Spring Security系列教程04--实现Form表单认证

一一哥

springboot Spring Security OAuth 表单认证

Spring Security系列教程05--实现HTTP摘要认证

一一哥

HTTP 认证 Spring Security OAuth

兆骑科创双创服务平台,项目对接,人才引进

兆骑科创凤阁

掌握这些核心算法,拿不到10个offer你来找我,我锤你个不争气的

收到请回复

Java 架构 算法 编程语言 语言 & 开发

JVM 优化踩坑记

PPPHUANG

JVM GC G1垃圾回收器 Java core

Spring Security系列教程03--实现HTTP基本认证

一一哥

spring security HTTP springboot basic spring-boot

秋招如何抱佛脚?2021最新大厂Java面试真题合集(附权威答案)

收到请回复

Java 架构 语言 & 开发

Spring Security系列教程06--前后端分离时的安全处理方案

一一哥

前后端分离 springsecurity 认证授权

如何从零开始参与 Apache 顶级开源项目?| 墙裂推荐

SelectDB

数据库 开源 程序员 社区贡献 企业号九月金秋榜

技术分享 | 黑盒测试方法论—等价类

霍格沃兹测试开发学社

深度解析全链路压测实施过程

穿过生命散发芬芳

全链路压测 8月月更

Spring Security系列教程10--基于过滤器实现图形验证码

一一哥

spring security Spring Boot 2 图片验证码

大咖说·图书分享|混合云架构

大咖说

架构 混合云

怎么选择Java培训班?

小谷哥

兆骑科创高层次人才创新创业大赛,项目落地,云路演

兆骑科创凤阁

Spring Security系列教程08--基于默认数据库模型实现授权

一一哥

数据库 spring security

BI如何配置“花生壳”,看这一篇就够了

葡萄城技术团队

内网穿透 可视化数据

Spring Security系列教程09--基于自定义数据库模型实现授权

一一哥

spring security Spring Boot 2

web前端开发技术培训学习前景

小谷哥

软件测试 | 测试开发 | app自动化测试(Android)-- 属性获取与断言

测吧(北京)科技有限公司

自动化测试

技术分享 | 数据持久化技术(Java)

霍格沃兹测试开发学社

Spring Security系列教程01--Spring Security系列教程简介

一一哥

spring security

Java培训的主要内容是什么?

小谷哥

排队助手:3 张图带你看懂「队伍合页」的经典案例场景

天天预约

小程序制作 SaaS应用 排队 排队工具

Spring Security系列教程07--基于内存模型实现授权

一一哥

spring springboo Spring Security OAuth

【Metaverse系列三】虚幻引擎的故事

ThingJS数字孪生引擎

元宇宙 虚幻引擎

1. 关联容器

小白钊钊

c++ 8月月更

学习开发技术有哪些比较好的方法?

小谷哥

Unladen Swallow的最后时光_Java_Alex Blewitt_InfoQ精选文章