Go Lang介绍
Go编程语言是Google中一些大牛(尤其是有着plan9前科的大牛们)如Rob Pike,Ken Thomason这两位赫赫有名的程序高手、技术作于2007年9月开始建造。
Pike指出,Go代码的编译基本上可以达到C语言的速度,几乎可以在瞬间完成,“就像是在使用交互式语言”。现有的语言都没有针对多核心处理器进行优化,为了解决此类编程问题,Google工程师们开发了Go语言。从源文件的copyright可以看到,很多基础代码来自plan9.
Go 已在Google公司内部测试过,但仍处于试验阶段。Google开放Go的代码,希望籍此帮助Go语言的发展。首席软件工程师Rob Pike说:我们开发Go,是因为近10年左右开发程序之难让我们有点沮丧。Google两年前开始开发Go,1年前开始有一只团队专职于此。目前只支持unix平台, windows平台的支持由于资源的原因,需要更多的参与者来移植。
Go的定位 是系统编程,比如Web服务器、存储系统和数据库等,但也欢迎在其它方面的应用。
Go语言的官方吉祥物如下:
我看好Go的原因是: 这个语言不是凭空或者实验室设计的,而是填补过去10年在系统编程软件方面的不足。作为系统软件的编写者,经常会深深的感觉到目前常见语言的面对大规模的网络应用,在不断涌现的多核心硬件前的无奈, 纠缠在多线程和各种锁中间, 不停的制造各种各样的轮子, 低效的排错。Go拥有的这些现代特性都是系统用户梦迷以求的,经过作者全面的考虑,适当的取舍,即结合了动态语言的弹性,又有了静态语言的安全性和高性能。
目前这个GO社区非常活跃,邮件列表里每天都有几百个讨论,加上有Google的强力支持, 个人认为非常有前途。
那么GO能解决什么问题:
1. 硬件很快 软件开发很慢。
2. 依赖很麻烦。
3. c++ java太笨拙。
4. 并行和gc
5. 多核心机器的出现,未来几年128核心的机器都很常见。
大部分的系统语言并不是设计来解决这些问题的,而且新涌现的大多数库并没有改善这些问题,相反加剧了。
GO结合了动态语言的开发效率和静态编译型语言的安全性和运行效率,支持网络和多核编程,带给我们快速, 安全, 并发, 快乐。
Go有着非常高的效率。 实际上golang.org就是用gdoc架设的。同时语言效能评测网站() Go和其他语言的对比,也充分说明了Go的效率和c语言很接近。
GO的设计目标:
1。 系统编程语言。
2. 快速编译和执行。
3. 类型安全性和内存使用安全。
4. 很好的支持并发计算。
5. 高效,低延迟的垃圾回收算法。
指导原则:
1. 减少bookkeeping。
2. 更少的关键词,减少无谓的输入。无符号表设计使得语法分析,调试等大幅简单。
3. 保持概念正交
4. 保持简单。
5. 减少类型,无类型层次,避免啰嗦。
语言特性:
清晰,精确的语法语法:大多数从c 继承, 包机制Pascal/Modula/Oberon family (declarations, packages),并发从(CSP)那里借鉴。
大写符号导出符号。
函数或者块开始注释是文档,用于gdoc处理。
改进的If, case 复合语句,允许在条件前,执行语句。 Case 不支持自动fall throught, 必须显示说明。 Case支持多个判断。
轻量的类型系统
没有隐式的转换
强类型,显式类型转化
指针运算 slice代替 提供安全性
通用类型:interface{}
内置数组和字典
支持面向对象编程,但是不支持层次继承。
融合多种语言的特性,各个社区的人都会熟悉,特别是c, lua, python社区的用户非常容易上手。
运行期: c和汇编实现内存的分配和收集,栈管理,轻量级协程,通讯管道,切片,Map以及反射等等基础设施。
Gc:目前是用经典的简单的Mark And sweep 算法, 未来会采用更高效,低延迟的算法。
库实现:
1. 完全用Go语言实现, 不依赖其他系统库
2. 从接口库如xml, asn1,jonson, IO库,压缩,加密库等等,比较齐全,极大的方便了用户。
支持unicode. 值得一提的是 Go的 “hello 世界”,很好的展示了对unicode支持。
模块:
Package管理。一个package可以分散在多个文件里,就好比在一个文件效果一样。
扩展:
Cgo 支持c和go编程混合,使得GO的扩展非常容易,让Cgo来做参数和类型的转换, 直接连接用户的c函数。
Range:for语句支持通用的迭代,支持数组,字典,通讯管道。 特别是通讯管道结合goroutine, 由生产者负责在一端输入数据, range充当消费者, 从另外一端。。。,使得包容器的迭代实现非常的优雅和简单易懂。
Type: 相当灵活的struct, 支持匿名字段,复用看起来很优雅。
Interface:
接口 类型 接口实现分离。Interface{}用来实现表示同样类型,用于实现保容器和参数省略。
闭包:函数是第一类对象。有了闭包,我们很容易把数据和函数结合在一起,形成一个独立的执行体,无需关心数据的泄漏。
反射(reflection):用于实现多参数和实现比如xml库,很直观的把结构的字段名和值映射起来,但是效率不高。
Network 支持。支持tcp,udp,接口统一,但网络读写暂时无效的时候,net模块会自动把该句柄注册到系统的poll, 并且让出执行,等待读写事件的发生。一旦事件通知,net内部通过channel通知阻塞的句柄继续往下执行。从用户的使用角度来看,网络的读写都是顺序执行的,极大的简化了编程。
Goroutine:Goroutines 是使得并发编程变得容易的核心。核心思想就是通过系统的线程来多路派遣独立函数的执行 单位协程。当一个协程阻塞的时候,比如说系统调用,调度器就会自动把其他协程安排到另外的线程去执行,从而保证了系统的不间断运行。 这个调度对于程序员是透明的,从用户的角度来看,协程在一直运行。而且这个调度的开销非常小,典型的CPU每秒钟可以调度百万次,使得我们可以创建大量的goroutine, 模拟现实世界的行为,大大的简化了程序的设计和实现。
Channel: CSP的核心思想是通过消息共享, 而不是内存共享。 而消息共享机制就是通过channel来传递消息,有同步和异步之分。 Channel在生产者和消费者之间架设起沟通的桥梁。
正是 Network+闭包+Goroutine+Channel让Go这么突出。
目前存在的问题:
1. 语言的实现时间比较短,实现和社区都不够成熟,一些语言特性如select timeout还没有实现。
2. 语言库和基于GO的应用还比较少,甚至在Google内部也还是个试验项目。
Recent Comments