试谈Go语言的面向对象技术

面向对象技术是目前软件开发技术的主流,很多开发人员都转向用面向对象的语言编程,C++、Java等面向对象语言成为了主流语言。但这些语言存在着一些问题,而Go语言作为一门新的语言,却弥补了这些不足。简单介绍了Go语言与面向对象技术、C++、Java语言中面向对象技术存在的问题,以及Go语言对以上问题的解决和实现面向对象技术的新思想与关键技术。     

云计算时代，我与Go语言难解的缘分

我在新浪微博、《Go语言编程》一书中下了一个论断：Go语言将超过C、Java,成为未来十年最流行的语言。     

Go语言发展近况

在六月份的TIOBE语言排行榜中，最大的变化莫过于Go语言从排名前二十的语言中落榜，这条消息也在TIOBE排行发布的同时被醒目标出。不知道大家是否还记得，依据惯例在TIOBE每年一月份发布的年度编程语言榜单中，入选2009年度编程语言的并非先前呼声最高的C群，而是刚发布不久的Go语言，     

Go语言技巧

《程序员》杂志曾于2012年5月和6月分两期连载了《Ready？Go!》系列文章,介绍了Go语言基本的语法和特性。本文则以Go语言对并发系统的支持和错误处理机制为例,介绍典型的语言特性。     

Go语言实现数据库驱动的方法

Go语言是由Google公司组织发布的一门全新的开源语言，具有运行效率高和开发速度快等特点，良好的并发性使得Go语言在数据处理方面发挥着重要的角色。针对Go语言的研究资料不够丰富，关于数据库开发的文献较少。本文研究Go语言的标准包database/sql，driver和数据库工作原理，对driver包的核心接口的实现进行重点研究，并给出了应用程序中数据库操作的方法。     

StarBus中接口定义语言编译器的设计与实现

从阐述接口定义语言（IDL）编译器在CORBA开发模型中的地位和作用开始,提出了IDL编译器的设计框架,将其分为编译器前端（CFE）和后端（BE）。然后详细说明了IDL编译器用到的接口的数据结构,并介绍了CFE和BE的实现过程。在介绍BE的实现时,着重说明了它用到的Narrowing机制,最后,说明了IDL编译器（到C＋＋Mapping)的使用环境。     

Google Go语言将加速对Android平台的支持

Go将动态语言易于编写的特性和静态语言的高效性相结合,具备良好的易用性和极佳的执行效率。Go语言最初定位于网络服务器、存储系统和数据库的程序设计,同时在语言     

DBI-Go: 动态插桩定位 Go 二进制的非法内存引用

Go语言,也称Golang,由于其语法简单、原生支持并发、自动内存管理等特性,近年受到很多开发者的欢迎。Go语言期望开发者不必了解变量或对象是分配在栈上还是在堆中,而由Go编译器的逃逸分析来决定分配位置,再由Go垃圾收集器自动回收无用的堆对象。Go的逃逸分析必须正确决定对象的分配位置以保证内存状态的正确性。然而,目前Go社 区中逃逸相关问题频发,潜在导致程序崩溃等致命问题,而目前对该方面的研究缺失。为了有效检测编译器生成的代码是否存在可能引起运行时崩溃的非法内存引用,填补研究空白,本文对Go程序执行进行了抽象建模,并提出了两条判定写入违例的规则。基于这两条规则,本文克服了Go二进制中高层语义缺失、运行时信息不便获取等挑战,设计了一个轻量化的分析工具DBI-Go。DBI-Go采用静态分析加动态二进制插桩的分析方式,基于动态二进制分析框架Pin来实现,可以识别Go二进制中违例的store指令。实验结果表明,DBI-Go可以检测出Go社区中所有已知的逃逸相关Issues;DBI-Go还发现了一个目前Go社区未知的问题,该问题已经得到确认。在实际项目上的应用则表明DBI-Go可以帮助开发人员找出逃逸算法的错误。测试结果还表明DBI-Go采取的措施可以有效降低误报率且在 93.3% 的情况下带来的额外运行时开销小于原先的 2 倍。同时,DBI-Go无需修改Go的编译运行时,可以适配不同版本的Go,有较高的适用性。     

