lobin

浏览: 417783 次
性别:
来自: 上海

最近访客更多访客>>

jAmEs_

wangyy

sindyqiu

yezhouzdzy

博主相关

博客

微博

相册

留言

关于我

文章分类

社区版块

存档分类

Programming Language

博客分类：

编程语言－C
os（linux、windows）

Programming Language - C语言文法 https://www.iteye.com/blog/lobin-2520628

写道

C
https://www.iteye.com/blog/lobin-620212

写道

java
https://www.iteye.com/blog/lobin-629414

写道

C++
https://www.iteye.com/blog/lobin-2026751

写道

scheme
https://www.iteye.com/blog/lobin-2397920

Programming Language

关于编译器的一些想法

程序语言可以编译执行，也可以解释执行。编译执行的语言称为编译型语言，解释执行的语言称为解释型语言。通常我们将程序代码直接编译成机器代码运行的程序语言称为编译型语言，而将程序代码不直接编译成机器代码进行解释执行的程序语言称为解释型语言。一般解释型语言会有一个专门的解释器，负责解释执行源代码，最常见的我们的shell脚本，如windows下的bat、com脚本，linux下的sh、bash等脚本。除了这些纯脚本的脚本程序，其他的包括javascript，lua等。甚至groovy，scala，clojure，java，python，ruby，php，perl，scheme，lisp等很多高级语言都支持在解释模式下执行。但需要类似解释器的编程语言也不一定就是解释型语言，虽然有些语言也支持解释执行。如java语言，java程序运行时需要通过java程序，它就类似一个解释器。包括go语言，go程序也可以通过一个go程序去运行，也类似一个解释器。具体是编译执行还是解释执行，要看实际运行时采用了那种执行方式。

但可以肯定的是，解释型语言一定会有个专门的解释器负责解释执行。另一个可以肯定的是，我们知道程序最终要转换为机器语言才能运行，CPU处理器负责执行机器语言。而对于编译型语言来说，CPU处理器所面向执行的指令就是源代码编译而成的对应的机器指令。而对于解释型语言，CPU处理器所面向执行的指令可能并不是源代码编译而成的对应的机器指令。这里可能界定起来比较模糊。

现在很多语言在编译时，并不直接编译成机器代码，而是先编译成某种中间代码。在运行时，再将中间代码编译成机器代码运行。这种语言会经过两次编译运行，一次是我们通常理解的编译期，另一次就是运行时编译，就是我们常说的即时编译。也可能在运行时对中间代码进行解释执行。甚至在有些语言中会同时采用这两种方式。

解释型语言可能直接对源代码解释执行，虽然这样不太好，每次都要将源代码解释之后才能执行，也可能会先将源代码转换成某种中间代码再解释执行。

程序代码最终要转换为机器语言才能运行。不管是编译型语言还是解释型语言，最终都要转换为机器语言去运行。另外，现代编译器及相关编译技术已经变得很强大，很多以前认为是编译型的语言也可以解释执行，以前认为是解释型语言也可以编译执行。很多现代化的语言混合了编译运行和解释运行，这种被称为混合型语言。很多语言称为编译型语言还是解释型语言的界定变得模糊。

程序代码---------->机器代码

写道

+--------+ +----------+
| source |-------------------------->| assembly |
+--------+ +----------+
| |
| |
| |
| |
| |
| +----------+ |
+----------->| obj |<-------------+
+----------+
|
|
|
v
+----------+
| exe |
+----------+

程序代码---------->中间代码---------->机器代码

写道

+--------+ +----------+
| ir |-------------------------->| bytecode |
+--------+ +----------+
^ |
| |
| |
| |
| v
+--------+ +----------+
| source |-------------------------->| assembly |
+--------+ +----------+
| |
| |
| |
| |
| |
| +----------+ |
+----------->| obj |<-------------+
+----------+
|
|
|
v
+----------+
| exe |
+----------+

指令译码器

语言文法

对象模型

对象内存结构

写道

+----------------+ +-----------------+
| Object Pointer |------>| Object Instance |
+----------------+ +-----------------+

写道

+------------------+ +-------------------------+ +-----------------+
| Object Reference |------>| Object Metadata Pointer |------>| Object Metadata |
+------------------+ +-------------------------+ +-----------------+
| |
| |
| Object Instance |
| |
| |
+-------------------------+

写道

编译器

写道

The Lex & Yacc Page
http://dinosaur.compilertools.net

写道

Lex - A Lexical Analyzer Generator
M. E. Lesk and E. Schmidt
http://dinosaur.compilertools.net/lex/index.html

写道

Lex − A Lexical Analyzer Generator M. E. Lesk and E. Schmidt
http://dinosaur.compilertools.net/lex/lex.ps

写道

Abstract Syntax Tree Implementation Idioms
Joel Jones
jones@cs.ua.edu
Department of Computer Science
University of Alabama
https://hillside.net/plop/plop2003/Papers/Jones-ImplementingASTs.pdf

写道

Understanding source code evolution using abstract syntax tree matching (2005)
https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.88.5815

写道

Understanding Source Code Evolution Using Abstract
Syntax Tree Matching
Iulian Neamtiu
neamtiu@cs.umd.edu
Jeffrey S. Foster
jfoster@cs.umd.edu
Michael Hicks
mwh@cs.umd.edu
Department of Computer Science
University of Maryland at College Park
https://web.njit.edu/~ineamtiu/pubs/evolution.pdf

写道

Understanding Source Code Evolution Using Abstract
Syntax Tree Matching ∗
Iulian Neamtiu
neamtiu@cs.umd.edu
Jeffrey S. Foster
jfoster@cs.umd.edu
Michael Hicks
mwh@cs.umd.edu
Department of Computer Science
University of Maryland at College Park
http://www.cs.umd.edu/~mwh/papers/evolution.pdf

写道