Go 摆脱了 C,又惹上了 Java?

jopen 9年前

talks.golang.org 前几天放出了 PPT《Go in Go》和 《The State of Go》讲解最近 Go 的开发动态和成果:

随着 Go 1.5 版本的开发,现在整个系统都是使用 Go 编写的(有一小部分汇编)

C 已经成为过去时了。

Go 1.5 计划在 8 月份发布,将会尝试支持 iOS。(Go 1.4 已经正式支持 Android

4月份进行的 NYJavaSIG 聚会上 Go 团队的技术主管经理分享了《Go for Java Programmers》,为 Java 程序员提供的 Go 入门指南,正式向 Java 领域进军了吗?

OSC 上两年前就有 Go 要涉猎 Java 领域的文章和讨论了:

不知道现在大家的看法是否有些改变。

Go 摆脱了 C,又惹上了 Java?

《Go in Go》

随着 Go 1.5 版本的开发,现在整个系统都是使用 Go 编写的(有一小部分汇编)

C 已经成为过去时了。

注: gccgo 仍然很强大
这篇文章主要探讨原始编译器 gcc

为什么之前用 C 编写?

启动

(而且 Go 的主要目的不是作为一个编译器实现语言)

为什么编译器使用 Go 重写?

不单单是验证,我们还有更多实际的原因:

  • Go 比 C 容易编写(实际上)

  • Go 比 C 容易调试(即使没有调试器的情况下)

  • Go 将成为你唯一需要会的语言,鼓励贡献

  • Go 有更好的模块化,工具链,测试工具,配置工具等等

  • Go 很简单就能进行并行操作

虽然看起来很多优势,但是还是夸的太早了:)

设计文档: golang.org/s/go13compiler  

为什么运行时也是用 Go 重写?

我们有自己的 C 编译器来编译运行时,我们需要一个带有跟 Go ABI 一样编译器,比如 segmented stacks。

使用 Go 编写可以摆脱 C 编译器的劣势,这是比使用 Go 重写编译器还重要。

(所有使用 Go 重写编译器的理由都可以作为使用 Go 重写运行时的理由)

限制运行时只用一种语言编写,更容易进行集成,管理 stack 等等操作。

跟往常一样,简化是首要的考虑因素。

历史

为什么我们要有完全属于自己的工具链?

  • 我们的 ABI?

  • 我们自身的文件格式?

Go 的大规模重大改进要比 GCC 或者 LLVM 要更困难。

news.ycombinator.com/item?id=8817990

重大改进

由于使用自身工具简化的功能和使用 Go 重写后的一些改进:

  • linker 重构

  • 新垃圾收集器

  • 堆叠图

  • 连续栈

  • 写屏障

最后三个都不可能用 C 实现:

  • C 是非类型安全的

  • 因为最佳化而造成堆栈槽混淆

(Gccgo 很快会有 segmented stacks 和 imprecise (stack) collection )

更多技术细节改进请看 PPT 原文。

启动

不需要 C 编译器,只需要一个 Go 编译器

因此需要从 1.5 的源代码去下载安装构建 Go

我们使用 Go 1.4+ 作为基础库来构建 1.5+ 的工具链

详情: golang.org/s/go15bootstrap  

未来

未来仍然有很多任务要完成,但是 1.5 已经完成的差不多了。

未来的计划:

  • 更好的转义分析

  • 新编译器后端使用 SSA(使用 Go 会比 C 简单很多)

更多优化:

  • 从 PDFs (或者是 XML)生成机器描述,将会有一个纯机器生成指令定义,“从 PDF 读入,写出一个汇编配置”;

  • 已经部署反汇编程序

总结

摆脱 C 是 Go 项目的一个巨大改进,代码更整洁,提升可测试性,可部署性,也更容易运行。

新的统一工具链减少了代码数量,提升可维护性。

灵活的工具链对可移植性也很重要。

《The State of Go》

这篇 PPT 主要讲解了 Go 1.5 的开发成果,用数据说话,各种图表显示 Go 1.5 跟 Go 1.4 简直不是一个级别的,大量的优化和极高的性能提升。

Go 1.5 主要特性:

1. 并发垃圾收集机制,目标是:GC 延迟小于 10 毫秒。

Go 摆脱了 C,又惹上了 Java?

新的垃圾收集机制是花费一些内存和 CPU 时间来换取更低的延迟时间:

Go 摆脱了 C,又惹上了 Java?

2. 更高的并发性能,设置 GOMAXPROCS=N (where N is your number of CPUs):

更好的 goroutines 执行性能:

Go 摆脱了 C,又惹上了 Java?

更好的 goroutines 转换性能:

Go 摆脱了 C,又惹上了 Java?

3. 整体性能

Go 摆脱了 C,又惹上了 Java?

Go 摆脱了 C,又惹上了 Java?

《Go for Java programmers》

这是 Google 的 Go 团队技术主管经理 Sameer Ajmani 分享的 PPT,为 Java 程序员快速入门 Go 而准备的。

Go 和 Java 有很多共同之处

  • C 系列 (强类型,括号)

  • 静态类型

  • 垃圾收集

  • 内存安全 (nil 引用,运行时边界检查)

  • 变量总是初始化 (zero/nil/false)

  • 方法

  • 接口

  • 类型断言 (实例)

  • 反射

Go 与 Java 的不同之处

  • 代码程序直接编译成机器码,没有 VM

  • 静态链接二进制

  • 内存布局控制

  • 函数值和词法闭包

  • 内置字符串 (UTF-8)

  • 内置泛型映射和数组/片段

  • 内置并发

Go 特意去掉了大量的特性

  • 没有类

  • 没有构造器

  • 没有继承

  • 没有 final

  • 没有异常

  • 没有注解

  • 没有自定义泛型

为什么 Go 要省去那些特性?

代码清晰明了是首要的

当查看代码时,可以很清晰的知道程序将会做什么

当编写代码的时候,也可以很清晰的让程序做你想做的

有时候这意味着编写出一个循环而不是调用一个模糊的函数。

(不要变的太枯燥)

详细的设计背景请看:

更多详细内容和代码示例请看 OSC 翻译频道:http://www.oschina.net/translate/go-for-java-programmers-ppt

原文和所有图片都来自 talks.golang.org。