基于可视化程序设计语言的编译系统

采用面向对象技术设计可视化程序设计语言的编译系统,通过对复杂的可视化图片语法进行分析,将各语法现象以语法单元类的形式进行抽象分类,提出了编译器－编译器的设计策略,给出了从可视化图片设计语言到伪指令代码的解决方法。主要研究在面向对象的编辑环境中如何实现满足硬件设备控制器的稳定、高效的编译系统。通过将可视化程序语言分析器(VPLPG)和小型的类C编译(LCC)器配合使用最终实现可视化程序设计语言的编译系统。     

用C语言为单片机编程初阶

PROG-100编程器甩开了繁杂的单片机汇编语言,以其独具的控制BASIC编程语言,赢得了广大读者的青睐。但是,PROG-100只能编程Atmel公司的89C系列单片机。用易学易用的C语言编写单片机程序,有助于解决编程多系列单片机程序的问题。用C语言编写单片机程序,通过仿真验证,再通过编译器将其编译,即可将程序写入单片机。仿真软件和编译器软件可以从《电子制作》杂志网站www.ele-diy.com下载,写入器可以选用万能写入器RF510(本刊2002年第4、5期上有介绍)。我们相信,只懂模拟电路的广大读者,通过阅读本刊有关C语言编程的文章,就可以自己动手制作出编好程序的单片机芯片,将它用于控制电路。     

基于C语言的AOP编织器的设计与实现

在C语言开发的实时系统中因为缺乏可用的AOP编织器,所以在系统里无法应用AOP技术来弥补OOP技术的不足。讨论一个用于实时控制系统的C语言的AOP编织器的设计与实现。编织器分为两个部分,预编译部分通过词法与语法分析来解析Aspect代码,并将其代码符号存储在符号表中;第二部分中间代码生成将以符号表为基础,将Aspect代码转换成与原代码混合的中间代码,最后由C语言编译器编译生成最后的代码,从而达到编织的目的。     

试论C语言编译器的设计与实现

编译程序被认为是现代计算机系统的基本构成,本文重点分析了C语言编译器设计与实现的相关问题,文章先阐述了C语言编译器总体设计的相关内容,包括词法、语义分析等;再介绍了C语言编译器的实现路径,希望能对相关人员工作有所帮助.     

用GO语言实现C语言词法分析器

词法分析器是编译器的第一阶段,其从左到右读入程序的源文件,而后分解出有意义的词法单元。大多数编译器的词法分析器都采用手工实现,所以学习、实现词法分析器在教学上有重要意义。本系统使用新的系统级程序语言GO语言,并利用其内置的字典数据类型,构建出几个查找表,简化了程序,实现了C语言的词法分析器。     

51系列单片机C语言编程入门（上）

一、使用C语言编程的好处 8051系列单片机自80年代初期诞生以来,由于8051单片机卓越的性能和厂商对8051单片机开发应用的有力支持,8051单片机以绝对的优势在国内迅速地普及应用。为了解决汇编语言编困难的问题,在80年代后期,一些单片机生产厂家推出了基于高级语言C的51系列单片机编译器,即C51编译器。由于C语言是高级语言,使得编程者在编程时不必过份了解单片     

同步数据流语言可信编译器的构造

同步数据流语言近年来在航空、高铁、核电等安全关键领域得到广泛应用.然而,此类语言相关开发工具本身的安全性业已成为被高度关注的安全隐患之一.借助辅助定理证明器实现常规语言编译器的构造和验证已被证明是成功的,有望最大限度地解决误编译问题.基于这种方法,开展了从同步数据流语言(Lustre为原型)到串行命令式语言(C为原型)的可信编译器构造的关键技术研究.其挑战性在于两类语言之间的巨大差异,源语言具有时钟同步、数据流、并发及流数据对象等特征,而目标语言则具有顺序控制流特征.同类研究中,目前尚无针对核心翻译过程的公开成果.就单一时钟的情形实现了一个经过形式化验证的完整编译过程,相关技术将应用于安全关键领域编译系统的开发.综述了这一可信编译器的研究背景、意义、总体设计框架、核心技术、现状以及进行中或后续的工作.     

