||
Go 摆脱了 C,又惹上了 Java?
oschina 发布于: 2015年05月29日
http://www.oschina.net/news/62867/go-java
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 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 毫秒。
新的垃圾收集机制是花费一些内存和 CPU 时间来换取更低的延迟时间:
2. 更高的并发性能,设置 GOMAXPROCS=N (where N is your number of CPUs):
更好的 goroutines 执行性能:
更好的 goroutines 转换性能:
3. 整体性能
《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。
http://www.oschina.net/news/62867/go-java
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2024-9-1 07:03
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社