数组越界导致的函数调用
C语言中数组越界是未定义行为，因此以下代码在不同的编译器或者不同版本的同一编译器行为是不可预测的。在gcc某些版本中，以下代码会出现有意思的行为。
// demo.c #include <stdio.h> #include <stdlib.h> void jmp() { …
分类: 编译原理
共 14 篇文章
字节码缓存提升程序性能的原理浅谈
像Java这类语言，编译器会把代码预先编译为字节码，JVM直接解释执行这些字节码，程序就可以运行起来了。PHP使用者在性能优化时可能也会遇到OPcache这个名词，所谓OPcache其实就是opcode的cache，opcode其实类似于字节码，虽然本质上有点差异，但可以类比为同一种事物。
PHP在 …
从一个小型编译器一窥编译原理的本质
编译器可以粗略地分为几个简单的部分：词法分析器、语法分析器、代码生成器。其中语义分析器、代码优化器这些不影响本文示例功能。另外，本文的编译器生成的是字节码，因此还需要一个虚拟机来执行。
Lexer 词法分析器 Lexer的功能是将代码串不同的符号进行标记分组，例如(3 + 5) * 2可以拆分为不同 …
语法分析
语法分析是编译前端部分的重要部分。
# todo class PlusMinus: def __init__(self, left, op, right): self.left = left self.op = op self.right = right def __str__(self): …
Stack Machines
Stack Machines，感觉不翻译看起来会顺眼一点，翻译成栈机感觉怪怪的。该文章总结自Igor Wiedler的Stack Machines系列文章，可惜他很久没贡献过代码以及没更新过博客了。先贴代码，到时候再写文章，可能需要一段时间来消化这个系列。
<?php // php 8.2 …
纯手工打造一个 JSON 解释器
老早就想搞一个完整的解释器，不过呢，通用语言的解释器比较庞大，不太好写。写一个 JSON 解释器比较合适，要素不多，好掌握一点，而且在忽略一些细节之后，代码量极少，对于入门者了解解释器甚至编译器到底在干什么很有帮助。
根据 https://www.json.org 的介绍，JSON 由以下结构组成： …
虚拟机实现原理
虚拟机是由软件实现的计算机。
以下是一个由 JavaScript 实现的虚拟机。
let virtualMachine = function(program) { let programCounter = 0; let stack = []; let stackPointer = 0; while …
表达式解析
之前想写一篇《栈实现的表达式求值》，鸽了。这段时间又在学习编译原理，也有了一些想法，恰好看见Data Structure - Expression Parsing，如获至宝，感觉有点意思。
算术表达式可以使用三种不同但效果等效的的表示法来表示。这些表示法如下：
中缀表示法 前缀表示法（波兰表示法） …
对 Coroutine 的不成熟理解
在需要恢复控制权的位置设置一系列 label：一个位于开始位置，另一个在每个 return 语句后面。我们还设置了一个 state 变量，用于在多次函数调用时告诉我们下次应该在哪里恢复控制权。在每次返回前，都需要更新 state 变量，使其指向正确的 label。而在调用后，我们都会通过 …
在汇编中重新认识函数
一个简单的 8086 汇编子程序（函数）。
assume cs:code code segment main: mov ax, 1000h call add1 mov ax, 4c00h int 21h add1: add ax, 1 ret code ends end main 标号main可以简 …
静态库和动态库
顾名思义，静态库可以理解为该库相对于可执行目标文件是静态的，而动态库相对于可执行文件是动态的。静态库跟可执行文件捆绑在一起，不需要依赖操作系统中其它库；动态库则一般固定在操作系统的特定位置，如/usr/lib目录中，如果可执行文件依赖于动态库，一旦该库被移动或损坏，则无法运行。有兴趣可以进行以下测试 …
栈实现的表达式求值
后进者先出，先进者后出，这就是数据结构中的"栈"。栈是一种相当简单的数据结构，但应用十分广泛，例如编程语言中的函数调用栈、浏览器的前进后退功能。本文讲的是栈的另一个常见应用场景，编译器利用栈实现表达式求值。初次见到这种实现思路的时候，我不禁叫绝，一个简单的栈还能玩出花。
例如，一 …
cbc 编译器
cbc 编译器是《自制编译器》中实现的。由于 cbc 编译器是在 32 位机器上工作的，而现在大部分都是 64 位，即使按照官方文档进行处理，编译时也会出现各种错误，因此想到了用 docker 搭建 32 位的系统。
$ docker run -d -ti --name cbc -v …
词法分析
一个简单的词法分析程序如下：
开始； 调用识别器； 判断是否为关键字或标识符，如果是，跳转到步骤 4；如果否，跳转到步骤 5； 查关键字表(KT表，keyword table)，如果是关键字则记录该标记该值为K.TOKEN；否则查填标识符表(IT表，identifier table)，识别该值为 …