Altera宣布为NiosII系统提供C语言至硬件加速工具

Altera公司为NiosII系统开发人员提供新的NiosII C语言至硬件加速（C2H）编译器效能工具，该工具能够有效的提高嵌入式软件的性能。由于越来越多的嵌入式设计使用了FPGA，因此，NiosII C2H编译器的目的是帮助嵌入式系统开发人员提高效率，实现成功的设计。作为NiosII C2H编译器的一部分，Ahera还允许第三方工具供应商使用其系统级基本结构，包括QuartusII SOPC Builder工具，以促进多种电子系统级（ESL）设计工具的开发。     

peC语言的部分求值器及在编译器测试中的应用

部分求值技术在程序优化及软件自动生成等方面,有着极为重要的作用.本文将部分求值技术应用到编译器测试中.为此,设计了一个C语言的子集peC语言,给出了该语言的部分求值策略的形式化描述,实现了peC语言的部分求值器,设计了基于部分求值技术的编译器测试框架.通过实验,本文的方法可以检测出大部分之前的其它的方法发现的GCC、LLVM编译器中的错误,此外还发现了其它方法不能发现的错误,表明将部分求值技术应用到编译器测试中是有效的.     

同步语言Lustre的编译前端的设计与实现

同步语言Lustre所描述的反应系统通常应用在航空航天、国防建设等领域,对系统的正确性和安全性都要求很高。如果系统在运行时出现了正确性问题,很可能会导致系统崩溃,产生非常严重的后果。系统中的任何一个词法错误或者语法错误都应该受到重视,而且应该被及时纠正。因此,对Lustre语言进行正确的编译是十分重要的。传统的Lustre语言的编译器都采用OCaml语言描述,无法保证所有人员都能够很容易地理解和使用,而且,需要耗费开发人员大量的时间和精力。基于上述问题,提出了一种新型的Lustre语言编译器。新型的Lustre语言编译器前端主要采用C++语言进行描述,并对生成的抽象语法树的结构进行重新定义,简化了编译的过程。该编译前端会对一个经典的Lustre语言模型进行检测,通过对检测的结果进行分析,验证了该编译前端的可行性。     

同步数据流语言可信编译器Vélus与L2C的比较

同步数据流语言（如Lustre、Signal）在航空、高铁、核电等安全关键领域得到广泛应用.例如,适合这些领域实时控制系统建模和开发的Scade工具就是基于一种类Lustre语言.这类语言相关开发工具,特别是编译器的安全性问题也自然受到高度关注.近年来,基于形式化验证实现可信编译器构造成为程序设计语言领域的研究焦点之一,也取得了瞩目的成果,如CompCert项目实现了产品级的可信C编译器.同样,人们也采用这种方法开展了同步数据流语言可信编译器的研发工作.主要关注从事这一工作的两个长线项目,二者均研发面向基于Lustre的同步数据流语言编译器,分别以Vélus和L2C代称.对Vélus和L2C从多个重要的角度进行较为深入的分析与比较.     

一个C语言安全子集的可信编译器

以安全关键领域的安全标准为依托、安全相关软件的语言编码和编译要求为指导,进行了以下几方面的研究和探索:首先对形式化验证可信编译技术进行分析研究,特别着重当前广受关注的经过验证的CompCert编译器.然后以我国安全领域C语言安全子集标准《航天型号软件C语言安全子集》为依据构造测试用例、创新测试方法,并以此对CompCert编译器进行测试评估.之后依据测试结果,为CompCert编译器增加未支持的C语言标准特性,裁剪不符合C语言安全子集要求的特性,构建符合C语言安全子集标准的可信编译器.最后的实测结果表明,所实现的编译器符合C语言安全子集标准的要求,且没有降低C代码的执行效率.